Related papers: An effective Chabauty-Kim theorem

Let $X/\mathbb{Q}$ be a curve of genus $g \ge 2$ with Jacobian $J$ and let $\ell$ be a prime of good reduction. Using Selmer varieties, Kim defines a decreasing sequence \[ X(\mathbb{Q}_\ell) \supseteq X(\mathbb{Q}_\ell)_1 \supseteq…

Building on work by Chabauty from 1941, Coleman proved in 1985 an explicit bound for the number of rational points of a curve $C$ of genus $g\ge 2$ defined over a number field $F$, with Jacobian of rank at most $g-1$. Namely, in the case…

The Chabauty--Kim method was developed with the aim of approaching effective Faltings', the problem of explicitly determining the finite set of rational points on a hyperbolic curve. This method has seen success with the more particular…

We develop an effective version of the Chabauty--Kim method which gives explicit upper bounds on the number of $S$-integral points on a hyperbolic curve in terms of dimensions of certain Bloch--Kato Selmer groups. Using this, we give a new…

We study the Selmer varieties of smooth projective curves of genus at least two defined over $\mathbb{Q}$ which geometrically dominate a curve with CM Jacobian. We extend a result of Coates and Kim to show that Kim's non-abelian Chabauty…

We provably compute the full set of rational points on 1403 Picard curves defined over $\mathbb{Q}$ with Jacobians of Mordell-Weil rank $1$ using the Chabauty-Coleman method. To carry out this computation, we extend Magma code of…

We discuss the Mordell-Weil sieve as a general technique for proving results concerning rational points on a given curve. In the special case of curves of genus 2, we describe quite explicitly how the relevant local information can be…

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 describe a computation of rational points on genus 3 hyperelliptic curves $C$ defined over $\mathbb{Q}$ whose Jacobians have Mordell-Weil rank 1. Using the method of Chabauty and Coleman, we present and implement an algorithm in Sage to…

We explore a number of problems related to the quadratic Chabauty method for determining integral points on hyperbolic curves. We remove the assumption of semistability in the description of the quadratic Chabauty sets…

The Chabauty--Coleman--Kim method in depth two describes the rational points on a curve in terms of a generalisation of Nekov\'a\v{r}'s $p$-adic height pairing which replaces $\mathbb{G}_m$ with a higher Chow group. It is unclear both what…

In this thesis we develop a Chabauty-Kim theory for the relative completion of motivic fundamental groups, including Selmer stacks and moduli spaces of admissible torsors for the relative completion of the de Rham fundamental group. On one…

In this article we prove the explicit Mordell Conjecture for large families of curves. In addition, we introduce a method, of easy application, to compute all rational points on curves of quite general shape and increasing genus. The method…

In this paper, we provide refined sufficient conditions for the quadratic Chabauty method to produce a finite set of points, with the conditions on the rank of the Jacobian replaced by conditions on the rank of a quotient of the Jacobian…

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…

In this paper, we study bounds for the number of rational points on twists C' of a fixed curve C over a number field K, under the condition that the group of K-rational points on the Jacobian J' of C' has rank smaller than the genus of C'.…

In this paper we prove the finiteness of the set of S-integral points of a punctured rational elliptic curve without complex multiplication using the Chabauty-Kim method. This extends previous results of Kim in the complex multiplication…

Answering a question of Zureick-Brown, we determine the cubic points on the modular curves $X_0(N)$ for $N \in \{53,57,61,65,67,73\}$ as well as the quartic points on $X_0(65)$. To do so, we develop a "partially relative" symmetric Chabauty…

We give a method for the computation of integral points on a hyperelliptic curve of odd degree over the rationals whose genus equals the Mordell-Weil rank of its Jacobian. Our approach consists of a combination of the $p$-adic approximation…

We prove a p-adic analogue of W\"ustholz's analytic subgroup theorem. We apply this result to show that a curve embedded in its Jacobian intersects the p-adic closure of the Mordell-Weil group transversely whenever the latter has rank equal…