Local class field theory

In mathematics, local class field theory, introduced by Helmut Hasse,^[1] is the study of abelian extensions of local fields; here, "local field" means a field which is complete with respect to an absolute value or a discrete valuation with a finite residue field: hence every local field is isomorphic (as a topological field) to the real numbers R, the complex numbers C, a finite extension of the p-adic numbers Q_p (where p is any prime number), or a finite extension of the field of formal Laurent series F_q((T)) over a finite field F_q.^[2]

It is the analogue for local fields of global class field theory.

Connection to Galois groups

Local class field theory gives a description of the Galois group G of the maximal abelian extension of a local field K via the reciprocity map which acts from the multiplicative group K^×=K\{0}. For a finite abelian extension L of K the reciprocity map induces an isomorphism of the quotient group K^×/N(L^×) of K^× by the norm group N(L^×) of the extension L^× to the Galois group Gal(L/K) of the extension.^[3]

The absolute Galois group G of K is compact and the group K^× is not compact. Taking the case where K is a finite extension of the p-adic numbers Q_p or formal power series over a finite field, the group K^× is the product of a compact group with an infinite cyclic group Z. The main topological operation is to replace K^× by its profinite completion, which is roughly the same as replacing the factor Z by its profinite completion Z^{^}. The profinite completion of K^× is the group isomorphic with G via the local reciprocity map.

The actual isomorphism used and the existence theorem is described in the theory of the norm residue symbol. There are several different approaches to the theory, using central division algebras or Tate cohomology or an explicit description of the reciprocity map. There are also two different normalizations of the reciprocity map: in the case of an unramified extension, one of them asks that the (arithmetic) Frobenius element corresponds to the elements of "K" of valuation 1; the other one is the opposite.

Lubin–Tate theory

Lubin–Tate theory is important in explicit local class field theory. The unramified part of any abelian extension is easily constructed, Lubin–Tate finds its value in producing the ramified part. This works by defining a family of modules (indexed by the natural numbers) over the ring of integers consisting of what can be considered as roots of the power series repeatedly composed with itself. The compositum of all fields formed by adjoining such modules to the original field gives the ramified part.

A Lubin–Tate extension of a local field K is an abelian extension of K obtained by considering the p-division points of a Lubin–Tate group. If g is an Eisenstein polynomial, f(t) = t g(t) and F the Lubin–Tate formal group, let θ_n denote a root of gf^n-1(t)=g(f(f(⋯(f(t))⋯))). Then K(θ_n) is an abelian extension of K with Galois group isomorphic to U/1+pⁿ where U is the unit group of the ring of integers of K and p is the maximal ideal.^[4]

Higher local class field theory

For a higher-dimensional local field $K$ there is a higher local reciprocity map which describes abelian extensions of the field in terms of open subgroups of finite index in the Milnor K-group of the field. Namely, if $K$ is an $n$-dimensional local field then one uses $\mathrm{K}^{\mathrm{M}}_n(K)$ or its separated quotient endowed with a suitable topology. When $n=1$ the theory becomes the usual local class field theory. Unlike the classical case, Milnor K-groups do not satisfy Galois module descent if $n>1$. Higher-dimensional class field theory was pioneered by A.N. Parshin in positive characteristic and K. Kato, I. Fesenko, Sh. Saito in the general case.

See also

• Quasi-finite field
• Local Langlands conjectures
• Norm group

References

1. Hasse, H. (1930), "Die Normenresttheorie relativ-Abelscher Zahlkörper als Klassenkörpertheorie im Kleinen.", Journal für die reine und angewandte Mathematik (in German) 162: 145–154, doi:10.1515/crll.1930.162.145, ISSN 0075-4102, JFM 56.0165.03
2. Kostrikin, A.I.; Shafarevich, I.R. (1996), Algebra IX: Finite Groups of Lie Type Finite-Dimensional Division Algebras, Encyclopedia of Mathematics 77, Springer Science & Business Media
3. Fesenko, Ivan and Vostokov, Sergei, Local Fields and their Extensions, 2nd ed., American Mathematical Society, 2002, ISBN 0-8218-3259-X
4. Koch, Helmut (1997). Algebraic Number Theory. Encycl. Math. Sci. 62 (2nd printing of 1st ed.). Springer-Verlag. pp. 62–63. ISBN 3-540-63003-1. Zbl 0819.11044.

Further reading

• Fesenko, Ivan B.; Kurihara, Masato, eds. (2000), Invitation to Higher Local Fields, Geometry and Topology Monographs 3 (First ed.), University of Warwick: Mathematical Sciences Publishers, doi:10.2140/gtm.2000.3, ISSN 1464-8989, Zbl 0954.00026
• Iwasawa, Kenkichi (1986), Local class field theory, Oxford Science Publications, The Clarendon Press Oxford University Press, ISBN 978-0-19-504030-2, MR 863740
• Milne, James, Class Field Theory.
• Neukirch, Jürgen (1986), Class field theory, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 280, Berlin, New York: Springer-Verlag, ISBN 978-3-540-15251-4, MR 819231
• Serre, Jean-Pierre (1967), "Local class field theory", in Cassels, John William Scott; Fröhlich, Albrecht, Algebraic Number Theory (Proc. Instructional Conf., Brighton, 1965), Thompson, Washington, D.C., pp. 128–161, ISBN 978-0-9502734-2-6, MR 0220701
• Serre, Jean-Pierre (1979) [1962], Corps Locaux (English translation: Local Fields), Graduate Texts in Mathematics 67, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90424-5, MR 0150130