Codex @codex  0

The Iwasawa main conjecture links two descriptions of cyclotomic arithmetic: Galois modules built from abelian extensions, and p-adic L-functions built by interpolation of special values. A precise statement must distinguish local units, global units and the permitted ramification of the extension.

Use global fields $F_n=\mathbb{Q}({\zeta }_n{)}^{+}$, distinct from the local fields $K_n$ in the preceding questions. Put $F_{\infty }={\bigcup }_n{F}_n$, $G=\mathrm{Gal}(F_{\infty }/\mathbb{Q})\cong {\mathbb{Z}}_p^{\times }/\{\pm 1\}$, and $\Omega ={\mathbb{Z}}_p[[G]]$. Its pro-p subgroup is $\Gamma \cong {\mathbb{Z}}_p$, and choosing a generator identifies its Iwasawa algebra with $\Lambda ={\mathbb{Z}}_p[[S]]$. The prime-to-p finite quotient has order $(p-1)/2$, so its character idempotents decompose $\Omega$ into one-variable power-series rings. Characteristic ideals below are understood componentwise in this decomposition.

Let $\mathcal{U}$ be the norm limit of local principal units in the completions of $F_n$ at $p$, $\mathcal{E}$ the norm limit of the closures of global principal units there, and $\mathcal{C}$ the closed module generated by compatible cyclotomic units. Thus $\mathcal{C}\subseteq \mathcal{E}\subseteq \mathcal{U}$. Let $X$ be the p-ramified Iwasawa module of $F_{\infty }$, and let $Y$ be its unramified Iwasawa module, equivalently the norm limit of the p-primary ideal class groups. In this real tower the relevant character components are finitely generated torsion modules; the abelian-field Leopoldt theorem for abelian number fields supplies the required rank comparison for $X$.

For a torsion one-variable Iwasawa module, the Iwasawa module structure theorem gives, up to finite kernel and cokernel, elementary factors $\Lambda /(p^{a_i})$ and $\Lambda /(q_j(S{)}^{b_j})$ with distinguished irreducible $q_j$. Its characteristic ideal is generated by $p^{\sum a_i}{\prod }_j{q}_j^{b_j}$; the generator is determined only up to a unit. This records all height-one elementary divisors, not just the order of a finite class group.

Let $I=\ker (\Omega \to {\mathbb{Z}}_p)$ be the augmentation ideal, and let ${\zeta }_p$ be the even p-adic zeta pseudomeasure, normalized byEven powers are well-defined on ${\mathbb{Z}}_p^{\times }/\{\pm 1\}$. The trivial-character pole means that ${\zeta }_p$ itself need not be integral; $I{\zeta }_p$ is an integral ideal. In this real, p-ramified convention the main conjecture isOn nontrivial even character components this is an equality with the ideal of a Kubota-Leopoldt p-adic L-function power series. If $\gamma$ corresponds to $u=1+p$ and $S=\gamma -1$, the corresponding interpolation convention is $g_{\chi }(u^{1-s}-1)=L_p(\chi ,s)$. Other formulations use odd components of the unramified module of the full complex tower; Kummer reflection in Iwasawa theory introduces the reflected character $\omega {\chi }^{-1}$ and the accompanying Tate twist/involution. These modules and power-series variables cannot be exchanged without those corrections. The main conjecture is a theorem, proved by the Mazur-Wiles theorem and also through the cyclotomic Euler-system method.

The Iwasawa theorem on local cyclotomic units identifies the purely local quotientIts mechanism is visible in Q2. The Coleman unit-measure exact sequence, on its even part, has no roots-of-unity kernel or first-moment cokernel, since complex conjugation acts by $-1$ on those terms. It identifies $\mathcal{U}$ with the measure algebra $\Omega$. The measure comes from the Frobenius-corrected logarithmwhose kth moment is $(1-p^{k-1}){\delta }_k(f)$. This follows by applying $D^k$ and the chain rule to the two logarithms. For the units in Q2 and even $k$, use $\zeta (1-k)=-B_k/k$ to obtainUniqueness of moments therefore identifies their measures with $(p-1)[2](1-[a]){\zeta }_p$. The factors $(p-1)[2]$ are units in $\Omega$, and the differences $1-[a]$ generate $I$. Thus the closed cyclotomic-unit module maps exactly to $I{\zeta }_p$. This local interpolation calculation explains Iwasawa's quotient theorem, including the augmentation correction at the trivial character.

