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

Sintesi Tecnica: Curve di Genere Due con Mappature di Ogni Grado verso una Curva Ellittica Fissa

Enunciato del Problema
Il saggio affronta una questione classica nella teoria degli integrali iperellittici, formulata originariamente da Legendre nel 1828: esiste una curva di genere 2 $C$ su numeri complessi $\mathbb{C}$ e una curva ellittica $E$ su $\mathbb{C}$ tali che per ogni intero $n > 1$, esista un morfismo di grado $n$ da $C$ a $E$? Sebbene le curve di genere 2 che ammettono mappature verso curve ellittiche siano state studiate per quasi due secoli, la specifica condizione di ammettere mappature di ogni grado non era stata risolta. Il saggio investiga se tali coppie $(C, E)$ esistano e, in tal caso, le classifica fino all'isomorfismo.

Metodologia
La strategia di prova si basa sulla relazione strutturale tra una curva di genere 2 $C$ che ammette una mappatura di grado 2 verso una curva ellittica $E$ e una seconda curva ellittica $F$. La metodologia procede attraverso i seguenti passaggi logici:

1. Riduzione alle Forme Quadriche:
   Utilizzando i risultati di Kani e il lavoro precedente di Picard, gli autori stabiliscono che se $C$ ha una mappatura di grado 2 verso una curva ellittica $E$, esiste una curva ellittica $F$ unica e un isomorfismo $\psi: E[2] \to F[2]$ tale che il jacobiano di $C$ sia isogeno al quoziente di $E \times F$ per il grafo di $\psi$.
   L'insieme delle mappature da $C$ a $E$ corrisponde a un reticolo $\mathbb{Z}$ nello spazio vettoriale $\text{Hom}(E, \text{Jac } C)$. Il grado di queste mappature definisce una forma quadrica definita positiva su tale reticolo. Affinché $C$ abbia mappature di ogni grado $n > 1$, questa forma quadrica deve rappresentare ogni intero $n > 1$.

2. Restrizione degli Anelli di Endomorfismi:
   Analizzando l'esistenza di mappature di gradi 3 e 4, gli autori derivano vincoli stretti sugli anelli di endomorfismi di $E$ e $F$. Nello specifico, dimostrano che $E$ deve avere moltiplicazione complessa (CM) e che deve esistere un isogenia ciclica tra $E$ e $F$ di un grado specifico e piccolo $p$. Ciò riduce lo spazio di ricerca infinito a una lista finita di possibili coppie di discriminanti $(\Delta_E, \Delta_F)$.

3. Enumerazione Computazionale:
   Per la lista finita di coppie di discriminanti candidati, gli autori eseguono una ricerca computazionale utilizzando il software Magma. Essi:

   • Costruiscono i campi di numeri contenenti gli invarianti $j$ delle relative curve ellittiche.
   • Determinano l'insieme dei possibili gradi di endomorfismi di $E$ e di omo-morfismi da $E$ a $F$ che soddisfano le condizioni di compatibilità del 2-torsione.
   • Computano le matrici dei periodi e le associate forme quadriche per le curve di genere 2 risultanti.
   • Verificano quali forme rappresentano tutti gli interi da 2 a 31 (una condizione necessaria per rappresentare ogni intero $n > 1$).

4. Verifica delle Forme Quadriche:
   Gli autori dimostrano che le forme quadriche sopravvissute sono isomorfe a una di quattro specifiche forme quaternarie ($q_1, q_2, q_3, q_4$). Essi forniscono poi una prova numerico-teoretica separata (Proposizione 2) dimostrando che ciascuna di queste quattro forme rappresenta effettivamente ogni intero maggiore di 1.

5. Risultati di Non-Esistenza:
   Per affrontare il caso generale in cui una curva non ammette mappature di ogni grado, gli autori utilizzano l'invariante di Humbert "raffinato" di Kani, una forma quadrica ternaria associata a qualsiasi curva di genere 2. Dimostrano che per ogni tale curva, esiste un intero specifico $n$ (limitato da 59 nel Teorema 3, e da una costante grande $kN$ nel Teorema 4) per il quale non esiste una mappatura minima di grado $n$.

Risultati Chiave

• Teorema 1 (Classificazione): Fino all'isomorfismo, esistono esattamente venti coppie $(C, E)$ soddisfacendo la condizione che $C$ è una curva di genere 2, $E$ è una curva ellittica, e per ogni $n > 1$, esiste una mappatura di grado $n$ da $C$ a $E$.

  • Queste coppie sono caratterizzate da discriminanti specifici per gli anelli di endomorfismi di $E$ e $F$.
  • Le associate forme quadriche sul reticolo delle mappature cadono esattamente in quattro classi di isomorfismo ($q_1, q_2, q_3, q_4$).
  • La Tabella 1 nel saggio fornisce i parametri della matrice dei periodi ($\tau, \sigma$) e i discriminanti per tutte le venti coppie.
  • La Tabella 2 fornisce i modelli polinomiali espliciti $y^2 = f(x)$ per le curve $C$ corrispondenti a queste coppie.

• Teorema 3 (Limite di Non-Esistenza): Per qualsiasi curva di genere 2 $C$, esiste un intero $n \in \{2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 19, 31, 59\}$ tale che non esiste una mappatura minima di grado $n$ da $C$ verso una qualsiasi curva ellittica.

• Teorema 4 (Non-Esistenza Generale): Un limite più forte, sebbene meno preciso, è fornito coinvolgendo un grande intero $N$ (il prodotto di molti numeri primi fino a 1511), mostrando che per qualsiasi curva di genere 2, la mancata esistenza di una mappatura minima di grado $n$ avviene per qualche $n \in \{2, 3, 13, kN\}$.

Significato e Rivendicazioni
Il saggio sostiene di risolvere un problema che, sebbene formulato in termini moderni, sarebbe potuto essere compreso da ricercatori del XIX secolo come Legendre, Jacobi e Picard. La significatività primaria risiede nella sorprendente esistenza di tali curve; gli autori notano che è "forse sorprendentemente" che tali curve esistano affatto.

Il lavoro fornisce una classificazione completa di queste curve eccezionali, identificando esattamente venti classi di isomorfismo. Dimostra inoltre che questi venti casi sono le uniche istanze in cui esistono mappature di ogni grado. Per tutte le altre curve di genere 2, il saggio stabilisce che esiste un "gap" nei gradi delle mappature minime verso curve ellittiche, con il gap massimo possibile limitato da 59.

Il saggio nota anche brevemente che risultati simili valgono per le curve ordinarie in caratteristica positiva tramite il sollevamento di Serre-Tate, ma dichiara esplicitamente che la situazione per le curve supersingolari in caratteristica positiva non è stata indagata e potrebbe produrre esempi differenti.

Contesto Storico
L'introduzione colloca il lavoro in una linea di ricerca che abbraccia quasi 200 anni, citando i contributi di Legendre (1828), Jacobi, Kowalevski, Poincaré, Picard e Humbert. Gli autori enfatizzano che il loro problema è un'estensione naturale dello studio classico della riduzione di integrali iperellittici in integrali ellittici, chiedendosi specificamente se tale riduzione sia possibile tramite trasformazioni di ogni grado.