Weil group

Weil group
Name	Weil group
Introduced	1967
Inventor	André Weil
Area	Algebraic number theory, Representation theory

Weil group

The Weil group is a central construction in algebraic number theory and representation theory introduced by André Weil to mediate between Galois group symmetries and automorphic phenomena. It refines the classical absolute Galois group of a field to capture additional topological and arithmetic data relevant for class field theory, local reciprocity, and the formulation of Artin and automorphic L‑functions. The notion appears in local and global forms and plays a foundational role in the statements and proofs of reciprocity laws, the Langlands correspondence, and the study of motives.

Definition and basic properties

For a non‑archimedean local field or a global field, the construction attaches a topological group built from the absolute Galois group together with a copy of the multiplicative group of a separable closure or an auxiliary procyclic subgroup. The group is equipped with a natural homomorphism to the absolute Galois group which is continuous and has dense image; its kernel encodes local or global inertia and unramified parameters. Key properties include a canonical topology making it locally compact in the local case, functoriality under finite extensions such as those in the theory of class field theory, and compatibility with restriction and induction for extensions like those studied by Emil Artin and John Tate. The construction is tailored so that one obtains well‑behaved reciprocity maps toward abelianized quotients appearing in results of Helmut Hasse and Kurt Hensel.

Local Weil groups

For a non‑archimedean local field such as Q_p or a finite extension thereof, the local variant is a topological extension of the Weil group of the residue field by the multiplicative group of the local field’s separable closure. In the archimedean cases, the local groups are explicitly describable: over R one gets a nontrivial extension related to C^× and a lifting of complex conjugation, while over C the local object is simply C^×. Local Weil groups are tailored to match local class field theory statements of John Tate and to classify one‑dimensional representations corresponding to characters of local fields, as in work by Emil Artin and André Weil. These groups support a local reciprocity map that factors through the abelianized local absolute Galois group studied by Henri Cartan and Richard Brauer.

Global Weil groups and Weil–Deligne groups

Global constructions assemble local data into a group encoding arithmetic of a global field such as Q or a number field like a finite extension studied by Ernst Kummer. The global form interacts with the idèle class group from Claude Chevalley and with class field theory theorems by Tate and Artin. Weil–Deligne groups refine local Weil groups by adjoining a nilpotent operator N to account for monodromy in ℓ‑adic representations and to encode ramifications analogous to those in the theory of Pierre Deligne. The Weil–Deligne formalism is essential in comparing ℓ‑adic and complex analytic frameworks appearing in the work of Robert Langlands and in the proof of local Langlands correspondences for groups like GL_n by researchers such as Michael Harris and Richard Taylor.

Representations and L‑functions

Finite‑dimensional complex representations of local and global objects yield Artin L‑functions and ε‑factors that generalize Dirichlet and Dedekind L‑functions studied by Peter Gustav Lejeune Dirichlet and Richard Dedekind. The formalism produces local factors that satisfy functional equations proved in contexts by André Weil and Pierre Deligne, and global L‑functions constructed from automorphic representations relate via conjectures of Robert Langlands to Galois‑type representations. The passage from representations to L‑functions involves Frobenius elements associated to places like those considered in the Chebotarev density theorem by Félix Chebotarev and requires compatibility with local constants developed in analytic number theory by Atle Selberg and Godfrey Harold Hardy.

Relation to Galois and Weil–Tate theories

The object sits between the absolute Galois group and the idèle class group, providing a bridge used in Tate’s local and global duality theorems and in Weil’s reinterpretation of class field theory. Its abelianization recovers the reciprocity isomorphisms of Claude Chevalley and John Tate, while its nonabelian representations are the target of the Langlands program initiated by Robert Langlands and advanced by many including James Arthur and Bernard Clozel. Connections to Tate’s theory of local constants and to the formalism of motives studied by Alexander Grothendieck and Pierre Deligne further integrate the construction into modern arithmetic geometry.

Examples and explicit constructions

Explicit local descriptions: for Q_p one constructs a group containing an inertia subgroup and a lift of arithmetic Frobenius with topology reflecting the p‑adic topology studied by Kurt Hensel. Over R the group is generated by C^× and an element mapping to complex conjugation with specified relations as used in classical harmonic analysis by Hermann Weyl. Global examples include number fields like Q(√-1) and cyclotomic fields studied by Ernst Kummer and Leopold Kronecker where abelianized quotients recover classical reciprocity maps in the work of Niels Henrik Abel and Carl Friedrich Gauss. Weil–Deligne representations are concretely realized in the study of étale cohomology of varieties over finite fields as in Deligne’s proofs related to the Weil conjectures addressed by Bernard Dwork and Pierre Deligne.

Category:Algebraic number theory