×

Doubly isogenous curves of genus two with a rational action of \(D_6\). arXiv:2402.08853

Preprint, arXiv:2402.08853 [math.NT] (2024).
Summary: Let \(C\) and \(C'\) be curves over a finite field \(K\), provided with embeddings \(\iota\) and \(\iota'\) into their Jacobian varieties. Let \(D\to C\) and \(D'\to C'\) be the pullbacks (via these embeddings) of the multiplication-by-\(2\) maps on the Jacobians. We say that \((C,\iota)\) and \((C',\iota')\) are doubly isogenous if \(\mathrm{Jac}(C)\) and \(\mathrm{Jac}(C')\) are isogenous over \(K\) and \(\mathrm{Jac}(D)\) and \(\mathrm{Jac}(D')\) are isogenous over \(K\). When we restrict attention to the case where \(C\) and \(C'\) are curves of genus \(2\) whose groups of \(K\)-rational automorphisms are isomorphic to the dihedral group \(D_6\) of order \(12\), we find many more doubly isogenous pairs than one would expect from reasonable heuristics. Our analysis of this overabundance of doubly isogenous curves over finite fields leads to the construction of a pair of doubly isogenous curves over a number field. That such a global example exists seems extremely surprising. We show that the Zilber–Pink conjecture implies that there can only be finitely many such examples. When we exclude reductions of this pair of global curves in our counts, we find that the data for the remaining curves is consistent with our original heuristic. Computationally, we find that doubly isogenous curves in our family of \(D_6\) curves can be distinguished from one another by considering the isogeny classes of the Prym varieties of certain unramified covers of exponent \(3\) and \(4\). We discuss how our family of curves can be potentially be used to obtain a deterministic polynomial-time algorithm to factor univariate polynomials over finite fields via an argument of Kayal and Poonen.

MSC:

11G20 Curves over finite and local fields
11M38 Zeta and \(L\)-functions in characteristic \(p\)
14H40 Jacobians, Prym varieties
14K02 Isogeny
14Q05 Computational aspects of algebraic curves
11G10 Abelian varieties of dimension \(> 1\)
11Y40 Algebraic number theory computations
14H25 Arithmetic ground fields for curves
14H30 Coverings of curves, fundamental group
14Q25 Computational algebraic geometry over arithmetic ground fields
arXiv data are taken from the arXiv OAI-PMH API. If you found a mistake, please report it directly to arXiv.