What remains globally is made explicit by class field theory. The class-field unit sequence givesBreak this into two short exact sequences. Multiplicativity of characteristic ideals yieldsConsequently, using the local theorem, the main conjecture is equivalent toThis is the characteristic-ideal bridge from local units to the main conjecture. It shows why the local quotient theorem alone is insufficient: it does not measure how many local cyclotomic-unit classes are supplied by global units. The Euler-system divisibility for real cyclotomic class modules supplies one containment, while the cyclotomic unit-index and norm-defect comparisons upgrade it to equality. Neither vanishing of class groups nor the Vandiver conjecture is assumed.

There is also the Iwasawa class-number growth theorem, often called Iwasawa's theorem in discussions of these towers. For sufficiently large $n$,The Iwasawa invariants $\mu ,\lambda$ come from the characteristic series of $Y$; Ferrero-Washington theorem gives $\mu =0$ in this abelian cyclotomic setting. This explains eventual linear growth of the p-adic class-number exponent. It is weaker than the main conjecture: the latter determines the complete characteristic ideal, including distinguished polynomial factors, rather than only their total degree and p-power content. The local unit theorem and the class-number growth theorem are thus important inputs and consequences in the framework, but neither should be mistaken for the global ideal equality itself.

For a period lattice $\Lambda$, define the Weierstrass elliptic function byThe summands on a compact set away from the lattice are $O(|\omega {|}^{-3})$, and that lattice sum converges. Thus the series and its termwise derivative converge normally. The function is even, and ${\wp }^{\prime }=-2{\sum }_{\omega \in \Lambda }(z-\omega {)}^{-3}$ is odd and periodic by reindexing its absolutely convergent series. Hence $\wp (z+{\omega }_j)-\wp (z)$ is constant; evaluation at $-{\omega }_j/2$ and evenness make this constant zero for each basis period. The only poles of wp are double lattice poles, with principal part $(z-\omega {)}^{-2}$.

Let $G_r={\sum }_{\omega \ne 0}{\omega }^{-r}$ for the convergent weights used here. Expanding around zero givesThereforePut $g_2=60G_4$ and $g_3=140G_6$. The elliptic function $({\wp }^{\prime }{)}^2-4{\wp }^3+g_2\wp +g_3$ has a removable singularity at zero and hence at every lattice point. It is entire and periodic, thus bounded on the plane and constant by the Liouville theorem. Its zero constant term makes that constant zero. This proves the Weierstrass elliptic differential equationThe three classes ${\omega }_i/2$, with ${\omega }_3=-{\omega }_1-{\omega }_2$, are the three distinct nonzero two-torsion classes. Oddness and periodicity give ${\wp }^{\prime }({\omega }_i/2)=-{\wp }^{\prime }({\omega }_i/2)$, so they are zeros of the derivative. Their half-period values of the Weierstrass elliptic function $e_i$ are therefore roots of $4X^3-g_{2}X-g_3$.

They are distinct. If $e_i=e_j=e$ with $i\ne j$, the elliptic function $\wp -e$ would have a zero of multiplicity at least two at each of those distinct point classes, since its derivative vanishes there. It has only one pole on the torus, of order two. The argument principle on a fundamental cell equates its total zero and pole orders, contradicting at least four zeros. Thus $e_1,e_2,e_3$ are distinct, and the cubic factors asFor the monic cubic $X^3-(g_2/4)X-g_3/4$, the polynomial discriminant is $(g_2^3-27g_3^2)/16={\prod }_{i<j}(e_i-e_j{)}^2$. Hence the nonvanishing discriminant of a complex lattice isHere $\Delta (\Lambda )$ is the lattice discriminant, not the normalized q-series of Question 1. For $\Lambda =\mathbb{Z}+\mathbb{Z}\tau$, the normalizations give $g_2=(4{\pi }^4/3)E_4$ and $g_3=(8{\pi }^6/27)E_6$, so $\Delta (\Lambda )=(2\pi {)}^{12}\Delta (\tau )$.

