An explicit theory of heights for hyperelliptic Jacobians of genus three

DOI10.1007/978-3-319-70566-8_29zbMATH Open1406.14023arXiv1701.00772OpenAlexW2570007677MaRDI QIDQ4556597FDOQ4556597

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)

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.

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

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

zbMATH Keywords

hyperelliptic curvecanonical heightKummer varietygenus 3

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (15)

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

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)