Adjoint $L$-functions, congruence ideals, and Selmer groups over $\mathrm{GL}_n$

Sintesi Tecnica: Funzioni L Adjoint, Ideali di Congruenza e Gruppi di Selmer su GLn

Problema e Motivazione
Questo articolo investiga la relazione tra i valori speciali delle funzioni $L$ adjoint, $L(1, \pi, \text{Ad}^\circ)$, e gli ideali di congruenza associati a rappresentazioni automorfe cuspidali coomologiche $\pi$ di $\text{GL}_n$ su un numero campo arbitrario $F$. Il tema centrale nella moderna teoria dei numeri è che i valori speciali delle funzioni $L$ codificano profonde informazioni aritmetiche, che spesso si manifestano come congruenze tra forme automorfe. Sebbene tali relazioni siano state stabilite per $\text{GL}_2$ su campi specifici (ad esempio, nei lavori di Taylor, Wiles e altri), questo articolo mira a generalizzare tali risultati a $\text{GL}_n$ su qualsiasi numero campo. Nello specifico, l'autore cerca di relazionare l'ideale di congruenza di una rappresentazione automorfa con il valore della sua funzione $L$ adjoint in $s=1$ e di dedurre conseguenze per l'esistenza di rappresentazioni automorfe congruenti e per limiti inferiori sui gruppi di Selmer.

Metodologia
La strategia procede in tre fasi principali, passando dalle realizzazioni coomologiche alle proprietà algebriche astratte, e infine alle applicazioni aritmetiche:

1. Realizzazione Coomologica e Accoppiamenti:
   L'articolo realizza le rappresentazioni automorfe cuspidali regolarmente algebriche nella coomologia di spazi localmente simmetrici $X_U$ associati a $\text{GL}_n$. Utilizzando i risultati di Borel e Franke, l'autore stabilisce che tali rappresentazioni contribuiscono ai gruppi di coomologia $H^*(X_U, M_\mu)$. Un passaggio cruciale consiste nell'utilizzare la dualità di Poincaré per costruire un accoppiamento perfetto tra la coomologia singolare e la coomologia a supporto compatto (specificamente sulla coomologia interiore $H^*_!$) con coefficienti in $\mathbb{Z}_p$. Questo accoppiamento, compatibile con l'azione dell'algebra di Hecke, è identificato con il prodotto interno di Petersson delle forme automorfe.

2. Ideali di Congruenza Astratti:
   L'autore sviluppa un quadro algebrico astratto per gli ideali di congruenza. Per un $\mathcal{O}$-algebra locale piatta finita ridotta $T$ e un omomorfismo $\lambda: T \to \mathcal{O}$, l'ideale di congruenza $\eta_\lambda$ è definito come l'ideale di Fitting del modulo di congruenza $C^0_\lambda(M) = M^\lambda / M_\lambda$, dove $M$ è un $\mathcal{O}$-modulo libero. Un lemma chiave (Lemma 3.5) stabilisce che se esiste un accoppiamento perfetto tra due moduli compatibile con gli idempotenti associati a $\lambda$, i ideali di congruenza dei moduli sono uguali e generati dal valore dell'accoppiamento sui generatori. Questo lemma è adattato all'accoppiamento del prodotto cuppo sulla coomologia, che soddisfa le condizioni necessarie senza richiedere la specifica involuzione di Atkin-Lehner utilizzata nei contesti di $\text{GL}_2$.

