p-adic adelic metrics and Quadratic Chabauty I

TL;DR

This paper introduces a new approach to constructing $p$-adic heights on varieties over number fields using $p$-adic Arakelov theory, simplifying the Quadratic Chabauty method for computing rational points on curves.

Contribution

It provides a novel construction of $p$-adic heights via adelic metrics, recovering known heights and extending the Quadratic Chabauty method without $p$-adic Hodge theory.

Findings

Constructed canonical $p$-adic heights on abelian varieties.

Reproved results of Balakrishnan and Dogra without $p$-adic Hodge theory.

Extended the method to primes of bad reduction.

Abstract

We give a new construction of $p$-adic heights on varieties over number fields using $p$-adic Arakelov theory. In analogy with Zhang's construction of real-valued heights in terms of adelic metrics, these heights are given in terms of $p$-adic adelic metrics on line bundles. In particular, we describe a construction of canonical $p$-adic heights on abelian varieties and we show that we recover the canonical Mazur--Tate height and, for Jacobians, the height constructed by Coleman and Gross. Our main application is a new and simplified approach to the Quadratic Chabauty method for the computation of rational points on certain curves over the rationals, by pulling back the canonical height on the Jacobian with respect to a carefully chosen line bundle. We show that our construction allows us to reprove, without using $p$-adic Hodge theory or arithmetic fundamental groups, several results due to Balakrishnan and Dogra. Our method also extends to primes $p$ of bad reduction. One consequence of our work is that for any canonical height ($p$-adic or $\mathbb{R}$-valued) on an abelian variety (and hence on pull-backs to other varieties), the local contribution at a finite prime $q$ can be constructed using $q$-analytic methods.