Local field

From Wikipedia, the free encyclopedia

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 field: 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.

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

• 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. However, some authors consider a more general notion, requiring only that the residue field be perfect, not necessarily finite.^[2] This article uses the former definition.

Contents 1 Non-Archimedean local field theory 1.1 Examples 2 Induced absolute value 3 Higher dimensional local fields 4 See also 5 Notes 6 References 7 Further reading

[edit] Non-Archimedean local field theory

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

• its ring of integers which forms a ring, is the closed unit ball of F, and is compact;
• the units in its ring of integers which forms a group and is the unit sphere of F;
• the unique prime ideal in its ring of integers which is its open unit ball ;
• its residue field which is finite (since it is compact and discrete).

One often talks about the (discrete) valuation of a non-archimedean local field. This is a map v : F → R ∪ {∞} obtained as follows: there is a real number 0 < c < 1 such that

.

The number c is generally chosen so that v maps onto Z ∪ {∞}. In this case, the valuation is called the normalized valuation.

An equivalent 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.

[edit] 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 prime 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:

   (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.

[edit] Induced absolute value

Given a locally compact topological field K, an absolute value can be 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 μ. The absolute value is defined so as to measure the change in size of a set after multiplying it by an element of K. Specifically, define |·| : K → R by^[3]

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).

Given such an absolute value on K, a new induced topology can be defined on K. This topology is the same as the original topology.^[4] Explicitly, for a positive real number m, define the subset B_m of K by

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

[edit] Higher dimensional local fields

It is natural to introduce non-archimedean local fields in a uniform geometric way 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 generalizations, a local field is sometimes called a 1-dimensional local field.

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.^[5] Depending on the definition of local field, a 0-dimensional local field is then either a finite field (with the definition used in this article), or a quasi-finite field^[6], or a perfect field.

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.

[edit] See also

• Local class field theory
• Hasse principle

[edit] Notes

1. ^ Page 20 of Weil 1995
2. ^ See, for example, definition 1.4.6 of Fesenko & Vostokov 2002
3. ^ Page 4 of Weil 1995
4. ^ Corollary 1, page 5 of Weil 1995
5. ^ Definition 1.4.6 of Fesenko & Vostokov 2002
6. ^ Serre 1995

[edit] References

• Serre, Jean-Pierre (1995), Local Fields, Graduate texts in mathematics, 67, Berlin, Heidelberg: Springer-Verlag, ISBN 0-387-90424-7 

• Weil, André (1995), Basic number theory, Classics in Mathematics, Berlin, Heidelberg: Springer-Verlag, ISBN 3-450-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, MR1915966, ISBN 9780821832592 

[edit] Further reading

• J.W.S. Cassels, Local fields (1986) Cambridge University Press, ISBN 0-521-31525-5.
• 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.
• Schikhoff, W.H. (1984) Ultrametric Calculus