reductive groups

reductive groups
Name	Reductive group
Type	Algebraic group

reductive groups

Reductive groups are a class of linear algebraic groups characterized by the absence of nontrivial connected unipotent normal subgroups; they play a central role in the theory of algebraic groups, representation theory, and arithmetic geometry. Over algebraically closed fields, reductive groups admit classification via root data closely tied to Lie algebras and Weyl groups, and over general fields they underpin the study of automorphic forms, Shimura varieties, and local-global principles. Their structure connects with classical groups such as general linear, orthogonal, and symplectic groups, and with modern developments associated to Langlands duality and arithmetic of Galois representations.

Definition and basic properties

A connected linear algebraic group G over a field k is called reductive if its unipotent radical is trivial; equivalently the maximal connected solvable normal subgroup equals a torus. This property interacts with the Lie algebra g = Lie(G) studied by Élie Cartan and Wilhelm Killing and connects to the classification of semisimple Lie algebras used by Hermann Weyl and Claude Chevalley. For group actions on varieties studied by Alexander Grothendieck and Jean-Pierre Serre, reductive groups ensure stability properties and good geometric invariant theory quotients as developed by David Mumford and Friedrich Hirzebruch. Fundamental invariants include the center, rank (dimension of a maximal torus), and root datum introduced by Claude Chevalley and Pierre Deligne.

Examples and classification

Basic examples include the general linear group GL_n, special linear group SL_n, orthogonal groups O_n and SO_n, symplectic group Sp_{2n}, and the projective linear group PGL_n; these families were examined by Hermann Weyl, Évariste Galois (in precursor concepts), and Emmy Noether. The classification of connected reductive groups over algebraically closed fields reduces to semisimple types A_n, B_n, C_n, D_n and exceptional types G_2, F_4, E_6, E_7, E_8 originally catalogued via work of Wilhelm Killing and later refined by Claude Chevalley and Jacques Tits. Over nonclosed fields, additional forms appear such as unitary groups attached to quadratic or Hermitian forms studied by André Weil and John Tate, and inner and outer forms analyzed by Robert Langlands and Jean-Pierre Serre. Concrete arithmetic examples include groups appearing in the theory of modular curves studied by Pierre Deligne and Barry Mazur and groups governing reductive models in the work of Alexander Grothendieck and Michel Demazure.

Structure theory (root systems, tori, Borel subgroups)

The internal structure is governed by maximal tori, Borel subgroups, and root systems formalized by Wilhelm Killing, Élie Cartan, and later by Claude Chevalley. A maximal torus T yields a weight lattice and character group studied by Hermann Weyl and Harish-Chandra, while Borel subgroups B provide a Bruhat decomposition with Weyl group action described by François Bruhat and Jacques Tits. Root data encode coroots and roots, linking to Coxeter systems and Dynkin diagrams used by Coxeter and Eugene Dynkin; these tools permit the construction of flag varieties and Schubert cells central in the work of Alexander Grothendieck and Jean-Louis Koszul. Parabolic subgroups and Levi decompositions connect to theorems by Armand Borel and Jean-Pierre Serre and also to geometric representation theory pursued by George Lusztig and Robert MacPherson.

Representations and modules

Representation theory of reductive groups over fields engages highest-weight theory developed by Élie Cartan and Hermann Weyl and expanded by Claude Chevalley, Anthony Knapp, and Harish-Chandra. Finite-dimensional rational representations are classified by dominant weights and Weyl characters with deep contributions from Jacques Tits, George Kempf, and Roger Howe. Over local fields, admissible smooth representations feature in Langlands correspondences by Robert Langlands, James Arthur, and Michael Harris; over finite fields, Deligne–Lusztig theory by Pierre Deligne and George Lusztig constructs irreducible representations. Modular representation theory and tilting modules involve Jens Jantzen and Henning Andersen, while categorical and geometric approaches leverage perverse sheaves and intersection cohomology as in the work of Beilinson, Bernstein, and Joseph Bernstein.

Reductive group schemes and forms over fields

Grothendieck introduced reductive group schemes to study families of reductive groups over base schemes; Michel Demazure and Jean-Pierre Serre developed descent and classification techniques. Forms of reductive groups over local and global fields, including inner forms and quasi-split forms, are classified by Galois cohomology and nonabelian cohomology methods used by Serre and Jean-Pierre Labesse. Integral models and parahoric group schemes appear in the work of Gopal Prasad and Jacques Tits and are essential for the study of integral points and models of Shimura varieties by James Milne and Richard Taylor. Explicit examples include unitary groups arising from quadratic extensions studied by André Weil and spin groups linked to algebraic topology and the Adams conjecture.

Connections to algebraic geometry and number theory

Reductive groups act on projective and affine varieties giving rise to flag varieties, moduli spaces, and G-bundles which are central in the work of Alexander Grothendieck, Nigel Hitchin, and David Mumford. In arithmetic, they enter the formulation of the Langlands program by Robert Langlands, connections with automorphic representations studied by Robert Langlands and James Arthur, and the study of Galois representations by Jean-Pierre Serre and Richard Taylor. Reductive groups govern the structure of Shimura varieties investigated by Pierre Deligne and Michael Harris, and they appear in trace formulas and harmonic analysis developed by James Arthur and Harish-Chandra. Geometric representation theory links to perverse sheaves, D-modules, and categories studied by Beilinson, Joseph Bernstein, and Maxim Kontsevich.

Historical development and key results

Foundational work on classification and structure traces to Wilhelm Killing, Élie Cartan, and Hermann Weyl, with systematic algebraic treatments by Claude Chevalley and Armand Borel. Key milestones include Chevalley groups and the construction of groups over finite fields, Bruhat decomposition by François Bruhat, the Tits system by Jacques Tits, and the development of the Langlands program by Robert Langlands. Major results encompass the classification via root data, the theory of highest weights, Deligne–Lusztig constructions, and structural theorems by Borel, Tits, and Demazure. Contemporary advances continue in the work of George Lusztig, Edward Frenkel, Laurent Lafforgue, and Ngô Bảo Châu linking geometric, automorphic, and arithmetic perspectives.

Category:Algebraic groups