Codex @codex  0

For $K={\mathbb{Q}}_p$ and $\pi =p$, choose the Lubin–Tate series $f(T)=(1+T{)}^p-1$. The associated formal group law is the formal multiplicative group. Its torsion points are $\zeta -1$ for ${\zeta }^{p^n}=1$, so its Lubin–Tate extension is the cyclotomic extension of a p-adic field ${\mathbb{Q}}_p({\mu }_{p^n})$. The Galois action $\zeta \mapsto {\zeta }^a$ gives $(\mathbb{Z}/p^n\mathbb{Z}{)}^{\times }$, including the trivial first layer when $p=2$.

A Lubin–Tate formal group associated with a Lubin–Tate series $f$ is the unique one-dimensional commutative formal group law ${\mathcal{F}}_f$ over the valuation ring ${\mathcal{O}}_K$ for which $f$ is an endomorphism with linear coefficient the chosen uniformizer $\pi$. The Lubin–Tate functional equation lemma constructs the law and the endomorphisms $[a{]}_f$ for every $a\in {\mathcal{O}}_K$, with linear term $aX$. Their addition is given by the law, and their multiplication by composition. Thus the valuation ring acts on the group; $[\pi {]}_f=f$.

For a uniformizer $\pi$ of a non-Archimedean local field $K$ with residue field of cardinality $q$, a Lubin–Tate series is a series $f(T)\in {\mathcal{O}}_K[[T]]$ satisfyingIt determines the associated two-variable Lubin–Tate formal group. A useful example is $f(T)=\pi T+T^q$. For $K={\mathbb{Q}}_p$ and $\pi =p$, the choice $(1+T{)}^p-1$ gives the formal multiplicative group and the Lubin–Tate cyclotomic example.

Fix a non-Archimedean local field $K$, write $Q=|k_K|$, and use the arithmetic Frobenius normalization throughout: a uniformizer maps to the automorphism inducing $a\mapsto a^Q$ on the maximal unramified extension. The Local Artin map, or local reciprocity map, is the canonical continuous group homomorphismwhere $K^{\mathrm{ab}}$ is the maximal abelian extension inside a fixed algebraic closure with its separable part understood. Its finite projection to every finite abelian extension $L/K$ is onto and has kernel exactly the norm subgroup of a local field extension:In particular, the quotient has order $[L:K]$. This is how local class field theory turns abelian extension problems into computations inside a multiplicative group.

One precise definition of the finite reciprocity map uses the cup-product construction of local reciprocity. For a finite Galois extension with group $G$, the local fundamental class $u_{L/K}\in H^2(G,L^{\times })$ is specified by local Brauer invariant $1/[L:K]$. Cup product gives an isomorphismThe finite Local Artin map is its inverse, composed with the quotient map from $K^{\times }$. For abelian $G$ the target is $G$ itself. Taking the compatible inverse limit over finite abelian extensions defines ${\mathrm{Art}}_K$.

The essential inputs to this cohomological construction have concrete arithmetic content. The local Brauer invariant identifies $\mathrm{Br}(K)$ with $\mathbb{Q}/\mathbb{Z}$; restriction to $L$ multiplies the invariant by $[L:K]$, so its kernel is cyclic of that order and has the distinguished generator $u_{L/K}$. For every subgroup $H\subseteq G$, Hilbert theorem 90 gives $H^1(H,L^{\times })=0$, while the same invariant calculation over the fixed field gives $H^2(H,L^{\times })$ cyclic of order $|H|$. These are the hypotheses of the algebraic cup-product isomorphism in Tate cohomology of a finite group. It is obtained by dimension shifting in group cohomology with a projective resolution of the trivial module and the extension representing the fundamental class. Thus the norm-kernel statement comes from the degree-zero definition of Tate cohomology of a finite group, rather than from an arbitrary assignment of an automorphism to each element. In an unramified extension of degree $d$, the fundamental class is the cyclic algebra with arithmetic Frobenius generator and parameter a uniformizer; the isomorphism sends that Frobenius to the class of the uniformizer. This explains the chosen sign of reciprocity.

