Abstract:In this paper, we develop an algorithm for computing Coleman--Gross (and hence Nekovář) $p$-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above $p$. This height is defined as a sum of local heights at each finite place and we use algorithms for Vologodsky integrals, developed by Katz and the second-named author, to compute the local heights above $p$. We also discuss an alternative method to compute these for odd degree genus 2 curves via $p$-adic sigma functions, via work of the first-named author. For both approaches one needs to choose a splitting of the Hodge filtration. A canonical choice for this is due to Blakestad in the case of an odd degree curve of genus $2$ that has semistable ordinary reduction at $p$. We provide an algorithm to compute Blakestad's splitting, which is conjecturally the unit root splitting for the action of Frobenius. We give several numerical examples, including the first worked quadratic Chabauty example in the literature for a curve with bad reduction.

Height inequality of algebraic points on curves over functional fields

A CLASS OF INEQUALITIES ABOUT BERNSTEIN POLYNOMIAL AND THEIR APPLICATIONS

Geometric Height Inequalities

Heights on algebraic curves

A dynamical version of Silverman-Tate's height inequality

Effective Height Upper Bounds on Algebraic Tori

Heights and quantitative arithmetic on stacky curves

Number of points of curves over finite fields in some relative situations from an euclidean point of vue

A new inequality on the Hodge number h1,1 of algebraic surfaces

Relative Clifford inequality for varieties fibered by curves

Heights and regulators of number fields and elliptic curves

A new inequality on the Hodge number $h^{1,1}$ of algebraic surfaces

Fields with few small points

On arithmetic inequalities for points of bounded degree

Slope inequality for families of curves over surfaces

Variation of the canonical height for polynomials in several variables

Heights of Special Points on Quaternionic Shimura Varieties

Height functions for motives

Algorithms for $p$-adic Heights on Hyperelliptic Curves of Arbitrary Reduction

Sharp bounds for the number of rational points on algebraic curves and dimension growth, over all global fields

A Lehmer-Type Lower Bound for the Canonical Height on Elliptic Curves Over Function Fields