About me
I am a guest researcher at the Max Planck Institute for Mathematics, Bonn. Until January 2025 I was a postdoc in the group of Steffen Müller at the University of Groningen, Netherlands.
Research interests
I am interested in arithmetic geometry, specifically the use of fundamental groups to study rational and integral points of schemes. The Chabauty–Kim method, while rooted in deep considerations about the motivic fundamental group and still being largely conjectural, has proved very successful in explicitly solving polynomial equations in recent years. I am exploring both the theoretical and practical aspects of the method, in particular in the setting of S-integral points on affine hyperbolic curves. What I find exciting about this line of research is that deep ideas from geometry can be used to solve very concrete problems from number theory.
I am moreover interested in Grothendieck’s conjectures on anabelian geometry which he formulated in his letter to Faltings. There, the Section Conjecture predicts a description of rational points purely in terms of étale fundamental groups. Recently, with A. Betts and T. Kumpitsch, we could prove a precise relation between the Section Conjecture and the Chabauty–Kim method which brings the conjecture closer to the realm of explicit calculations.
Keywords
Chabauty–Kim method, section conjecture, arithmetic fundamental group, rational points
Recent and current research
When applying the Chabauty–Kim method to study S-integral points on affine hyperbolic curves, a refined version of the method due to A. Betts and N. Dogra often gives stronger results. The first explicit calculations using this method were carried out by our project group at the 2020 Arizona Winter School. We could solve the S-unit equation in cases where S contains 2 primes (see here for the paper and here for the Sage code). These calculations in depth 2 were insufficient to verify Kim’s conjecture for S = {2,3} for any choice of auxiliary prime p. Recently, I derived new Kim functions for the Chabauty–Kim locus in depth 4 and used them to verify Kim’s conjecture for S = {2,3} for all p < 10,000. The paper is here and the accompanying Sage code is here.
In ongoing work with Marius Leonhardt I am developing a Chabauty–Coleman method for determining S-integral points on affine curves using the generalised Jacobian. This method is applicable whenever a certain inequality involving the Mordell–Weil rank, the genus, the number of cusps, and the size of S is satisfied. This is the analogue of the rank-genus inequality in the classical Chabauty method. This inequality and its non-abelian generalisation to the quadratic Chabauty method were first derived in joint work with J. S. Müller and M. Leonhardt. The paper is here.
With D. Corwin and I. Dan-Cohen, we are developing and applying the mixed Tate motivic Chabauty–Kim method for the thrice-punctured line beyond the polylogarithmic quotient of the fundamental group. We obtain new constraints on Chabauty–Kim loci by using functions involving p-adic multiple polylogarithms (rather than just single polylogarithms).
Kim’s conjecture predicts that the set of p-adic points produced by the Chabauty–Kim method agrees precisely with the set of S-integral points of the curve. With A. Betts and T. Kumpitsch we showed that one can prove the “locally geometric” version of Grothendieck’s Section Conjecture by verifying Kim’s conjecture for almost all choices of p. We successfully carried this out for Z[1/2]-integral points on the thrice-punctured line, thereby obtaining the first nontrivial example of a curve where Kim’s conjecture is proved for infinitely many choices of p. The preprint is here.
The p-adic section conjecture for a smooth projective curve X over a finite extension K of Qp predicts that every section of the fundamental exact sequence is induced by a K-rational point. Previously, only the birational variant, where X is replaced by its generic point, was known. In my dissertation I extended this result to larger localisations of X. The dissertation is here.
Groningen Algebra Seminar
I was the organiser of the algebra seminar at the University of Groningen until January 2025. Please e-mail Oliver Lorscheid if you are interested in giving a talk.