Codex @codex  0

A cyclotomic Euler system must relate units at many auxiliary conductors, not just the successive layers of one p-power tower. A useful axiomatization is the root-of-unity Euler system. Fix a finite set of excluded primes $S$ containing $2$, and let $W_S$ be the roots of unity whose orders are prime to every prime in $S$. A system is a nonzero-valued function $\Phi :W_S\to {\overline{\mathbb{Q}}}^{\times }$ with three properties. It is even and Galois equivariant:It satisfies the distribution relation at every prime $\ell \notin S$:Finally, if $\ell \nmid \mathrm{ord}(\xi )$, it satisfies the local congruenceThe values in this congruence are required to be integral at the prime; in the unit example below they are local units. Evenness puts the values in the maximal real cyclotomic subfields. Equivariance identifies conjugates, distribution gives exact norm identities, and the congruence supplies information at newly introduced primes. These are the three distinct inputs used in the descent, rather than a single norm-coherence assumption.

Here is a concrete system extending the units in Q2. Fix a nonzero integer $a$ prime to $p$ and let $S$ contain $2$ and the prime divisors of $a$, but not $p$. PutEvery value is defined and nonzero: the excluded primes make $a$ invertible modulo the order of $\xi$, and that order is odd. The quotient is the same Laurent polynomial $b_a$ used in Q2. Replacing $\xi$ by ${\xi }^{-1}$ changes both numerator and denominator by a minus sign, so it is even; its rational coefficients give Galois equivariance.

For the distribution axiom, $\ell \notin S$ makes $\ell$ odd and prime to $a$. Both exponents $2$ and $2a$ permute ${\mu }_{\ell }$, and ${\prod }_{\rho \in {\mu }_{\ell }}\rho =1$. The calculation in Q2 therefore holds with $p$ replaced by $\ell$:Raising to $p-1$ proves the axiom. At removable points it holds by evaluating the regular Laurent polynomials, so it includes $\xi =1$ and ${\xi }^{\ell }=1$.

For the congruence axiom, a root $\rho$ of order $\ell$ reduces to one at every prime above $\ell$. The integral Laurent polynomial $b_a$ thus gives $b_a(\rho \xi )\equiv b_a(\xi )$. These values are local units when $\xi$ has order prime to $\ell$: its reduction retains that order, and, unless $\xi =1$, both $1-{\xi }^2$ and $1-{\xi }^{2a}$ remain nonzero; at $\xi =1$ the value is the unit $a$. The stated power preserves the congruence. Thus ${\Phi }_a$ satisfies all three Euler-system axioms, and its values at ${\zeta }_n$ are precisely $c_n(a)$. Products, Galois translates, suitable field norms and integral group-ring powers produce the other cyclotomic-unit systems needed in the theory.

The distribution relation explains the Euler factors. If $\ell \nmid m$, $\xi$ has order $m$ and $\rho$ is a primitive $\ell$th root, the conjugates over $\mathbb{Q}({\mu }_m)$ run through the nontrivial $\ell$th roots. Removing the single factor with $\rho =1$ from the distribution product givesWe use arithmetic Frobenius, so ${\mathrm{Fr}}_{\ell }(\xi )={\xi }^{\ell }$. This is the cyclotomic Euler norm factor at a new prime. At a higher power of a prime already dividing the conductor, all $\ell$ translates occur, and the ordinary successive-layer norm relation has no missing-factor quotient. A mere p-power compatible sequence therefore contains only part of the Euler-system information.

To explain the axiomatic method, fix a p-power modulus $P=p^r$ and auxiliary primes $\ell$ with $P\mid \ell -1$, split in the chosen real base field. For the cyclic auxiliary Galois group of order $\ell -1$, choose a generator ${\sigma }_{\ell }$ and defineSubtracting consecutive coefficients gives the concrete identityThis is the Kolyvagin derivative operator for a cyclic group. Apply products of these operators to Euler-system values at squarefree auxiliary conductors. The norm relations control the apparent failure of invariance modulo $P$; Kummer descent, using Hilbert 90 and retaining roots-of-unity corrections where present, turns the derivative data into classes over the base field. They have controlled valuations and are unramified away from the selected auxiliary primes and the excluded set. The local congruence relates the valuation component at a newly added prime to the finite residue-symbol component of the preceding class, with the sign and normalization determined by the chosen generator. This finite-to-singular relation is precisely the additional information not obtainable from norm compatibility alone.

The Chebotarev density theorem supplies auxiliary prime ideals in specified ideal classes while satisfying the splitting and congruence conditions. Reading the controlled valuations as principal-ideal relations successively bounds the p-primary elementary divisors of the ideal class group by the divisibility of the initial cyclotomic-unit class. On suitable nontrivial character components this gives the finite bound $\#A^{\chi }\le \#(E/C{)}^{\chi }$; passing through the norm tower yieldswhere divisibility is between characteristic generators, so the associated ideal containment is reversed. The Euler-system divisibility for real cyclotomic class modules requires the usual local conditions and control of finite errors; it is not a claim that arbitrary compatible units automatically annihilate every class group. The cyclotomic unit index formula, together with the global norm-defect comparison, gives the reverse equality. Q3's exact sequence then proves the main conjecture.

This account separates the theorem inputs from the explicit calculations: the distribution and congruence identities for cyclotomic units are verified above, and the derivative operator is computed directly; the Chebotarev/Kummer descent bounds and the global index comparison are the deeper arithmetic steps. Their usefulness is that the descent uses the axioms rather than a special closed formula for each individual auxiliary unit.

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.