Related papers: An effective Chabauty-Kim theorem

Let $E$ be an elliptic curve over a number field $K$. Descent calculations on $E$ can be used to find upper bounds for the rank of the Mordell-Weil group, and to compute covering curves that assist in the search for generators of this…

In this paper, we prove an explicit upper bound on the number of rational points on a smooth projective curve of genus at least two over a number field. This gives explicit constants in the uniform Mordell conjecture proposed by Mazur and…

We obtain a quantitative version of the classical Chevalley-Weil theorem for curves. Let $\phi : \tilde{C} \to C$ be an unramified morphism of non-singular plane projective curves defined over a number field $K$. We calculate an effective…

We compute the rational points on the Atkin-Lehner quotient $X^+_0(125)$ using the quadratic Chabauty method. Our work completes the study of exceptional rational points on the curves $X^+_0(N)$ of genus between 2 and 6. Together with the…

We compute the rational points on certain members of the following family of hyperelliptic curves \[C_a \colon y^2 = x^8 + (4-4a^4) x^6 + (8a^4 + 6)x^4 + (4-4a^4)x^2 + 1\] via the method first developed by Dem'yanenko \cite{dem1966rational}…

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…

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 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…

We prove that when all hyperelliptic curves of genus $n\geq 1$ having a rational Weierstrass point are ordered by height, the average size of the 2-Selmer group of their Jacobians is equal to 3. It follows that (the limsup of) the average…

In this article, we present a method for computing rational points on hyperelliptic curves of genus~3 and isolated quadratic points on hyperelliptic curves of genus~2 and~3 whose Jacobians have rank~0. Our approach begins by computing the…

This is an extended version of an invited lecture I gave at the Journees Arithmetiques in St. Etienne in July 2009. We discuss the state of the art regarding the problem of finding the set of rational points on a (smooth projective)…

We formulate a non-abelian generalisation of a conjecture of Stoll, which conjecturally describes the structure of the loci cut out by Kim's method of non-abelian Chabauty. We prove the rank 0 quadratic case of this conjecture, which in…

Quadratic Chabauty is a $p$-adic method for determining rational points on curves. Local heights are arithmetic invariants used in the quadratic Chabauty method. We present an algorithm to compute these local heights for hyperelliptic…

Let $C$ be a curve of genus at least three defined over a number field, and let $r$ be the rank of the rational points of its Jacobian. Under mild hypotheses on $r$, recent results by Katz, Rabinoff, Zureick-Brown, and Stoll bound the…

We use a global version of Heath-Brown's $p-$adic determinant method developed by Salberger to give upper bounds for the number of rational points of height at most $B$ on non-singular cubic curves defined over $\mathbb{Q}$. The bounds are…

We describe recent work connecting combinatorics and tropical/non-Archimedean geometry to Diophantine geometry, particularly the uniformity conjectures for rational points on curves and for torsion packets of curves. The method of…

Given a genus $2$ curve $C$ with a rational Weierstrass point defined over a number field, we construct a family of genus $5$ curves that realize descent by maximal unramified abelian two-covers of $C$, and describe explicit models of the…

We consider all genus 2 curves over Q given by an equation y^2 = f(x) with f a squarefree polynomial of degree 5 or 6, with integral coefficients of absolute value at most 3. For each of these roughly 200000 isomorphism classes of curves,…

Let $X$ be a curve of genus $g>1$ over $\mathbb{Q}$ whose Jacobian $J$ has Mordell--Weil rank $r$ and N\'eron--Severi rank $\rho$. When $r < g+ \rho - 1$, the geometric quadratic Chabauty method determines a finite set of $p$-adic points…

Given a smooth, proper, geometrically integral curve $X$ of genus $g$ with Jacobian $J$ over a number field $K$, Chabauty's method is a $p$-adic technique to bound $\# X(K)$ when $\mathrm{rank}\ J(K) < g$. We study limitations of a variant…