Strong Weil Degree Divisibility at Higher Levels

Sintesi Tecnica: Forte Divisibilità del Grado di Weil a Livelli Superiori

Enunciato del Problema
Il saggio investiga le proprietà aritmetiche dei morfismi dalle curve modulari $X_0(N)$ (e da curve intermedie come $X_1(N)$) verso curve ellittiche $E'$ nella classe di isogenia razionale di una curva di Weil forte $E$ di condotto $M$. Nello specifico, affronta due questioni primarie riguardanti la relazione tra il grado della parametrizzazione di Weil forte $\pi_E: X_0(M) \to E$ e i gradi dei morfismi $g: X_0(N) \to E'$ dove $N$ è un multiplo di $M$:

1. Divisibilità: Il $\deg \pi_E$ divide $\deg g$? Se non è così, quali fattori espliciti controllano il fallimento della divisibilità?
2. Struttura Integrale: Gli omomorfismi "vecchi" indotti dalle mappe di degenerazione formano una base integrale per il gruppo di omomorfismi $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$? Se non è così, è possibile vincolare esplicitamente i denominatori dei coefficienti degli omomorfismi integrali?

Il caso $N=M$ è ben compreso tramite la proprietà universale dei quozienti ottimali, mentre il comportamento a livelli superiori $N > M$ coinvolge interazioni complesse tra mappe di degenerazione, costanti di Manin e la struttura dei jacobiani modulari.

Metodologia
Gli autori impiegano una combinazione di geometria algebrica, teoria delle forme modulari e teoria dei reticoli. La metodologia principale prevede l'impiego di:

