Barinder Singh Banwait

About me Papers and Preprints CV Contact

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: profile for Barinder Banwait on Stack Exchange, a network of free, community-driven Q&A sites

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


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

My PGP public key.

Look around the webring!
[prev] [random] [next]
This home page is proudly hosted by