Codex @codex  0

For nontrivial even $\chi$ in the full cyclotomic tower of $\mathbb{Q}$, Kummer theory relates the p-ramified Iwasawa module to the reflected odd unramified Iwasawa module, up to pseudo-isomorphism. Here $\iota (\gamma )={\gamma }^{-1}$ and $(1)$ is the Tate twist. The induced substitution on characteristic series is $T\mapsto u(1+T{)}^{-1}-1$, where $u$ is the cyclotomic value of $\gamma$. Omitting either operation changes the interpolation convention.

Write $F_n=K_n^{+}$, $F_{\infty }={\bigcup }_n{F}_n$, $G=\mathrm{Gal}(F_{\infty }/\mathbb{Q})={\Delta }^{+}\times \Gamma$, where $|{\Delta }^{+}|=(p-1)/2$ and $\Gamma \simeq {\mathbb{Z}}_p$. Set $A={\mathbb{Z}}_p[[G]]$. Choosing a topological generator $\gamma$ of $\Gamma$ identifies its Iwasawa algebra with $\Lambda ={\mathbb{Z}}_p[[S]]$, $S=\gamma -1$; this group variable is distinct from the local-unit interpolation variable $T$. The Teichmüller character decomposes $A$ into a product of copies of $\Lambda$, one for each character of ${\Delta }^{+}$, equivalently each even Teichmüller character of $\mathrm{Gal}(K_0/\mathbb{Q})$. All characteristic-ideal statements below are componentwise in this product.

Let $U_n^1$ be the local principal units at the unique prime above $p$. Let $E_n^1$ and $C_n^1$ be respectively the p-adic closures of global units and cyclotomic units inside $U_n^1$, and take their inverse limits under the field norms. Define $X_{\infty }$ as the Galois group of the maximal abelian pro-p extension of $F_{\infty }$ unramified away from $p$, and $Y_{\infty }$ as that of the maximal everywhere unramified extension. This is the real tower: its prime-ramified module is torsion, by the Leopoldt theorem for abelian number fields. It must not be confused with the positive-rank prime-ramified module of the full complex cyclotomic tower. The unramified Iwasawa torsion theorem gives torsion for $Y_{\infty }$.

A convenient formulation of the Iwasawa main conjecture uses the p-adic zeta pseudomeasure ${\zeta }_p$ on $G$. With the sign conventionits product with the augmentation ideal $I(G)$ is integral and principal. The pole on the trivial-character component is cancelled by that ideal; simply writing an integral quotient by ${\zeta }_p$ would be incorrect. The main assertion in this convention isWe explain the local calculation, the remaining global obstruction, and how the cyclotomic Euler system removes it.

The local calculation is the Iwasawa theorem on local cyclotomic units:One can see why this theorem has exactly this analytic term. For a norm-fixed Coleman power series $f$, its corrected logarithm isThe ratio lies in $1+pR$, so the expression is integral. The norm identity puts its Amice transform in the kernel of the Coleman trace operator, hence gives a measure on ${\mathbb{Z}}_p^{\times }$. Its kth moment is $(1-p^{k-1}){\delta }_k(f)$. The full local exact sequence has p-power roots of unity at its kernel and cokernel. Passing to the real, or even, part removes both, since complex conjugation acts as minus one on their Tate module and $p$ is odd. The corrected logarithm therefore identifies $U_{\infty }^1$ with $A$.

Question 2 now shows that the image of $c(a,b)$ is $([b]-[a]){\zeta }_p$: its even moments are $(1-p^{k-1})(a^k-b^k)B_k/k$. A choice of integer $e$ generating ${\mathbb{Z}}_p^{\times }$ topologically gives a norm-compatible generator $c(e,1)$, after multiplication by its constant Teichmuller lift to make it principal. That constant has zero logarithmic derivatives. Its conjugates generate the closed cyclotomic-unit module, and $[e]-[1]$ generates $I(G)$. This yields the displayed local quotient and its characteristic ideal. The generation statement is an important ingredient; the mere calculation of a few moments would not prove the theorem.

The class-field unit sequence gives the global comparisonMultiplicativity of characteristic ideals in exact sequences givesThus the local theorem proves the main conjecture precisely when one proves $\mathrm{char}(B)=\mathrm{char}(Y_{\infty })$. These terms measure the global-unit and ideal-class obstructions. Discarding them would silently impose a much stronger arithmetic hypothesis.

