Periodic Reporting for period 1 - LowDegModCurve (Low Degree Points on Modular Curves)
Berichtszeitraum: 2018-09-03 bis 2020-09-02
Our focus is on the possible images of a Galois representation: to each possibility we can associate a modular curve, which is a moduli
space of elliptic curves with representation having that image. The central conjecture regarding these images, called Serre's uniformity conjecture, states that these modular curves have no nontrivial rational points when their genus is large enough, and can be split in three main cases. Two of those cases have been solved in the fundamental works of Mazur, Kamienny, Merel, Bilu, Parent and Rebolledo (Mazur's being crucial to the proof of Wiles), but there was a persistent obstruction to the last one, ""non-split Cartan"".
In this project, we study low degree points on interesting modular curves (or even rational points where this type of obstruction holds), by developing and extending powerful methods including an overdetermined version of Chabauty's method in the symmetric power setting,
and a recent breakthrough called ""quadratic Chabauty method"" for the non-split Cartan modular curves.
Any advance towards the resolution of Serre's uniformity conjecture is expected to have applications in multiple fields ranging from cryptography to arithmetic geometry. Moreover, the tools developed on the way should shed a new light on the general problem of explicitly determining rational points on curves of large genus."
- Works Packages 2.1 and 2.2 and 2.3: mentioned together, as they have been dealt with simultaneously. These packages have been fully completed with the production of a submitted paper with Netan Dogra (University of Oxford). This completion also required algorithms to finish the proof, available online.