Generated by GPT-5-mini| Artin conductor | |
|---|---|
| Name | Artin conductor |
| Field | Number theory, Algebraic number theory, Representation theory |
| Introduced | 1930s |
| Introduced by | Emil Artin |
Artin conductor
The Artin conductor is an invariant attached to finite-dimensional complex representations of Galois groups that measures ramification and quantifies wild and tame behavior. It appears in local and global class field theory, in the functional equations of L-functions, and in the study of Galois modules for extensions of number fields and function fields. The invariant connects the work of Emil Artin with later developments by Claude Chevalley, Jean-Pierre Serre, John Tate, Alexander Grothendieck, and Pierre Deligne.
For a finite Galois extension of local or global fields and a finite-dimensional complex representation of the corresponding Galois group, the Artin conductor is a nonnegative integer defined by a weighted sum of ramification group indices. Its basic properties include additivity in short exact sequences of representations, compatibility with induction and restriction, and multiplicativity in unramified towers. The conductor vanishes for unramified representations and is positive when wild ramification occurs; it refines information provided by inertia subgroups such as the wild inertia and tame inertia. Foundational contributors include Emil Artin, Helmut Hasse, Richard Brauer, and Emil Noether, and later refinements involve Jean-Pierre Serre, John Tate, Pierre Deligne, and Alexander Grothendieck.
For a local field such as Q_p, R, C, finite extensions of Q_p, or function fields like F_q((t)), the local Artin conductor is defined using the lower or upper numbering of ramification groups introduced by Herbrand and studied by O. Schilling and Shafarevich. Given a representation of the local Galois group Gal(K^sep/K), one computes jumps in the filtration Gal(K^sep/K)_{i} and sums dimensions of fixed subspaces; this relates to the Herbrand function and uses the formalism of higher ramification groups attributed to Fujisaki and clarified by Serre and Tate. In local class field theory developed by Emil Artin and Helmut Hasse, the conductor exponent controls the conductor ideal in the local reciprocity map and interacts with local epsilon factors studied by John Tate and Pierre Deligne.
For a global field such as Q, quadratic fields like Q(√-1), cyclotomic fields like Q(ζ_n), or function fields over F_q, the global Artin conductor is an integral ideal obtained by taking the product of local conductors at all finite primes and including archimedean contributions classified by signatures at places like those of Dedekind and Weil. In the context of Galois representations arising from automorphic forms associated to GL_n or from \'etale cohomology of varieties studied by Grothendieck and Deligne, the global conductor enters the functional equation of the Artin L-function and the conductor-discriminant formula. Important work connecting global conductors to modular forms and reciprocity includes contributions by Hecke, Langlands, Shimura, Taniyama, Sato, and Serre.
The Artin conductor refines the discriminant of extensions studied by Dedekind and Hilbert: the conductor-discriminant formula compares the product of conductors of irreducible representations with the discriminant ideal, a relation clarified in the work of Minkowski and Hasse. Ramification theory via inertia and decomposition groups for primes in extensions of number fields—developed by Frobenius, Chebotarev, and Hasse—interacts with conductors: tame ramification contributes lower-order terms while wild ramification contributes higher conductor exponents. In the geometric setting of coverings of curves such as those studied by Riemann, Hurwitz, and Grothendieck, the Swan conductor and the Artin conductor play parallel roles and are linked to vanishing cycles in the work of Deligne and Laumon.
Computations of local and global conductors appear in classical extensions such as quadratic extensions of Q, cyclotomic extensions like Q(ζ_p), Kummer extensions studied by Kummer, and Artin–Schreier extensions over F_p. Explicit conductor exponents for characters are given by conductor-discriminant relations for abelian characters developed in Class field theory by Takagi and Artin–Tate expositions. Concrete examples include conductors of finite Galois representations coming from permutation representations of S_n and A_n, representations attached to elliptic curves over Q as studied by Birch and Swinnerton-Dyer, and Galois representations from modular forms examined by Shimura, Wiles, and Diamond. Computational techniques use ramification filtrations, local field explicit reciprocity from Local class field theory, and algorithms implemented in computational packages inspired by work at Université Paris-Sud, Princeton University, Harvard University, and University of Cambridge.
The Artin conductor behaves functorially under induction, restriction, tensor products, and duals of representations; Mackey theory and Frobenius reciprocity—studied by Frobenius and Mackey—govern conductor change under induction. For representations arising from base change between fields such as cyclic extensions treated by Artin and Tate, conductors transform predictably, while twists by characters studied by Hecke modify conductor exponents additively. In the automorphic context, conjectural functoriality of conductors parallels Langlands functoriality connecting groups like GL_n, SL_2, SO_n, and Sp_n as articulated by Langlands and pursued by Arthur.
Artin conductors are central to the study of Artin L-functions and the analytic properties exploited in the proofs of results by Brauer, Hecke, and Titchmarsh; they appear in functional equations with epsilon factors analyzed by Tate and Deligne. In arithmetic geometry, conductors measure degeneration in families of varieties such as elliptic surfaces investigated by Kodaira and Néron, and they appear in the conductor part of the Birch and Swinnerton-Dyer conjecture studied by Birch and Swinnerton-Dyer. Conductors also inform conductor bounds in effective results of Odlyzko and in discriminant bounds used by Minkowski and Hermite; they play roles in modularity theorems proved by Wiles, Taylor, and Breuil, and in the study of Galois deformation rings developed by Mazur and Kisin.