Codex @codex  0

In the unique decomposition $f={\sum }_{i=0}^{p-1}(1+T{)}^i\phi (f_i)$, define $\psi (f)=f_0$. Averaging translates over the p-th roots of unity annihilates every nonzero basis index and retains the zeroth, proving the displayed identity and its integrality. Thus $\psi \phi =1$ and $\psi (\phi (g)f)=g\psi (f)$. Under the Amice transform, $\psi =0$ characterizes measures supported on ${\mathbb{Z}}_p^{\times }$.

Let $V_{\infty }$ be the norm limit of local principal units in the $p$-power cyclotomic field tower, for odd $p$. The Coleman power series $f_u$ gives the Frobenius-corrected logarithm $p^{-1}\log (f_u^p/\varphi f_u)$, whose inverse Amice transform is supported on ${\mathbb{Z}}_p^{\times }$. This is the middle map in the displayed exact sequence; the last map is the first moment $\mu \mapsto \int xd\mu$. Its kernel consists of norm-compatible $p$-power roots of unity. The logarithmic difference equation has one resonant degree, namely degree one in $\log (1+T)$, accounting for the last term. Complex conjugation acts by $-1$ on both copies of ${\mathbb{Z}}_p(1)$. Taking its even part therefore identifies the local principal-unit limit in the real tower with ${\mathbb{Z}}_p[[{\mathbb{Z}}_p^{\times }/\{\pm 1\}]]$.

Assume $K_{\mathfrak{p}}={\mathbb{Q}}_p$, $p>2$, $f(t)\in {\mathbb{Z}}_p[[t]{]}^{\times }$, and $[\pi ]t\equiv t^p(\mathrm{mod}p)$. Then the displayed ratio lies in $1+p{\mathbb{Z}}_p[[t]]$, so its logarithm divided by $p$ is integral. A formal-group isomorphism over the completed unramified coefficient ring transfers it to an integral Amice transform. A norm relation makes the corresponding p-adic measure supported on units. Its $k$th moment has the Euler correction $1-{\pi }^k/p$.

Let $I$ be a complete discrete valuation ring with a continuous ${\mathbb{Z}}_p$-algebra structure. Every continuous function on ${\mathbb{Z}}_p$ with values in $I$ has a unique uniformly convergent expansion in the binomial polynomials, with $a_n={\Delta }^{n}f(0)$. This is the coefficient-ring version of the Mahler theorem. To see that $a_n\to 0$, approximate the function modulo any power of the maximal ideal by a function of period $p^k$. In the expansion of $(E-1{)}^{p^k}$, all intermediate binomial coefficients are divisible by $p$, while $(E^{p^k}-1)$ kills the periodic function. Iterating makes its differences vanish modulo the prescribed ideal power. Finite differences do not increase the uniform norm, so the same conclusion holds for the original function. Binomial inversion gives agreement at the nonnegative integers, and their density in the p-adic integers gives the expansion everywhere. This gives the dual description of p-adic measures by arbitrary bounded sequences of binomial moments, and hence the Amice transform.

For a profinite abelian group $G$, its Iwasawa algebra is the completed group algebrawhere $U$ runs over open subgroups. The transition map sums the coefficients over the fibers of $G/V\to G/U$ when $V\subset U$. Consequently an element gives compatible values $\mu (gU)\in {\mathbb{Z}}_p$ on cosets, equivalently a finitely additive ${\mathbb{Z}}_p$-valued p-adic measure on the clopen sets of $G$. Conversely these values specify every finite-quotient coefficient. Integration of a continuous function with values in ${\mathbb{Z}}_p$ is obtained by uniform approximation by locally constant functions; the integrals converge because all measure values have $p$-adic absolute value at most $1$. Multiplication in the Iwasawa algebra becomes convolution of p-adic measures. This is its measure realization of an Iwasawa algebra.

The Mahler theorem states that each continuous function $g:{\mathbb{Z}}_p\to {\mathbb{Z}}_p$ has the unique expansion converging in the sense of uniform convergenceIts Mahler coefficients areand $\Vert g{\Vert }_{\infty }={\sup }_n|b_n{|}_p$. The same assertion holds for continuous functions with values in ${\mathbb{Q}}_p$ with coefficients in ${\mathbb{Q}}_p$.

