On capitulations of even $K$-groups and pseudo-null submodules in $\mathbb{Z}_p^d$-extensions

Sintesi Tecnica: Capitulazione dei Gruppi K-pari e Sottomoduli Pseudo-nulli nelle Estensioni $\mathbb{Z}_p^d$

Enunciato del Problema
Il saggio investiga la relazione tra la capitulazione degli ideali nelle estensioni $\mathbb{Z}_p^d$ e l'esistenza di sottomoduli pseudo-nulli non triviali all'interno dei classici moduli di Iwasawa. Lavori precedenti di Ozaki (per le estensioni $\mathbb{Z}_p$) e Fujii (per le estensioni $\mathbb{Z}_p^d$ con $d \ge 2$) hanno stabilito che la non trivialità del sottomodulo finito massimale del limite inverso dei gruppi di classi degli ideali è equivalente alla non trivialità del nucleo della mappa di capitulazione per una certa sottoestensione finita. Tuttavia, i risultati di Fujii per $d \ge 2$ richiedevano vincoli stretti: il campo base $F$ deve avere un unico primo sopra $p$, e tale primo deve essere totalmente ramificato nell'estensione.

Questo saggio mira a stabilire risultati analoghi per i gruppi K-pari ($K_{2i}$) anziché per i gruppi di classi degli ideali. Nello specifico, l'obiettivo è determinare se la non trivialità del massimo sottomodulo pseudo-nullo del limite inverso dei gruppi $K_{2i}$ ($X_{2i, F_\infty}$) sia equivalente alla non trivialità del nucleo della capitulazione per una certa sottoestensione finita, e se questi risultati K-teorici possano fornire nuove condizioni sufficienti per l'esistenza di sottomoduli pseudo-nulli nei classici moduli di Iwasawa senza le restrizioni di ramificazione richieste dai lavori di Fujii.

Metodologia
L'autore impiega una combinazione di K-teoria algebrica e teoria di Iwasawa, avvalendosi delle seguenti chiavi di lettura fondamentali:

1. Identificazione con la Coomologia Galoisiana: Utilizzando le mappe di Chern $p$-adica e i risultati profondi di Rost e Voevodsky, il saggio identifica la parte $p$-primaria dei gruppi K-pari, $K_{2i}(\mathcal{O}_L)[p^\infty]$, con il secondo gruppo di coomologia galoisiana $H^2(G_S(L), \mathbb{Z}_p(i+1))$. Ciò consente la traslazione dei problemi K-teorici nel linguaggio della coomologia di Iwasawa.
2. Coomologia di Iwasawa e Discesa: Il modulo limite inverso $X_{2i, F_\infty}$ viene identificato con il secondo gruppo di coomologia di Iwasawa $H^2_{Iw}(F_\infty/F, \mathbb{Z}_p(i+1))$. La strategia di dimostrazione si basa fortemente sulla sequenza spettrale di discesa di Tate per la coomologia di Iwasawa (Proposizione 2.3), che mette in relazione la coomologia della full estensione con quella delle sottoestensioni.
3. Analisi Modulo-Teoretica: Il saggio analizza la struttura dei moduli finitamente generati e torsione sugli algebre di Iwasawa $\mathbb{Z}_p[[G]]$ (dove $G \cong \mathbb{Z}_p^d$). Lemmi chiave (3.3–3.6) stabiliscono proprietà riguardanti i sottomoduli pseudo-nulli, il loro comportamento sotto restrizione a sottogruppi e la dimensione proiettiva di tali moduli.
4. Proprietà di Discesa Galoisiana: Una distinzione metodologica cruciale notata dall'autore è che i gruppi K-pari godono di proprietà di discesa galoisiana più forti rispetto ai gruppi di classi degli ideali. Questa proprietà permette all'autore di aggirare i rigidi vincoli sul numero di primi $p$-adici e sulla loro ramificazione che erano stati necessari nei lavori di Fujii sulle classi degli ideali.

Contributi Chiave e Risultati

