Riepilogo Tecnico: Distribuzioni degli invarianti $\lambda$ di Iwasawa di torri $\mathbf{Z}_p$ su grafi di isogenia supersingolari

Enunciato del Problema

Questo articolo indaga la distribuzione degli invarianti $\lambda$ di Iwasawa associati a torri costanti $\mathbf{Z}_p$ su grafi di isogenia $\ell$-supersingolari doppi (DSIG). Lo studio si colloca all'intersezione tra teoria dei grafi, teoria di Iwasawa e aritmetica delle curve ellittiche.

L'oggetto centrale di studio è il grafo di isogenia supersingolare $\ell$, denotato $SI(r, \ell)$, definito sulla chiusura algebrica di un campo finito $\mathbf{F}_r$ (dove $r$ e $\ell$ sono primi distinti). I vertici rappresentano le classi di isomorfismo di curve ellittiche supersingolari, e gli spigoli rappresentano le $\ell$-isogenie. Gli autori considerano la versione "doppia", $X(r, \ell)$, che è un grafo non orientato costruito trattando gli spigoli orientati di $SI(r, \ell)$ e i loro inversi come spigoli distinti.

Il problema si concentra sul comportamento dell'invariante $\lambda$ di Iwasawa, $\lambda_\ell$, associato a una specifica torre $\mathbf{Z}_p$ (un sistema compatibile di ricoprimenti $\mathbf{Z}/p^n\mathbf{Z}$) su $X(r, \ell)$. Nello specifico, gli autori fissano il primo $r$ (il livello della curva modulare) e il primo $p$ (la caratteristica della torre), e lasciano che il primo $\ell$ vari su infiniti primi. L'obiettivo è determinare la distribuzione statistica dei valori assunti da $\lambda_\ell$ al variare di $\ell$.

Metodologia

1. Teoria di Iwasawa Teorico-Gráfica

Gli autori utilizzano l'analogo teorico-grafico della teoria di Iwasawa sviluppato da Gonet e Vallières. Per una torre $\mathbf{Z}_p$ su un grafo $X$, la complessità $\kappa(X_n)$ (il numero di alberi ricoprenti dello strato $n$-esimo) soddisfa una formula asintotica:
$$\text{ord}_p(\kappa(X_n)) = \mu p^n + \lambda n + \nu$$
per $n$ sufficientemente grande. Gli interi $\mu$ e $\lambda$ sono gli invarianti di Iwasawa. L'invariante $\lambda$ è determinato dall'elemento caratteristico $\Delta(T)$ della torre, che è derivato dalla matrice di adiacenza del grafo base e dall'assegnazione di voltaggio che definisce la torre.

2. Proprietà Spettrali dei Grafi di Isogenia

Viene stabilita una connessione cruciale tra la matrice di adiacenza del grafo di isogenia supersingolare e le forme modulari. Seguendo Eichler, gli autovalori della matrice di adiacenza $A(SI(r, \ell))$ corrispondono ai coefficienti di Fourier $\ell$-esimi di forme modulari di peso 2 e livello $r$. Nello specifico, lo spettro è costituito da:

• L'autovalore $\ell+1$, corrispondente alla serie di Eisenstein $\mathcal{E}_2$.
• Gli autovalori $a_\ell(f)$, dove $f$ varia sulle nuove forme nello spazio $S_2(\Gamma_0(r))$.