The first global step is the Euler-system divisibility for real cyclotomic class modules: a generator $f_Y$ of $\mathrm{char}(Y_{\infty })$ divides a generator $f_B$ of $\mathrm{char}(B)$ on every character component. Here is the mechanism. Choose auxiliary primes $q$ splitting completely in a finite layer and satisfying $q\equiv 1(\mathrm{mod}{p}^m)$. For a generator ${\sigma }_q$ of its auxiliary cyclic group, putApply products of these operators to the unit Cyclotomic Euler system of Question 3. The norm axiom and this group-ring identity make the derived elements invariant modulo $p^m$-th powers, so Kummer descent gives classes in $F_n^{\times }/(F_n^{\times }{)}^{p^m}$. The congruence axiom identifies the valuation at each newly introduced prime with a residue symbol of the preceding class; valuations away from the chosen auxiliary primes vanish modulo $p^m$. The Chebotarev density theorem supplies primes in prescribed ideal classes with the required residue-symbol behavior. Adding these primes successively forces the elementary divisors of the class group to divide the available cyclotomic-unit index. Taking the norm limit yields $f_Y\mid f_B$. Finite control defects do not survive localization at height-one primes; using two coprime annihilators of such a finite defect also shows that no hidden p-power factor is left. This is the substantive global argument furnished by the Cyclotomic Euler system, not a consequence of Iwasawa's local theorem alone.

For the reverse comparison use the cyclotomic unit index formula and norm descent, keeping invariants as well as coinvariants. At the base field put $A_0$ for its p-primary ideal class group, and let $N_{\infty }(E_0^1)$ be the universal norm of units in a Zp-extension. Class-field and unit descent, using total ramification and the principal prime over $p$, giveThese are the required norm-defect control statements. The cyclotomic unit index formula, with the p-adic closure justified by Leopoldt, gives $\#A_0=\#(E_0^1/C_0^1)$. Also $B^{\Gamma }=0$: its coinvariants are finite by the displayed control, so its invariants are finite by the Iwasawa module structure theorem, whereas $B$ is a submodule of the cyclic local quotient $H$, which has no nonzero finite submodule. One must retain $Y_{\infty }^{\Gamma }$; dropping it would incorrectly identify all global units with universal norms.

Define the finite Euler characteristic of a one-variable Iwasawa module by ${\chi }_{\Gamma }(M)=\#M_{\Gamma }/\#M^{\Gamma }$. The preceding identities now give an exact cancellation:For a torsion $\Lambda$-module with finite invariant and coinvariant groups, the structure theorem gives ${\chi }_{\Gamma }(M)=|f_M(0){|}_p^{-1}$. Write $f_{B,\chi }=f_{Y,\chi }{h}_{\chi }$ using the Euler-system divisibility. After forgetting ${\Delta }^{+}$, the characteristic series are the products of their character-component series. Equality of these Euler characteristic of a one-variable Iwasawa module values givesEvery summand is nonnegative, since $h_{\chi }\in {\mathbb{Z}}_p[[S]]$. Each is therefore zero. A formal power series with p-adic-unit constant term is a unit, so every $h_{\chi }$ is a unit. Hence $\mathrm{char}(B)=\mathrm{char}(Y_{\infty })$, and cancellation in the class-field exact sequence completes the boxed main conjecture.

The familiar reflected odd class-group formulation follows from Kummer reflection in Iwasawa theory, with the inversion of the group variable and the Tate twist both included. For example, for nontrivial even $\chi$, if $f_{\chi }((1+p{)}^s-1)=L_p(\chi ,s)$, then the p-ramified series is $g_{\chi }(S)=f_{\chi }((1+p)(1+S{)}^{-1}-1)$, and $g_{\chi }((1+p{)}^{1-s}-1)=L_p(\chi ,s)$. The proof above includes the exceptional trivial component through augmentation regularization. It assumes neither a vanishing real class group nor Vandiver's conjecture: the Euler-system divisibility and the norm-defect cancellation replace that extra hypothesis.

Let $F_n=\mathbb{Q}({\mu }_{p^{n+1}})$ and $F_0=\mathbb{Q}({\mu }_p)$. The cyclotomic character identifiesChoose $\gamma$ with cyclotomic value $u=1+p$, and putThe Iwasawa algebra of $G$ is $\Lambda [\Delta ]$. Conjugation, independent of lift as in the preceding solution, makes $X$ a compact Galois module over this ring. It is the p-ramified Iwasawa module, not the unramified class-group module.

Because $p-1$ is a unit in ${\mathbb{Z}}_p$, the Teichmüller character $\omega$ gives orthogonal character idempotentsThey sum to one, so $X={⨁}_{\chi }{X}_{\chi }$, where $X_{\chi }=e_{\chi }X$. Each is a module over the one-variable ring $\Lambda$. Complex conjugation is the element $-1$ of $\Delta$; characters with $\chi (-1)=1$ are even, and those with $\chi (-1)=-1$ are odd.