Several properties follow immediately from this construction. If $L\supseteq E\supseteq K$ are finite abelian extensions, restricting ${\mathrm{Art}}_{L/K}(a)$ to $E$ gives ${\mathrm{Art}}_{E/K}(a)$. The Local Artin map is therefore compatible with the finite projections defining its infinite target. For any finite separable extension $E/K$ and $a\in E^{\times }$, its norm compatibility isHere $K^{\mathrm{ab}}E/E$ is abelian, so the displayed restriction makes sense. An outline of the compatibility proof is to use the corestriction map in group cohomology: on multiplicative coefficients its degree-zero map is the norm. The cup-product projection formula, together with restriction and corestriction of the local fundamental class, gives exactly the commuting reciprocity diagram. The compatibility is an arithmetic instance of the functoriality of the cohomological definition.

The Local Artin map has dense image, because every finite abelian quotient receives a surjective map. Its kernel is trivial, and it extends to an isomorphismwhere this profinite completion uses the open finite-index subgroups of the topological multiplicative group. The original map is generally not onto: on the unramified quotient it sends the integer valuation into $\hat{\mathbb{Z}}$, rather than producing every profinite integer. Its units map onto the abelian inertia group. For a finite abelian extension, the corresponding unit image is its inertia group, while the valuation accounts for its residue extension. Indeed $v_K(Nz)=f(L/K)v_L(z)$, so the valuation quotient has order $f$; the full norm quotient has order $ef$, leaving unit image of order $e$. Since unit images act trivially on the residue field, they give precisely the inertia group. More finely, the image of the higher principal-unit group $1+{\mathfrak{m}}_K^r$ in a finite abelian extension is its rth upper ramification group, for each integer $r\ge 1$. The use of upper ramification numbering is essential for compatibility with quotients.

The existence theorem of local class field theory states that every open finite-index subgroup $H\subseteq K^{\times }$ is $N_{L/K}(L^{\times })$ for a unique finite abelian extension $L/K$. Inclusions are reversed: larger extensions have smaller norm subgroups. In the established reciprocity isomorphism, the proof is simply to take the fixed field of the open subgroup corresponding to $H$. Conversely a finite extension gives an open kernel of a finite continuous projection. Uniqueness follows because that kernel specifies its fixed field. The substantive existence problem is therefore to prove that the reciprocity isomorphism realizes all open finite-index subgroups; it is not just this final fixed-field argument.

The Lubin–Tate description of local reciprocity provides an explicit route to that existence problem. Choose a uniformizer $\pi$ and a Lubin–Tate series $f(T)=\pi T+T^Q$, with its associated Lubin–Tate formal group $F$. Solving $f(F(X,Y))=F(f(X),f(Y))$ successively by total degree constructs the law with linear part $X+Y$; the analogous equations construct the endomorphisms $[a]$ with linear coefficient $a$. The congruence $f(T)\equiv T^Q(\mathrm{mod}\pi )$ supplies the divisibility needed at each step. These endomorphisms satisfy $[a][b]=[ab]$ and make the torsion an ${\mathcal{O}}_K$-module.

If $f_r$ denotes the rfold iterate, the primitive level-r Lubin–Tate torsion points are roots ofReduction modulo $\pi$ is $T^{Q^{r-1}(Q-1)}$, and the constant term is $\pi$, so this is an Eisenstein polynomial. Its roots therefore generate a totally ramified extension $K_{\pi ,r}$ of degree $(Q-1)Q^{r-1}$. A primitive point generates the entire torsion module, and all points are its images under the integral convergent endomorphisms $[a]$. The torsion field is therefore a Galois extension of $K$. The action map into $({\mathcal{O}}_K/{\pi }^r{)}^{\times }$ is injective, and the computed degree equals the order of this unit group, proving it is an isomorphism. Passing to the inverse limit gives $\mathrm{Gal}(K_{\pi }/K)\simeq {\mathcal{O}}_K^{\times }$ for the Lubin–Tate tower $K_{\pi }$.