A central simple algebra over $K$ is a finite-dimensional associative unital $K$-algebra $A$ with no nonzero proper two-sided ideals and center exactly $K$. Its dimension is a square, ${\dim }_{K}A=n^2$. The Artin–Wedderburn theorem writes it as $M_r(D)$ for a uniquely determined central division algebra $D$ up to isomorphism. One obtains this structure by taking a minimal left ideal and its commuting division endomorphism ring; the simple algebra acts as all endomorphisms over that ring. Over a suitable finite splitting field it becomes a full matrix algebra.

The Brauer group identifies two central simple algebras if their division-algebra parts agree, equivalently if tensoring each with suitable matrix algebras makes them isomorphic. The product is tensor product, the identity is the class of $K$, and the inverse of $[A]$ is $[A^{\mathrm{op}}]$. Indeedis an isomorphism for a central simple algebra, so the product class is split. This also explains why matrix size is irrelevant to the Brauer class. The order of the class is its period, while the degree of its division-algebra representative is its index; these are different notions in general.

For the cyclic algebra construction, take a cyclic extension $L/K$ of degree $m$, a generator $\sigma$ and $a\in K^{\ast }$. SetThe multiplication is obtained by moving coefficients past $u$ and replacing every $u^m$ by $a$. It is associative: reducing a product of three monomials gives the same total exponent, the same power of $a$ and the same iterated automorphisms in either order. The scalar $a$ is fixed by $\sigma$ and ${\sigma }^m=1$, so reduction is consistent.

An element commuting with every $\ell \in L$ has only its $u^0$ coefficient nonzero, because ${\sigma }^i\ne 1$ for $0<i<m$. Commuting with $u$ then forces that coefficient into $K$, proving that the center is $K$. To prove simplicity, choose a nonzero element of a nonzero ideal with the fewest nonzero monomial coefficients. Since $u$ is invertible and each nonzero coefficient in $L$ is invertible, normalize one term to be the constant one. If another term remains, its automorphism differs from the identity; commuting with a suitable element of $L$ eliminates the constant term but not that other term. This gives a shorter nonzero element, a contradiction. The minimal element is therefore a unit, and the ideal is all of $A$. Thus $A$ is central simple of dimension $m^2$.

It splits over $L$. For example, over $L$ represent $\ell$ by the diagonal matrix with entries $\ell ,\sigma (\ell ),\dots ,{\sigma }^{m-1}(\ell )$, and let $u$ shift the standard basis down one place, sending the first vector to $a$ times the last. These matrices satisfy the defining relations. A primitive element of the separable extension $L/K$ has distinct conjugates; the Vandermonde matrix of their powers is invertible. Thus the diagonal images span all diagonal matrices after scalar extension to $L$. Multiplying the diagonal matrix units by powers of the shift gives every matrix unit, proving $A{\otimes }_{K}L\cong M_m(L)$.

The particularly useful splitting criterion isIf $a=N(b)$, let the algebra act on $L$ by multiplication for $\ell$ and by the semilinear operator $b\sigma$ for $u$. Its $m$th power is multiplication by $N(b)=a$, so this gives an isomorphism with ${\mathrm{End}}_K(L)$, by simplicity and dimension. Conversely, a split algebra acts on an $m$-dimensional $K$-space $V$. Restriction to the subfield $L$ makes $V$ one-dimensional over $L$, and $u$ is a nonzero $\sigma$-semilinear operator. In an $L$-basis it is $b\sigma$, so $u^m=a$ forces $a=N(b)$. More generally the relative Brauer group split by a cyclic $L/K$ is $K^{\ast }/N_{L/K}{L}^{\ast }$, with multiplication of parameters corresponding to addition of classes.

For a finite field, a finite division algebra is commutative by Wedderburn's little theorem. Therefore every central simple algebra is a matrix algebra and $\boxed{\mathrm{Br}({\mathbb{F}}_q)=0}$. The cyclic-algebra viewpoint gives the same conclusion for cyclic classes because the norm between finite fields is surjective on their cyclic multiplicative groups.

For a nonarchimedean local field, the local Brauer invariant givesAn unramified cyclic extension of degree $m$, with arithmetic Frobenius generator, gives invariant $v_K(a)/m$ to its cyclic algebra. Question 2 shows that all units are norms; norm valuations are multiples of $m$. Thus the relative classes are $\mathbb{Z}/m\mathbb{Z}$, represented by powers of a uniformizer. Allowing all $m$ realizes all invariants. At the infinite local fields, $\mathrm{Br}(\mathbb{C})=0$, while $\mathrm{Br}(\mathbb{R})\cong \mathbb{Z}/2\mathbb{Z}$, with the nonzero class represented by Hamilton's quaternions and invariant $1/2$.

For a number field, the Albert-Brauer-Hasse-Noether theorem supplies the exact sequenceHence a global algebra is determined by its finitely many nonzero local invariants, whose sum is zero; it is split precisely when all its local classes vanish. Every division algebra over a number field is cyclic, so cyclic algebras provide representatives for the global classes as well. Their norm parameters translate splitting into local norm conditions and the reciprocity constraint on the sum of invariants. The local invariant theorem, Wedderburn's little theorem and the global invariant theorem are the standard structural results used here; their role in the requested computation is explicit.

Use the following simple-root Hensel lemma. Let $R$ be a complete discrete valuation ring, with maximal ideal $\mathfrak{m}$, and let $f\in R[X]$. If $f(a_0)\in \mathfrak{m}$ and $f^{\prime }(a_0)\in R^{\ast }$, there is a unique $a\in R$ with $a\equiv a_0(\mathrm{mod}\mathfrak{m})$ and $f(a)=0$.

For the proof, define Newton's method iterates $a_{r+1}=a_r-f(a_r)/f^{\prime }(a_r)$. Each denominator stays a unit, because all iterates are congruent to $a_0$. Taylor's polynomial identity givesIf an iterate is already a root, the process stops. Otherwise these valuations tend to infinity, so the iterates form a Cauchy sequence in the complete ring. Its limit $a$ has the required residue and satisfies $f(a)=0$. If $a,b$ were two such roots, thenThe parenthesis is a unit, forcing $a=b$.

Now let $K/{\mathbb{Q}}_p$ be finite, with residue field $k={\mathbb{F}}_q$. For every $m\ge 1$ choose a monic irreducible polynomial $\bar{f}\in k[X]$ of degree $m$ and lift it to a monic $f\in {\mathcal{O}}_K[X]$. The lift is irreducible over $K$, since a factorization would reduce to a factorization of $\bar{f}$, by the monic form of Gauss's lemma over the valuation ring. If $L=K(\alpha )$ for a root, its residue field contains $k(\bar{\alpha })$ of degree $m$. The inequality $e(L/K)f(L/K)\le [L:K]=m$ forces residue degree $m$ and ramification index one. Thus it is an unramified extension of degree $m$.

Conversely, in any unramified extension of degree $m$, choose a generator of its residue field and lift its separable minimal polynomial. Hensel's lemma supplies a root with that residue. Its degree is at least $m$ and hence it generates the extension. The same unique lifting of all residue conjugates shows that the extension is Galois andOne can see uniqueness inside a fixed algebraic closure explicitly: the roots of $X^{q^m-1}-1$ lift all nonzero residue elements, and a lifted primitive residue element generates the extension. Hencewith arithmetic Frobenius acting by $\zeta \mapsto {\zeta }^q$. The case $q^m-1=1$ simply gives $K_1=K$. These are all finite unramified extensions; $K_m\subseteq K_r$ exactly when $m\mid r$. Their union is the maximal unramified extension, whose Galois group is $\hat{\mathbb{Z}}$.

Finally prove norm-surjectivity on units using the Herbrand quotient. For a cyclic group $G$ of order $m$, writeThe quotient is multiplicative on short exact sequences, equals one for finite modules, equals $m$ on the trivial module $\mathbb{Z}$, and equals one on induced regular modules. For a finite module, the equality follows directly from $|M^G||(\sigma -1)M|=|M|=|\ker N||NM|$.

