Global field

Mathematical concept

In mathematics, a global field is one of two types of fields (the other one is local fields) that are characterized using valuations. There are two kinds of global fields:[1]

* Algebraic number field: A finite extension of  Q {\displaystyle \mathbb {Q} }
* Global function field: The function field of an irreducible algebraic curve over a finite field, equivalently, a finite extension of  F q ( T ) {\displaystyle \mathbb {F} _{q}(T)} , the field of rational functions in one variable over the finite field with  q = p n {\displaystyle q=p^{n}} elements.

An axiomatic characterization of these fields via valuation theory was given by Emil Artin and George Whaples in the 1940s.[2][3]

## Axiomatic definition

[edit]

We say that field  F {\displaystyle F} is global field when exists set  M {\displaystyle {\mathfrak {M}}} of places (equivalence classes of absolute values on  K {\displaystyle K} ) such that:

* For every nonzero element  α {\displaystyle \alpha } in  K {\displaystyle K} ) for all but finite  p ∈ M {\displaystyle {\mathfrak {p}}\in {\mathfrak {M}}} there is  | α | p = 1 {\displaystyle \vert \alpha \vert _{\mathfrak {p}}=1} and:

∏ p ∈ M | α | p = 1 {\displaystyle \prod _{{\mathfrak {p}}\in {\mathfrak {M}}}\vert \alpha \vert _{\mathfrak {p}}=1}

* At least one of places in  M {\displaystyle {\mathfrak {M}}} is either discrete with finite residue field or archimedean.

## Formal definitions

[edit]

Main articles: Algebraic number field and Function field of an algebraic variety

Only two kind of fields satisfies axiomatic definition:

An algebraic number field

An algebraic number field F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector space over Q.

The function field of an irreducible algebraic curve over a finite field

A function field of an algebraic variety is the set of all rational functions on that variety. On an irreducible algebraic curve (i.e. a one-dimensional variety V) over a finite field, we say that a rational function on an open affine subset U is defined as the ratio of two polynomials in the affine coordinate ring of U, and that a rational function on all of V consists of such local data that agree on the intersections of open affines. This technically defines the rational functions on V to be the field of fractions of the affine coordinate ring of any open affine subset, since all such subsets are dense.

## Analogies between the two classes of global fields

[edit]

There are a number of formal similarities between the two kinds of global fields. A field of either type has the property that all of its completions are locally compact fields (see local fields). Every field of either type can be realized as the field of fractions of a Dedekind domain in which every non-zero ideal is of finite index. In each case, one has the product formula for non-zero elements x:

∏ v | x | v = 1 , {\displaystyle \prod _{v}|x|_{v}=1,}

where v varies over all valuations of the field.

The analogy between the two kinds of fields has been a strong motivating force in algebraic number theory. The idea of an analogy between number fields and Riemann surfaces goes back to Richard Dedekind and Heinrich M. Weber in the nineteenth century. The more strict analogy expressed by the 'global field' idea, in which a Riemann surface's aspect as algebraic curve is mapped to curves defined over a finite field, was built up during the 1930s, culminating in the Riemann hypothesis for curves over finite fields settled by André Weil in 1940. The terminology may be due to Weil, who wrote his Basic Number Theory (1967) in part to work out the parallelism.

It is usually easier to work in the function field case and then try to develop parallel techniques on the number field side. The development of Arakelov theory and its exploitation by Gerd Faltings in his proof of the Mordell conjecture is a dramatic example. The analogy was also influential in the development of Iwasawa theory and the Main Conjecture. The proof of the fundamental lemma in the Langlands program also made use of techniques that reduced the number field case to the function field case.

## Theorems

[edit]

### Hasse–Minkowski theorem

[edit]

Main article: Hasse–Minkowski theorem

The Hasse–Minkowski theorem is a fundamental result in number theory that states that two quadratic forms over a global field are equivalent if and only if they are equivalent locally at all places, i.e. equivalent over every completion of the field.

### Artin reciprocity law

[edit]

Main article: Artin reciprocity law

Artin's reciprocity law implies a description of the abelianization of the absolute Galois group of a global field K that is based on the Hasse local–global principle. It can be described in terms of cohomology as follows:

Let Lv/Kv be a Galois extension of local fields with Galois group G. The local reciprocity law describes a canonical isomorphism

θ v : K v × / N L v / K v ( L v × ) → G ab , {\displaystyle \theta _{v}:K_{v}^{\times }/N_{L_{v}/K_{v}}(L_{v}^{\times })\to G^{\text{ab}},}

called the local Artin symbol, the local reciprocity map or the norm residue symbol.[4][5]

Let L/K be a Galois extension of global fields and CL stand for the idèle class group of L. The maps θv for different places v of K can be assembled into a single global symbol map by multiplying the local components of an idèle class. One of the statements of the Artin reciprocity law is that this results in a canonical isomorphism.[6][7]

## Citations

[edit]

1. ^ Neukirch 1999, p. 134, Sec. 5.
2. ^ Artin & Whaples 1945.
3. ^ Artin & Whaples 1946.
4. ^ Serre 1967, p. 140.
5. ^ Serre 1979, p. 197.
6. ^ Neukirch 1999, p. 391.
7. ^ Neukirch 1999, p. 300, Theorem 6.3.

## References

[edit]

* Artin, Emil; Whaples, George (1945), "Axiomatic characterization of fields by the product formula for valuations", Bull. Amer. Math. Soc., 51 (7): 469–492, doi:10.1090/S0002-9904-1945-08383-9, MR 0013145
* Artin, Emil; Whaples, George (1946), "A note on axiomatic characterization of fields", Bull. Amer. Math. Soc., 52 (4): 245–247, doi:10.1090/S0002-9904-1946-08549-3, MR 0015382
* J.W.S. Cassels, "Global fields", in J.W.S. Cassels and A. Frohlich (eds), Algebraic number theory, Academic Press, 1973. Chap.II, pp. 45–84.
* J.W.S. Cassels, "Local fields", Cambridge University Press, 1986, ISBN 0-521-31525-5. P.56.
* Neukirch, Jürgen (1999). Algebraic Number Theory. Vol. 322\. Translated by Schappacher, Norbert. Berlin: Springer-Verlag. ISBN 978-3-540-65399-8. MR 1697859. Zbl 0956.11021.
* Serre, Jean-Pierre (1979), Local Fields, Graduate Texts in Mathematics, vol. 67, translated by Greenberg, Marvin Jay, New York, Heidelberg, Berlin: Springer-Verlag, ISBN 3-540-90424-7, Zbl 0423.12016
* Serre, Jean-Pierre (1967), "VI. Local class field theory", in Cassels, J.W.S.; Fröhlich, A. (eds.), Algebraic number theory. Proceedings of an instructional conference organized by the London Mathematical Society (a NATO Advanced Study Institute) with the support of the International Mathematical Union, London: Academic Press, pp. 128–161, Zbl 0153.07403
* Serre, Jean-Pierre (29 June 2013), Local Fields, Springer Science & Business Media, ISBN 978-1-4757-5673-9