Computing square-free polarized abelian varieties over finite fields

Marseglia, Stefano

doi:10.1090/mcom/3594

Computing square-free polarized abelian varieties over finite fields
HTML articles powered by AMS MathViewer

by Stefano Marseglia HTML | PDF

Math. Comp. 90 (2021), 953-971 Request permission

Abstract:

We give algorithms to compute isomorphism classes of ordinary abelian varieties defined over a finite field $\mathbb {F}_q$ whose characteristic polynomial (of Frobenius) is square-free and of abelian varieties defined over the prime field $\mathbb {F}_p$ whose characteristic polynomial is square-free and does not have real roots. In the ordinary case we are also able to compute the polarizations and the group of automorphisms (of the polarized variety) and, when the polarization is principal, the period matrix.

References

Jeffrey D. Achter and Julia Gordon, Elliptic curves, random matrices and orbital integrals, Pacific J. Math. 286 (2017), no. 1, 1–24. With an appendix by S. Ali Altuğ. MR 3582398, DOI 10.2140/pjm.2017.286.1
Jeffrey Achter and Cassandra Williams, Local heuristics and an exact formula for abelian surfaces over finite fields, Canad. Math. Bull. 58 (2015), no. 4, 673–691. MR 3415659, DOI 10.4153/CMB-2015-050-8
Wieb Bosma, John Cannon, and Catherine Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), no. 3-4, 235–265. Computational algebra and number theory (London, 1993). MR 1484478, DOI 10.1006/jsco.1996.0125
Ana Cannas da Silva, Lectures on symplectic geometry, Lecture Notes in Mathematics, vol. 1764, Springer-Verlag, Berlin, 2001. MR 1853077, DOI 10.1007/978-3-540-45330-7
Henri Cohen, A course in computational algebraic number theory, Graduate Texts in Mathematics, vol. 138, Springer-Verlag, Berlin, 1993. MR 1228206, DOI 10.1007/978-3-662-02945-9
David A. Cox, Primes of the form $x^2 + ny^2$, 2nd ed., Pure and Applied Mathematics (Hoboken), John Wiley & Sons, Inc., Hoboken, NJ, 2013. Fermat, class field theory, and complex multiplication. MR 3236783, DOI 10.1002/9781118400722
Tommaso Giorgio Centeleghe and Jakob Stix, Categories of abelian varieties over finite fields, I: Abelian varieties over $\Bbb {F}_p$, Algebra Number Theory 9 (2015), no. 1, 225–265. MR 3317765, DOI 10.2140/ant.2015.9.225
Pierre Deligne, Variétés abéliennes ordinaires sur un corps fini, Invent. Math. 8 (1969), 238–243 (French). MR 254059, DOI 10.1007/BF01406076
Max Deuring, Die Typen der Multiplikatorenringe elliptischer Funktionenkörper, Abh. Math. Sem. Hansischen Univ. 14 (1941), 197–272 (German). MR 5125, DOI 10.1007/BF02940746
Taira Honda, Isogeny classes of abelian varieties over finite fields, J. Math. Soc. Japan 20 (1968), 83–95. MR 229642, DOI 10.2969/jmsj/02010083
Everett W. Howe, Principally polarized ordinary abelian varieties over finite fields, Trans. Amer. Math. Soc. 347 (1995), no. 7, 2361–2401. MR 1297531, DOI 10.1090/S0002-9947-1995-1297531-4
Everett W. Howe, On the non-existence of certain curves of genus two, Compos. Math. 140 (2004), no. 3, 581–592. MR 2041770, DOI 10.1112/S0010437X03000757
Bruce W. Jordan, Allan G. Keeton, Bjorn Poonen, Eric M. Rains, Nicholas Shepherd-Barron, and John T. Tate, Abelian varieties isogenous to a power of an elliptic curve, Compos. Math. 154 (2018), no. 5, 934–959. MR 3798590, DOI 10.1112/S0010437X17007990
Ernst Kani, Products of CM elliptic curves, Collect. Math. 62 (2011), no. 3, 297–339. MR 2825715, DOI 10.1007/s13348-010-0029-1
Max-Albert Knus, Quadratic and Hermitian forms over rings, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 294, Springer-Verlag, Berlin, 1991. With a foreword by I. Bertuccioni. MR 1096299, DOI 10.1007/978-3-642-75401-2
Kristin Lauter, The maximum or minimum number of rational points on genus three curves over finite fields, Compositio Math. 134 (2002), no. 1, 87–111. With an appendix by Jean-Pierre Serre. MR 1931964, DOI 10.1023/A:1020246226326
H. W. Lenstra Jr., Complex multiplication structure of elliptic curves, J. Number Theory 56 (1996), no. 2, 227–241. MR 1373549, DOI 10.1006/jnth.1996.0015
The LMFDB Collaboration, The l-functions and modular forms database, http://www.lmfdb.org, 2013, [Online; accessed 16 September 2013].
H. W. Lenstra Jr., J. Pila, and Carl Pomerance, A hyperelliptic smoothness test. II, Proc. London Math. Soc. (3) 84 (2002), no. 1, 105–146. MR 1863397, DOI 10.1112/plms/84.1.105
S. Marseglia, Isomorphism classes of abelian varieties over finite fields, Stockholm University, 2016.
S. Marseglia, Computing abelian varieties over finite fields, Stockholm University, 2018.
Chloe Martindale, Isogeny graphs, modular polynomials, and applications, Université de Bordeaux, 2018.
Stefano Marseglia, Computing the ideal class monoid of an order, J. Lond. Math. Soc. (2) 101 (2020), no. 3, 984–1007. MR 4111932, DOI 10.1112/jlms.12294
Jürgen Neukirch, Algebraic number theory, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 322, Springer-Verlag, Berlin, 1999. Translated from the 1992 German original and with a note by Norbert Schappacher; With a foreword by G. Harder. MR 1697859, DOI 10.1007/978-3-662-03983-0
Abhishek Oswal and Ananth N. Shankar, Almost ordinary abelian varieties over finite fields, J. Lond. Math. Soc. (2) 101 (2020), no. 3, 923–937. MR 4111929, DOI 10.1112/jlms.12291
Michael Rosen, Abelian varieties over $\textbf {C}$, Arithmetic geometry (Storrs, Conn., 1984) Springer, New York, 1986, pp. 79–101. MR 861973
René Schoof, Nonsingular plane cubic curves over finite fields, J. Combin. Theory Ser. A 46 (1987), no. 2, 183–211. MR 914657, DOI 10.1016/0097-3165(87)90003-3
Ananth N. Shankar and Jacob Tsimerman, Unlikely intersections in finite characteristic, Forum Math. Sigma 6 (2018), Paper No. e13, 17. MR 3841493, DOI 10.1017/fms.2018.15
John Tate, Endomorphisms of abelian varieties over finite fields, Invent. Math. 2 (1966), 134–144. MR 206004, DOI 10.1007/BF01404549
John Tate, Classes d’isogénie des variétés abéliennes sur un corps fini (d’après T. Honda), Séminaire Bourbaki. Vol. 1968/69: Exposés 347–363, Lecture Notes in Math., vol. 175, Springer, Berlin, 1971, pp. Exp. No. 352, 95–110 (French). MR 3077121
William C. Waterhouse, Abelian varieties over finite fields, Ann. Sci. École Norm. Sup. (4) 2 (1969), 521–560. MR 265369