Odtnhj

In mathematics, a local field is a special type of field that is a locally compact topological field with respect to a non-discrete topology.^[1]
Given such a field, an absolute value can be defined on it. There are two basic types of local fields: those in which the absolute value is Archimedean and those in which it is not. In the first case, one calls the local field an Archimedean local field, in the second case, one calls it a non-Archimedean local field. Local fields arise naturally in number theory as completions of global fields.

While Archimedean local fields are quite well known in mathematics for 250 years and more, the first examples of non-Archimedean local fields, the fields of p-adic numbers for positive prime integer p, were introduced by Kurt Hensel at the end of the 19th century.

Every local field is isomorphic (as a topological field) to one of the following:^[2]

• Archimedean local fields (characteristic zero): the real numbers R, and the complex numbers C.


• Non-Archimedean local fields of characteristic zero: finite extensions of the p-adic numbers Q_p (where p is any prime number).


• Non-Archimedean local fields of characteristic p (for p any given prime number): the field of formal Laurent series F_q((T)) over a finite field F_q, where q is a power of p.

There is an equivalent definition of non-Archimedean local field: it is a field that is complete with respect to a discrete valuation and whose residue field is finite. In particular, of importance in number theory, classes of local fields show up as the completions of algebraic number fields with respect to their discrete valuation corresponding to one of their maximal ideals.
Research papers in modern number theory often consider a more general notion, requiring only that the residue field be perfect of positive characteristic, not necessarily finite.^[3] This article uses the former definition.

Induced absolute value

Given such an absolute value on a field K, the following topology can be defined on K: for a positive real number m, define the subset B_m of K by

Bm:=a.displaystyle B_m:=a.

Then, the b+B_m make up a neighbourhood basis of b in K.

A topological field with a non-discrete locally compact topology has an absolute value defined as follows. First, consider the additive group of the field. As a locally compact topological group, it has a unique (up to positive scalar multiple) Haar measure μ. Define |·| : K → R by^[4]

|a|:=μ(aX)μ(X):=frac mu (aX)mu (X)

for any measurable subset X of K (with 0 < μ(X) < ∞). This absolute value does not depend on X nor on the choice of Haar measure (since the same scalar multiple ambiguity will occur in both the numerator and the denominator).

Basic features of non-Archimedean local fields

For a non-Archimedean local field F (with absolute value denoted by |·|), the following objects are important:

• its ring of integers O=≤1displaystyle mathcal O=ain F: which is a discrete valuation ring, is the closed unit ball of F, and is compact;


• the units in its ring of integers O×==1displaystyle mathcal O^times =ain F: which forms a group and is the unit sphere of F;


• the unique non-zero prime ideal mdisplaystyle mathfrak m in its ring of integers which is its open unit ball <1displaystyle a;


• a generator ϖ of mdisplaystyle mathfrak m called a uniformizer of F;


• its residue field k=O/mdisplaystyle k=mathcal O/mathfrak m which is finite (since it is compact and discrete).

Every non-zero element a of F can be written as a = ϖⁿu with u a unit, and n a unique integer.
The normalized valuation of F is the surjective function v : F → Z ∪ ∞ defined by sending a non-zero a to the unique integer n such that a = ϖⁿu with u a unit, and by sending 0 to ∞. If q is the cardinality of the residue field, the absolute value on F induced by its structure as a local field is given by^[5]

|a|=q−v(a).=q^-v(a).

An equivalent and very important definition of a non-Archimedean local field is that it is a field that is complete with respect to a discrete valuation and whose residue field is finite.

Examples

1. 
   The p-adic numbers: the ring of integers of Q_p is the ring of p-adic integers Z_p. Its prime ideal is pZ_p and its residue field is Z/pZ. Every non-zero element of Q_p can be written as u pⁿ where u is a unit in Z_p and n is an integer, then v(u pⁿ) = n for the normalized valuation.


2. 
   The formal Laurent series over a finite field: the ring of integers of F_q((T)) is the ring of formal power series F_q[[T]]. Its maximal ideal is (T) (i.e. the power series whose constant term is zero) and its residue field is F_q. Its normalized valuation is related to the (lower) degree of a formal Laurent series as follows:
   

   
   v(∑i=−m∞aiTi)=−mdisplaystyle vleft(sum _i=-m^infty a_iT^iright)=-m (where a_−m is non-zero).



3. The formal Laurent series over the complex numbers is not a local field. For example, its residue field is C[[T]]/(T) = C, which is not finite.

