Special linear group SL_n

Special linear group SL_n
Name	Special linear group SL_n
Type	Algebraic group
Dimension	n^2−1
Field	Various fields

Special linear group SL_n is the group of n×n matrices with entries in a field (or ring) and determinant equal to 1, forming a central object in linear algebra, algebraic geometry, and representation theory. It appears throughout the work of Évariste Galois, Camille Jordan, and Hermann Weyl and underpins structures studied by Emmy Noether, Claude Chevalley, and Armand Borel. SL_n connects to classical results in the theories of Felix Klein, Sophus Lie, and modern developments by David Mumford and Alexander Grothendieck.

Definition and basic properties

For a commutative ring R or a field K the group is defined as the set of n×n matrices with entries in R (or K) and determinant 1, endowed with matrix multiplication; this definition is standard in texts by Nicolas Bourbaki, Serre, and Jean-Pierre Serre. The group is a subgroup of the general linear group GL_n(R) and is characterized algebraically by the polynomial equation det = 1 studied in the work of Hilbert and David Hilbert. Over fields such as R and C the group is a real or complex Lie group; over finite fields F_q it yields finite groups of Lie type extensively classified by Claude Chevalley and Robert Steinberg. Properties like center, connectedness, and simplicity depend on n and the underlying field as described in classifications by Élie Cartan and John G. Thompson.

Matrix representation and examples

Concrete matrices in SL_n illustrate behavior: elementary matrices of the form I + e_{ij} with i ≠ j generate SL_n(Z) and feature in Carl Friedrich Gauss’s algorithmic work and Arthur Cayley’s matrix theory. Classical examples include SL_2(Z) with generators corresponding to matrices related to the Modular group studied by Felix Klein and Bernhard Riemann, and SL_n(F_q) producing groups like those in Alperin’s and Richard Lyons’s finite group studies. Integral forms such as SL_n(Z) connect to arithmetic studied by Emil Artin and Goro Shimura, while special cases like SL_1 of quaternion algebras relate to work of Élie Cartan and Adolf Hurwitz.

Algebraic group structure and Lie algebra

Viewed as an affine algebraic group, SL_n is a linear algebraic group over a base field K in the formalism developed by Alexander Grothendieck and Chevalley. Its coordinate ring is generated by matrix entries subject to det − 1, aligning with schemes in the work of Grothendieck and Jean-Louis Verdier. The Lie algebra sl_n consists of traceless n×n matrices, a simple Lie algebra for n ≥ 2 over algebraically closed fields of characteristic zero as classified by Wilhelm Killing and Élie Cartan. The root system of sl_n is of type A_{n−1}, central to the classification by Cartan and the representation theory developed by Hermann Weyl and I. M. Gelfand.

Determinant, trace, and invariants

The determinant condition det = 1 is the defining invariant; it interacts with the trace via identities explored in linear algebra by Arthur Cayley and James Joseph Sylvester. Polynomial invariants under conjugation, such as coefficients of the characteristic polynomial, appear in invariant theory advanced by David Hilbert and Emmy Noether. Constructions like the adjugate matrix and Cayley–Hamilton theorem link SL_n to classical invariant-theoretic work of Issai Schur and modern perspectives in geometric invariant theory by David Mumford.

Subgroups and normal subgroups

Important subgroups include maximal tori of diagonal matrices with determinant 1, Borel subgroups of upper triangular matrices, and parabolic subgroups; these feature in structural results by Armand Borel and Jean-Pierre Serre. The elementary subgroup generated by elementary matrices connects to Hyman Bass and Daniel Quillen in K-theory. For n ≥ 2 over many fields the projective special linear group PSL_n often yields a simple group except for a few small exceptions cataloged by Walter Feit and John G. Thompson in finite group theory. Normal subgroups, centers, and congruence subgroups are central themes in arithmetic investigations by Atle Selberg and Goro Shimura.

Representations and actions

Representation theory of SL_n includes finite-dimensional highest-weight theory developed by Hermann Weyl and the classification of irreducible representations by dominant weights in the work of Harish-Chandra and Joseph Bernstein. SL_n acts naturally on vector spaces K^n, flag varieties studied by Alexander Grothendieck and André Weil, and on projective spaces related to Felix Klein’s Erlangen program. Automorphic representations involving SL_n play a major role in the Langlands program advocated by Robert Langlands and pursued by James Arthur and Pierre Deligne.

Topology and geometry (real and complex cases)

As a real Lie group SL_n(R) has topology and homotopy groups analyzed by Raoul Bott and Michael Atiyah with connections to characteristic classes studied by Shiing-Shen Chern and Jean Leray. The complex group SL_n(C) is a complex Lie group whose flag varieties are compact complex manifolds appearing in the work of André Weil and Alexander Grothendieck, and they serve as homogeneous spaces in differential geometry research by Élie Cartan and Shoshichi Kobayashi. Discrete subgroups like SL_n(Z) give arithmetic quotients and locally symmetric spaces investigated by Armand Borel, Harish-Chandra, and Grigori Margulis.

Category:Linear algebraic groups