Barinder Singh Banwait

About me

Hello! Thanks for visiting!

I spend much of my time these days thinking about Galois representations associated to modular newforms, and how to compute them in Sage. See my list of publications for more on my mathematical interests.

I've also recently been getting into automated theorem proving using the Lean Theorem Prover. See my Github for my introductory Lean project: formalising the definition of what it means for an integral domain to be integrally closed, and thereafter proving the theorem that an integral domain is integrally closed if and only if it is integrally closed in its field of fractions:

  
lemma fundamental_theorem_integrally_closedness (R : Type u) (A : Type v) 
[integral_domain R] [comm_ring A] [algebra R A] (H : fraction_map R A):
  is_integrally_closed R ↔ is_integrally_closed_in R A :=
  

I can also be found hanging-out on Mathoverflow:

Papers and preprints

1. Examples of abelian surfaces failing the local-global principle for isogenies. preprint arxiv:2007.13583 . 2020
2. Del-pezzo surfaces over finite fields and their Frobenius traces, with Francesc Fité and Daniel Loughran. Mathematical Proceedings of the Cambridge Philosophical Society, 167(1), 35-60. 2019
3. Tetrahedral elliptic curves and the local-global principle for isogenies, with John Cremona. Algebra and Number Theory, 8(5), 1201-1229. 2014

• On some Local to Global Phenomena for Abelian Varieties. PhD Thesis, University of Warwick, 2013.

Contact

Email address: barinder.s.banwait - the AT symbol - gmail.com

My PGP public key.

Look around the webring! [prev] [random] [next]