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

Technische Zusammenfassung: Kurven vom Geschlecht zwei mit Abbildungen jedweder Gradzahl auf eine feste elliptische Kurve

Problemstellung
Die Arbeit befasst sich mit einer klassischen Frage aus der Theorie der hyperelliptischen Integrale, die ursprünglich 1828 von Legendre formuliert wurde: Existiert eine Kurve $C$ des Geschlechts 2 über den komplexen Zahlen $\mathbb{C}$ und eine elliptische Kurve $E$ über $\mathbb{C}$, sodass für jede ganze Zahl $n > 1$ eine Morphismus der Gradzahl $n$ von $C$ nach $E$ existiert? Während Geschlecht-2-Kurven, die Abbildungen auf elliptische Kurven zulassen, seit fast zwei Jahrhunderten untersucht werden, war die spezifische Bedingung, Abbildungen jedweder Gradzahl zuzulassen, bisher nicht geklärt. Die vorliegende Arbeit untersucht, ob solche Paare $(C, E)$ existieren und klassifiziert sie bis auf Isomorphie.

Methodik
Die Beweisstrategie stützt sich auf die strukturelle Beziehung zwischen einer Geschlecht-2-Kurve $C$, die eine Gradzahl-2-Abbildung auf eine elliptische Kurve $E$ besitzt, und einer zweiten elliptischen Kurve $F$. Die Methodik vollzieht sich durch die folgenden logischen Schritte:

1. Reduktion auf quadratische Formen:
   Unter Verwendung von Resultaten von Kani und früheren Arbeiten von Picard etablieren die Autoren, dass es, falls $C$ eine Gradzahl-2-Abbildung auf eine elliptische Kurve $E$ besitzt, eine eindeutige elliptische Kurve $F$ und einen Isomorphismus $\psi: E[2] \to F[2]$ gibt, sodass der Jacobisch von $C$ isogen zu dem Quotienten von $E \times F$ durch den Graphen von $\psi$ ist.
   Die Menge der Abbildungen von $C$ nach $E$ entspricht einem $\mathbb{Z}$-Gitter im Vektorraum $\text{Hom}(E, \text{Jac } C)$. Die Gradzahl dieser Abbildungen definiert eine positive definite quadratische Form auf diesem Gitter. Damit $C$ Abbildungen jedweder Gradzahl $n > 1$ besitzt, muss diese quadratische Form jede ganze Zahl $n > 1$ darstellen.

2. Einschränkung der Endomorphismenringe:
   Durch die Analyse der Existenz von Abbildungen der Gradzahlen 3 und 4 leiten die Autoren strikte Beschränkungen für die Endomorphismenringe von $E$ und $F$ ab. Speziell beweisen sie, dass $E$ komplexe Multiplikation (CM) besitzen muss und dass eine zyklische Isogenie zwischen $E$ und $F$ einer spezifischen kleinen Gradzahl $p$ existieren muss. Dies reduziert den unendlichen Suchraum auf eine endliche Liste möglicher Diskriminantenpaare $(\Delta_E, \Delta_F)$.

3. Komputative Enumeration:
   Für die endliche Liste der Kandidaten-Diskriminantenpaare führen die Autoren eine komputative Suche unter Verwendung der Software Magma durch. Dabei:

   • Konstruieren sie die Zahlkörper, die die $j$-Invarianten der relevanten elliptischen Kurven enthalten.
   • Bestimmen sie die Mengen möglicher Gradzahlen von Endomorphismen von $E$ und Homomorphismen von $E$ nach $F$, welche die 2-Torsions-Kompatibilitätsbedingungen erfüllen.
   • Berechnen die Periodenmatrizen und die assoziierten quadratischen Formen für die resultierenden Geschlecht-2-Kurven.
   • Verifizieren, welche Formen alle ganzen Zahlen von 2 bis 31 darstellen (eine notwendige Bedingung, um alle ganzen Zahlen $n > 1$ darzustellen).

4. Verifizierung quadratischer Formen:
   Die Autoren beweisen, dass die überlebenden quadratischen Formen isomorph zu vier spezifischen quaternären Formen ($q_1, q_2, q_3, q_4$) sind. Sie liefern dann einen separaten zahlentheoretischen Beweis (Proposition 2), der zeigt, dass jede dieser vier Formen tatsächlich jede ganze Zahl größer als 1 darstellt.

