SL_2(C)

SL_2(C)
Name	SL_2(C)
Type	Complex Lie group
Dimension	3 (complex), 6 (real)
Lie algebra	sl_2(C)
Notable representations	finite-dimensional irreducible representations

SL_2(C) is the group of 2×2 complex matrices with determinant 1. It is a non-compact, simply connected complex Lie group of complex dimension 3 and plays a central role in algebra, geometry, and mathematical physics. SL_2(C) appears in the theory of Riemann surfaces, the theory of special functions, and the study of three-dimensional hyperbolic geometry, and connects to many classical figures and institutions in mathematics.

Definition and Basic Properties

SL_2(C) is defined as the set of matrices matrices of the form A = (a b; c d) with a, b, c, d ∈ C and ad − bc = 1. The group is an affine algebraic group over C, isomorphic as a variety to the hypersurface ad − bc = 1 in C^4, and it carries the Zariski topology studied by David Hilbert, Emmy Noether, and Alexander Grothendieck. As a real Lie group it has topology related to Euclidean space R^6, while as a complex Lie group it is connected and simply connected, properties considered in the work of Élie Cartan, Hermann Weyl, and Claude Chevalley. Determinant 1 imposes a polynomial relation that makes SL_2(C) a reductive group in the classification developed by Armand Borel and Jacques Tits.

Lie Group and Lie Algebra Structure

The Lie algebra of SL_2(C), denoted sl_2(C) (not linked per constraints), consists of 2×2 complex traceless matrices. The algebra has a standard basis often written with elements corresponding to raising, lowering, and Cartan operators used by Wilhelm Killing, Élie Cartan, and Hermann Weyl in their classification of semisimple Lie algebras. The root system is of type A1 and the Killing form determines a nondegenerate bilinear form important in the work of Claude Chevalley and Nathan Jacobson. The exponential map from the Lie algebra to SL_2(C) is surjective onto certain subgroups and is central to constructions used by Sophus Lie and later by Harish-Chandra in harmonic analysis. Real forms and compact forms relate SL_2(C) to groups like SU(2) studied by Eugene Wigner and Paul Dirac.

Representations and Representation Theory

Finite-dimensional complex representations of SL_2(C) are completely reducible and classified by highest weight theory, a framework developed by Hermann Weyl, Émile Cartan, and Weyl character theory. Irreducible representations correspond to symmetric powers of the standard 2-dimensional representation, topics treated by Frobenius and Issai Schur. Infinite-dimensional unitary representations were investigated by Harish-Chandra, I. M. Gelfand, and William Casselman and are crucial to the theory of automorphic forms explored by Atle Selberg, Robert Langlands, and Gerd Faltings. Tensor product decompositions invoke classical identities used by Roger Howe and feature in the theory of Clebsch–Gordan coefficients named after Alfred Clebsch and Paul Gordan.

Geometry and Actions on Complex Projective Line

SL_2(C) acts by Möbius transformations on the complex projective line CP^1, a classical theme in the works of Augustin-Louis Cauchy, Bernhard Riemann, and Felix Klein. This action identifies SL_2(C) with the group of orientation-preserving isometries of three-dimensional hyperbolic space via the identification with PSL_2(C) and the correspondence used by Henri Poincaré, Riley and Thurston in the study of Kleinian groups and three-manifolds. The action on CP^1 is central to the theory of Fuchsian groups, quasi-Fuchsian space, and Teichmüller theory developed by Oswald Teichmüller and William Thurston, and it connects to monodromy representations in the work of Riemann and Deligne.

Subgroups, Covering Groups, and Classification

Important subgroups include maximal compact subgroups conjugate to SU(2), Borel subgroups of upper-triangular matrices, and parabolic subgroups studied by Armand Borel and Jacques Tits. The quotient by {±I} yields PSL_2(C), which appears in classification results by Albert A. Albert and in low-dimensional topology via groups considered by William Thurston and William Goldman. Universal covering groups and central extensions connect to spin groups investigated by Élie Cartan and Claude Chevalley, while discrete subgroups such as lattices and Kleinian groups were central in the work of Henri Poincaré, Ahlfors, and Lars Ahlfors on Riemann surfaces and automorphic functions.

Applications in Mathematics and Physics

SL_2(C) permeates number theory, topology, and physics. In number theory it appears in Galois representations studied by Andrew Wiles, Pierre Deligne, and Jean-Pierre Serre; in three-manifold topology it underpins hyperbolic structures analyzed by William Thurston and C. McMullen; in mathematical physics it governs spinor representations used by Paul Dirac, conformal symmetry in two-dimensional models explored by Belavin, Polyakov, and Zamolodchikov, and gauge theories treated by Edward Witten and Alexander Polyakov. The group also underlies modern approaches to quantum groups initiated by Vladimir Drinfeld and Michio Jimbo and appears in the representation-theoretic formulations of the Langlands program advanced by Robert Langlands.

Category:Complex Lie groups