absolute Galois group

absolute Galois group
Name	Absolute Galois group
Type	Profinite group
Field	Algebraic number theory
Introduced	19th century
Notable	Évariste Galois, Alexander Grothendieck, Jean-Pierre Serre

absolute Galois group

The absolute Galois group is the profinite group of field automorphisms of a separable closure fixing the base field; it encodes arithmetic symmetry and appears in class field theory, anabelian geometry, and the Langlands program. Its role connects foundational figures such as Évariste Galois, Emil Artin, Alexander Grothendieck, Jean-Pierre Serre, and John Tate and relates to major results and conjectures like Kronecker's Jugendtraum, Shimura–Taniyama conjecture, and the Birch and Swinnerton-Dyer conjecture. Studies of this group involve tools from Galois theory, Cohomology, Algebraic geometry, Class field theory, and Iwasawa theory.

Definition and basic properties

For a field K with separable closure K^sep the absolute Galois group Gal(K^sep/K) is the group of K-automorphisms of K^sep; this definition traces back to concepts in Évariste Galois and formal development by Richard Dedekind, Emil Artin, and Otto Schreier. The group is profinite, compact and totally disconnected, arising as the inverse limit of finite Galois groups Gal(L/K) for finite Galois extensions L/K, a construction used by Kurt Hensel, Helmut Hasse, and Kneser. Basic invariants include cohomological dimension, decomposition and inertia subgroups at places related to Frobenius elements, and the maximal pro-p quotient studied by John Tate and Serre.

Examples and computed cases

For finite fields F_q the absolute Galois group is topologically generated by the Frobenius automorphism and is isomorphic to the profinite completion of Z, a classical computation of Emil Artin and Helmut Hasse. For local fields like Q_p the absolute Galois group fits into exact sequences involving inertia and wild inertia subgroups analyzed by Shafarevich, Jean-Pierre Serre, and Iwasawa, with explicit descriptions via Lubin–Tate theory related to John Lubin and Jonathan Tate. Global fields such as Q feature a rich absolute Galois group whose maximal abelian quotient is governed by class field theory developed by David Hilbert, Hildebrand?, and Kurt Hensel and later synthesized by Claude Chevalley and Emil Artin. Function fields over finite fields provide comparisons used by André Weil and Grothendieck in étale cohomology.

Structure and profinite properties

As a profinite group the absolute Galois group is compact, Hausdorff and totally disconnected and admits a basis of open normal subgroups corresponding to finite Galois extensions, a viewpoint advanced by Alexander Grothendieck in the development of étale fundamental groups and by Jean-Pierre Serre in profinite group theory. Important structural features include its pro-p Sylow subgroups, decomposition groups at primes linked to Frobenius element behavior, and the role of Demushkin groups studied by S.P. Demushkin and Serre. Rigidity phenomena and tame/wild ramification properties connect to the work of Harbater, Pop, and Fried on embedding problems and to the formulation of anabelian conjectures by Grothendieck relating Galois groups to geometry of curves and arithmetic schemes.

Galois cohomology and consequences

Galois cohomology of absolute Galois groups produces invariants like the Brauer group, Tate cohomology groups, and Shafarevich–Tate groups, central to work by John Tate, Alexander Grothendieck, Jean-Pierre Serre, and Michel Raynaud. Local and global duality theorems, exemplified by Tate local duality and Poitou–Tate duality, link cohomology of absolute Galois groups to class formations studied by Emil Artin and Richard Brauer, and underpin reciprocity laws in Class field theory. Cohomological dimension constraints (e.g., cd ≤ 2 for many fields) drive results in quadratic form theory linking to Emilio Artin and results on Milnor K-theory proven in part by Vladimir Voevodsky.

Inverse Galois problem and realizations

Realizing finite groups as Galois groups over Q or other fields is an instance of controlling quotients of the absolute Galois group; the inverse Galois problem motivated work by Hilbert and remains the subject of research by Shafarevich, Belyi, Malle, Boston, Harbater, and Shinichi Mochizuki. Techniques include rigid analytic methods used by Jean-Pierre Serre and specialization methods via Hilbert's irreducibility theorem linked to David Hilbert and Fried–Jarden; geometric realizations exploit coverings of curves as in Belyi's theorem connecting to Grothendieck's dessins d'enfants. Progress on realizing finite simple groups uses input from the classification of finite simple groups, with contributions by Gorenstein and Thompson.

Arithmetic and geometric applications

Absolute Galois groups act on torsion points of abelian varieties and étale fundamental groups of algebraic varieties, central to results by Andrew Wiles on modularity and by Pierre Deligne and Grothendieck in the theory of motives. Their representations (ℓ-adic and p-adic) are foundational to the Langlands program as developed by Robert Langlands, Pierre Deligne, and Michael Harris, and to modularity lifting techniques employed by Andrew Wiles and Richard Taylor. Anabelian geometry conjectures by Grothendieck and work by Mochizuki assert recovery of arithmetic schemes from their absolute Galois groups, influencing research on fields with restricted Galois groups as in Pop's work and impacting Diophantine problems tied to conjectures of Bogomolov and Tate.

Category:Galois theory