Related papers: An effective Chabauty-Kim theorem
For a given genus $g \geq 1$, we give lower bounds for the maximal number of rational points on a smooth projective absolutely irreducible curve of genus $g$ over ${\mathbb F}_q$. As a consequence of Katz-Sarnak theory, we first get for any…
We describe a method for computing the Cassels-Tate pairing on the 2-Selmer group of the Jacobian of a genus 2 curve. This can be used to improve the upper bound coming from 2-descent for the rank of the group of rational points on the…
In this short note, we present a trick to ensure that the Jacobian of a given smooth curve over a number field has strictly positive Mordell-Weil rank. More explicitly, we prove that a smooth curve with no rational non-trivial 2-torsion and…
The aim of this paper is to show how a conjectural lower bound on the canonical height function in the spirit of Lang and Silverman leads to an explicit uniform bound on the number of rational points on curves of genus $g\geq 2$ over a…
We determine the maximum number of rational points on a curve over $\mathbb{F}_2$ with fixed gonality and small genus.
Given an integer $\gamma\geq 2$ and an odd prime power $q$ we show that for every large genus $g$ there exists a non-singular curve $C$ defined over $\mathbb{F}_q$ of genus $g$ and gonality $\gamma$ and with exactly $\gamma(q+1)$…
In this paper we develop a new explicit method to studying rational points near manifolds and obtain optimal lower bounds on the number of rational points of bounded height lying at a given distance from an arbitrary non-degenerate curve.…
We describe a practical algorithm for computing Brauer-Manin obstructions to the existence of rational points on hyperelliptic curves defined over number fields. This offers advantages over descent based methods in that its correctness does…
In this paper we give a method for studying global rational points on certain quotients of Shimura curves by Atkin-Lehner involutions. We obtain explicit conditions on such quotients for rational points to be ``trivial'' (coming from CM…
We conjecture a lower bound for the minimal canonical height of non-torsion rational points on a natural density 1 subset of the sextic twist family of Mordell curves. We then establish a lower bound that yields a partial result towards…
We obtain explicit, computable upper bounds for the Neron-Tate height of rational points on curves of genus at least two over number fields. The bounds use automorphisms acting on the Mordell-Weil lattice of the Jacobian. We prove an…
We prove that for every smooth projective integral curve $X$ of genus at least $2$ over $\mathbb C$, there exists $x \in X(\mathbb C)$ such that no connected finite \'etale cover of $X-\{x\}$ admits a nonconstant morphism to $\mathbb G_m$.…
We describe an algorithm that determines a set of unramified covers of a given hyperelliptic curve, with the property that any rational point will lift to one of the covers. In particular, if the algorithm returns an empty set, then the…
We use class field theory to search for curves with many rational points over small finite fields. By going through abelian covers of curves of small genus we find a number of new curves. In particular, we settle the question of how many…
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 give new bounds for the number of integral points on elliptic curves. The method may be said to interpolate between approaches via diophantine techniques ([BP], [HBR]) and methods based on quasiorthogonality in the Mordell-Weil lattice…
Using Moriwaki's calculation of the Q-Picard group for the moduli space of curves, I prove the strong Franchetta Conjecture in all characteristics. That is, the canonical class generates the group of rational points on the Picard scheme for…
Based on computational evidence, we formulate a number of conjectures on the distribution of rational points on curves of genus 2 over the rational numbers, in terms of the size of the coefficients of an equation of the form y^2 = f(x) >.
It is known that in the case of hyperelliptic curves the Shafarevich conjecture can be made effective, i.e., for any number field k and any finite set of places S of k, one can effectively compute the set of isomorphism classes of…
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…