• Decomposizione delle Forme Vecchie: Utilizzare la decomposizione di Atkin–Lehner–Li per identificare lo spazio vettoriale razionale $\text{Hom}_{\mathbb{Q}}(J_0(N), E') \otimes \mathbb{Q}$ con lo span degli omomorfismi "vecchi" indotti dalle mappe di degenerazione $\iota_r: X_0(N) \to X_0(M)$.
• Accoppiamenti di Grado: Definire un accoppiamento di grado definita positiva su omomorfismi. Ciò permette di esprimere il grado di un morfismo come una forma quadratica che coinvolge le coordinate dell'omomorfismo nella base vecchia e una "matrice di grado" $A_{E,N}$.
• Limiti dei Denominatori tramite Espansioni in $q$: Per controllare i denominatori dei coefficienti negli omomorfismi razionali, gli autori analizzano la controimmagine dei differenziali invarianti (differenziali di Néron) sotto i morfismi. Stabiliscono condizioni di integrità esaminando le espansioni in $q$ in due cuspidi specifiche: la cuspide standard $\infty$ e la sua immagine sotto l'involuzione di Fricke $w_N$.
• Argomenti di Discesa: Per i primi $\ell$ tali che $\ell^2 \mid (N/M)$, gli autori utilizzano un argomento di discesa. Dimostrano che le mappe di degenerazione $\delta_\ell: X_0(N) \to X_0(N/\ell)$ sono totalmente ramificate in $\infty$ (per $X_0$) o surjective sui gruppi fondamentali (per le curve intermedie), implicando che la mappa indotta sui jacobiani ha un nucleo geometricamente connesso. Questa proprietà assicura che l'integrità scenda dal livello $N$ a $N/\ell$.
• Criterio di Torre: Gli autori astraggono queste proprietà in un "criterio di torre" (Condizioni T1–T3) per estendere i risultati da $X_0$ a torri compatibili di curve modulari intermedie, incluse $X_1$ e le torri di diamante.

Contributi Chiave e Risultati

1. Teorema di Divisibilità (Teorema 1.1):
   Il saggio dimostra che per ogni morfismo non costante $g: X_0(N) \to E'$, il grado della parametrizzazione di Weil forte divide il grado di $g$ fino a un fattore controllato dalla costante di Manin $c_E$ e dal numero di fattori primi di $N/M$. Specificamente:
   $$\deg \pi_E \mid c_E^{\Omega(N/M)} \deg g$$
   dove $\Omega(n)$ è il numero di fattori primi di $n$ conteggiati con la molteplicità.

• Raffinamento: L'esponente di qualsiasi primo $\ell \mid c_E$ può essere raffinato da $\text{ord}_\ell(c_E)\Omega(N/M)$ a $\text{ord}_\ell(c_E) + \lfloor \text{ord}_\ell(N/M)/2 \rfloor$.
• Caso Incondizionato: Se $c_E = 1$ (il che è noto essere vero quando $M$ è squarefree, o verificato per $M < 500.000$), allora $\deg \pi_E \mid \deg g$ incondizionatamente.

2. Base Integrale e Teorema dei Denominatori (Teorema 1.2):
   Gli autori stabiliscono le condizioni sotto le quali gli omomorfismi vecchi formano una $\mathbb{Z}$-base. Se la costante di Manin del morfismo composto $u \circ \pi_E$ è 1 (dove $u$ genera $\text{Hom}_{\mathbb{Q}}(E, E')$), allora l'insieme $\{ \Phi_{r,u} : r \mid (N/M) \}$ forma una $\mathbb{Z}$-base di $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$.

• Limite Generale: Nel caso generale, i denominatori dei coefficienti di qualsiasi omomorfismo integrale sono limitati da un intero esplicito $D_{u \circ \pi_E}(N/M)$, che dipende dalla fattorizzazione in primi di $N/M$ e dalla costante di Manin.
• Spettro di Grado: Quando la costante di Manin è 1, il grado di qualsiasi morfismo è esattamente determinato dalla forma quadratica $b^T A_{E,N} b$, dove $b$ è il vettore dei coefficienti interi dell'omomorfismo nella base vecchia.

3. Estensione alle Curve Intermedie (Teoremi 5.12–5.19):
   I risultati sono estesi a torri compatibili di curve modulari intermedie, incluse le torri $X_1$.

• Per $X_1(N)$, analoghi risultati di divisibilità e di base valgono, governati dalla costante di Manin–Stevens $c_1$.
• Il saggio dimostra che l'argomento della ramificazione totale usato per $X_0$ deve essere sostituito da un argomento topologico riguardante la suriettività delle mappe sui gruppi fondamentali per le curve intermedie, sebbene le conclusioni finali su divisibilità e base rimangano strutturalmente simili.

Significato e Rivendicazioni
Il saggio rivendica di fornire una descrizione aritmetica completa dei gradi dei morfismi dalle curve modulari di livello superiore verso curve ellittiche in termini della parametrizzazione al livello minimo.

• Divisibilità Incondizionata: Conferma che la divisibilità $\deg \pi_E \mid \deg g$ è incondizionata ogni volta che $c_E = 1$, una condizione soddisfatta per tutti i condotti squarefree e verificata computazionalmente per un ampio intervallo di condotti.
• Intuizione Strutturale: Chiarisce la struttura del gruppo $\text{Hom}$ integrale, mostrando che le mappe "vecchie" generano l'intero reticolo fino a un denominatore controllato. Ciò risolve la questione se il reticolo "vecchio" sia saturo.
• Limiti Espliciti: Il saggio fornisce limiti espliciti e computabili per il fallimento dell'integrità e della divisibilità, raffinando le stime precedenti riducendo l'esponente del fattore della costante di Manin basato sulla molteplicità dei fattori primi nel rapporto dei livelli.
• Generalizzabilità: Formulando un "criterio di torre", gli autori dimostrano che questi fenomeni non sono unici per $X_0$ ma sono intrinseci a famiglie compatibili di curve modulari, incluse $X_1$.

Il lavoro si basa sul caso semistabile della congettura della costante di Manin (dimostrata da Česnavičius) per i risultati incondizionati nel caso squarefree e sfrutta le esistenti verifiche computazionali (Cremona) per specifici condotti. Il saggio non propone nuove applicazioni ma consolida le fondamenta teoriche per comprendere le parametrizzazioni modulari a livelli superiori.