Given $f(T)={\sum }_{n\ge 0}{a}_n{T}^n\in R$, define the bounded linear functionalThe sum converges because $a_n\in {\mathbb{Z}}_p$ and $b_n\to 0$. Its values on indicator functions of clopen sets give a p-adic measure, denoted $\lambda (f)$, withConversely, a p-adic measure determines these coefficients $a_n\in {\mathbb{Z}}_p$, and continuity allows termwise integration of every Mahler expansion. Thus the inverse iswhich is the Amice transform. These two constructions are inverse, proving the canonical bijection $\lambda :R\simeq \Lambda ({\mathbb{Z}}_p)$. In fact it is an isomorphism of rings: the identity $\left(\genfrac{}{}{0ex}{}{x+y}{n}\right)={\sum }_{i+j=n}\left(\genfrac{}{}{0ex}{}{x}{i}\right)\left(\genfrac{}{}{0ex}{}{y}{j}\right)$ identifies convolution of p-adic measures with multiplication of formal power series. For example, $\lambda (1)={\delta }_0$ and $\lambda (1+T)={\delta }_1$, where ${\delta }_a$ is the Dirac measure at $a$.

For the moment identity, let $\left\{\genfrac{}{}{0ex}{}{k}{n}\right\}$ denote a Stirling number of the second kind. The finite polynomial identitygives $\int x^{k}d\lambda (f)={\sum }_{n=0}^k{a}_{n}n!\left\{\genfrac{}{}{0ex}{}{k}{n}\right\}$. On the other hand, $D=(1+T)d/dT$ satisfies $D^k(1+T{)}^x=x^k(1+T{)}^x$ for every nonnegative integer $x$. Expanding $(1+T{)}^x$ and evaluating at $T=0$ yieldsComparison in the basis of binomial polynomials gives $(D^k{T}^n)(0)=n!\left\{\genfrac{}{}{0ex}{}{k}{n}\right\}$. Terms with $n>k$ have zero constant term after at most $k$ differentiations, so no infinite-series interchange is needed. ThereforeThe case $k=0$ says that the total mass is $f(0)$.

The preceding constructions lead to the Iwasawa theorem on local cyclotomic units. Its significance is that an explicitly calculated local unit quotient is governed by a p-adic L-function; class field theory then suggests that the same analytic object should govern global arithmetic. The latter prediction is the Iwasawa main conjecture, rather than a consequence of the local calculation alone.

Fix compatible roots of unity ${\zeta }_{p^n}$ and put $K_n={\mathbb{Q}}_p({\zeta }_{p^n})$, ${\pi }_n={\zeta }_{p^n}-1$. Let $V_{\infty }$ be the norm limit of the local principal units. Take its even part under complex conjugation to obtain $U_{\infty }^1$, the local principal-unit limit in the real tower. Let $C_{\infty }^1$ be the closed subgroup generated by norm-compatible real cyclotomic units, with their finite-order residue factors removed. WriteHere the last map is augmentation. Normalize the p-adic zeta pseudomeasure ${\zeta }_p$ byThe expression $x^k$ is well defined on $G$ for even $k$. A pseudomeasure lies in the total fraction ring of the Iwasawa algebra; the pole on its trivial finite-character component is removed by the augmentation ideal, so $I(G){\zeta }_p\subset {\Lambda }_G$. In this normalization the local theorem isThe following steps outline its proof and explain where the earlier questions enter.

First encode local units by Coleman power series. Evaluation at ${\pi }_n$ is surjective from $R$ to ${\mathcal{O}}_{K_n}$, and the product defining the Coleman norm operator givesThus norm-fixed series give norm-compatible sequences of local units. Conversely, lift $u_m$ from such a sequence to $f^{(m)}\in R^{\times }$ and take $g_m=N^{m-r_m}{f}^{(m)}$, where $r_m=\lfloor m/2\rfloor$. This has $g_m({\pi }_{r_m})=u_{r_m}$. The estimates in Question 2 give $N{g}_m/g_m\in 1+p^{m-r_m+1}R$. Consequently for fixed $n\le r_m$, the series $N^{r_m-n}{g}_m$ differs from $g_m$ modulo $p^{m-r_m+1}$ and its value at ${\pi }_n$ is $u_n$. The compactness of $R$ in the coarser of the topologies on integral formal power series supplies a convergent subsequence. Continuity of the Coleman norm operator and of evaluation shows that its limit is norm-fixed and takes every value $u_n$. It is a unit because the original principal units have residue $1$. Uniqueness follows from the Weierstrass preparation theorem: a nonzero series in $R$ has only finitely many zeros in the open unit disk, whereas the distinct ${\pi }_n$ give infinitely many interpolation points. This constructs the Coleman power series $f_u$.

