1: \begin{abstract}

2: Let $C$ and $C'$ be curves over a finite field $K$, provided with embeddings

3: $\iota$ and $\iota'$ into their Jacobian varieties. Let $D\to C$ and $D'\to C'$

4: be the pullbacks (via these embeddings) of the multiplication-by-$2$ maps on the

5: Jacobians. We say that $(C,\iota)$ and $(C',\iota')$ are \emph{doubly isogenous}

6: if $\Jac(C)$ and $\Jac(C')$ are isogenous over $K$ and $\Jac(D)$ and $\Jac(D')$

7: are isogenous over~$K$.  When we restrict attention to the case where $C$ and 

8: $C'$ are curves of genus~$2$ whose groups of $K$-rational automorphisms are 

9: isomorphic to the dihedral group $D_6$ of order~$12$, we find many more doubly 

10: isogenous pairs than one would expect from reasonable heuristics. 

11: 

12: Our analysis of this overabundance of doubly isogenous curves over finite fields

13: leads to the construction of a pair of doubly isogenous curves over a number 

14: field. That such a global example exists seems extremely surprising. We show

15: that the Zilber--Pink conjecture implies that there can only be finitely many

16: such examples. When we exclude reductions of this pair of global curves in our

17: counts, we find that the data for the remaining curves is consistent with our

18: original heuristic.

19: 

20: Computationally, we find that doubly isogenous curves in our family of $D_6$ 

21: curves can be distinguished from one another by considering the isogeny classes

22: of the Prym varieties of certain unramified covers of exponent $3$ and~$4$.

23: 

24: We discuss how our family of curves can be potentially be used to obtain a

25: deterministic polynomial-time algorithm to factor univariate polynomials over

26: finite fields via an argument of Kayal and Poonen.

27: \end{abstract}

28: