algebraic groups

algebraic groups
Name	Algebraic groups
Type	Mathematical structure
Field	Mathematics
Introduced	19th century
Founders	Évariste Galois, Sophus Lie, David Hilbert

algebraic groups are groups defined by polynomial equations that combine the algebraic structure of groups with the geometric structure of varieties. They arise as group objects in the category of algebraic varieties over a field and provide a unifying language linking Évariste Galois, Sophus Lie, David Hilbert, Claude Chevalley, and Armand Borel through developments across Paris, Berlin, and Princeton. The theory blends techniques from André Weil's work on varieties, Bernhard Riemann's influence on geometry, and the representation theory advanced by Hermann Weyl and Robert Steinberg.

Introduction

Algebraic groups sit at the crossroads of several mathematical traditions: the algebraic geometry of Alexander Grothendieck, the Lie theory of Sophus Lie, and the arithmetic study of groups exemplified by Emil Artin and John Tate. Historically pivotal moments include Évariste Galois's approach to symmetries of polynomial roots, Hermann Weyl's use of continuous groups in physics, and the structural classifications by Claude Chevalley and Armand Borel. Modern developments connect to projects led by Pierre Deligne, George Lusztig, Michael Atiyah, and institutions such as Institute for Advanced Study and École Normale Supérieure.

Definitions and Basic Properties

An algebraic group is defined over a field k as a variety equipped with morphisms for multiplication and inversion satisfying group axioms; this formalism was clarified in work at Hilbert's problems gatherings and by Alexander Grothendieck's scheme-theoretic language at IHÉS. Basic properties include smoothness criteria studied by Jean-Pierre Serre and dimension theory informed by André Weil. Key notions are connectedness as in results by Armand Borel, component groups related to Claude Chevalley, and group schemes refined by Michel Demazure and Alexander Grothendieck's seminars at Bourbaki.

Examples and Classification

Classical examples include general linear groups like GL_n, special linear groups SL_n linked to Élie Cartan's work, orthogonal groups associated to Camille Jordan, and symplectic groups connected to Hermann Weyl. Finite subgroup classifications mirror investigations by William Burnside and Issai Schur. Exceptional groups (types G2, F4, E6, E7, E8) appear in constructions by Élie Cartan, further explored by Robert Steinberg and Jean-Pierre Serre with applications in the Langlands program championed by Robert Langlands. Chevalley's classification interprets root data developed in correspondence across Paris and Princeton and later formalized by Armand Borel and Noboru T. Jacobson.

Structure Theory (Reductive, Solvable, Unipotent)

Structure theory decomposes algebraic groups into reductive, solvable, and unipotent parts, paralleling work by Élie Cartan and Alfred Tarski's contemporaries. Reductive groups, central to the program of Armand Borel and Claude Chevalley, admit maximal tori whose conjugacy classes are governed by Weyl groups studied by Hermann Weyl and Nicolas Bourbaki seminars. Solvable groups generalize the solvable Galois groups in Évariste Galois's theory, with Borel subgroups named after Armand Borel. Unipotent radicals connect to nilpotent Lie algebras explored by Jacobson and to exponential maps used by Sophus Lie. The Jordan decomposition, connecting semisimple and unipotent elements, was elucidated by Robert Steinberg and applied in classifications by Claude Chevalley.

Representations and Actions

Representation theory of algebraic groups extends the harmonic analysis of Hermann Weyl and the module theory refined by Noboru Jacobson; highest-weight theory was systematized by Robert Steinberg and André Weil. Representations over complex numbers connect to compact groups studied by Hermann Weyl, while modular representations concern finite fields with contributions by Daniel Gorenstein and George Lusztig. Geometric representation methods, including the use of flag varieties and Schubert calculus, trace to work by André Weil, Armand Borel, and Alexander Grothendieck, and were further developed by Maxim Kontsevich and Pierre Deligne. Actions on varieties yield quotient constructions notable in projects at Institute for Advanced Study and provide linkages to invariant theory from David Hilbert.

Applications and Connections (Number Theory, Geometry, Physics)

In number theory, algebraic groups underpin the Langlands program initiated by Robert Langlands and inform reciprocity laws studied by Andrew Wiles and Gerhard Frey in contexts linked to Fermat's Last Theorem. Arithmetic groups such as SL_n(Z) connect to the theory of automorphic forms advanced by Atle Selberg and Harish-Chandra, with deep ties to conjectures by Robert Langlands and results by Pierre Deligne. In algebraic geometry, moduli problems and period maps engage techniques from Alexander Grothendieck and Pierre Deligne, while topology and index theorems relate to Michael Atiyah and Isadore Singer. In theoretical physics, symmetry groups dating to Hermann Weyl and Élie Cartan frame gauge theories and particle classifications inspired by Murray Gell-Mann and Chen-Ning Yang, with exceptional groups entering string theory dialogues by researchers at CERN and Princeton University.

Category:Mathematics