Choose timezone
Your profile timezone:
Quadratic Chabauty is one of the most successful recent methods in computing rational points on modular curves. The current algorithm requires an explicit plane model of the curve, which becomes inefficient to compute with when the genus is sufficiently large. In joint work with Marius Leonhardt, we compute the first steps of quadratic Chabauty - a basis of de Rham cohomology and certain Hodge filtration - without requiring any plane models. We have implemented our method on the non-split Cartan modular curves with levels N=25, 29, which have genus 14 and 24 respectively, whose rational points are not currently known.