Théorie d'Iwasawa des motifs d'Artin et des formes modulaires de poids 1

Sintesi Tecnica di "Iwasawa Theory of Artin Motifs and Weight 1 Modular Forms" di Alexandre Makoud

Problematica
Il saggio affronta la teoria di Iwasawa dei motivi di Artin su $\mathbb{Q}$, concentrandosi specificamente sulla struttura dei gruppi di Selmer di Greenberg associati a rappresentazioni di Artin irriducibili $\rho$ con coefficienti in un campo numerico $E$. Una sfida centrale in questo dominio è la formulazione di una Congettura Principale della teoria di Iwasawa per tali motivi. Mentre il caso dei motivi associati a rappresentazioni di campi totalmente reali è ben compreso (tramite i risultati di Wiles), il caso generale presenta difficoltà: i motivi di Artin non possiedono necessariamente valori critici e la classica costruzione di Deligne-Ribet delle funzioni $L$ $p$-adiche non è direttamente applicabile.

L'autore investiga la struttura del gruppo di Selmer di Greenberg ciclotomico $X_\infty(\rho, \rho^+)$ associato a un motivo di Artin $p$-stabilizzato. Gli obiettivi primari sono:

1. Stabilire che questo gruppo di Selmer è un modulo di torsione sull'algebra di Iwasawa $\Lambda = \mathcal{O}[[\Gamma]]$, un prerequisito per definire una funzione $L$ $p$-adica algebrica.
2. Analizzare il fenomeno degli "zeri triviali", relazionando l'ordine di annullamento della funzione $L$ algebrica in $T=0$ con la dimensione degli invarianti locali.
3. Specializzare questi risultati ai motivi di Artin derivanti da forme modulari classiche di peso 1, dove le rappresentazioni automorfe associate non sono coomologiche, complicando la costruzione di funzioni $L$ $p$-adiche analitiche.

Metodologia
Il saggio impiega una combinazione di coomologia galoisiana, teoria dei campi di classe e la teoria delle famiglie di Hida.

• Struttura Algebrica: L'autore definisce il gruppo di Selmer $X_\infty(\rho, \rho^+)$ come il duale di Pontryagin del nucleo della mappa di restrizione globale-locale in coomologia galoisiana. La prova della torsione si basa sull'analisi della finitezza dei gruppi di Selmer ai livelli finiti $X_n$ tramite la sequenza di inflazione-restrizione. Ciò riduce il problema allo studio del gruppo galoisiano dell'estensione abeliana pro-$p$ massima di $H_n$ (dove $H$ è il campo estratto da $\rho$) non ramificata fuori da $p$.
• Regolatori e Trascendenza: La finitezza dei gruppi di Selmer e il non annullamento della funzione $L$ algebrica sono legati al non annullamento di un regolatore $p$-adico $R_p(\rho, \rho^+)$. Questo regolatore è definito tramite il logaritmo $p$-adico delle unità globali. L'autore invoca la debole congettura di Schanuel $p$-adica (o il caso in cui la dimensione dello spazio ordinario $d^+=1$) per garantire l'indipendenza lineare dei logaritmi $p$-adici, provando così che il regolatore è non nullo.
• Specializzazione al Peso 1: Per le forme modulari di peso 1, l'autore utilizza le famiglie di Hida. Poiché le costruzioni dirette di funzioni $L$ $p$-adiche per forme di peso 1 non sono standard (a causa della natura non coomologica), il saggio costruisce una funzione $L$ $p$-adica analitica $L_p^{an}(f_\alpha; T)$ specializzando una funzione $L$ $p$-adica a due variabili definita su una famiglia di Hida $f$ che si specializza nella forma di peso 1 $f_\alpha$. Ciò si basa sulla regolarità (smoothness) dell'eigencurve nei punti di peso 1 (Bellaïche-Dimitrov).
• Divisibilità tramite Limiti: Per relazionare le funzioni $L$ algebriche e analitiche, l'autore impiega un argomento di limite. Considera una sequenza di forme classiche di peso $k \ge 2$, $g_n$, in la famiglia di Hida che convergono $p$-adicamente a $f_\alpha$. Utilizzando il teorema di Kato sulla divisibilità delle funzioni $L$ per forme di peso $k \ge 2$, stabilisce una relazione di divisibilità nel limite, provando che la funzione $L$ algebrica divide quella analitica.