Gli autori definiscono una "torre costante $\mathbf{Z}_p$" su $X(r, \ell)$ utilizzando una specifica assegnazione di voltaggio (mappando gli spigoli in avanti a $1$ e gli spigoli all'indietro a $-1$ in $\mathbf{Z}_p$). Derivano una formula per l'elemento caratteristico $\Delta_\ell(T)$ di questa torre, mostrando che si fattorizza in termini legati agli autovalori della matrice di adiacenza.

3. Rappresentazioni di Galois e Teoremi sull'Immagine Grande

Per analizzare la distribuzione di $\lambda_\ell$ al variare di $\ell$, gli autori devono controllare le valutazioni $p$-adiche dei termini $\ell+1 - a_\ell(f)$. Ciò richiede la comprensione della distribuzione dei coefficienti di Fourier $a_\ell(f)$ modulo $p$.

L'articolo impiega il "Teorema sull'Immagine Grande" per le rappresentazioni di Galois associate alle nuove forme, come stabilito da Lei, Loeffler e Zerbes. Per un insieme di nuove forme $f_1, \dots, f_s$ (rappresentanti delle orbite di Galois) senza moltiplicazione complessa, l'immagine del prodotto delle loro rappresentazioni di Galois associate (insieme al carattere ciclotomico) è "grande" (essenzialmente il prodotto pieno dei gruppi lineari generali sugli anelli pertinenti) per tutti i primi $p$ tranne un numero finito.

4. Teorema di Densità di Chebotarev

Combinando la decomposizione spettrale dell'elemento caratteristico con il Teorema sull'Immagine Grande, gli autori costruiscono un sottoinsieme specifico del gruppo di Galois di una estensione finita $K/\mathbf{Q}$. Applicano il Teorema di Densità di Chebotarev per mostrare che gli elementi di Frobenius $\text{Frob}_\ell$ cadono in classi di coniugazione specifiche con densità positiva. Queste classi corrispondono a condizioni di congruenza specifiche sui coefficienti $a_\ell(f)$, che a loro volta determinano il valore dell'invariante $\lambda$.

Contributi e Risultati Chiave

1. Formula Esplicita per $\lambda_\ell$

Gli autori derivano una formula esplicita per l'invariante $\lambda$ di Iwasawa della torre costante $\mathbf{Z}_p$ su $X(r, \ell)$. Assumendo $r \equiv 1 \pmod{12}$ e $\ell \equiv 1 \pmod{p}$, dimostrano:
$$\lambda_\ell = 1 + 2 \sum_{k \in W} |O(k)|$$
dove $W$ è un sottoinsieme degli indici delle orbite di nuove forme, e $|O(k)|$ è la dimensione della $k$-esima orbita (uguale al grado del campo di Hecke della nuova forma). Il termine $1$ deriva dalla componente della serie di Eisenstein, e il fattore $2$ deriva dalla struttura del grafo doppio.

2. Il Teorema di Distribuzione (Teorema Principale 1.2 / 5.5)

Il risultato principale afferma che per un primo fisso $r \equiv 1 \pmod{12}$ e per tutti i primi dispari $p$ tranne un numero finito, l'insieme dei primi $\ell$ per cui $\lambda_\ell$ assume un valore specifico ha densità inferiore positiva.

Nello specifico, per qualsiasi sottoinsieme $W \subset \{1, \dots, s\}$ delle orbite di nuove forme, l'insieme:
$$\mathcal{L}_W = \left\{ \ell : \ell \neq r, \ell \equiv 1 \pmod{p}, \lambda_\ell = 1 + 2 \sum_{k \in W} |O(k)| \right\}$$
ha una densità inferiore positiva. Ciò implica che ogni possibile valore della forma $1 + 2 \sum |O(k)|$ è realizzato da infiniti primi $\ell$.

3. Connessione con le Orbite di Nuove Forme

L'articolo dimostra che i possibili valori dell'invariante $\lambda$ di Iwasawa sono strettamente determinati dall'aritmetica delle nuove forme di livello $r$. La dimensione delle orbite di nuove forme (gradi dei campi di Hecke) determina direttamente i possibili valori di $\lambda_\ell$.

4. Congettura sulla Realizzabilità degli Interi Dispari

Sulla base di dati computazionali provenienti dal LMFDB (L-functions and Modular Forms Database), gli autori osservano che per vari $r$, l'insieme dei valori $\{1 + 2 \sum_{k \in W} |O(k)|\}$ copre molti interi dispari. Propongono la Congettura 5.6: Per ogni intero non negativo $n$, esiste un primo $r$ e un sottoinsieme di orbite di nuove forme tali che $n = \sum |O(k)|$. Se vera, ciò implicherebbe che ogni intero dispari può essere realizzato come invariante $\lambda$ di Iwasawa per qualche torre costante $\mathbf{Z}_p$ su un DSIG.

Significato e Affermazioni

L'articolo afferma di rivelare connessioni profonde tra quattro aree distinte:

1. Teoria dei Grafi: Nello specifico, la teoria spettrale dei grafi di isogenia.
2. Teoria di Iwasawa: Lo studio degli invarianti in torri di grafi.
3. Curve Ellittiche: L'aritmetica delle curve supersingolari e delle loro isogenie.
4. Rappresentazioni di Galois: La distribuzione dei coefficienti di Fourier delle nuove forme.

Gli autori sottolineano che il loro lavoro fornisce un meccanismo concreto (tramite il teorema di densità di Chebotarev applicato alle rappresentazioni di Galois delle nuove forme) per prevedere la distribuzione degli invarianti di Iwasawa in un contesto teorico-grafico. Notano che, mentre lavori precedenti (ad esempio, Lei e Müller) hanno studiato torri $\mathbf{Z}_p$ di grafi di isogenia, questo articolo affronta specificamente le torri "costanti" e stabilisce un teorema di distribuzione preciso che collega gli invarianti alle orbite di Galois delle nuove forme.

L'articolo è modesto nel suo ambito, limitando il teorema principale al caso in cui $r \equiv 1 \pmod{12}$ per garantire la simmetria della matrice di adiacenza e l'assenza di certi invarianti $j$ supersingolari (0 e 1728). Gli autori suggeriscono che estendere la teoria per rimuovere questa assunzione è una direzione naturale per lavori futuri, che potrebbe potenzialmente permettere la realizzazione di ogni numero dispari come invariante $\lambda$.

L'articolo riconosce anche lavori correlati di Munier e Shnidman riguardanti la distribuzione dei sottogruppi $p$-Sylow delle Jacobiane dei grafi di isogenia, notando che chiarire la relazione precisa tra i loro risultati e la prospettiva teorico-di-Iwasawa presentata qui è un interessante problema aperto.