Related papers: Integral points on curves, the unit equation, and …
In this article, we introduce the notion of periodic de Rham bundles over smooth complex curves. We prove that motivic de Rham bundles over smooth complex curves are periodic. We conjecture that irreducible periodic de Rham bundles over…
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…
The Chabauty--Kim method is a method for finding rational points on curves under certain technical conditions, generalising Chabauty's proof of the Mordell conjecture for curves with Mordell--Weil rank less than their genus. We show how the…
The main point of the paper is to take the explicit motivic Chabauty-Kim method developed in papers of Dan-Cohen--Wewers and Dan-Cohen and the author and make it work for non-rational curves. In particular, we calculate the abstract form of…
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…
We give an explicit construction of the p-adic de Rham comparison isomorphism for 1-motives. In particular, we prove that our construction recovers the classical de Rham comparison isomorphism and is functorial with respect to morphisms of…
We generalize the explicit quadratic Chabauty techniques for integral points on odd degree hyperelliptic curves and for rational points on genus 2 bielliptic curves to arbitrary number fields using restriction of scalars. This is achieved…
We give the first explicit examples beyond the Chabauty-Coleman method where Kim's nonabelian Chabauty program determines the set of rational points of a curve defined over $\mathbb{Q}$ or a quadratic number field. We accomplish this by…
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…
We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version…
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 present a new quadratic Chabauty method to compute the integral points on certain even degree hyperelliptic curves. Our approach relies on a nontrivial degree zero divisor supported at the two points at infinity to restrict the $p$-adic…
In this paper, we extend the classical de Rham decomposition theorem to the case of Riemannian manifolds with boundary by using the trick of development of curves.
The rational points of a smooth curve $X$ over a number field $k$ map to the set of augmentations of the associated motivic algebra. An expectation, related to Kim's conjecture, is that for $X$ hyperbolic, the set of augmentations which…
The Chabauty--Kim method is a tool for finding the integral or rational points on varieties over number fields via certain transcendental $p$-adic analytic functions arising from certain Selmer schemes associated to the unipotent…
Over the past fifteen years or so, Minhyong Kim has developed a framework for making effective use of the fundamental group to bound (or even compute) integral points on hyperbolic curves. This is the third installment in a series whose…
We determine the quadratic Chabauty set for integral points on elliptic curves of rank $2$ defined over imaginary quadratic fields using quadratic Chabauty. This builds on the work of Bianchi and Balakrishnan et al. We give the first…
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…
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 give an introductory account of two recent approaches towards an effective proof of the Mordell conjecture, due to Lawrence--Venkatesh and Kim. The latter method, which is usually called the method of Chabauty--Kim or non-abelian…