An Arakelov-theoretic approach to naïve heights on hyperelliptic Jacobians

MaRDI QIDQ2339288zbMATH OpenFDO

Authors David Holmes

Publication date 31 March 2015

Published in The New York Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1207.5948, http://www.emis.de/journals/NYJM/j/2014/20-45.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Arakelov theoryhyperelliptic curvelocal Néron pairingNéron-Tate height

Mathematics Subject Classification ID

[https://duckduckgo.com/?q=MSC%2011G30%20%22Curves+of+arbitrary+genus+or+genus+%28%0D%0Ae+1%29+over+global+fields%22 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Heights (11G50) Arithmetic varieties and schemes; Arakelov theory; heights (14G40)

Abstract: 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 Jacobian. We give an algorithm to compute the set of points of bounded height with respect to this new height. This provides an `in principle' solution to the problem of determining the sets of points of bounded N'eron-Tate heights on the Jacobian. We give a worked example of how to compute the bound over a global function field for several curves, of genera up to 11.

Review text

Let \(K\) be a global field with \(\operatorname{char} K\neq 2\), and let \(C\) be a hyperelliptic curve over \(K\). The paper under review addresses the problem of computing the (finite) sets of rational points of bounded Néron-Tate height on the Jacobian of \(C\) (relative to two times the theta divisor). This is done by defining a naïve height (actually, three naïve heights) and finding computable bounds for the difference between these heights and the canonical height. A point on the Jacobian of \(C\) corresponds to a divisor \(D\) of degree \(0\) on the curve \(C\). The first naïve height is defined using \(v\)-adic metrics between pairs of divisors on \(C\) with disjoint supports, for each place \(v\) of \(K\). The final naïve height is given by the height of the polynomial whose roots are the \(x\)-coordinates of the points in \(D\), with multiplicity. To compare these heights with the canonical height, the author uses Arakelov theory on an arithmetic surface corresponding to \(C\); in particular, it uses in a key way the formula that expresses the canonical height in terms of local Néron pairings. This formula is due to \textit{G. Faltings} [Ann. Math. (2) 119, 387--424 (1984; Zbl 0559.14005)] and \textit{P. Hriljac} [The Néron-tate height and intersection theory on arithmetic sur faces. Massachusetts Institute of Technology (PhD Thesis) (1983); Am. J. Math. 107, 23--38 (1985; Zbl 0593.14004)]. Explicit bounds on the height difference are given for three specific examples, including a curve of genus \(11\) over \(\mathbb F_{101}(t)\).

Recommendations

• Computing Néron-Tate heights of points on hyperelliptic Jacobians
• Computation of the Neron-Tate Height on Elliptic Curves
• Computing canonical heights using arithmetic intersection theory
• Line bundles on arithmetic surfaces and intersection theory
• Explicit arithmetic intersection theory and computation of Néron-Tate heights
• Optimal bounds for the difference between Weil height and Néron-Tate height on elliptic curves over \(\overline{\mathbb Q}\)
• Decompositions in local heights
• Canonical heights and division polynomials
• scientific article; zbMATH DE number 50253
• On the height constant for curves of genus two

Cited in

(9)

• Arakelov computations in genus 3 curves
• Néron-Tate heights of cycles on jacobians
• Quadratic Chabauty: p-adic heights and integral points on hyperelliptic curves
• scientific article; zbMATH DE number 50253 (Why is no real title available?)
• Computing Néron-Tate heights of points on hyperelliptic Jacobians
• An explicit theory of heights for hyperelliptic Jacobians of genus three
• Hauteur des correspondances de Hecke
• Explicit arithmetic intersection theory and computation of Néron-Tate heights
• Decompositions in local heights

This page was built for publication: An Arakelov-theoretic approach to naïve heights on hyperelliptic Jacobians

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2339288)