Related papers: Quadratic Chabauty: p-adic height pairings and int…
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 prove a $p$-adic version of the Integral Geometry Formula for averaging the intersection of two $p$-adic projective algebraic sets. We apply this result to give bounds on the number of points in the modulo $p^m$ reduction of a projective…
It was shown by Faltings and Hriljac that the N\'eron-Tate height of a point on the Jacobian of a curve can be expressed as the self-intersection of a corresponding divisor on a regular model of the curve. We make this explicit and use it…
We compute a lower bound of the canonical height on quadratic twists of certain elliptic curves. Also we show a simple method for constructing families of quadratic twists with an explicit rational point. % from cubic polynomials. Using the…
We discuss the computation of coefficients of the L-series associated to a hyperelliptic curve over Q of genus at most 3, using point counting, generic group algorithms, and p-adic methods.
Coleman's theory of p-adic integration figures prominently in several number-theoretic applications, such as finding torsion and rational points on curves, and computing p-adic regulators in K-theory (including p-adic heights on elliptic…
The formula of the title relates $p$-adic heights of Heegner points and derivatives of $p$-adic $L$-functions. It was originally proved by Perrin-Riou for $p$-ordinary elliptic curves over the rationals, under the assumption that $p$ splits…
We continue our study of integral points on moduli schemes by combining the method of Faltings (Arakelov, Parsin, Szpiro) with modularity results and Masser-W\"ustholz isogeny estimates. In this work we explicitly bound the height and the…
We use Arakelov theory to define a height on divisors of degree zero on a hyperelliptic curve over a global field, and show that this height has computably bounded difference from the N\'eron-Tate height of the corresponding point on the…
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 present an algorithm for determining the set of $S$-integral points on an affine curve based on the Affine Chabauty method developed in the first part of this series. We achieve this by constructing explicit logarithmic differentials…
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…
We establish asymptotic formulas for the number of integral points of bounded height on partial equivariant compactifications of vector groups.
For Atkin-Lehner quotients $X_0^+(N)$, of prime level and of genus at least 2, we provide an algorithm for computing one of the main objects in the quadratic Chabauty algorithm in terms of weakly holomorphic modular forms associated to the…
In this paper we investigate the theory of cuspidalisation of sections of arithmetic fundamental groups of hyperbolic curves to cuspidally i-th and 2/p-th step prosolvable arithmetic fundamental groups. As a consequence we exhibit two,…
A general scheme for determining and studying integrable deformations of algebraic curves is presented. The method is illustrated with the analysis of the hyperelliptic case. An associated multi-Hamiltonian hierarchy of systems of…
We describe a method to evaluate integrals that arise in the asymptotic analysis when two saddle points may be close together. These integrals, which appear in problems from optics, acoustics or quantum mechanics as well as in a wide class…
We present a practical, unconditional algorithm for determining the $S$-integral points on any elliptic moduli problem $\mathcal{Y}/\mathbb{Z}[1/S]$ -- that is, on any geometrically connected curve carrying a non-isotrivial elliptic…
To compute generators for the Mordell-Weil group of an elliptic curve over a number field, one needs to bound the difference between the naive and the canonical height from above. We give an elementary and fast method to compute an upper…
We prove a completely explicit and effective upper bound for the N\'eron--Tate height of rational points of curves of genus at least $2$ over number fields, provided that they have enough automorphisms with respect to the Mordell--Weil rank…