Curves of genus two with maps of every degree to a fixed elliptic curve

Technische Samenvatting: Curven van Genus Twee met Afbeeldingen van Elke Graad naar een Vaste Elliptische Curve

Probleemstelling
Het artikel behandelt een klassieke vraag uit de theorie van hyperelliptische integralen, oorspronkelijk geformuleerd door Legendre in 1828: Bestaat er een genus-2 curve $C$ over de complexe getallen $\mathbb{C}$ en een elliptische curve $E$ over $\mathbb{C}$ zodanig dat er voor elke integer $n > 1$ een morfisme van graad $n$ bestaat van $C$ naar $E$? Hoewel genus-2 curven die afbeeldingen naar elliptische curven toestaan al bijna twee eeuwen worden bestudeerd, was de specifieke conditie van het toestaan van afbeeldingen van elke graad nog niet opgelost. Het artikel onderzoekt of dergelijke paren $(C, E)$ bestaan en, indien zij dat doen, classificeert ze tot isomorfie.

Methodologie
De bewijsstrategie steunt op de structurele relatie tussen een genus-2 curve $C$ die een graad-2 afbeelding naar een elliptische curve $E$ toestaat en een tweede elliptische curve $F$. De methodologie verloopt via de volgende logische stappen:

1. Reductie naar Kwadratische Vormen:
   Gebruikmakend van resultaten van Kani en eerder werk van Picard, stellen de auteurs vast dat als $C$ een graad-2 afbeelding naar een elliptische curve $E$ heeft, er een unieke elliptische curve $F$ en een isomorfisme $\psi: E[2] \to F[2]$ bestaat zodanig dat de Jacobiaan van $C$ isogeen is aan de quotient van $E \times F$ door de graaf van $\psi$.
   De verzameling afbeeldingen van $C$ naar $E$ komt overeen met een $\mathbb{Z}$-rooster in de vectorruimte $\text{Hom}(E, \text{Jac } C)$. De graad van deze afbeeldingen definieert een positief bepaalde kwadratische vorm op dit rooster. Voor $C$ om afbeeldingen van elke graad $n > 1$ te hebben, moet deze kwadratische vorm elke integer $n > 1$ representeren.

2. Restrictie van Endomorfisme-ringen:
   Door de existentie van afbeeldingen van graden 3 en 4 te analyseren, leiden de auteurs strikte beperkingen af voor de endomorfisme-ringen van $E$ en $F$. Specifiek bewijzen zij dat $E$ complexe vermenigvuldiging (CM) moet hebben en dat er een cyclische isogenie tussen $E$ en $F$ moet bestaan van een specifieke kleine graad $p$. Dit reduceert de oneindige zoekruimte tot een eindige lijst van mogelijke paren discriminanten $(\Delta_E, \Delta_F)$.

3. Computationele Enumeratie:
   Voor de eindige lijst van kandidaat-discriminantparen voert de auteurs een computationele zoektocht uit met de software Magma. Zij:

   • Construeren de getallenvelden die de $j$-invarianten van de relevante elliptische curven bevatten.
   • Bepalen de verzamelingen van mogelijke graden van endomorfismen van $E$ en homomorfismen van $E$ naar $F$ die voldoen aan de 2-torsie compatibiliteitsvoorwaarden.
   • Berekenen de periodematrices en de geassocieerde kwadratische vormen voor de resulterende genus-2 curven.
   • Verifiëren welke vormen alle integers van 2 tot 31 representeren (een noodzakelijke conditie voor het representeren van alle integers $n > 1$).

4. Verificatie van Kwadratische Vormen:
   De auteurs bewijzen dat de overgebleven kwadratische vormen isomorf zijn aan één van vier specifieke kwartaire vormen ($q_1, q_2, q_3, q_4$). Zij leveren vervolgens een apart getaltheoretisch bewijs (Propositie 2) dat elke van deze vier vormen inderdaad elke integer groter dan 1 representeert.

5. Niet-existentie Resultaten:
   Om het algemene geval aan te pakken waarbij een curve geen afbeeldingen van elke graad toestaat, maken de auteurs gebruik van Kani's "verfijnde Humbert-invariant", een ternaire kwadratische vorm geassocieerd met elke genus-2 curve. Zij bewijzen dat voor elke dergelijke curve er een specifieke integer $n$ bestaat (begrensd door 59 in Theorem 3, en door een grote constante $kN$ in Theorem 4) waarvoor geen minimale afbeelding van graad $n$ bestaat.

Kernresultaten

• Theorem 1 (Classificatie): Tot isomorfie zijn er exact twintig paren $(C, E)$ die voldoen aan de conditie dat $C$ een genus-2 curve is, $E$ een elliptische curve is, en dat er voor elke $n > 1$ een afbeelding van graad $n$ van $C$ naar $E$ bestaat.

  • Deze paren worden gekarakteriseerd door specifieke discriminanten voor de endomorfisme-ringen van $E$ en $F$.
  • De geassocieerde kwadratische vormen op de mapping-roosters vallen exact in vier isomorfieklassen ($q_1, q_2, q_3, q_4$).
  • Tabel 1 in het artikel geeft de expliciete periodematrix-parameters ($\tau, \sigma$) en discriminanten voor alle twintig paren.
  • Tabel 2 geeft expliciete polynoommodellen $y^2 = f(x)$ voor de curven $C$ die bij deze paren horen.

• Theorem 3 (Niet-existentie Grens): Voor elke genus-2 curve $C$ bestaat er een integer $n \in \{2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 19, 31, 59\}$ waarvoor geen minimale afbeelding van graad $n$ van $C$ naar een elliptische curve bestaat.

• Theorem 4 (Algemene Niet-existentie): Een sterkere, zij het minder precieze, grens wordt gegeven via een grote integer $N$ (het product van vele priemgetallen tot en met 1511), die aantoont dat voor elke genus-2 curve de existentie van een minimale afbeelding van graad $n$ faalt voor sommige $n \in \{2, 3, 13, kN\}$.

Betekenis en Claims
Het artikel claimt een probleem te hebben opgelost dat, hoewel geformuleerd in moderne terminologie, door 19e-eeuwse onderzoekers zoals Legendre, Jacobi en Picard begrepen had kunnen worden. De primaire betekenis ligt in de verrassende existentie van dergelijke curven; de auteurs merken op dat het "misschien verrassend" is dat dergelijke curven überhaupt bestaan.

Het werk biedt een volledige classificatie van deze uitzonderlijke curven en identificeert exact twintig isomorfieklassen. Het toont verder aan dat deze twintig gevallen de enige instanties zijn waar afbeeldingen van elke graad bestaan. Voor alle andere genus-2 curven stelt het artikel vast dat er een "gat" is in de graden van minimale afbeeldingen naar elliptische curven, waarbij de maximale mogelijke kloof begrensd is door 59.

Het artikel merkt ook kort op dat vergelijkbare resultaten gelden voor gewone (ordinary) curven in positieve karakteristiek via Serre-Tate lifting, maar stelt expliciet dat de situatie voor supersinguliere curven in positieve karakteristiek niet is onderzocht en andere voorbeelden kan opleveren.

Historische Context
De inleiding plaatst het werk in een lijn van onderzoek die bijna 200 jaar beslaat, met verwijzingen naar bijdragen van Legendre (1828), Jacobi, Kowalevski, Poincaré, Picard en Humbert. De auteurs benadrukken dat hun probleem een natuurlijke uitbreiding is van de klassieke studie van de reductie van hyperelliptische integralen naar elliptische integralen, specifiek de vraag of een dergelijke reductie mogelijk is via transformaties van elke graad.