Doubly isogenous genus-2 curves with 𝐷₄-action

Arul, Vishal; Booher, Jeremy; Groen, Steven; Howe, Everett; Li, Wanlin; Matei, Vlad; Pries, Rachel; Springer, Caleb

doi:10.1090/mcom/3891

Doubly isogenous genus-2 curves with $D_4$-action
HTML articles powered by AMS MathViewer

by Vishal Arul, Jeremy Booher, Steven R. Groen, Everett W. Howe, Wanlin Li, Vlad Matei, Rachel Pries and Caleb Springer

Math. Comp. 93 (2024), 347-381

DOI: https://doi.org/10.1090/mcom/3891

Published electronically: August 31, 2023

HTML | PDF

Abstract:

We study the extent to which curves over finite fields are characterized by their zeta functions and the zeta functions of certain of their covers. Suppose $C$ and $C’$ are curves over a finite field $K$, with $K$-rational base points $P$ and $P’$, and let $D$ and $D’$ be the pullbacks (via the Abel–Jacobi map) of the multiplication-by-$2$ maps on their Jacobians. We say that $(C,P)$ and $(C’,P’)$ are doubly isogenous if $Jac(C)$ and $Jac(C’)$ are isogenous over $K$ and $Jac(D)$ and $Jac(D’)$ are isogenous over $K$. For curves of genus $2$ whose automorphism groups contain the dihedral group of order eight, we show that the number of pairs of doubly isogenous curves is larger than naïve heuristics predict, and we provide an explanation for this phenomenon.

References

Jeffrey D. Achter and Everett W. Howe, Split abelian surfaces over finite fields and reductions of genus-2 curves, Algebra Number Theory 11 (2017), no. 1, 39–76. MR 3602766, DOI 10.2140/ant.2017.11.39
Gabriel Cardona and Jordi Quer, Curves of genus 2 with group of automorphisms isomorphic to $D_8$ or $D_{12}$, Trans. Amer. Math. Soc. 359 (2007), no. 6, 2831–2849. MR 2286059, DOI 10.1090/S0002-9947-07-04111-6
François Charles, Exceptional isogenies between reductions of pairs of elliptic curves, Duke Math. J. 167 (2018), no. 11, 2039–2072. MR 3843371, DOI 10.1215/00127094-2018-0011
Everett W. Howe, The Weil pairing and the Hilbert symbol, Math. Ann. 305 (1996), no. 2, 387–392. MR 1391223, DOI 10.1007/BF01444229
Everett W. Howe, Franck Leprévost, and Bjorn Poonen, Large torsion subgroups of split Jacobians of curves of genus two or three, Forum Math. 12 (2000), no. 3, 315–364. MR 1748483, DOI 10.1515/form.2000.008
Everett W. Howe, Enric Nart, and Christophe Ritzenthaler, Jacobians in isogeny classes of abelian surfaces over finite fields, Ann. Inst. Fourier (Grenoble) 59 (2009), no. 1, 239–289 (English, with English and French summaries). MR 2514865, DOI 10.5802/aif.2430
Jun-ichi Igusa, Kroneckerian model of fields of elliptic modular functions, Amer. J. Math. 81 (1959), 561–577. MR 108498, DOI 10.2307/2372914
Jun-ichi Igusa, Arithmetic variety of moduli for genus two, Ann. of Math. (2) 72 (1960), 612–649. MR 114819, DOI 10.2307/1970233
Jun-ichi Igusa, On the algebraic theory of elliptic modular functions, J. Math. Soc. Japan 20 (1968), 96–106. MR 240103, DOI 10.2969/jmsj/02010096
E. Kani and M. Rosen, Idempotent relations and factors of Jacobians, Math. Ann. 284 (1989), no. 2, 307–327. MR 1000113, DOI 10.1007/BF01442878
Ernst Kani, The number of curves of genus two with elliptic differentials, J. Reine Angew. Math. 485 (1997), 93–121. MR 1442190, DOI 10.1515/crll.1997.485.93
Jean-François Mestre, Couples de Jacobiennes isogenes de courbes hyperelliptiques de genre arbitraire, arXiv:0902.3470 [math.AG] (2009).
Jean-François Mestre, Une généralisation d’une construction de Richelot, J. Algebraic Geom. 22 (2013), no. 3, 575–580 (French, with English summary). MR 3048546, DOI 10.1090/S1056-3911-2012-00589-X
J. S. Milne, Abelian varieties, Arithmetic geometry (Storrs, Conn., 1984) Springer, New York, 1986, pp. 103–150. MR 861974
J. S. Milne, Jacobian varieties, Arithmetic geometry (Storrs, Conn., 1984) Springer, New York, 1986, pp. 167–212. MR 861976
Ben Moonen, Special subvarieties arising from families of cyclic covers of the projective line, Doc. Math. 15 (2010), 793–819. MR 2735989, DOI 10.4171/dm/314
Bjorn Poonen, Using zeta functions to factor polynomials over finite fields, Arithmetic geometry: computation and applications, Contemp. Math., vol. 722, Amer. Math. Soc., [Providence], RI, [2019] ©2019, pp. 141–147. MR 3896853, DOI 10.1090/conm/722/14528
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
Benjamin Smith, Families of explicitly isogenous Jacobians of variable-separated curves, LMS J. Comput. Math. 14 (2011), 179–199. MR 2831229, DOI 10.1112/S1461157010000410
Andrew V. Sutherland and José Felipe Voloch, Maps between curves and arithmetic obstructions, Arithmetic geometry: computation and applications, Contemp. Math., vol. 722, Amer. Math. Soc., [Providence], RI, [2019] ©2019, pp. 167–175. MR 3896855, DOI 10.1090/conm/722/14532