1: \begin{abstract} \setlength{\parskip}{1ex} \setlength{\parindent}{0mm}
2:
3: We give a new construction of $p$-adic heights on varieties over number fields
4: using $p$-adic Arakelov theory.
5: In analogy with Zhang's construction of real-valued
6: heights in terms of adelic metrics, these heights are given in terms of
7: $p$-adic adelic metrics on line bundles.
8: In particular, we describe a construction of canonical $p$-adic
9: heights on abelian varieties and we show that we recover the canonical
10: Mazur--Tate height and, for Jacobians,
11: the height constructed by Coleman and Gross.
12: Our main application is a new and simplified approach to the Quadratic Chabauty method
13: 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.
14: We show that our construction allows us to reprove, without using $p$-adic Hodge
15: theory or arithmetic fundamental groups, several results due to Balakrishnan and Dogra. Our method also extends to primes $p$ of bad reduction.
16: One consequence of our work is that for any canonical height ($p$-adic or
17: $\R$-valued) on an abelian variety (and hence on pull-backs to other
18: varieties), the local contribution at a finite prime $q$ can be constructed using $q$-analytic methods.
19: \end{abstract}
20: