An explicit theory of heights for hyperelliptic Jacobians of genus three

DOI10.1007/978-3-319-70566-8_29MaRDI QIDQ4556597zbMATH OpenOpenAlexFDO

Authors Michael Stoll

Publication date 16 November 2018

Published in Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1701.00772

zbMATH Keywords

hyperelliptic curvecanonical heightKummer varietygenus 3

Mathematics Subject Classification ID

Abelian varieties of dimension (> 1) (11G10) Heights (11G50) Jacobians, Prym varieties (14H40)

Abstract: We develop an explicit theory of Kummer varieties associated to Jacobians of hyperelliptic curves of genus 3, over any field $k$ of characteristic $eq2$. In particular, we provide explicit equations defining the Kummer variety $mathcalK$ as a subvariety of $mathbb{P}^7$, together with explicit polynomials giving the duplication map on $mathcalK$. A careful study of the degenerations of this map then forms the basis for the development of an explicit theory of heights on such Jacobians when $k$ is a number field. We use this input to obtain a good bound on the difference between naive and canonical height, which is a necessary ingredient for the explicit determination of the Mordell-Weil group. We illustrate our results with two examples.

Recommendations

• Explicit Kummer varieties of hyperelliptic Jacobian threefolds
• An Explicit Theory of Heights
• Explicit constructions for genus 3 Jacobians
• scientific article; zbMATH DE number 2182793
• An Arakelov-theoretic approach to naïve heights on hyperelliptic Jacobians

Cites work

• scientific article; zbMATH DE number 1466163 (Why is no real title available?)
• scientific article; zbMATH DE number 873401 (Why is no real title available?)
• Canonical heights on genus-2 Jacobians
• Canonical heights on the Jacobians of curves of genus 2 and the infinite descent
• Computing Néron-Tate heights of points on hyperelliptic Jacobians
• Computing canonical heights using arithmetic intersection theory
• Explicit Kummer varieties of hyperelliptic Jacobian threefolds
• Implementing 2-descent for Jacobians of hyperelliptic curves
• Integral points on hyperelliptic curves
• On the equations defining Abelian varieties. I-III
• On the height constant for curves of genus two
• On the height constant for curves of genus two, II
• The Magma algebra system. I: The user language
• The Mordell-Weil sieve: proving non-existence of rational points on curves

Cited in

(15)

• Computing isogenies between Jacobians of curves of genus 2 and 3
• Computing unit groups of curves
• Explicit arithmetic intersection theory and computation of Néron-Tate heights
• A generalization of the dual Kummer surface
• A geometric linear Chabauty comparison theorem
• Elliptic fibrations on a generic Jacobian Kummer surface
• scientific article; zbMATH DE number 2182793 (Why is no real title available?)
• Computing torsion subgroups of Jacobians of hyperelliptic curves of genus 3
• scientific article; zbMATH DE number 2164328 (Why is no real title available?)
• Computing points of bounded height in projective space over a number field
• Canonical local heights and multiplication formulas for the Jacobians of curves of genus 2
• Archimedean local height differences on elliptic curves
• Explicit Kummer varieties of hyperelliptic Jacobian threefolds
• Quadratic Chabauty: \(p\)-adic heights and integral points on hyperelliptic curves
• On the Diophantine equation \(\binom{n}{k} = \binom{m}{l} + d\)

Describes a project that uses

Uses Software

• Magma

This page was built for publication: An explicit theory of heights for hyperelliptic Jacobians of genus three

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