Abstract
AbstractWe introduce an algorithm to compute the structure of the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a implementation of our algorithm to a database of curves with low discriminant due to Sutherland as well as a list of curves with small coefficients. In the process, we find several torsion structures not previously described in the literature. The algorithm is a generalisation of an algorithm for genus 2 due to Stoll, which we extend to abelian varieties satisfying certain conditions. The idea is to compute p-adic torsion lifts of points over finite fields using the Kummer variety and to check whether they are rational using heights. Both have been made explicit for Jacobians of hyperelliptic curves of genus 3 by Stoll. This article is partially based on the second-named author’s Master thesis.
Funder
Nederlandse Organisatie voor Wetenschappelijk Onderzoek
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference34 articles.
1. Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system I: the user language. J. Symb. Comput. 24(3–4), 235–265 (1997)
2. Birkenhake, C., Lange, H.: Complex Abelian Varieties, volume 302 of Grundlehren der mathematischen Wissenschaften, 2 edn. Springer, Berlin (2004)
3. Bourbaki, N.: Lie Groups and Lie Algebras. Chapters 1–3. Elements of Mathematics (Berlin). Springer, Berlin, Translated from the French, Reprint of the 1989 English translation (1998)
4. Bruin, N., Stoll, M.: The Mordell-Weil sieve: proving non-existence of rational points on curves. LMS J. Comput. Math. 13, 272–306 (2010)
5. Booker, A.R., Sijsling, J., Sutherland, A.V., Voight, J., Yasaki, D.: A database of genus-2 curves over the rational numbers. LMS J. Comput. Math. 19(Suppl A), 235–254 (2016)