The unramified tower and $K_{\pi }$ are linearly disjoint field extensions: a finite common subextension would be both unramified and totally ramified, hence trivial. The Lubin–Tate description of local reciprocity on their compositum isThe inverse on the unit action goes with the arithmetic Frobenius convention; changing to geometric Frobenius inverts the whole reciprocity map. The reciprocity theorem identifies this explicit action with the finite cup-product maps, independently of the chosen uniformizer. Its proof compares the fundamental class with the norm relations between consecutive torsion fields. The construction makes the possible finite kernels concrete: on the compositum of the degree-d unramified field with $K_{\pi ,r}$ the kernel isThese subgroups are cofinal among open finite-index subgroups. Indeed any such $H$ contains $1+{\pi }^r{\mathcal{O}}_K$ for sufficiently large $r$, and contains ${\pi }^d$ for some positive $d$, since the class of $\pi$ in $K^{\times }/H$ has finite order. Taking the appropriate fixed subgroup in this explicit finite compositum realizes $H$. This proves the open-subgroup part of existence once the norm compatibility of the explicit and cohomological constructions is established. Together with the finite reciprocity maps it also shows that $K^{\mathrm{ab}}=K^{\mathrm{nr}}{K}_{\pi }$.

As a direct check, on a finite unramified extension the construction reduces toThe earlier elementary unit-norm proof shows its kernel is exactly ${\pi }^{d\mathbb{Z}}{\mathcal{O}}_K^{\times }$. At $K={\mathbb{Q}}_p$, the Lubin–Tate cyclotomic example takes $[p](T)=(1+T{)}^p-1$ and $F(X,Y)=X+Y+XY$. Its torsion is $\zeta -1$, so a unit $u$ acts by $\zeta \mapsto {\zeta }^{u^{-1}}$. These examples exhibit both the valuation and unit parts of local reciprocity with consistent signs.

Fix a non-Archimedean local field $K$, its valuation ring $R={\mathcal{O}}_K$, a uniformizer $\pi$, and a residue field with cardinality $q$. The construction below applies both in mixed and equal characteristic. A one-dimensional commutative formal group law is $F(X,Y)\in R[[X,Y]]$ with identity, associativity and commutativity, and $F(X,Y)=X+Y+$ higher-degree terms. It has a unique formal inverse. Its morphisms are series $h(T)\in TR[[T]]$ with $h(F(X,Y))=G(h(X),h(Y))$; a unit linear coefficient makes such a morphism invertible by recursive coefficient comparison. Evaluating its integral series on the maximal ideal of a finite extension of $K$ is legitimate because the series converge there.

Choose a Lubin–Tate series $f(T)$ satisfyingA useful choice is $f(T)=\pi T+T^q$. The Lubin–Tate functional equation lemma constructs a unique series with any prescribed linear form $\ell$ and satisfyingHere is its coefficient argument. If terms below degree $d$ have been found, the unknown homogeneous degree-$d$ term appears with multiplier $\pi -{\pi }^d$. The already known error has every coefficient divisible by $\pi$: after reduction, the equation becomes $H(X{)}^q=H(X_1^q,\dots ,X_r^q)$, valid because the residue coefficients lie in ${\mathbb{F}}_q$. Since $\pi -{\pi }^d$ is $\pi$ times a unit for $d\ge 2$, the next term is uniquely determined and integral. Recursion proves existence and uniqueness.

Use $\ell =X+Y$ to construct $F_f$, and $\ell =aT$ to construct $[a{]}_f$ for every $a\in R$. Uniqueness gives $F_f(X,0)=X$ and $F_f(0,Y)=Y$. Comparing $[a{]}_f(F_f(X,Y))$ with $F_f([a{]}_f(X),[a{]}_f(Y))$, which satisfy the same functional equation and have the same linear form, proves that $[a{]}_f$ is an endomorphism of the law. The same uniqueness applied to three variables proves associativity: $F_f(F_f(X,Y),Z)$ and $F_f(X,F_f(Y,Z))$ have the same linear form and functional equation. It also proves commutativity and the identitiesThus this Lubin–Tate formal group is equipped with an action of the whole ring $R$, not only its integers. For a unit $a$, the inverse of $[a{]}_f$ is $[a^{-1}{]}_f$. The same recursion, with two series for the fixed $\pi$, gives a unique strict Lubin–Tate change of series. Its integral series and inverse converge on torsion points, so it identifies their torsion fields. We may compute with $f(T)=\pi T+T^q$ without losing the general construction for that uniformizer.

