arXiv subjects
Publications and source records attributed to Marius Leonhardt.
We present an algorithm for determining the set of $S$-integral points on an affine curve based on the Affine Chabauty method developed in the first part of this series. We achieve this by constructing explicit logarithmic differentials whose integrals take on prescribed values on $S$-integral points. Along the way, we prove a $p$-adic residue theorem for Coleman integrals of log differentials.
We prove finiteness and give an explicit upper bound on the number of $S$-integral points on affine curves satisfying a certain rank-genus inequality. We achieve this by developing an analogue of the Chabauty method, embedding the curve into its generalised Jacobian and bounding the Abel-Jacobi image of the $S$-integral points using arithmetic intersection theory. Our results also provide the foundations for a computational method to determine the set of $S$-integral points on affine curves which will be presented in a follow-up article.
We give sufficient conditions for finiteness of linear and quadratic refined Chabauty-Kim loci of affine hyperbolic curves. We achieve this by constructing depth $\leq 2$ quotients of the fundamental group, following a construction of Balakrishnan-Dogra in the projective case. We also apply Betts' machinery of weight filtrations to give unconditional explicit upper bounds on the number of S-integral points when our conditions are satisfied.
Conditionally on the Tate--Shafarevich and Bloch--Kato Conjectures, we give an explicit upper bound on the size of the $p$-adic Chabauty--Kim locus, and hence on the number of rational points, of a smooth projective curve $X/\mathbb{Q}$ of genus $g\geq2$ in terms of $p$, $g$, the Mordell--Weil rank $r$ of its Jacobian, and the reduction types of $X$ at bad primes. This is achieved using the effective Chabauty--Kim method, generalising bounds found by Coleman and Balakrishnan--Dogra using the abelian and quadratic Chabauty methods.
We expand on Nekov\'a\v{r}'s construction of the plectic half transfer to define a plectic Galois action on Hilbert modular varieties. More precisely, we study in a unifying fashion Shimura varieties associated to groups that differ only in the centre from $R_{F/\mathbb{Q}}{\rm GL}_2$. We define plectic Galois actions on the CM points and on the set of connected components of these Shimura varieties, and show that these two actions are compatible. This extends the plectic conjecture of Nekov\'a\v{r}--Scholl.