Higher unit groups

The n^th higher unit group of a non-Archimedean local field F is

U(n)=1+mn=u∈O×:u≡1(modmn)displaystyle U^(n)=1+mathfrak m^n=leftuin mathcal O^times :uequiv 1,(mathrm mod ,mathfrak m^n)right

for n ≥ 1. The group U⁽¹⁾ is called the group of principal units, and any element of it is called a principal unit. The full unit group O×displaystyle mathcal O^times is denoted U⁽⁰⁾.

The higher unit groups form a decreasing filtration of the unit group

O×⊇U(1)⊇U(2)⊇⋯displaystyle mathcal O^times supseteq U^(1)supseteq U^(2)supseteq cdots

whose quotients are given by

O×/U(n)≅(O/mn)× and U(n)/U(n+1)≈O/mdisplaystyle mathcal O^times /U^(n)cong left(mathcal O/mathfrak m^nright)^times text and ,U^(n)/U^(n+1)approx mathcal O/mathfrak m

for n ≥ 1.^[6] (Here "≈displaystyle approx " means a non-canonical isomorphism.)

Structure of the unit group

The multiplicative group of non-zero elements of a non-Archimedean local field F is isomorphic to

F×≅(ϖ)×μq−1×U(1)displaystyle F^times cong (varpi )times mu _q-1times U^(1)

where q is the order of the residue field, and μ_q−1 is the group of (q−1)st roots of unity (in F). Its structure as an abelian group depends on its characteristic:

• If F has positive characteristic p, then

F×≅Z⊕Z/(q−1)⊕ZpNdisplaystyle F^times cong mathbf Z oplus mathbf Z /(q-1)oplus mathbf Z _p^mathbf N

where N denotes the natural numbers;

• If F has characteristic zero (i.e. it is a finite extension of Q_p of degree d), then

F×≅Z⊕Z/(q−1)⊕Z/pa⊕Zpddisplaystyle F^times cong mathbf Z oplus mathbf Z /(q-1)oplus mathbf Z /p^aoplus mathbf Z _p^d

where a ≥ 0 is defined so that the group of p-power roots of unity in F is μpadisplaystyle mu _p^a.^[7]

Theory of local fields

This theory includes the study of types of local fields, extensions of local fields using Hensel's lemma, Galois extensions of local fields, ramification groups filtrations of Galois groups of local fields, the behavior of the norm map on local fields, the local reciprocity homomorphism and existence theorem in local class field theory, local Langlands correspondence, Hodge-Tate theory (also called p-adic Hodge theory), explicit formulas for the Hilbert symbol in local class field theory, see e.g.^[8]

Higher-dimensional local fields

A local field is sometimes called a one-dimensional local field.

A non-Archimedean local field can be viewed as the field of fractions of the completion of the local ring of a one-dimensional arithmetic scheme of rank 1 at its non-singular point.

For a non-negative integer n, an n-dimensional local field is a complete discrete valuation field whose residue field is an (n − 1)-dimensional local field.^[9] Depending on the definition of local field, a zero-dimensional local field is then either a finite field (with the definition used in this article), or a perfect field of positive characteristic.

From the geometric point of view, n-dimensional local fields with last finite residue field are naturally associated to a complete flag of subschemes of an n-dimensional arithmetic scheme.

See also

• Hensel's lemma


• ramification group


• Local class field theory


• Higher local field

Notes

References

• 
  Weil, André (1995), Basic number theory, Classics in Mathematics, Berlin, Heidelberg: Springer-Verlag, ISBN 3-540-58655-5
  


• 
  Fesenko, Ivan B.; Vostokov, Sergei V. (2002), Local fields and their extensions, Translations of Mathematical Monographs, 121 (Second ed.), Providence, RI: American Mathematical Society, ISBN 978-0-8218-3259-2, MR 1915966
  


• 
  Neukirch, Jürgen (1999). Algebraic Number Theory. Grundlehren der mathematischen Wissenschaften. 322. Berlin: Springer-Verlag. ISBN 978-3-540-65399-8. MR 1697859. Zbl 0956.11021.
  

Further reading

• 
  A. Frohlich, "Local fields", in J.W.S. Cassels and A. Frohlich (edd), Algebraic number theory, Academic Press, 1973. Chap.I


• Milne, James, Algebraic Number Theory.

External links

• 
  Hazewinkel, Michiel, ed. (2001) [1994], "Local field", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4