Modular forms for chromatic homotopy: Supersingular congruences

Sintesi Tecnica: Forme Modulari per l'Omotopia Cromatica: Congruenze Supersingolari

Enunciato del Problema
Questo articolo affronta una congettura di Donald Larson nell'ambito del programma di Behrens, che mira a descrivere la famiglia beta divisa nella sequenza spettrale di Adams–Novikov (ANSS) per i gruppi di omotopia stabili delle sfere utilizzando le forme modulari modulo $p$. Nello specifico, il problema riguarda la rappresentazione delle forme di Behrens $f_{i/j}$, che sono forme modulari di peso $12t$ (dove $t = i(p^2-1)/12$) associate agli elementi di ordine $p$ $\beta_{i/j}$ nella ANSS.

Larson ha congetturato che, per un numero primo $p \ge 5$, scrivendo $i = r p^n$ con $(r, p) = 1$, la forma di Behrens $f_{i/j}$ può essere rappresentata dalla potenza pura della forma del discriminante, $\Delta^t$, se e solo se l'indice $j$ soddisfa $1 \le j \le p^n$. Per indici ammissibili $j > p^n$, nessun rappresentante di $f_{i/j}$ è uguale a $\Delta^t$. L'articolo mira a dimostrare questa congettura per tutti i numeri primi $p \ge 5$, stabilendo un criterio netto per cui queste forme modulari sono potenze pure di $\Delta$.

Metodologia
La dimostrazione riduce il problema topologico dell'identificazione degli elementi beta divisi a un problema geometrico riguardante il comportamento delle forme modulari sulle curve modulari $X_0(\ell)$ e i loro valori nei punti supersingolari. La metodologia procede attraverso i seguenti passaggi:

1. Riduzione alle Condizioni di Congruenza: L'autore utilizza le quattro condizioni definitorie di Behrens (C1–C4) per le forme $f_{i/j}$. Le condizioni (C1)–(C3) riguardano il non annullamento e l'ordine di $q$ della forma, mentre la condizione (C4) impone un vincolo di divisibilità coinvolgendo l'invariante di Hasse $A_p$ e l'operatore $L_\ell = V_\ell - \iota$ (dove $V_\ell$ è l'operatore $U_\ell$ agendo sulle espansioni in $q$ e $\iota$ è l'inclusione delle forme di livello uno). Nello specifico, (C4) richiede che $A_p^j \mid L_\ell(\bar{f}_{i/j})$ nell'anello delle forme modulari modulo $p$ su $\Gamma_0(\ell)$.

2. Analisi di Livello 2: L'autore esegue un calcolo esplicito al livello $\ell=2$. Utilizzando i generatori di Larson per l'anello delle forme modulari su $\Gamma_0(2)$, l'operatore $L_2(\Delta^t)$ viene fattorizzato. La divisibilità di questa espressione per le potenze dell'invariante di Hasse $A_p$ viene analizzata confrontando i loci degli zeri di $L_2(\Delta^t)$ con i punti supersingolari su $X_0(2)$. Questa analisi rivela che la divisibilità è soddisfatta se e solo se $j \le p^n$, a condizione che i punti supersingolari soddisfino una specifica condizione di radice dell'unità.

3. Teorema di Contenimento Supersingolare: Per estendere il risultato dal livello 2 a tutti i livelli $\ell \neq p$, l'articolo dimostra un teorema geometrico riguardante i valori della funzione modulare $R_\ell = V_\ell(\Delta)/\Delta$ nei punti supersingolari. L'affermazione centrale è che per ogni punto supersingolare $\tilde{P}$ su $X_0(\ell)$ su $\mathbb{F}_p$, il valore $R_\ell(\tilde{P})$ è una radice $m$-esima dell'unità, dove $m = (p^2-1)/12$.

4. Razionalità dei Discriminanti Supersingolari: La dimostrazione del teorema di contenimento si basa su un nuovo risultato riguardante la razionalità dei discriminanti delle curve ellittiche supersingolari. Utilizzando i modelli di Deuring (curve supersingolari definite su $\mathbb{F}_{p^2}$ con endomorfismo di Frobenius $[-p]$) e le potenze di eta ai livelli 3 e 4, l'autore dimostra che la quantità $\kappa(E) = \Delta(E, \omega)^{(p^2-1)/12}$ è indipendente dalla curva $E$ e dal differenziale $\omega$, assumendo il valore $(-1)^{(p+1)/2}$. Ciò consente di mostrare che il rapporto tra i discriminanti lungo un isogenia è 1 quando elevato alla potenza $m$.

Contributi Chiave e Risultati

• Dimostrazione della Congettura di Larson: L'articolo dimostra la congettura di Larson integralmente per tutti i numeri primi $p \ge 5$. Stabilisce che la potenza pura $\Delta^t$ soddisfa le condizioni di Behrens (C1)–(C4) precisamente quando $1 \le j \le p^n$.
• Nitidezza del Limite (Sharpness): L'articolo dimostra che per indici ammissibili $j > p^n$ (che si verificano quando $r > 1$ e $n \ge 2$), la forma $\Delta^t$ fallisce la condizione (C4) al livello $\ell=2$. Di conseguenza, nessun rappresentante di $f_{i/j}$ può essere $\Delta^t$ in questo intervallo.
• Teorema di Contenimento Supersingolare (Teorema 1.2): Si dimostra che per ogni numero primo $\ell \neq p$, il valore della funzione modulare $R_\ell$ in ogni punto supersingolare di $X_0(\ell)$ elevato alla potenza $m = (p^2-1)/12$ è uguale a 1.
• Razionalità dei Discriminanti Supersingolari (Teorema 1.3): L'articolo stabilisce che per una curva ellittica supersingolare $E$ su $\mathbb{F}_{p^2}$ con Frobenius $[-p]$, il valore $\Delta(E, \omega)^{(p^2-1)/12}$ è uguale a $(-1)^{(p+1)/2}$. Questo valore è indipendente dalla scelta della curva o del differenziale invariante.
• Fattorizzazione di Livello 2: L'articolo fornisce una fattorizzazione dettagliata di $L_2(\Delta^t)$ in termini dei fattori lineari corrispondenti ai punti supersingolari, mostrando come la molteplicità di questi fattori sia correlata alla valutazione $p$-adica dell'esponente $t$.

Significato
L'articolo completa il calcolo dell'intervallo in cui le forme di Behrens associate alla famiglia beta divisa sono rappresentate da potenze pure del discriminante. Riducendo le condizioni di congruenza topologica a enunci geometrici sui punti supersingolari delle curve modulari, il lavoro crea un ponte tra l'omotopia stabile e la geometria aritmetica delle curve ellittiche. La dimostrazione si basa interamente su calcoli aritmetici sulle curve modulari e sulle proprietà delle curve ellittiche supersingolari, con l'unico input topologico dato dall'esistenza e dalle condizioni definitorie delle forme di Behrens. I risultati confermano la nitidezza del confine $j = p^n$ per la rappresentabilità di queste forme, risolvendo una specifica previsione fatta all'interno del programma dell'omotopia cromatica.