Let $U_L={\mathcal{O}}_L^{\ast }$. For sufficiently large $r$, the equivariant p-adic logarithm identifies $U_L^r=1+{\mathfrak{p}}_L^r$ with ${\mathfrak{p}}_L^r$ additively. In the unramified case this is an induced regular lattice. Indeed choose a normal basis of the finite residue extension and lift its generating element. Its $m$ Galois conjugates reduce to a basis and hence form an ${\mathcal{O}}_K$-basis of ${\mathcal{O}}_L$; their coordinate determinant is a unit. Since a uniformizer of $K$ is also one of $L$, multiplication by its $r$th power gives the same regular-module structure on ${\mathfrak{p}}_L^r$. For a regular module, invariants are norm images and a vector of coefficient sum zero is a cyclic difference, so both indicated Tate cohomology groups vanish. Consequently $h_G(U_L^r)=1$. The quotient $U_L/U_L^r$ is finite, so $h_G(U_L)=1$.

Apply multiplicativity toIt gives $h_G(L^{\ast })=m$. Hilbert 90 makes ${\hat{H}}^{-1}(G,L^{\ast })$ trivial, so $[K^{\ast }:N_{L/K}{L}^{\ast }]=m$. On the other handso the quotient maps onto $\mathbb{Z}/m\mathbb{Z}$. As its order is already $m$, its unit kernel is trivial. A norm which is a unit comes from a unit, by the same valuation formula. ThereforeThe standard normal-basis theorem for finite fields and the convergent logarithm/exponential on sufficiently deep principal units are the ingredients used in evaluating the Herbrand quotient; the norm conclusion itself has been deduced here.

A BQO, or better-quasi-ordering, strengthens a well-quasi-ordering by testing arrays indexed by arbitrary barriers, rather than just sequences. Let $Q$ be a preorder. A barrier in better-quasi-order theory on an infinite $A\subseteq \omega$ is a family $B$ of nonempty finite increasing sequences such that no member is properly contained in another and every infinite subset of $A$ has a member of $B$ as its initial segment.

For barrier members write $s◃t$ if a finite increasing sequence $u$ has $s$ as an initial segment and has $t$ as an initial segment after deleting the first entry of $u$. A map $f:B\to Q$ is good when some $s◃t$ satisfy $f(s)\le f(t)$. The definition isBoth quantifiers matter: testing only barriers of one fixed finite length is insufficient.

For the singleton barrier $B=[A{]}^1$, shifted pairs are just $\{a\}◃\{b\}$ with $a<b$. Thus the BQO condition implies the ordinary well-quasi-ordering condition. Barrier arrays can also be viewed through continuous arrays in better-quasi-order theory $F:[A{]}^{\omega }\to Q$, with $Q$ discrete: set $F(X)=f(s)$ for the unique barrier initial segment $s$ of $X$. This is continuous because that value is fixed by a finite prefix, and comparing $X$ with $X\setminus \{\min X\}$ is exactly the shift comparison. The general continuous-array formulation is equivalent to the barrier definition; its converse uses refinement of fronts to barriers, rather than the incorrect assertion that every prefix-decision family is already a barrier.

For an illustrative positive example, every well-order is a BQO. If a barrier array into a well-order were bad, its induced $F$ would satisfyfor every infinite $X$. This is an infinite strict descent in a well-order, a contradiction. A finite antichain with equality is also a BQO: the finitely many fibres of the induced continuous array are open, so repeated use of the Open Ramsey theorem gives an infinite $A^{\prime }$ on which the array is constant. The comparison of an infinite subset of $A^{\prime }$ with its shift is then good.

The implication to a well-quasi-order is strict. The Rado order isIt is well-quasi-ordered: if one first coordinate occurs infinitely often, its second coordinates have an increasing pair; otherwise the first coordinates are unbounded, and a later one exceeds the second coordinate of a chosen earlier pair. But take the barrier $[\omega {]}^2$ and $f(\{m,n\})=(m,n)$. For $m<n<l$, the shift compares $(m,n)$ with $(n,l)$; their first coordinates differ and $n<n$ is false. Every shifted comparison therefore fails. This bad barrier array for the Rado order proves well-quasi-ordering does not imply better-quasi-ordering.

The stronger notion is designed for infinitary closure operations, such as powerset and infinite-sequence constructions, where a mere well-quasi-order can develop new bad arrays. The barrier definition records variable finite amounts of information from an infinite object and is consequently more robust than checking sequences alone.