SL(n)

SL(n)
Name	SL(n)
Type	Matrix group
Field	Linear Algebra
Dimension	n^2-1
Rank	n-1
Notation	SL(n, F)

SL(n) is the special linear group of degree n: the group of n×n matrices with determinant 1 over a field or ring, forming a central object in Linear Algebra, Group Theory, Lie Theory, and Algebraic Geometry. As a linear algebraic group and, over Rational, Real, or Complex fields, a real or complex Lie group, it connects classical objects such as general linear groups, projective linear groups, and low-dimensional special linear groups while appearing in the study of Emmy Noether-style invariants, representation theory, and moduli spaces. SL(n) serves as a prototype for simple and semisimple structures studied by Élie Cartan, Hermann Weyl, and others.

Definition and basic properties

For a commutative ring R or a field K, SL(n,R) or SL(n,K) is defined as the subgroup of GL(n,R) consisting of matrices with determinant equal to 1. It is an affine algebraic group over K, and over fields like Q, R, or C it is a smooth Lie Group of dimension n^2−1 with Lie algebra sl(n,K) of traceless n×n matrices. The center consists of scalar matrices which are nth roots of unity when R is a field containing those roots; this ties SL(n) to cyclic central subgroups and to PSL(n), the quotient by the center. Determinant defines a short exact sequence relating SL(n) to GL(1) and GL(n) that features in structure studies by Chevalley and Borel decompositions studied by Armand Borel.

Examples and low-dimensional cases

n=1: SL(1,R) is trivial, connected to the identity in multiplicative contexts. n=2: SL(2,C) is central in the theories of hyperbolic geometry, Möbius transformations, and Kleinian groups; its quotient PSL(2,C) is isomorphic to the group of orientation-preserving isometries of three-dimensional hyperbolic space studied by William Thurston and André Weil. SL(2,R) relates to modular forms via discrete subgroups like SL(2,Z), which underlie the theory of modular forms developed by Srinivasa Ramanujan and Bernhard Riemann. n=3: SL(3,R) and SL(3,C) appear in the classification of simple Lie algebras by Wilhelm Killing and Élie Cartan and in the study of flag varieties and classical invariant theory explored by David Hilbert. Finite-field analogues SL(n, F_q) produce families of finite simple groups investigated in the classification by authors including Daniel Gorenstein.

Algebraic structure and Lie group/Lie algebra

As an algebraic group, SL(n) is connected and reductive; its root system is of type A_{n-1}, a central example in the classification of semisimple types by Harish-Chandra and Weyl. The Lie algebra sl(n,K) consists of traceless matrices with the commutator bracket; Cartan subalgebras are diagonal traceless matrices leading to weights and roots studied in the works of Hermann Weyl and Élie Cartan. Parabolic subgroups correspond to block upper-triangular matrices and yield flag varieties related to Schubert calculus and Bott–Samelson. Over local fields such as p-adics Q_p, p-adic analytic structure produces totally disconnected groups significant in the theories of Galois representations and automorphic forms studied by Robert Langlands.

Representations and invariant theory

Finite-dimensional representations of SL(n,C) are highest-weight modules classified by dominant integral weights; fundamental representations correspond to exterior powers of the defining representation studied by Hermann Weyl and used in the construction of Young tableaux and Schur functors explored by Issai Schur. Invariant theory for SL(n) addresses polynomial invariants on tuples of vectors and matrices; classic theorems by David Hilbert and Richard Brauer describe generation and relations, while modern geometric invariant theory due to David Mumford constructs quotients and moduli spaces such as those appearing in the work of Alexander Grothendieck and Pierre Deligne. Infinite-dimensional unitary representations, principal series, and discrete series arise in harmonic analysis on SL(n,R) and SL(n,C) and feature in the Langlands program of Robert Langlands and James Arthur.

Topology and geometry

As a real Lie group, SL(n,R) has topology studied via maximal compact subgroups isomorphic to SO(n) and via symmetric spaces SL(n,R)/SO(n) which are noncompact Riemannian manifolds central in the work of Élie Cartan and Armand Borel. Quotients by arithmetic subgroups like SL(n,Z) yield locally symmetric spaces investigated by Harvey Cohn and in the theory of arithmetic manifolds central to Goro Shimura and Shimura varieties. Characteristic classes, Chern–Weil theory, and cohomology of classifying spaces for SL(n) link to results by Michael Atiyah, Raoul Bott, and Jean-Pierre Serre.

Applications and related groups

SL(n) appears in areas ranging from Algebraic Topology to Number Theory, underpinning theories of automorphic representations and Hodge Theory by researchers such as Pierre Deligne and Robert Langlands. Related classical groups include symplectic groups, orthogonal groups, and projective quotients PGL(n), while finite groups of Lie type constructed by Chevalley yield families used in the classification of finite simple groups. In physics, SL(n,C) and SL(2,C) connect to Lorentz symmetry in the work of Paul Dirac and representations relevant to Quantum Field Theory studied by Edward Witten and Murray Gell-Mann.

Category:Linear algebraic groups