Iwasawa theory

In

.

Formulation

Iwasawa worked with so-called ${\displaystyle \mathbb {Z} _{p}}$-extensions: infinite extensions of a

number field

${\displaystyle F}$ with Galois group ${\displaystyle \Gamma }$ isomorphic to the additive group of for some prime p. (These were called ${\displaystyle \Gamma }$-extensions in early papers.^[1]) Every closed subgroup of ${\displaystyle \Gamma }$ is of the form ${\displaystyle \Gamma ^{p^{n}},}$ so by Galois theory, a ${\displaystyle \mathbb {Z} _{p}}$-extension ${\displaystyle F_{\infty }/F}$ is the same thing as a tower of fields

${\displaystyle F=F_{0}\subset F_{1}\subset F_{2}\subset \cdots \subset F_{\infty }}$

such that ${\displaystyle \operatorname {Gal} (F_{n}/F)\cong \mathbb {Z} /p^{n}\mathbb {Z} .}$ Iwasawa studied classical Galois modules over ${\displaystyle F_{n}}$ by asking questions about the structure of modules over ${\displaystyle F_{\infty }.}$

More generally, Iwasawa theory asks questions about the structure of Galois modules over extensions with Galois group a

.

Example

Let ${\displaystyle p}$ be a prime number and let ${\displaystyle K=\mathbb {Q} (\mu _{p})}$ be the field generated over ${\displaystyle \mathbb {Q} }$ by the ${\displaystyle p}$th roots of unity. Iwasawa considered the following tower of number fields:

${\displaystyle K=K_{0}\subset K_{1}\subset \cdots \subset K_{\infty },}$

where ${\displaystyle K_{n}}$ is the field generated by adjoining to ${\displaystyle K}$ the pⁿ⁺¹-st roots of unity and

${\displaystyle K_{\infty }=\bigcup K_{n}.}$

The fact that ${\displaystyle \operatorname {Gal} (K_{n}/K)\simeq \mathbb {Z} /p^{n}\mathbb {Z} }$ implies, by infinite Galois theory, that ${\displaystyle \operatorname {Gal} (K_{\infty }/K)\simeq \varprojlim _{n}\mathbb {Z} /p^{n}\mathbb {Z} =\mathbb {Z} _{p}.}$ In order to get an interesting Galois module, Iwasawa took the ideal class group of ${\displaystyle K_{n}}$, and let ${\displaystyle I_{n}}$ be its p-torsion part. There are norm maps ${\displaystyle I_{m}\to I_{n}}$ whenever ${\displaystyle m>n}$, and this gives us the data of an inverse system. If we set

${\displaystyle I=\varprojlim I_{n},}$

then it is not hard to see from the inverse limit construction that ${\displaystyle I}$ is a module over ${\displaystyle \mathbb {Z} _{p}.}$ In fact, ${\displaystyle I}$ is a module over the Iwasawa algebra ${\displaystyle \Lambda =\mathbb {Z} _{p}[[\Gamma ]]}$. This is a 2-dimensional, regular local ring, and this makes it possible to describe modules over it. From this description it is possible to recover information about the p-part of the class group of ${\displaystyle K.}$

The motivation here is that the p-torsion in the ideal class group of ${\displaystyle K}$ had already been identified by Kummer as the main obstruction to the direct proof of Fermat's Last Theorem.

Connections with p-adic analysis

From this beginning in the 1950s, a substantial theory has been built up. A fundamental connection was noticed between the module theory, and the p-adic L-functions that were defined in the 1960s by Kubota and Leopoldt. The latter begin from the Bernoulli numbers, and use interpolation to define p-adic analogues of the Dirichlet L-functions. It became clear that the theory had prospects of moving ahead finally from Kummer's century-old results on regular primes.

Iwasawa formulated the main conjecture of Iwasawa theory as an assertion that two methods of defining p-adic L-functions (by module theory, by interpolation) should coincide, as far as that was well-defined. This was proved by Mazur & Wiles (1984) for ${\displaystyle \mathbb {Q} }$ and for all totally real number fields by Wiles (1990). These proofs were modeled upon Ken Ribet's proof of the converse to Herbrand's theorem (the so-called Herbrand–Ribet theorem).

Karl Rubin found a more elementary proof of the Mazur-Wiles theorem by using Kolyvagin's Euler systems, described in Lang (1990) and Washington (1997), and later proved other generalizations of the main conjecture for imaginary quadratic fields.

Generalizations

The Galois group of the infinite tower, the starting field, and the sort of arithmetic module studied can all be varied. In each case, there is a main conjecture linking the tower to a p-adic L-function.

In 2002, Christopher Skinner and Eric Urban claimed a proof of a main conjecture for GL(2). In 2010, they posted a preprint (Skinner & Urban 2010).

See also

• Ferrero–Washington theorem
• Tate module of a number field

References

Sources

• Zbl 1100.11002
• Zbl 0998.11054
• Zbl 0089.02402
• MR 2334196, archived from the original
  (PDF) on 2017-09-22, retrieved 2011-05-08
• Zbl 0704.11038
• Zbl 0545.12005
• Zbl 1136.11001
• Rubin, Karl (1991), "The 'main conjectures' of Iwasawa theory for imaginary quadratic fields", Inventiones Mathematicae, 103 (1): 25–68,
  Zbl 0737.11030
• Skinner, Chris; Urban, Éric (2010), The Iwasawa main conjectures for GL₂ (PDF), p. 219
• ISBN 978-0-387-94762-4
• Zbl 0719.11071
  .

Citations

Further reading

• de Shalit, Ehud (1987), Iwasawa theory of elliptic curves with complex multiplication. p-adic L functions, Perspectives in Mathematics, vol. 3, Boston etc.: Academic Press,
  Zbl 0674.12004

External links

• "Iwasawa theory", Encyclopedia of Mathematics, EMS Press, 2001 [1994]