Representation theory

Representation theory
Name	Representation theory
Field	Mathematics
Notable	Isaac Newton, Évariste Galois, Sophus Lie, William Rowan Hamilton, Hermann Weyl
Introduced	19th century

Representation theory is the study of how algebraic structures can act by linear transformations on vector spaces, translating abstract algebraic problems into problems of linear algebra. It connects concrete matrices and operators with abstract objects such as groups, rings, algebras, and Lie algebras, enabling transfer of techniques between areas exemplified by links to Galois theory, Fourier analysis, Algebraic number theory, Invariant theory and Differential geometry. Originating in work by Évariste Galois, Sophus Lie, William Rowan Hamilton and Hermann Weyl, the field now influences subjects including Quantum mechanics, Algebraic topology, Algebraic geometry, Category theory and Mathematical physics.

Introduction

Representation theory investigates homomorphisms from an algebraic object into the general linear group of a vector space, allowing study via matrices and linear maps. Historically motivated by symmetry problems in Galois theory, spectral questions in Fourier analysis, and classification goals in Lie group theory, it unifies approaches used by figures such as Sophus Lie, Hermann Weyl, Emmy Noether and Richard Brauer. Modern developments intersect with research at institutions like Institut des Hautes Études Scientifiques, Clay Mathematics Institute and Mathematical Sciences Research Institute.

Basic definitions and examples

A representation is a homomorphism from an algebraic object (for example a group, algebra or Lie algebra) to the algebra of linear endomorphisms of a vector space; finite-dimensional examples include permutation representations from Évariste Galois-derived symmetry groups, matrix representations associated with William Rowan Hamilton's quaternions, and the regular representation of a finite group studied by Ferdinand Frobenius and Issai Schur. Key examples: representations of cyclic groups connected to roots of unity used by Carl Friedrich Gauss, representations of symmetric groups central to work by Augustin-Louis Cauchy and Alonzo Church (and later G. Frobenius), and the spin representations introduced in the context of Paul Dirac's theory and developed by Élie Cartan.

Representation theory of groups

Group representations map a group into GL(V) and are classified in many settings: finite groups (Maschke’s theorem, character theory by Ferdinand Frobenius and Issai Schur), compact Lie groups (Peter–Weyl theorem, highest-weight theory developed by Élie Cartan and Hermann Weyl), and reductive algebraic groups (Tannaka–Krein duality ties to Tannaka–Krein duality and work by Taira Takebayashi). Important tools include characters, induction and restriction (Mackey theory influenced by George W. Mackey), and blocks and modular representation theory as advanced by Richard Brauer and J. L. Alperin. Concrete milestones include classification of irreducible characters of symmetric groups by Gordon James and Adalbert Kerber, and the local-global principles of the Langlands program connecting automorphic representations, founded by Robert Langlands, to number-theoretic objects studied by Andrew Wiles and Pierre Deligne.

Representation theory of algebras and Lie algebras

Associative algebra representations model modules over rings; Gabriel's theorem classifies finite-representation-type quivers and influenced work by Pierre Gabriel and Clifford theorists. Lie algebra representation theory—Cartan–Weyl highest-weight classification for semisimple Lie algebras—was shaped by Élie Cartan, Hermann Weyl and later expanded by Harish-Chandra and Bertram Kostant. Quantum groups introduced by Vladimir Drinfeld and Michio Jimbo produce deformations of universal enveloping algebras, linking to knot invariants studied by Vladimir Voevodsky and Edward Witten. Representation theory of finite-dimensional algebras uses Auslander–Reiten theory developed by Maurice Auslander and Idun Reiten.

Module theory and categories in representation theory

Modules over rings generalize linear representations; homological methods such as Ext and Tor groups come from work by Samuel Eilenberg and Saunders Mac Lane and are central in modern approaches. Category-theoretic formulations—abelian categories, derived categories, and triangulated categories—were systematized by Jean-Louis Verdier, Alexander Grothendieck and Henri Cartan, enabling tools like tilting theory (proposed by Miyashita and developed in contexts by Toshiya* and Dietmar Happel). Tannakian duality connects tensor categories to affine group schemes as studied by Saavedra Rivano and Pierre Deligne.

Applications and connections

Representation-theoretic methods apply to problems in Quantum mechanics, where group representations organize particle states via Eugene Wigner's classification, and to Number theory through automorphic forms and the Langlands program connecting to Galois representations used by Andrew Wiles in his proof of modularity theorems. In Algebraic geometry and geometric representation theory, techniques like perverse sheaves and geometric Langlands appear in work by Alexander Beilinson, Pierre Deligne and Edward Frenkel. Connections extend to Combinatorics (Young tableaux studied by Alfred Young), mathematical physics (conformal field theory by Belavin, Polyakov, Zamolodchikov), and topology (Jones polynomial from Vaughan Jones).

Advanced topics and current directions

Active research areas include categorical representation theory (2-representations influenced by Raphaël Rouquier), geometric representation theory (the study of character sheaves by George Lusztig), categorification initiatives connected to Mikhail Khovanov's homology, modular representation theory in positive characteristic advanced by Joaquin Alperin and Jonathan Rickard, and interactions with the Langlands program pursued by Robert Langlands and collaborators. Emerging directions also tie to quantum information theory (quantum symmetry groups studied in labs at Perimeter Institute), derived and stable infinity-categorical methods advocated by Jacob Lurie, and computational classification projects at centers like American Institute of Mathematics.

Category:Mathematics