• Analogo del Teorema di Ozaki ($d=1$): Il Teorema 1.1 (Teorema 3.1) stabilisce che per un'estensione $\mathbb{Z}_p$, $F_\infty$, il massimo sottomodulo pseudo-nullo $X^0_{2i, F_\infty}$ è non nullo se e solo se esiste una sottoestensione finita $L$ tale che il nucleo della capitulazione $\ker(K_{2i}(\mathcal{O}_L)[p^\infty] \to A_{2i, F_\infty})$ sia non nullo.
• Analoghi dei Teoremi di Fujii ($d \ge 2$):
  • Teorema 1.2 (Teorema 3.2): Se $X^0_{2i, F_\infty} \neq 0$ per un'estensione $\mathbb{Z}_p^d$ ($d \ge 2$), allora il nucleo della capitulazione è non triviale per una certa sottoestensione finita. Questo risultato si tiene senza l'assunzione che $F$ abbia un unico primo sopra $p$ o che esso sia totalmente ramificato.
  • Teorema 1.3 (Teorema 3.7): Viceversa, se $K_{2i}(\mathcal{O}_F)[p^\infty]$ è un gruppo ciclico non triviale e il nucleo della capitulazione è non triviale per una certa sottoestensione finita, allora $X^0_{2i, F_\infty} \neq 0$.
• Risultato sulla Dimensione Proiettiva: Come sottoprodotto (Teorema 1.4/Teorema 3.8), il saggio dimostra che se il nucleo della capitulazione è non-triviale per un'estensione $\mathbb{Z}_p^d$ ($d \ge 2$), la dimensione proiettiva di $X_{2i, F_\infty}$ come modulo $\mathbb{Z}_p[[G]]$ è almeno 2. Questo è presentato come un'osservazione strutturale per il secondo gruppo di coomologia di Iwasawa che va oltre i risultati precedentemente noti.
• Applicazione ai Classici Moduli di Iwasawa: Il saggio applica il Teorema 3.7 per derivare una condizione sufficiente per l'esistenza di sottomoduli pseudo-nulli non triviali nel classico modulo di Iwasawa $X_{E_\infty}$ (dove $E_\infty = F_\infty(\mu_p)$). Sotto l'assunzione che i primi di $F(\zeta + \zeta^{-1})$ sopra $p$ non si scindano in $F(\mu_p)$ (Condizione $S_p$), e date specifiche condizioni sulla capitulazione dei gruppi $K_{2i}$ e sulla ciclicità di $K_{2i}(\mathcal{O}_F)[p^\infty]$, il saggio conclude che $X^0_{E_\infty} \neq 0$.

Significatività e Rivendicazioni
Il saggio rivendica che la sua principale significatività risieda nell'estensione della nota relazione tra capitulazione e sottomoduli pseudo-nulli dai gruppi di classi degli ideali ai gruppi K-pari. Utilizzando le più forti proprietà di discesa galoisiana dei gruppi K, l'autore riesce con successo a rimuovere le restittive condizioni di ramificazione (primo singolo, ramificazione totale) richieste dai teoremi di Fujii per $d \ge 2$.

Inoltre, il saggio pone che il risultato strutturale riguardante la dimensione proiettiva di $X_{2i, F_\infty}$ (Teorema 3.8) rappresenti una nuova intuizione sulla struttura dei secondi gruppi di coomologia di Iwasawa, che sono centrali per la Congettura Principale della teoria di Iwasawa ma rimangono scarsamente compresi in generale.

L'autore esprime esplicitamente modestia riguardo all'applicazione ai gruppi di classi classici: sebbene i risultati K-teorici forniscano una condizione sufficiente per l'esistenza di sottomoduli pseudo-nulli in $X_{E_\infty}$, il saggio non stabilisce un'equivalenza diretta tra la capitulazione dei gruppi K e la capitulazione dei gruppi di classi degli ideali. La relazione rimane parziale poiché l'identificazione dei gruppi K è limitata solo a specifici eigenspazi dei gruppi di classi modulo potenze di $p$, lasciando la piena relazione strutturale come un problema aperto per lavori futuri.