An explicit theory of heights for hyperelliptic Jacobians of genus three
Abstract
We develop an explicit theory of Kummer varieties associated to Jacobians of hyperelliptic curves of genus 3, over any field $k$ of characteristic $\neq 2$. In particular, we provide explicit equations defining the Kummer variety $\mathcal K$ as a subvariety of $\mathbb P^7$, together with explicit polynomials giving the duplication map on $\mathcal K$. 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2017
- DOI:
- 10.48550/arXiv.1701.00772
- arXiv:
- arXiv:1701.00772
- Bibcode:
- 2017arXiv170100772S
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Number Theory;
- 14H40;
- 14H45;
- 11G10;
- 11G50;
- 14Q05;
- 14Q15
- E-Print:
- 49 pages. v2: mostly minor edits, a couple of small mistakes corrected