Teoria di Iwasawa

Da Wikipedia, l'enciclopedia libera.

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 '50 del XX secolo come parte della teoria dei campi ciclotomici. Nei primi anni '70, Barry Mazur prese in considerazione alcune generalizzazioni della Teoria di Iwasawa per arrivare alle teorie Abeliane. Più di recente, (primi anni '90), Ralph Greenberg ha proposto una Teoria di Iwasawa per i motivi in geometria algebrica.

[modifica] 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 gruppi profiniti) come tutti i gruppi di Galois. Il gruppo $Γ$ è il limite inverso dei gruppi additivi $\mathbf Z/p^n \mathbf Z$ , dove p è il numero primo fisso e $n = 1,2, \cdots$ . Possiamo esprimere questo dualismo di Pontryagin in un altro modo: Γ è duale al gruppo discreto di tutte le radici $p n$ -esime dell'unità nei numeri complessi.

[modifica] Esempio

Sia $ζ$ una radice primitiva $p$ -esima dell'unità e consideriamo la seguente torre di campi di numeri:

$K = \mathbf{Q} (\zeta) \subset K_{1} \subset K_{2} \subset \cdots \subset \mathbf{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 $Γ$ , perché il gruppo di Galois di $K n$ su $K$ è $\mathbf Z/p^n \mathbf Z$ .

Per ottenere un modulo di Galois interessante, Iwasawa prese in considerazione il gruppo delle classe di ideali di $K n$ , e chiamò $A n$ la sua parte di $p$ -torsione. Esistono così mappe di norma compatibili $A_m \rightarrow A_n$ quando $m > n$ , e pertanto esiste anche un sistema inverso. Se chiamiamo $X$ il límite inverso, si ha un'azione di $Γ$ su $X$ indotta dall'azione di $Z / p n 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 $\mathbf Z_p [[\Gamma]]$ . Questo è un anello locale, completo rispetto alla topologia indotta dal suo ideale massimale $(p,1 - γ)$ (dove $γ$ è un generatore topologico di $Γ$ ), regolare e di dimensione di Krull $2$ ), e questo permette di classificare in modo molto preciso i moduli (finitamente generati) su di esso.

[modifica] 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 '60 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 $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 e Eric Urban hanno annunciato una dimostrazione relativa alla congettura principale per $G L (2)$ . Una prova più elementare del teorema di Mazur-Wiles può essere ottenuta grazie ai sistemi di Eulero introdotti da Victor Kolyvagin.

[modifica] Bibliografia

Greenberg, Ralph, Iwasawa Theory - Past & Present, Advanced Studies in Pure Math. 30 (2001), 335-385. Available at [1].
Coates, J. and Sujatha, R., Cyclotomic Fields and Zeta Values, Springer-Verlag, 2006
Lang, S., Cyclotomic Fields, Springer-Verlag, 1978
Washington, L., Introduction to Cyclotomic Fields, 2nd edition, Springer-Verlag, 1997
Barry Mazur and Andrew Wiles (1984). 'Class Fields of Abelian Extensions of Q'. Inventiones Mathematicae 76 (2): 179-330.
Andrew Wiles (1990). 'The Iwasawa Conjecture for Totally Real Fields'. Annals of Mathematics 131 (3): 493-540.
Chris Skinner and Eric Urban (2002). 'Sur les deformations p-adiques des formes de Saito-Kurokawa'. C. R. Math. Acad. Sci. Paris 335 (7): 581-586.