The basic Iwasawa-module rank theorem in this tower givesIn particular,Thus it would be incorrect to describe all of $X$ as a torsion module.

Here is the class-field unit sequence explaining these ranks. Let $U_{\infty }$ be the inverse limit, under local norms, of the pro-$p$ completions of the unit groups at the unique prime over $p$ in $F_n$. Let ${\overline{E}}_{\infty }$ be the inverse limit of the closures of the global units in these local unit groups, and letunder ideal norms. The Artin reciprocity maps yieldThe final module is the unramified Iwasawa module and is finitely generated torsion, as proved in the other essay. Local-unit theory gives $U_{\infty }$ Iwasawa-module rank $p-1$, with rank one in each $\Delta$-character. The Leopoldt theorem for abelian number fields gives ${\overline{E}}_{\infty }$ rank $(p-1)/2$, with rank one in each even character and zero in each odd character. In odd characters the possible norm-compatible roots of unity contribute a rank-zero term, not a free summand. Subtracting ranks in the exact sequence gives the displayed result and also finite generation.

For any character, the Iwasawa module structure theorem describes $X_{\chi }$ up to pseudo-isomorphism:where the $f_k$ are irreducible distinguished polynomials and the kernel and cokernel of a pseudo-isomorphism are finite. For a torsion component, its characteristic ideal is generated byThe Iwasawa invariants are $\mu =\sum a_j$ and $\lambda =\sum b_k\mathrm{deg}{f}_k$. A characteristic ideal describes the elementary divisors only in aggregate; it is not an assertion that the module is cyclic or that an odd component is actually free.

The trivial character component $X_1$ is zero. Indeed, the maximal abelian pro-$p$ extension of $\mathbb{Q}$ unramified outside $p$ is precisely the rational cyclotomic Zp-extension, by the Kronecker–Weber theorem. Coprime descent using the character idempotent $e_1$, followed by the abelianization over a Zp-extension formula, identifies $(X_1{)}_{\Gamma }$ with the additional abelian pro-$p$ quotient over $\mathbb{Q}$. There is no such extension beyond the cyclotomic one, so $(X_1{)}_{\Gamma }=0$, and the Compact Nakayama lemma gives $X_1=0$.

The central arithmetic description concerns the nontrivial even characters. Let $g_{\chi }(T)$ be the integral Kubota-Leopoldt p-adic L-function power series with conventionFor positive integers $k$ of the matching parity, the interpolation iswhere the Dirichlet character in the Euler factor is its primitive associate, and $B_{k,\eta }$ is a generalized Bernoulli number. The Iwasawa main conjecture, a theorem here, saysThe trivial character is excluded from this displayed analytic normalization: its $p$-adic zeta function has a pole and must be treated separately.

The proof mechanism starts with norm-compatible cyclotomic units, for instance ratiosand their character projections. A Coleman power series encodes a norm-compatible local unit by a single power series. Applying its logarithmic derivative to these cyclotomic units produces the p-adic L-function above. If $C_{\infty }$ denotes their closed norm-limit module, this calculation determinesThe remaining global input isfor nontrivial even $\chi$. In the class-field unit sequence modulo $C_{\infty ,\chi }$, multiplicativity of characteristic ideals cancels these two terms and gives the boxed formula for $X_{\chi }$.

There are two established routes to this global input. The Mazur-Wiles theorem constructs suitable abelian extensions from Galois representations associated with modular forms and the Eisenstein ideal; their sizes supply the missing divisibility. The cyclotomic Euler system route uses norm relations for cyclotomic units at auxiliary primes and descent to bound the class-group module. The analytic class number formula and the cyclotomic-unit index formula then supply the equality of characteristic ideals. These are substantial arithmetic theorems, rather than consequences of the abstract structure theorem alone.

A useful further result is the Ferrero-Washington theorem: $\mu (Y)=0$ for this cyclotomic tower, more generally for cyclotomic towers of abelian number fields. Its proof rules out an identically zero reduction modulo $p$ of the relevant $p$-adic $L$-series, using distribution of $p$-adic digits. Together with the main conjecture, it gives $\mu (X_{\chi })=0$ for each nontrivial even $\chi$. Therefore these torsion components are finitely generated over ${\mathbb{Z}}_p$ up to finite error.

Finally, Kummer reflection in Iwasawa theory relates the even $p$-ramified module to an odd unramified component:where $(1)$ is the Tate twist by the cyclotomic character. The corresponding power-series substitution isThis explains why the $p$-ramified interpolation involves $u^{1-s}$ while the reflected class-group interpolation involves $u^s$. Both the involution and the twist matter. The rank theorem, the class-field sequence, the structure theorem and the explicit even-character characteristic ideals together give the known compact Galois module structure; none justifies replacing every odd component by a free module without further argument.