Quadratic Chabauty: p-adic height pairings and integral points on hyperelliptic curves

Abstract

We give a formula for the component at p of the p-adic height pairing of a divisor of degree 0 on a hyperelliptic curve. We use this to give a Chabauty-like method for finding p-adic approximations to p-integral points on such curves when the Mordell-Weil rank of the Jacobian equals the genus. In this case we get an explicit bound for the number of such p-integral points, and we are able to use the method in explicit computation. An important aspect of the method is that it only requires a basis of the Mordell-Weil group tensored with the rationals.

27 pages

References in corpus (7)

• An explicit theory of heights for hyperelliptic Jacobians of genus three
• On the arithmetic self-intersection numbers of the dualizing sheaf for Fermat curves of prime exponent
• The syntomic regulator for $K_4$ of curves
• An Arakelov-Theoretic Approach to Naïve Heights on Hyperelliptic Jacobians
• Explicit Coleman integration for hyperelliptic curves
• A p-adic analogue of the conjecture of Birch and Swinnerton-Dyer for modular abelian varieties
• Coleman-Gross height pairings and the $p$-adic sigma function

Cited by in corpus (1)

• Quadratic Chabauty and rational points I: p-adic heights