Next turn its multiplicative information into an integral p-adic measure. For a norm-fixed unit $f$, use the Frobenius-corrected logarithmThe ratio belongs to $1+pR$ by reduction modulo $p$, and the logarithm divided by $p$ is integral because $p$ is odd. Equivalently $\mathcal{L}(f)=(1-\varphi /p)\log f$, interpreting the constant coefficient with the p-adic logarithm on units. The averaging identity for the logarithm is understood on the open $p$-adic unit disk, where the translated logarithmic series converge; the corrected result itself lies in $R$. The logarithmic product formula and Question 1 giveUnder the Amice transform, the root-of-unity average projects a p-adic measure onto its restriction to $p{\mathbb{Z}}_p$: the averaged factor $(1+T{)}^x$ survives exactly for $x\in p{\mathbb{Z}}_p$. Consequently $S\mathcal{L}(f)=0$ says that $\lambda (\mathcal{L}(f))$ is supported on ${\mathbb{Z}}_p^{\times }$. This gives a Galois group-equivariant homomorphism from local principal units to the Iwasawa algebra of ${\mathbb{Z}}_p^{\times }$.

The integral lifting step in this proof is the Coleman unit-measure exact sequenceHere $\mathrm{Col}(u)=\lambda (\mathcal{L}(f_u))$. The last map is surjective, since $m_1({\delta }_1)=1$, and it has the cyclotomic action on its target. Its composition with $\mathrm{Col}$ is zero: $D\varphi =p\varphi D$ implies $D\mathcal{L}(f)(0)=0$. The kernel on the unit side consists of norm-compatible $p$-power roots of unity. To see the shape of the kernel, write $z=\log (1+T)$; the equation $\mathcal{L}(f)=0$ becomes $h(pz)=ph(z)$ for $h(z)=\log f(e^z-1)$, so only its linear term can survive. Integral solutions are $f=(1+T{)}^c$, $c\in {\mathbb{Z}}_p$, after excluding finite residue factors by the principal unit condition. For the image, use the following explicit integral lifting of the corrected cyclotomic logarithm.

Take a p-adic measure $\mu$ on the units with first moment zero, and write $g$ for its Amice transform. Then $Sg=0$ and $g^{\prime }(0)=0$. Put $H=\exp (pg)\in 1+pR$ and solve $f^p=H\varphi (f)$ with $f(0)\in 1+p{\mathbb{Z}}_p$. The constant equation is solved by $f_0=\exp (p{g}_0/(p-1))$. In degree one the terms involving $f_1$ cancel, and the remaining condition is $H_1=0$, exactly $g_1=0$; choose any $f_1\in {\mathbb{Z}}_p$. For $n\ge 2$, after fixing the lower coefficients, the coefficient multiplying the unknown $f_n$ isThe other terms are divisible by $p$: for the already integral truncated series, $f^p\equiv \varphi (f)(\mathrm{mod}p)$, while $H\equiv 1(\mathrm{mod}p)$. Division therefore gives an integral $f_n$, since $f_0$ and $1-p^{n-1}$ are units. Recursion constructs $f\in R^{\times }$ with $\mathcal{L}(f)=g$. Now $pSg=\log (Nf/f)=0$, and $Nf/f\in 1+pR$ by Question 2. The p-adic logarithm is injective there, so $Nf=f$. This supplies the desired Coleman power series of a norm-compatible sequence of local units. The freely chosen linear coefficient accounts precisely for the kernel $(1+T{)}^c$. It proves the integral surjectivity step, including the integrality that rational inversion of $1-\varphi /p$ would leave unproved.

Complex conjugation acts by $-1$ on both copies of ${\mathbb{Z}}_p(1)$. As $p$ is odd, taking the even part is exact and removes both end terms. It follows that $\mathrm{Col}:U_{\infty }^1\simeq {\Lambda }_G$. The integral exact sequence is essential here: the support calculation alone would not prove this isomorphism.

