SL(2,R)

SL(2,R)
Original: Jakob.scholbach Vector: Pbroks13 · CC BY-SA 3.0 · source
Name	SL(2,R)
Type	Lie group
Lie algebra	sl(2,R)
Universal cover	universal cover of SL(2,R)
Notable subgroups	SO(2), Borel subgroup, unipotent subgroup

SL(2,R) SL(2,R) is the group of 2×2 real matrices with determinant 1, a noncompact connected three-dimensional Lie group that arises in diverse contexts including Poincaré disk model, Modular group, and Teichmüller space. It serves as a central example in the theory of Lie algebra, representation theory related to Harish-Chandra theory, and the study of discrete subgroups such as Fuchsian group and SL(2,Z). As a double cover of SO(2,1) and acting by Möbius transformations on the upper half-plane and the Poincaré half-plane model, it connects to classical results of Gauss, Riemann, and Erlangen program.

Definition and basic properties

The group consists of real 2×2 matrices with determinant one, forming a smooth manifold and a Lie group with Lie algebra isomorphic to sl(2,R). It is noncompact and has fundamental group isomorphic to the integers, relating it to universal cover of SL(2,R) and the double cover of SO(2,R). The group admits an Iwasawa decomposition and Cartan involution used in harmonic analysis by Harish-Chandra and structural results employed by Élie Cartan and Hermann Weyl.

Matrix groups and topology

As a matrix group, SL(2,R) sits inside GL(2,R) with the subspace topology inherited from real 4-space, and its topology is that of a three-dimensional manifold. It contains compact subgroups conjugate to SO(2), noncompact one-parameter subgroups conjugate to diagonal matrices, and nilpotent subgroups corresponding to unipotent matrices; these features are instrumental in the theory of Borel subgroup and Iwasawa decomposition. The quotient by SO(2) yields the upper half-plane model of hyperbolic geometry studied by Henri Poincaré and Lobachevsky.

Lie algebra and representations

The Lie algebra sl(2,R) has standard basis elements e, f, h satisfying the sl2 relations studied by Sophus Lie and formalized by Weyl character formula. Finite-dimensional representations are classified by highest weights as in Representation theory of sl2 and appear in contexts involving Verma module constructions and Harish-Chandra module theory. Infinite-dimensional unitary representations include the principal series, discrete series discovered by Harish-Chandra and H. P. Jakobsen, and complementary series, which play roles in the spectral theory of automorphic forms connected to Atkin–Lehner theory and the Selberg trace formula.

Subgroups and decompositions

Important subgroups include the maximal compact SO(2), the Borel subgroup of upper triangular matrices, and one-parameter unipotent subgroups. Decompositions such as the Cartan decomposition, Iwasawa decomposition G=KAN, and Bruhat decomposition relate SL(2,R) structure to parabolic and semisimple theory developed by Claude Chevalley and Armand Borel. Discrete subgroups like Fuchsian group and SL(2,Z) generate tessellations linked to Modular curve and Riemann surface theory.

Actions on the hyperbolic plane

SL(2,R) acts on the upper half-plane by Möbius transformations preserving the Poincaré metric and giving an isomorphism with orientation-preserving isometries of the hyperbolic plane. This action underlies the theory of Fuchsian group and uniformization results of Poincaré and Koebe. Quotients by discrete subgroups produce finite-area Modular curve and orbifolds studied by Atkin, Lehner, and Selberg in spectral geometry and scattering theory.

Covering groups and universal cover

The fundamental group of SL(2,R) is isomorphic to the integers, so its universal cover is an infinite-sheeted covering group that projects onto SL(2,R) and covers SO(2,1) as well. The universal cover arises in the study of unitary representations with character theory influenced by Bernstein and in the context of the metaplectic group covering Sp(2,R). Covering groups are used in geometric quantization and in the theory of discrete series representations initiated by Harish-Chandra.

Applications in geometry and number theory

SL(2,R) appears in the study of hyperbolic geometry via isometries of the Poincaré disk model and has deep connections to modular forms, Maass forms, and the spectrum of the Laplacian on Modular curve. Arithmetic subgroups like SL(2,Z) and congruence subgroups lead to applications in Langlands program, Hecke operators, and the theory of Ramanujan conjecture instances. Dynamics of the SL(2,R)-action on moduli spaces, notably on Teichmüller space and the moduli space of Abelian differentials, underpin major results by Masur, Veech, and Eskin on ergodicity, measure classification, and orbit closures, with implications for Billiards in rational polygons and Interval exchange transformation.

Category:Lie groups