Linear algebraic group

Linear algebraic group
Original: Jakob.scholbach Vector: Pbroks13 · CC BY-SA 3.0 · source
Name	Linear algebraic group
Type	Affine algebraic group
Field	Algebraic geometry; Representation theory
Introduced	19th century
Notable	Élie Cartan; Claude Chevalley; Armand Borel

Linear algebraic group.

A linear algebraic group is an affine algebraic variety endowed with a group structure given by regular maps, combining ideas from Algebraic geometry, Lie group theory, and Group theory. Originating in the work of 19th‑century mathematicians and systematized by 20th‑century figures such as Élie Cartan, Claude Chevalley, and Armand Borel, these objects serve as a bridge between algebraic, geometric, and arithmetic investigations exemplified by connections to Hermann Weyl, Évariste Galois, and Alexander Grothendieck. They are central to modern developments related to Representation theory, Number theory, and the study of Algebraic groups in various geometric and arithmetic contexts.

Definition and Basic Examples

A linear algebraic group over a field k is an affine variety G over k with a group law given by morphisms of varieties so that G is isomorphic to a Zariski closed subgroup of some general linear group GL_n defined over k; classical examples include General linear group, Special linear group, Orthogonal group, Symplectic group, and Diagonalizable group. Other foundational examples are the additive group Ga and the multiplicative group Gm, often studied alongside matrix groups such as Upper triangular matrix group and Borel subgroup instances appearing in the work of Camille Jordan and later writers. Constructions such as direct products, quotients by closed normal subgroups, and Weil restriction produce further examples used by researchers like Claude Chevalley and Jean-Pierre Serre.

Structure Theory

Structure theory analyzes connectedness, solvable and semisimple decompositions, and the role of central and derived subgroups; milestones include the Jordan decomposition (algebraic groups) and the Chevalley decomposition attributed to Claude Chevalley. Results on Borel subgroups, maximal tori, and parabolic subgroups feature prominently in the contributions of Armand Borel, Jacques Tits, and Robert Langlands; the Bruhat decomposition links to combinatorial objects studied by Niels Henrik Abel school successors and to the work of Henri Cartan and Élie Cartan. The notions of radical, unipotent radical, and Levi decomposition reflect developments tied to Emmy Noether's algebraic innovations and later formalized via methods related to Alexander Grothendieck's schemes.

Representations and Modules

Representation theory of linear algebraic groups studies rational representations, highest weight theory, and character formulas, with cornerstone results due to Hermann Weyl, Erich Hecke, and Harish-Chandra. Finite‑dimensional modules, induced modules, and Weyl modules appear in the literature of Jim Humphreys, George Lusztig, and Robert Steinberg, while connections to quantum groups bring in work of Vladimir Drinfeld and Michio Jimbo. Tannakian duality and reconstruction theorems connect group schemes to tensor categories as developed by Pierre Deligne and Saavedra Rivano, reflecting deep ties to Michael Atiyah-style index ideas and categorical perspectives used by John Milnor in related topology contexts.

Algebraic Subgroups and Homomorphisms

Closed subgroup classification, morphisms of algebraic groups, and maps such as isogenies are central; influential studies by Claude Chevalley, Armand Borel, and Jacques Tits elucidate normalizer and centralizer behavior, conjugacy classes, and rigidity phenomena. Tools from geometric invariant theory attributed to David Mumford and descent techniques inspired by Alexander Grothendieck treat quotient constructions, while arithmetic aspects invoke notions explored by André Weil and Yves André. Important morphisms include embeddings into GL_n, projections to quotients, and Frobenius morphisms prominent in work of Jean-Pierre Serre on Galois representations.

Classification over Algebraically Closed Fields

Over algebraically closed fields, classification reduces to root systems, Dynkin diagrams, and isogeny classes; the seminal classification of simple algebraic groups uses root datum developed by Élie Cartan, Weyl group theory, and the Cartan–Killing classification featuring types A, B, C, D, E, F, and G, with foundational contributors including Hermann Weyl, Élie Cartan, and Nathan Jacobson. The role of Chevalley groups and Steinberg endomorphisms links to finite group constructions studied by Robert Steinberg and further connects to the classification of finite simple groups involving work of Daniel Gorenstein and Jean-Pierre Serre.

Reductive Groups, Tori, and Unipotent Groups

Reductive groups, characterized by trivial unipotent radical, are built from maximal tori and semisimple derived subgroups; classification and structural results were developed by Armand Borel, Claude Chevalley, and Jacques Tits. Algebraic tori relate to arithmetic questions studied by André Weil and Serge Lang, while unipotent groups and their conjugacy properties engage methods from Emmy Noether-inspired invariant theory and later elaborations by George Mackey in representation contexts. Parabolic and Levi subgroups, along with Bruhat and Borel theory, are core tools in the study of automorphic forms in the programs advanced by Robert Langlands.

Applications and Connections in Mathematics

Linear algebraic groups appear across number theory, representation theory, and geometry: they underpin Langlands program motifs associated with Robert Langlands, modularity conjectures studied by Andrew Wiles, and Galois representations pursued by Jean-Pierre Serre. They inform geometric representation theory in the work of George Lusztig, categorical perspectives from Pierre Deligne, and enumerative geometry linked to Alexander Grothendieck ideas. Finite groups of Lie type, arising from algebraic groups over finite fields, connect to the classification of finite simple groups studied by Daniel Gorenstein and to applications in arithmetic geometry investigated by Mordell-era successors and modern researchers in Algebraic number theory.

Category:Algebraic groups