inertia group

inertia group
Name	Inertia group
Field	Algebraic number theory; Algebraic geometry; Galois theory
Notable	Évariste Galois; Richard Dedekind; Emil Artin; Alexander Grothendieck; Jean-Pierre Serre

inertia group

The inertia group is a subgroup associated to a prime or valuation inside a Galois group of a field extension, capturing ramification phenomena and local behavior. It appears in algebraic number theory, algebraic geometry, and Galois cohomology, and interfaces with concepts such as decomposition groups, Frobenius elements, ramification filtrations, and the étale fundamental group. Key figures in its development include Évariste Galois, Richard Dedekind, Emil Artin, Alexander Grothendieck, and Jean-Pierre Serre.

Definition and basic properties

For a Galois extension of fields L/K with Galois group G and a prime ideal P of the integral closure of the valuation corresponding to a prime p of K, the inertia subgroup is the subgroup of G that acts trivially on the residue field at P and thus measures purely ramified automorphisms. In local terms, for a discrete valuation field extension L/K with valuation rings O_L and O_K and maximal ideals m_L and m_K, the inertia subgroup consists of automorphisms fixing the residue field extension O_L/m_L over O_K/m_K while possibly acting nontrivially on uniformizers. The inertia subgroup is normal in the decomposition group and fits into short exact sequences that link global Galois groups to local Galois groups in the study of extension splitting behavior and ramification.

Inertia groups in algebraic number theory

In the setting of number fields such as Q(√d), cyclotomic fields like Q(ζ_n), and class field theory contexts of Hilbert class field and Artin reciprocity, inertia groups control local ramification at primes of rings of integers. For a finite Galois extension L/K of number fields, inertia at a prime p determines whether p is unramified, tamely ramified, or wildly ramified, and its order divides the ramification index. The inertia subgroup appears in the proof of the Chebotarev density theorem when relating Frobenius conjugacy classes to splitting types, and it features in the formulation of Local class field theory where inertia corresponds to the kernel of the reciprocity map from local multiplicative groups to the Galois group. In the context of Dedekind zeta function and Artin L-function ramification invariants, inertia contributes to conductor exponents and local factors.

Inertia groups in algebraic geometry and étale fundamental group

In the geometric setting of coverings of schemes such as Spec Z, smooth curves like P^1 over F_p, and arithmetic surfaces, inertia subgroups arise inside the étale fundamental group π_1^ét and classify ramifications over points or divisors. For a morphism of schemes X → S and a geometric point x̄ over a point s of S, the inertia group at x̄ is the subgroup of π_1^ét(X_{s̄}, x̄) corresponding to automorphisms acting trivially on the strict henselization residue field. Grothendieck used inertia in the development of the Grothendieck–Verdier duality framework and the study of monodromy in étale cohomology, while the inertia action on l-adic cohomology of varieties such as K3 surfaces or elliptic curves yields information used in the proof of the Weil conjectures and in the analysis of local factors in the Langlands program.

Wild and tame inertia

Inertia splits into tame inertia and wild inertia, reflecting whether ramification indices are prime to the residue characteristic or divisible by it. Tame inertia is procyclic and often generated by roots of unity in tame extensions appearing in cyclotomic contexts involving Kummer theory and cyclotomic fields. Wild inertia is a pro-p-group (p the residue characteristic) and is linked to higher ramification groups in the upper and lower numbering of Herbrand; wild inertia accounts for phenomena studied by E. Hasse and in the work on the Swan conductor, which measures wild ramification contributions to conductors in Artin conductors and vanishing cycles. The structure of wild inertia is central in fields like p-adic Hodge theory and the classification of extensions by ramification breaks.

Examples and computations

Classical examples include inertia in quadratic extensions such as Q(√-1), cyclotomic extensions Q(ζ_p) where inertia at p is full and relates to the Galois group (Z/pZ)×, and ramifications in Kummer extensions arising from adjoining nth roots studied by Kummer. For local fields like Q_p and its unramified extension Q_p^unr, the inertia subgroup of the absolute Galois group Gal(Q_p^sep/Q_p) is the kernel of the natural surjection to Gal(F_p^sep/F_p), and computations often reduce to explicit actions on uniformizers and residue fields described by Local class field theory and explicit reciprocity laws of Artin and Tate. In the function field setting over F_q, inertia at a closed point of a curve can be computed via branch indices of coverings and monodromy representations used in geometrically constructed examples by Grothendieck and Deligne.

Relationship with decomposition and Frobenius groups

The inertia subgroup is a normal subgroup of the decomposition group, and the quotient is canonically isomorphic to the Galois group of the residue field extension, where Frobenius elements or Frobenius conjugacy classes reside. In global contexts like Galois groups of number fields and fields arising in the Chebotarev density theorem, Frobenius elements represent conjugacy classes modulo inertia and determine splitting behavior, with Frobenius cycles explicitly computed in extensions such as Cyclotomic fields and Hilbert class fields. The interaction between inertia, decomposition, and Frobenius underlies reciprocity laws in Class field theory and reciprocity maps studied by Artin, with ramifications recorded in conductors entering the formulation of the Artin reciprocity law and the analytic behavior of Artin L-functions.

Category:Galois theory Category:Algebraic number theory Category:Algebraic geometry