Contributi Chiave e Risultati

1. Torsione dei Gruppi di Selmer (Teorema A):
   Sotto l'assunzione che $d^+=1$ o che la debole congettura di Schanuel sia valida, l'autore dimostra che $X_\infty(\rho, \rho^+)$ è un $\Lambda$-modulo di torsione. Inoltre, se l'intersezione del campo $H$ con la torre ciclotomica è banale, la funzione $L$ algebrica $L_p^{alg}(\rho, \rho^+; T)$ non si annulla alle radici dell'unità $\zeta-1$ (per $\zeta \neq 1$).

2. Zeri Triviali e Regolatori (Teorema B):
   Il saggio identifica un fenomeno di "zero triviale". L'ordine di annullamento di $L_p^{alg}$ in $T=0$ è mostrato essere almeno $e(\rho, \rho^+) = \dim_L H^0(\mathbb{Q}_p, V_p^-)$. Sotto ipotesi specifiche (non ramificato in $p$, $p$ non divide l'ordine dell'immagine o la dimensione), se $e(\rho, \rho^+) = 0$, il termine costante della funzione $L$ algebrica è esplicitamente dato da:
   $$L_p^{alg}(\rho, \rho^+; 0) \doteq R_p(\rho, \rho^+) \cdot \frac{p}{\#(Cl_p(H)^\rho)}$$
   dove $R_p$ è il regolatore $p$-adico e $Cl_p(H)^\rho$ è la componente isotipica $\rho$ del gruppo di classe $p$.

3. Congettura Principale per Forme di Peso 1 (Teorema C):
   Per una forma modulare classica $f$ di peso 1, l'autore formula una Congettura Principale affermando che la funzione $L$ algebrica $L_p^{alg}(f_\alpha; T)$ e la funzione $L$ $p$-adica analitica $L_p^{an}(f_\alpha; T)$ (costruita tramite famiglie di Hida) differiscono solo per un'unità in $\Lambda$.

• Risultato: Il saggio dimostra una divisibilità: $L_p^{alg}(f_\alpha; T)$ divide $L_p^{an}(f_\alpha; T)$ in $\Lambda \otimes \mathbb{Q}_p$.
• Equivalenza Condizionata: Il saggio mostra che se la Congettura Principale vale per le forme di peso $k \ge 2$ nella famiglia di Hida, allora essa vale per la specializzazione di peso 1.

Significatività
Il saggio fornisce un rigoroso quadro algebrico per la teoria di Iwasawa dei generi di motivi di Artin, colmando una lacuna dove i valori critici sono assenti. Esso estende con successo la teoria degli zeri triviali e le formule dei regolatori anche a questo contesto, subordinatamente alle congetture standard nella teoria della trascendenza.

Fondamentalmente, il lavoro colma il divario tra la teoria di Iwasawa algebrica e analitica per le forme modulari di peso 1. Sfruttando la geometria delle famiglie di Hida e la regolarità delle eigencurve nei punti di peso 1, l'autore costruisce una funzione $L$ $p$-adica ben definita e stabilisce la fondamentale divisibilità predetta dalla Congettura Principale. Questo risultato è significativo perché tratta le forme di peso 1, che si trovano al di fuori della portata delle classiche costruzioni coomologiche, utilizzando metodi puramente algebrici e di deformazione. Il saggio non pretende di provare la Congettura Principale in modo incondizionato, ma stabilisce le proprietà strutturali necessarie e la chiave direzione di divisibilità, riducendo la congettura completa ai casi noti di pesi superiori.