Abstract
We give the explicit equations for a \({\textbf{P}}^3 \times {\textbf{P}}^3\) embedding of the Jacobian of a curve of genus 2, which gives a natural analog for abelian surfaces of the Edwards curve model of elliptic curves. This gives a much more succinct description of the Jacobian variety than the standard version in \({\textbf{P}}^{15}\). We also give a condition under which, as for the Edwards curve, the abelian surfaces have a universal group law.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
References
Arène, C., Cosset, R.: Construction of a k-complete addition law on Jacobians of hyperelliptic curves of genus two. In: Arithmetic, Geometry, Cryptography and Coding Theory, Contemp. Math., vol. 574, pp.1–14. Amer. Math. Soc., Providence, RI (2012)
Arene, C., Kohel, D., Ritzenthaler, C.: Complete addition laws on abelian varieties. LMS J. Comput. Math. 15, 308–316 (2012)
Bernstein, D.J., Birkner, P., Joye, M., Lange, T., Peters, C.: Twisted Edwards curves. In: Progress in Cryptology—AFRICACRYPT 2008, Lecture Notesin Comput. Sci., vol. 5023. Springer, Berlin, pp. 389–405 (2008)
Birkenhake, C., Lange, H.: Complex Abelian Varieties, 2nd ed., Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 302, Springer, Berlin (2004)
Bernstein, D.J., Lange, T.: Faster addition and doubling on elliptic curves. In: Advances in Cryptology–ASIACRYPT 2007, Lecture Notes in Comput. Sci., vol. 4833, pp. 29–50. Springer, Berlin (2007)
Cassels, J.W.S., Flynn, E.V.: Prolegomena to a Middlebrow Arithmetic of Curves of Genus \(2\), London Mathematical Society Lecture Note Series, vol. 230. Cambridge University Press, Cambridge (1996)
Edwards, H.M.: A normal form for elliptic curves. Bull. Am. Math. Soc. (N.S.) 44(3), 393–422 (2007)
Faltings, G.: Endlichkeitssätze für abelsche Varietäten über Zahlkörpern. Invent. Math. 73(3), 349–366 (1983)
Flynn, E.V.: An explicit theory of heights. Trans. Am. Math. Soc. 347(8), 3003–3015 (1995)
Flynn, E.V.: Maple file, https://people.maths.ox.ac.uk/flynn/genus2/maplefile also available as an ancillary file for the arxiv preprint arxiv:2211.01450
Flynn, E.V.: Short file, https://people.maths.ox.ac.uk/flynn/genus2/shortfile also available as an ancillary file for the arxiv preprint arxiv:2211.01450
Kempf, G.R.: Multiplication over abelian varieties. Am. J. Math. 110(4), 765–773 (1988)
Kempf, G.R.: Linear systems on abelian varieties. Am. J. Math. 111(1), 65–94 (1989)
Kempf, G.R.: Projective coordinate rings of abelian varieties. In: Algebraic Analysis, Geometry, and Number Theory (Baltimore, MD 1988). Johns Hopkins Univ. Press, Baltimore, MD, pp. 225–235 (1989)
Kempf, G.R.: Complex abelian varieties and theta functions. Universitext, Springer, Berlin (1991)
Lubicz, D., Robert, D.: Arithmetic on Abelian and Kummer varieties. Finite Fields Appl. 39, 130–158 (2016)
Moreno, C.: Algebraic Curves over Finite Fields, Cambridge Tracts in Mathematics, vol. 97. Cambridge University Press, Cambridge (1991)
Mumford, D.: On the equations defining abelian varieties. I. Invent. Math 1, 287–354 (1966)
Mumford, D.: Abelian Varieties, Tata Institute of Fundamental Research Studies in Mathematics, vol. 5. Published for the Tata Institute of Fundamental Research, Bombay by Oxford University Press, London (1970)
Mumford, D.: Tata Lectures on Theta. I, Progress in Mathematics, vol. 28, Birkhäuser Boston, Inc., Boston, MA (1983), With the assistance of C. Musili, M. Nori, E. Previato and M. Stillman
Mumford, D.: Tata Lectures on Theta. III, Progress in Mathematics, vol. 97, Birkhäuser Boston, Inc., Boston, MA (1991), With the collaboration of Madhav Nori and Peter Norman
Pareschi, G., Salvati Manni, R.: 2-torsionpoints on theta divisors. Int. Math. Res. Not. IMRN 19, 14616–14628 (2021)
Silverman, J.H.: The Arithmetic of Elliptic Curves, Graduate Texts in Mathematics, vol. 106. Springer, New York (1986)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Data Availability
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
Auxiliary Files
The supplementary information file [10] includes details of the calculations performed using the computer algebra software Maple. The file is available from the website of the first-named author, as described in the references, and is also available as an ancillary file from arxiv:2211.01450. There is also a shortened version of this file [11] which gives only the assignments of the main objects (such as the diagonalising change in basis, the defining equations and the group law), which can be used in any algebra package.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Both authors thank Michael Stoll for organizing the Rational Points 2019 workshop in Schney, where they began working together on this problem. The second named author (KKM) gratefully acknowledges generous funding and a supportive research environment during long scientific visits at both the Max Planck Institute for Mathematics in Bonn (2021) and the Institute for Advanced Study in Princeton (2022, with funding from the Charles Simonyi Endowment).
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Flynn, E.V., Khuri-Makdisi, K. An analog of the Edwards model for Jacobians of genus 2 curves. Res. number theory 10, 32 (2024). https://doi.org/10.1007/s40993-024-00518-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-024-00518-5