# Teoria di Iwasawa

In teoria dei numeri, la teoria di Iwasawa è una teoria che segue il modulo di Galois, appartenente ai gruppi delle classi ideali, proposta per la prima volta da Kenkichi Iwasawa negli anni cinquanta del XX secolo come parte della teoria dei campi ciclotomici. Nei primi anni settanta, Barry Mazur prese in considerazione alcune generalizzazioni della teoria di Iwasawa per arrivare alle teorie Abeliane. Più di recente, (primi anni novanta), Ralph Greenberg ha proposto una teoria di Iwasawa per i motivi in geometria algebrica.

## Formulazione

Il concetto base della teoria di Iwasawa è che esistono torri di campi relativi alla teoria algebrica dei numeri, e che il gruppo di Galois è isomorfo al gruppo additivo degli interi p-adici. Questo gruppo, generalmente indicato con Γ nella teoria e con notazione moltiplicativa, è un gruppo profinito, come tutti i gruppi di Galois. Il gruppo $\Gamma$ è il limite inverso dei gruppi additivi $\mathbb {Z} /p^{n}\mathbb {Z}$, dove $p$ è il numero primo fissato e $n=1,2,\cdots$. Possiamo esprimere questo dualismo di Pontryagin in un altro modo: $\Gamma$ è duale al gruppo discreto di tutte le radici $p^{n}$-esime dell'unità nei numeri complessi.

## Esempio

Sia $\zeta$ una radice primitiva $p$-esima dell'unità e consideriamo la seguente torre di campi di numeri:
    $K=\mathbb {Q} (\zeta )\subset K_{1}\subset K_{2}\subset \cdots \subset \mathbb {C} ,$
dove $K_{n}$ è il campo generato da una radice primitiva $p^{n+1}$-esima dell'unità.
Se chiamiamo $L$ l'unione di tutti questi campi, il gruppo di Galois costituito da $L$ su $K$ è isomorfo a $\Gamma$, perché il gruppo di Galois di $K_{n}$ su $K$ è $\mathbb {Z} /p^{n}\mathbb {Z}$.
Per ottenere un modulo di Galois interessante, Iwasawa prese in considerazione il gruppo delle classi di ideali di $K_{n}$, e chiamò $A_{n}$ la sua parte di $p$-torsione. Esistono così mappe di norma compatibili $A_{m}\to A_{n}$ quando $m>n$, e pertanto esiste anche un sistema inverso. Se chiamiamo $X$ il limite inverso, si ha un'azione di $\Gamma$ su $X$ indotta dall'azione di $\mathbb {Z} /p^{n}\mathbb {Z}$ su $A_{n}$.
La motivazione era indubbiamente che la $p$-torsione del gruppo delle classi di ideali di $K$ già era stato identificato da Ernst Kummer come il principale ostacolo della dimostrazione diretta dell'ultimo teorema di Fermat. L'originalità della teoria di Iwasawa è "scappare verso l'infinito" in una nuova direzione. In effetti $X$ è un modulo sull'anello gruppale $\mathbb {Z} _{p}[[\Gamma ]]$. Questo è un anello locale, completo rispetto alla topologia indotta dal suo ideale massimale $(p,1-\gamma )$ (dove $\gamma$ è un generatore topologico di $\Gamma$), regolare e di dimensione di Krull $2$), e questo permette di classificare in modo molto preciso i moduli (finitamente generati) su di esso.

## Storia

Negli anni '50, K. Iwasawa ha costruito la teoria algebrica. Una connessione fondamentale fu indicata fra la teoria algebrica e le funzioni L $p$-adiche, che furono definite negli anni sessanta da Kubota e Leopoldt. Quest'ultimo cominciò dai numeri di Bernoulli, e fece uso dell'interpolazione per definire gli analoghi $p$-adici delle serie L di Dirichlet.
La "congettura principale" in teoria di Iwasawa fu formulata come l'affermazione che i due metodi usati per definire le serie L $p$-adiche (con la teoria algebrica di Iwasawa e con l'interpolazione di Kubota e Leopoldt) dovessero in ultima analisi coincidere. Questo fu provato da Barry Mazur e Andrew Wiles per $\mathbb {Q}$, e successivamente per tutti i campi di numeri totalmente reali da Andrew Wiles. Queste prove traevano spunto dalla dimostrazione di Ken Ribet dell'inverso del teorema di Herbrand (ribattezzato poi teorema di Herbrand-Ribet).
Più di recente, anche sull'onda del metodo di Ribet, Chris Skinner ed Eric Urban hanno annunciato una dimostrazione relativa alla "congettura principale" per ${\rm {{GL}(2)}}$. Una prova più elementare del teorema di Mazur-Wiles può essere ottenuta grazie ai sistemi di Eulero introdotti da Victor Kolyvagin.