In mathematics, the absolute Galois group GK of a field K is the Galois group of Ksep over K, where Ksep is a separable closure of K. Alternatively it is the group of all automorphisms of the algebraic closure of K that fix K. The absolute Galois group is well-defined up to inner automorphism. It is a profinite group.

The absolute Galois group of the real numbers is a cyclic group of order 2 generated by complex conjugation, since C is the separable closure of R and [C:R] = 2.

(When K is a perfect field, Ksep is the same as an algebraic closure Kalg of K. This holds e.g. for K of characteristic zero, or K a finite field.)

Examples

edit
  • The absolute Galois group of an algebraically closed field is trivial.
  • The absolute Galois group of the real numbers is a cyclic group of two elements (complex conjugation and the identity map), since C is the separable closure of R and [C:R] = 2.
  • The absolute Galois group of a finite field K is isomorphic to the group of profinite integers
 [1]

(For the notation, see Inverse limit.)

The Frobenius automorphism Fr is a canonical (topological) generator of GK. (Recall that Fr(x) = xq for all x in Kalg, where q is the number of elements in K.)
  • The absolute Galois group of the field of rational functions with complex coefficients is free (as a profinite group). This result is due to Adrien Douady and has its origins in Riemann's existence theorem.[2]
  • More generally, let C be an algebraically closed field and x a variable. Then the absolute Galois group of K = C(x) is free of rank equal to the cardinality of C. This result is due to David Harbater and Florian Pop, and was also proved later by Dan Haran and Moshe Jarden using algebraic methods.[3][4][5]
  • Let K be a finite extension of the p-adic numbers Qp. For p ≠ 2, its absolute Galois group is generated by [K:Qp] + 3 elements and has an explicit description by generators and relations. This is a result of Uwe Jannsen and Kay Wingberg.[6][7] Some results are known in the case p = 2, but the structure for Q2 is not known.[8]
  • Another case in which the absolute Galois group has been determined is for the largest totally real subfield of the field of algebraic numbers.[9]

Problems

edit
  • No direct description is known for the absolute Galois group of the rational numbers. In this case, it follows from Belyi's theorem that the absolute Galois group has a faithful action on the dessins d'enfants of Grothendieck (maps on surfaces), enabling us to "see" the Galois theory of algebraic number fields.
  • Let K be the maximal abelian extension of the rational numbers. Then Shafarevich's conjecture asserts that the absolute Galois group of K is a free profinite group.[10]
  • An interesting problem is to settle Ján Mináč and Nguyên Duy Tân's conjecture about vanishing of  - Massey products for  .[11][12]

Some general results

edit

References

edit
  1. ^ Szamuely 2009, p. 14.
  2. ^ Douady 1964
  3. ^ Harbater 1995
  4. ^ Pop 1995
  5. ^ Haran & Jarden 2000
  6. ^ Jannsen & Wingberg 1982
  7. ^ Neukirch, Schmidt & Wingberg 2000, theorem 7.5.10
  8. ^ Neukirch, Schmidt & Wingberg 2000, §VII.5
  9. ^ "qtr" (PDF). Retrieved 2019-09-04.
  10. ^ Neukirch, Schmidt & Wingberg 2000, p. 449.
  11. ^ Mináč & Tân (2016) pp.255,284
  12. ^ Harpaz & Wittenberg (2023) pp.1,41
  13. ^ Fried & Jarden (2008) p.12
  14. ^ Fried & Jarden (2008) pp.208,545

Sources

edit