3. Rankin-Selberg e Valori L:
   Applicando il metodo di Rankin-Selberg, il prodotto interno di Petersson (e quindi l'accoppiamento sulla coomologia) viene espresso in termini della funzione $L$ adjoint $L(1, \pi, \text{Ad}^\circ)$. Ciò consente all'autore di calcolare esplicitamente il generatore dell'ideale di congruenza in termini del valore algebrico normalizzato $L_{\text{alg}}(1, \pi, \text{Ad}^\circ, \epsilon)$.

4. Teoria delle Deformazioni di Galois:
   Per il caso in cui $F$ sia un campo CM, l'articolo invoca i risultati di compatibilità locale-globale per le rappresentazioni di Galois (da [ACC+23]) e tecniche standard della teoria delle deformazioni di Galois. Questo connette gli ideali di congruenza dell'algebra di Hecke alla struttura dei gruppi di Selmer associati alla rappresentazione di Galois adjoint della rappresentazione di Galois residua.

Contributi Chiave e Risultati

• Teorema 4.14 (Teorema Principale): Sotto adeguate assunzioni (inclusi il fatto che la coomologia di bordo sia priva di torsione $p$ in un particolare ideale massimale), l'articolo dimostra che l'ideale di congruenza coomologico $\eta_{\pi, b, \epsilon}$ è generato dal valore $L$ adjoint normalizzato:
  $$\eta_{\pi, b, \epsilon} = (L_{\text{alg}}(1, \pi, \text{Ad}^\circ, \epsilon))$$
  Questo generalizza i risultati precedentemente noti per $\text{GL}_2$ su campi totalmente reali e quadratici immaginari a $\text{GL}_n$ su numeri campi arbitrari.

• Criteri di Congruenza (Corollari 4.17 e 4.20): L'articolo deriva criteri per l'esistenza di rappresentazioni automorfe congruenti. Dimostra che se la valutazione $p$-adica di $L(1, \pi, \text{Ad}^\circ, \epsilon)$ è positiva (ovvero, il valore $L$ non è un'unità $p$-adica), allora esiste una rappresentazione automorfa discreta $\pi' \not\cong \pi$ il cui eigensistema di Hecke è congruente a quello di $\pi$. Se il modulo di coomologia rilevante è libero sull'algebra di Hecke, l'implicazione inversa è altrettanto vera.

• Limiti Inferiori per i Gruppi di Selmer (Teorema 4.26): Quando $F$ è un campo CM e l'ideale massimale è non-Eisenstein, l'articolo stabilisce un limite inferiore per la cardinalità di un particolare gruppo di Selmer in termini del valore $L$ adjoint:
  $$\#H^1_S(\text{Ad } \rho \otimes_\mathcal{O} E/\mathcal{O}) \geq \#(\mathcal{O} / L_{\text{alg}}(1, \pi, \text{Ad}^\circ))$$
  Questo risultato è presentato come un progresso parziale verso la congettura di Bloch-Kato.

Significato e Rivendicazioni
L'autore afferma che questo lavoro fornisce una generalizzazione unificata della relazione tra i valori $L$ adjoint e gli ideali di congruenza da $\text{GL}_2$ a $\text{GL}_n$ su qualsiasi numero campo. L'articolo sottolinea che evita la necessità di specifiche involuzioni (come Atkin-Lehner) lavorando direttamente con l'accoppiamento del prodotto cuppo.

La significatività è duplice:

1. Unificazione Teorica: Estende la filosofia "Taylor-Wiles" di relazionare gli anelli di deformazione alle algebre di Hecke tramite ideali di congruenza a gruppi di rango superiore ($\text{GL}_n$) e numeri campi generali, facendo affidamento sulle proprietà coomologiche degli spazi localmente simmetrici.
2. Applicazioni Aritmiche: Fornisce un meccanismo concreto per rilevare congruenze tra forme automorfe tramite valori $L$ e offre un limite inferiore per i gruppi di Selmer, collegando dati analitici (valori $L$) a invarianti algebrici (gruppi di Selmer) nel contesto della congettura di Bloch-Kato.

L'articolo rimane modesto riguardo alla direzione inversa dei criteri di congruenza, notando che dimostrare la libertà del modulo di coomologia (richiesta per l'implicazione inversa) richiede attualmente assunzioni aggiuntive e congetture riguardanti le rappresentazioni di Galois (come la scomparsa della coomologia non-cuspidale e l'esistenza di rappresentazioni di Galois con proprietà specifiche). Allo stesso modo, sebbene il limite del gruppo di Selmer sia stabilito, l'articolo riconosce che relazionare questo specifico gruppo di Selmer con il classico gruppo di Selmer di Bloch-Kato richiede ulteriori passaggi che coinvolgono i numeri Tamagawa locali, come delineato nella letteratura.