5. Nicht-Existenz-Resultate:
   Um den allgemeinen Fall zu adressieren, in dem eine Kurve nicht Abbildungen jedweder Gradzahl besitzt, nutzen die Autorens Kani's „verfeinertes Humbert-Invariante“, eine ternäre quadratische Form, die mit jeder Geschlecht-2-Kurve assoziiert ist. Sie beweisen, dass für jede solche Kurve eine spezifische ganze Zahl $n$ existiert (beschränkt durch 59 in Theorem 3, und durch eine große Konstante $kN$ in Theorem 4), für die keine minimale Abbildung der Gradzahl $n$ existiert.

Wesentliche Ergebnisse

• Theorem 1 (Klassifikation): Bis auf Isomorphie gibt es genau zwanzig Paare $(C, E)$, welche die Bedingung erfüllen, dass $C$ eine Geschlecht-2-Kurve ist, $E$ eine elliptische Kurve ist und für jede $n > 1$ eine Abbildung der Gradzahl $n$ von $C$ nach $E$ existiert.

  • Diese Paare werden durch spezifische Diskriminanten der Endomorphismenringe von $E$ und $F$ charakterisiert.
  • Die assoziierten quadratischen Formen auf den Abbildungsgittern fallen in genau vier Isomorphieklassen ($q_1, q_2, q_3, q_4$).
  • Tabelle 1 in der Arbeit liefert die expliziten Periodenmatrix-Parameter ($\tau, \sigma$) und Diskriminanten für alle zwanzig Paare.
  • Tabelle 2 liefert explizite Polynommodelle $y^2 = f(x)$ für die zu diesen Paaren gehörenden Kurven $C$.

• Theorem 3 (Nicht-Existenz-Schranke): Für jede Geschlecht-2-Kurve $C$ existiert eine ganze Zahl $n \in \{2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 19, 31, 59\}$, für die keine minimale Abbildung der Gradzahl $n$ auf eine elliptische Kurve existiert.

• Theorem 4 (Allgemeine Nicht-Existenz): Eine stärkere, wenn auch weniger präzise Schranke wird unter Verwendung einer großen Ganzzahl $N$ (dem Produkt vieler Primzahlen bis 1511) bereitgestellt, die zeigt, dass für jede Geschlecht-2-Kurve eine minimale Abbildung der Gradzahl $n$ für einige $n \in \{2, 3, 13, kN\}$ nicht existiert.

Bedeutung und Ansprüche
Die Arbeit behauptet, ein Problem gelöst zu haben, das zwar in moderner Terminologie formuliert, aber bereits von Forschern des 19. Jahrhunderts wie Legendre, Jacobi und Picard hätte verstanden werden können. Die primäre Bedeutung liegt in der überraschenden Existenz solcher Kurven; die Autoren merken an, dass es „vielleicht überraschend“ ist, dass solche Kurven überhaupt existieren.

Die Arbeit liefert eine vollständige Klassifikation dieser exceptionalen Kurven und identifiziert exakt zwanzig Isomorphieklassen. Sie zeigt ferner auf, dass diese zwanzig Fälle die einzigen Instanzen sind, in denen Abbildungen jedweder Gradzahl existieren. Für alle anderen Geschlecht-2-Kurven stellt die Arbeit fest, dass es eine „Lücke“ in den Gradzahlen minimaler Abbildungen auf elliptische Kurven gibt, wobei die maximale Lücke durch 59 beschränkt ist.

Die Arbeit merkt zudem kurz an, dass ähnliche Resultate für gewöhnliche Kurven in positiver Charakteristik via Serre-Tate-Lifting gelten, stellt jedoch explizit klar, dass die Situation für supersinguläre Kurven in positiver Charakteristik nicht untersucht wurde und andere Beispiele liefern könnte.

Historischer Kontext
Die Einleitung ordnet die Arbeit in eine Forschungslinie ein, die sich über fast 200 Jahre erstreckt, und zitiert Beiträge von Legendre (1828), Jacobi, Kowalevski, Poincaré, Picard und Humbert. Die Autoren betonen, dass ihr Problem eine natürliche Erweiterung der klassischen Untersuchung der Reduktion hyperelliptischer Integrale auf elliptische Integrale ist, speziell mit der Frage, ob eine solche Reduktion durch Transformationen jedweder Gradzahl möglich ist.