It remains to calculate the image of the cyclotomic units. For $a,b\in {\mathbb{Z}}_p^{\times }$, consider the symmetric cyclotomic unit seriesThe quotient has an invertible constant term $a/b$, because both numerator and denominator have a simple zero at $T=0$. The factor $X^{(b-a)/2}$ makes the expression unchanged under $X\mapsto X^{-1}$. The product over the roots of unity gives $N{f}_{a,b}=f_{a,b}$; one may verify this first for integer $a,b$ prime to $p$ and then extend by continuity. Dividing by the norm-compatible Teichmuller representative makes the series correspond to principal units and does not change its logarithm. The generating function for the Bernoulli numbers, with $z=\log X$, givesThe symmetric factor cancels the linear term. Applying $1-\varphi /p$, and then the moment formula of Question 3, yieldsfor even $k\ge 2$. These moments determine an even p-adic measure on the units: polynomials are dense by the Mahler theorem, even projection preserves density, and multiplication by $x^2$ is invertible on the units, so the positive even-degree polynomials are dense there as well. ThusThe closed ideal generated by all differences $[b]-[a]$ is $I(G)$. The closed subgroup generated by the corresponding cyclotomic units, including its Galois group translates, therefore has image exactly $I(G){\zeta }_p$. Taking the quotient of the isomorphism $U_{\infty }^1\simeq {\Lambda }_G$ proves the boxed local theorem.

Finally introduce global arithmetic. Let ${\overline{E}}_{\infty }^1$ be the closure of norm-compatible global units in the real tower, let $X_{\infty }^{+}$ be its p-ramified Iwasawa module, and let $Y_{\infty }^{+}$ be its unramified Iwasawa module. With compatible unit and splitting conventions, class field theory gives the class-field unit sequence; quotienting its unit terms by $C_{\infty }^1$ givesIn the cyclotomic tower the prime above $p$ is principal, so the unramified class-field convention also makes it split. On the torsion character components, multiplicativity of characteristic ideals impliesThe local theorem has already calculated the first factor analytically. Equality of the global unit and class-group factors would therefore identify the characteristic ideal of $X_{\infty }^{+}$ with the same ideal of the p-adic L-function. That is the content predicted by the Iwasawa main conjecture. More explicitly, for a nontrivial even finite character $\chi$, the character component of $I(G)$ is the whole component and the prediction isHere ${\Lambda }_{\chi }$ is the power-series algebra of the pro-$p$ part with coefficients in the character-value ring. The trivial component requires the augmentation correction for the zeta pole. Equivalently the characteristic ideals of ${\overline{E}}_{\infty }^1/C_{\infty }^1$ and $Y_{\infty }^{+}$ agree componentwise. A formulation using odd class-group characters must include the appropriate cyclotomic twist and inversion, as in Kummer reflection in Iwasawa theory. The motivation is an analytic formula for local units together with a global class-field exact sequence; the global equality is the additional arithmetic assertion.

The related class-number growth theorem illustrates why passage to an Iwasawa module is powerful. For the cyclotomic ${\mathbb{Z}}_p$-extension, let $p^{e_n}$ be the $p$-part of the class number at level $n$. The unramified Iwasawa torsion theorem, the Iwasawa module structure theorem and the class-group control relations give, for sufficiently large $n$,Here $\mu ,\lambda$ are the Iwasawa invariants. To see the two growth terms, use a topological generator $\gamma$ and, after a fixed sufficiently high level $n_0$, the norm polynomial ${\nu }_{n,n_0}=({\gamma }^{p^n}-1)/({\gamma }^{p^{n_0}}-1)$. An elementary summand $\Lambda /(p^a)$ contributes $a(p^n-p^{n_0})$ to the length of its quotient by this polynomial. A summand associated with a distinguished polynomial of degree $d$ contributes $dn$ plus a constant: at each root $\alpha$ the valuation of the norm polynomial is $n$ plus a fixed constant for large $n$. If $1+\alpha$ is a root of unity already killed at level $n_0$, its value is instead exactly $p^{n-n_0}$ and gives the same linear contribution. The finite errors in the structure and control maps stabilize and contribute to $\nu$. Thus module structure explains growth, while the Iwasawa main conjecture goes further by identifying the characteristic series of an Iwasawa module themselves with analytic ones.

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.

A one-variable main conjecture for CM elliptic curves compares a torsion arithmetic Iwasawa module with a measure interpolating special Hecke L-function values. The classical bounded-measure formulation uses a prime of good reduction which splits in the CM field, hence gives ordinary reduction. We first describe the one-prime division-tower formulation, including the analytic construction, and then explain its cyclotomic Selmer counterpart and the change at supersingular primes.

