Related papers: Two recent p-adic approaches towards the (effectiv…

We give an alternative proof of Faltings's theorem (Mordell's conjecture): a curve of genus at least two over a number field has finitely many rational points. Our argument utilizes the set-up of Faltings's original proof, but is in spirit…

Consider the smooth projective models C of curves y^2=f(x) with f(x) in Z[x] monic and separable of degree 2g+1. We prove that for g >= 3, a positive fraction of these have only one rational point, the point at infinity. We prove a lower…

We give new instances where Chabauty--Kim sets can be proved to be finite, by developing a notion of "generalised height functions" on Selmer varieties. We also explain how to compute these generalised heights in terms of iterated integrals…

This paper recasts some of the recent literature on Kim's extension of Chabauty's method for bounding points on curves in the language of motivic periods. A variant of the higher Albanese manifolds is defined which is equipped with a…

We give an effective proof of Faltings' theorem for curves mapping to Hilbert modular stacks over odd-degree totally real fields. We do this by giving an effective proof of the Shafarevich conjecture for abelian varieties of…

In 1922, Mordell conjectured that the set of rational points on a smooth curve $C$ over $\mathbb{Q}$ with genus $g \ge 2$ is finite. This has been proved by Faltings in 1983. However, Coleman determined in 1985 an upper bound of…

This article generalizes the geometric quadratic Chabauty method, initiated over $\mathbb{Q}$ by Edixhoven and Lido, to curves defined over arbitrary number fields. The main result is a conditional bound on the number of rational points on…

This expository survey is based on my online talk at the ICCM 2020. It aims to sketch key steps of the recent proof of the uniform Mordell-Lang conjecture for curves embedded into Jacobians (a question of Mazur). The full version of this…

The Chabauty--Kim method and its refined variant by Betts and Dogra aim to cut out the $S$-integral points $X(\mathbb{Z}_S)$ on a curve inside the $p$-adic points $X(\mathbb{Z}_p)$ by producing enough Coleman functions vanishing on them. We…

Let $C$ be a smooth projective absolutely irreducible curve of genus $g \geq 2$ over a number field $K$ of degree $d$, and denote its Jacobian by $J$. Denote the Mordell--Weil rank of $J(K)$ by $r$. We give an explicit and practical…

We give refined methods for proving finiteness of the Chabauty--Coleman--Kim set $X(\mathbb{Q}_2 )_2 $, when $X$ is a hyperelliptic curve with a rational Weierstrass point. The main developments are methods for computing Selmer conditions…

We prove upper bounds for the number of rational points on non-singular cubic curves defined over the rationals. The bounds are uniform in the curve and involve the rank of the corresponding Jacobian. The method used in the proof is a…

We apply KAM theory to the equation of the forced relativistic pendulum to prove that all the solutions have bounded momentum. Subsequently, we detect the existence of quasiperiodic solutions in a generalized sense. This is achieved using a…

Let $X$ be a quotient of the modular curve $X_0(N)$ whose Jacobian $J_X$ is a simple factor of $J_0(N)^{new}$ over $\mathbb{Q}$. Let $f$ be the newform of level $N$ and weight 2 associated with $J_X$; assume $f$ has analytic rank 1. We give…

In this short note we give an elementary combinatorial argument, showing that the Conjecture of J. Fern\'andez de Bobadilla, I. Luengo, A. Melle-Hern\'andez, A. N\'emethi follows from the results of M. Borodzik and C. Livingston in the case…

We complete the computation of all $\mathbb{Q}$-rational points on all the $64$ maximal Atkin-Lehner quotients $X_0(N)^*$ such that the quotient is hyperelliptic. To achieve this, we use a combination of various methods, namely the…

In this note, we discuss recently discovered counterexamples to Mordell's Pellian Equation Conjecture and the Ankeny-Artin-Chowla-Conjecture. We provide a verification of the counterexample to Mordell's Pellian Equation Conjecture that can…

Let $X$ be a smooth projective curve of genus $\geq2$ over a number field. A natural variant of Grothendieck's Section Conjecture postulates that every section of the fundamental exact sequence for $X$ which everywhere locally comes from a…

The purpose of this paper is to give some new Diophantine applications of modularity results. We use the Shimura-Taniyama conjecture to prove effective finiteness results for integral points on moduli schemes of elliptic curves. For several…

This is the second installment in a sequence of articles devoted to "explicit Chabauty-Kim theory" for the thrice punctured line. Its ultimate goal is to construct an algorithmic solution to the unit equation whose halting will be…