symmetric monoidal (∞,1)-category of spectra
Compared with Kummer’s criterion and class number formula, Iwasawa theory is finer in the point that it describes not only the class number, i.e. the order of the ideal class group, but also the action of the Galois group on the ideal class group. In fact, one could even say that the aim of Iwasawa theory is to describe Galois actions on arithmetic objects in terms of zeta values. [Kato 06]
Iwasawa theory is the study of certain modules of arithmetic interest over the Iwasawa algebra $\mathbb{Z}_{p}[[\Gamma]]$, where $\Gamma$ is the subgroup of the Galois group $\mathrm{Gal}(\mathbb{Q}(\mu_{p^{\infty}})/\mathbb{Q})\cong (1+p\mathbb{Z}_{p})\times\mu_{p-1}$ isomorphic to $1+p\mathbb{Z}_{p}$. An example of such a module is the inverse limit of the $p$-part of class groups of cyclotomic fields.
Let $A_{n}$ be the Sylow p-subgroup of the ideal class group of $\mathbb{Q}(\mu_{p^{n}})$. Let $X_{\infty}$ be the inverse limit of the $A_{n}$ under the norm maps. Then $X_{\infty}$ is a module over the Iwasawa algebra $\mathbb{Z}_{p}[[\Gamma]]$.
There is also an action of $\mathbb{Z}_{p}[[\Delta]]$ on $X_{\infty}$, where $\Delta=\mathrm{Gal}(\mathbb{Q}(\mu_{p})/\mathbb{Q})$. Let $\delta$ be a generator of $\Delta$ and let $a$ be such that $\delta(\zeta_{p})=\zeta_{p}^{a}$. Then $X_{\infty}$ breaks up into eigenspaces
The main conjecture of Iwasawa theory then says that for odd $i$, the characteristic ideal of $X_{\infty}^{(i)}$ is generated by a power series $g_{i}$ such that
where $v$ is the topological generator of $1+p\mathbb{Z}_{p}$ which is the evaluation of the p-adic cyclotomic character on the topological generator of $\Gamma$ and $L_{p}(\omega^{1-i},s)$ is the Kubota-Leopoldt p-adic zeta function.
The main conjecture of Iwasawa theory was proved in MazurWiles84. It generalizes the Herbrand-Ribet theorem. The method of proof for the main conjecture of Iwasawa theory also follows similar ideas to the proof of the converse to Herbrand’s theorem in Ribet76.
Via the 3-manifold/number field analogy of arithmetic topology, Iwasawa theory can be seen as the analog of Alexander-Fox theory (see sec. 7 of Morishita).
Romyar Sharifi, Modular Curves and Cyclotomic Fields pdf
Ralph Greenberg (2001), Iwasawa theory—past and present, in Miyake, Katsuya, Class field theory—its centenary and prospect (Tokyo, 1998), Adv. Stud. Pure Math. 30, Tokyo: Math. Soc. Japan, pp. 335–385 (ps file).
Ralph Greenberg, Topics in Iwasawa Theory, (online book in process of being written).
Kazuya Kato, Iwasawa theory and generalizations, (ICM 2006 talk).
Masanori Morishita, Analogies between Knots and Primes, 3-Manifolds and Number Rings, (arxiv)
See also:
The main conjecture of Iwasawa theory was proved in
The proof of the converse to Herbrand’s theorem is in
Last revised on July 2, 2022 at 09:04:14. See the history of this page for a list of all contributions to it.