For a precise basic setting, take $E/K$ with complex multiplication by ${\mathcal{O}}_K$, $K$ of class number one, and a split prime $p>3$ of good reduction, prime to the Hecke conductor $\mathfrak{f}$. Write $p{\mathcal{O}}_K=\mathfrak{p}\bar{\mathfrak{p}}$, choose the $p$-adic embedding corresponding to $\mathfrak{p}$, and let $\pi ={\psi }_E(\mathfrak{p})$. Its formal group of an elliptic curve has height one, with $[\pi ](t)\equiv t^p(\mathrm{mod}\mathfrak{p})$. The one-prime division towerhas $\Delta$ of order prime to $p$ and $\Gamma \simeq {\mathbb{Z}}_p$. Its CM character $\kappa :G\to {\mathbb{Z}}_p^{\times }$ describes the action on the prime-primary Tate module. Let $F=F_{\infty }^{\Gamma }$ and $\Lambda =I[[\Gamma ]]\simeq I[[T]]$. We extend coefficients to the complete unramified ring $I$ to include character values and a CM period.

Let $X$ be the Galois group over $F_{\infty }$ of the maximal abelian pro-$p$ extension unramified outside primes above $\mathfrak{p}$. Let $A$ be the analogous everywhere-unramified group, equivalently the norm inverse limit of the $p$-parts of the ideal class groups. Write $U$ for the norm limit of principal local units at $\mathfrak{p}$, $\mathcal{E}$ for the closures of global units in $U$, and $\mathcal{C}$ for the closures of elliptic units. Roots of unity and finite initial-layer errors are retained when formulating integral statements; after passage to a finite-character component they do not change a characteristic ideal.

The class-field unit sequence, obtained by taking norm limits in global Artin reciprocity, givesIn this ordinary one-prime tower, the unit and global-unit terms have the same Iwasawa rank, and the displayed quotients and $X,A$ are torsion on their character components. The equalityis the global-units/class-groups form of the CM main theorem. Multiplicativity of characteristic ideals in the sequence then givesThe analytic construction must identify the latter ideal with a genuinely interpolating p-adic L-function; it is not enough to rename an arbitrary characteristic power series as an L-function.

Here is that construction. For an auxiliary ideal $\mathfrak{a}$ prime to $6p\mathfrak{f}$, a suitably normalized rational elliptic function has divisor a multiple ofTranslate by a generator of the conductor torsion and take the product over its ray-class orbit. This produces a rational function $f_{\mathfrak{a}}(t)$ defined over $K$ which is a unit series at the identity. Evaluating it on compatible ${\mathfrak{p}}^n$-division points gives elliptic units. The reason for the norm relations is geometric: multiplication by $\pi$ groups the translated zeros and poles into fibers, so the product over $E[\mathfrak{p}]$ has the divisor of $f_{\mathfrak{a}}([\pi ]t)$. The normalization fixes the constant, giving the local identityThis is also the norm relation of the Coleman power series for a CM formal group interpolating the resulting local units.

An integral logarithmic correction makes the passage from those units to a bounded measure explicit. In the chosen split completion $K_{\mathfrak{p}}={\mathbb{Q}}_p$, putSince $[\pi ]t\equiv t^p(\mathrm{mod}p)$ and the coefficients of $f$ reduce to ${\mathbb{F}}_p$, the ratio is in $1+p{\mathbb{Z}}_p[[t]]$. For $p>2$, its logarithm divided by $p$ is integral. Constants are treated using the usual $p$-adic logarithm on units. This proves the integrality needed for the Frobenius-corrected logarithm; applying an uncorrected logarithm alone would not prove boundedness.

Choose an isomorphism $\eta :{\hat{\mathbb{G}}}_m\to \hat{E}$ over $I$, and normalize the CM period byThen $A_f(T)={\mathcal{L}}_f(\eta (T))\in I[[T]]$ is the Amice transform of a unique $I$-valued p-adic measure on ${\mathbb{Z}}_p$. The norm relation above givesthe first logarithmic sum is $\log f([\pi ]t)$ and the second is the same sum, because $[\pi ]Q=0$ and there are $p$ points. On the measure side the sum selects $p{\mathbb{Z}}_p$ and multiplies by $p$, so this identity says that the measure is supported on ${\mathbb{Z}}_p^{\times }$. Transport it to $G$ by the CM character and project to the desired component.