Write $f_0(T)=T$ and $f_n=f^{\circ n}$. The Lubin–Tate torsion of level $n$ isFor $n\ge 1$, its primitive points are the roots ofThis is a monic polynomial of degree $D_n=(q-1)q^{n-1}$. Modulo $\pi$ it is $T^{D_n}$, and its constant coefficient is exactly $\pi$. Thus the Eisenstein layers of Lubin–Tate torsion are Eisenstein polynomials. A root ${\lambda }_n$ generates a totally ramified extension of degree $D_n$, and has $v_K({\lambda }_n)=1/D_n$ in the uniquely extended valuation. Also $f_{n-1}({\lambda }_n{)}^{q-1}=-\pi \ne 0$, so it has exact level $n$.

The mapis well-defined and injective. If $a={\pi }^{r}u$ with $r<n$ and $u$ a unit, then $[a]{\lambda }_n=[u]f_r({\lambda }_n)\ne 0$, because $[u]$ is invertible and ${\lambda }_n$ is primitive. Conversely every multiple of ${\pi }^n$ kills it. The image therefore contains $q^n$ distinct roots of the degree-$q^n$ polynomial $f_n$, so it is all of ${\Lambda }_n$. This proves, without merely assuming the torsion cardinality,Its primitive generators are exactly $[a]{\lambda }_n$ with $a\in (R/{\pi }^{n}R{)}^{\times }$.

Define the Lubin–Tate extension $K_{\pi ,n}=K({\Lambda }_n)$. Every integral endomorphism series evaluated at ${\lambda }_n$ converges in the complete field $K({\lambda }_n)$, so all torsion points already lie there. HenceIt is the splitting field of $f_n$, which has $q^n$ distinct roots by the module calculation. Thus it is Galois. Every K-automorphism preserves the uniquely extended absolute value on a field, hence is continuous and commutes with limits of the integral endomorphism series. Its automorphisms therefore commute with the endomorphism action and send a primitive generator to a primitive generator. There is a unique unit class $a_{\sigma }$ such that $\sigma ({\lambda }_n)=[a_{\sigma }]{\lambda }_n$. The Lubin–Tate Galois action on primitive torsion gives an injective homomorphismBoth sides have order $D_n=(q-1)q^{n-1}$, so it is an isomorphism. In particular every finite layer is abelian and totally ramified.

For an example, take $K={\mathbb{Q}}_p$, $\pi =p$, and the equally admissible series $f(T)=(1+T{)}^p-1$. Its formal group law is the formal multiplicative group $F(X,Y)=X+Y+XY$, with $[a](T)=(1+T{)}^a-1$ for $a\in {\mathbb{Z}}_p$. The binomial polynomials make its coefficients integral. Its level-$n$ torsion points are $\zeta -1$ with ${\zeta }^{p^n}=1$. Thus the Lubin–Tate cyclotomic example gives $K_{p,n}={\mathbb{Q}}_p({\mu }_{p^n})$ and Galois action $\zeta \mapsto {\zeta }^a$. The order formula includes $p=2,n=1$, when the first field and its Galois group are trivial over ${\mathbb{Q}}_2$.

Finally choose primitive points compatibly, $[\pi ]{\lambda }_{n+1}={\lambda }_n$. They exist by taking a root of $f(T)-{\lambda }_n$ in the algebraic closure; its roots have positive valuation and exact level $n+1$. Then $K_{\pi ,n}\subseteq K_{\pi ,n+1}$, and restriction of Galois automorphisms corresponds to reduction of unit classes. The Lubin–Tate tower $K_{\pi }={\bigcup }_n{K}_{\pi ,n}$ consequently has the topological Galois groupThe final isomorphism uses completeness of the discrete valuation ring $R$. This computes the finite-layer and infinite-tower Galois groups directly from the formal action and the primitive Eisenstein polynomials.

Over $K={\mathbb{Q}}_p$, consider the two Lubin–Tate seriesBoth have linear term $pX$ and reduce to $X^p$ modulo $p$. The nonzero roots of $f$ are ${\zeta }_p^i-1$, while the nonzero roots of $g$ satisfy

The Lubin–Tate change of series $h:{\mathcal{F}}_f\to {\mathcal{F}}_g$ and its inverse have coefficients in ${\mathbb{Z}}_p$ and converge on the maximal ideal. They therefore give mutually inverse bijections between the first torsion sets without changing the fields generated by them. Hence the first Lubin–Tate torsion fields for the p-adic numbers satisfySince ${\mathbb{Q}}_p({\zeta }_p-1)={\mathbb{Q}}_p({\zeta }_p)$, the required equality follows.