The moments can now be calculated rather than postulated. With $D=(1+T)d/dT$,The factor ${\pi }^k$ appears because $[\pi ]$ is multiplication by $\pi$ in the additive formal-logarithm coordinate. The remaining derivative is a Coates–Wiles homomorphism. The complex product for the elliptic function makes it a sum of shifted inverse powers of lattice elements. Grouping these lattice elements by ray-class ideals identifies that sum with $(k-1)!L_{\mathfrak{f}}({\bar{\psi }}_E^k,k)/{\Omega }_{\infty }^k$, multiplied by the auxiliary factor $N\mathfrak{a}-{\psi }_E(\mathfrak{a}{)}^k$. Here $L_{\mathfrak{f}}$ omits primes dividing the original conductor, including when the conductor of the power character becomes smaller.

Normalize the rational functions and matching complex and $p$-adic periods consistently, and remove the auxiliary factors by the distribution relations. They are evaluations of $N\mathfrak{a}-[\mathfrak{a}]$ in the Iwasawa algebra. On each finite-character component an auxiliary ideal can be chosen making this element a unit: its residues at $\mathfrak{p}$ and $\bar{\mathfrak{p}}$ can be prescribed independently by the Chinese remainder theorem. The resulting integral measure ${\mu }_E$ satisfies, on its branch and with $k$ in the corresponding residue class,The exact normalization of periods matters for this equality; multiplication by an integral unit does not affect the ideal in the main conjecture. Finite-order twists are obtained by inserting a character in the ray-class sums, with its local Gauss sum. The lattice calculation proves algebraicity of the normalized complex values, while the integral series construction proves their $p$-adic interpolation. These are different steps.

The Coleman measure map identifies $U_{\chi }$ with a rank-one Iwasawa algebra lattice, up to finite errors, and takes ${\mathcal{C}}_{\chi }$ to the ideal generated by the corresponding power series ${\mathcal{L}}_{\chi }$. The conjecture therefore has the concrete formIts proof uses the Euler system of elliptic units. Adjoining auxiliary ray moduli supplies norm relations with factors $1-{\mathrm{Frob}}_{\mathfrak{q}}^{-1}$. Derivative operators in the auxiliary cyclic groups produce Kolyvagin classes; their controlled valuations relate a new auxiliary prime to its ideal class. Chebotarev density theorem permits the required Frobenius choices. Successively choosing these primes bounds the class-group elementary divisors by the elliptic-unit index, giving the difficult characteristic-ideal divisibility. The opposite comparison comes from the class-number/unit-index formula and passage through the tower. Their equality, combined with the exact sequence above and the logarithmic computation, is the proof mechanism. The ordinary split-prime setting of this formulation is specified in Rubin's one-variable main-conjecture paper.

For completeness, the familiar cyclotomic formulation concerns a different tower. If $E/\mathbb{Q}$ has complex multiplication and good ordinary reduction at $p$, put ${\Gamma }_{\mathrm{cyc}}=\mathrm{Gal}({\mathbb{Q}}_{\infty }/\mathbb{Q})$ andFor a finite layer $L$, its Selmer group of an elliptic curve iswhere $S$ contains the bad primes and primes above $p$; at infinite level take the direct limit. Thus it imposes the local Kummer conditions and sits between rational points tensored with ${\mathbb{Q}}_p/{\mathbb{Z}}_p$ and the $p$-primary Tate–Shafarevich group. Its dual ${\mathcal{X}}_E$ is a torsion Iwasawa module, and the cyclotomic main conjecture isWith compatible reciprocity conventions, the ordinary function has the finite-character interpolationwhere $\alpha$ is the $p$-adic unit root of $X^2-a_{p}X+p$ and $\tau (\chi )={\sum }_{a\mathrm{mod}{p}^n}\chi (a)e^{2\pi ia/p^n}$; characters of this cyclotomic ${\mathbb{Z}}_p$-extension are even. The two-variable CM measure specializes to this line after the CM-character twist. Kummer theory, class-field descriptions of the prime-primary local conditions and control of finite-layer errors identify its algebraic counterpart with the displayed Selmer dual. The one-prime division tower is not itself the cyclotomic tower, so this requires the twist and specialization argument, not just changing its name.

Finally, at a good inert prime the curve has supersingular reduction. The ordinary unit root is absent, the unmodified cyclotomic Selmer dual is not torsion, and the ordinary bounded-function argument does not apply. For CM curves over $\mathbb{Q}$ and odd supersingular $p$, signed local trace conditions and signed functions give instead $\mathrm{char}{\mathcal{X}}_E^{\pm }=(L_p^{\pm }(E))$, as proved in Pollack and Rubin's supersingular main-conjecture theorem. Thus the ordinary hypotheses and the analytic local correction are essential parts of the essay's main-conjecture statement.