SL2(R)


In mathematics, the special linear group SL or SL2 is the group of 2 × 2 real matrices with determinant one:
It is a connected noncompact simple real Lie group with applications in geometry, topology, representation theory, and physics.
SL acts on the complex upper half-plane by fractional linear transformations. The group action factors through the quotient PSL. More specifically,
where I denotes the 2 × 2 identity matrix. It contains the modular group PSL.
Also closely related is the 2-fold covering group, Mp, a metaplectic group.
Another related group is SL± the group of real 2 × 2 matrices with determinant ±1; this is more commonly used in the context of the modular group, however.

Descriptions

SL is the group of all linear transformations of R2 that preserve oriented area. It is isomorphic to the symplectic group Sp and the special unitary group SU. It is also isomorphic to the group of unit-length coquaternions. The group SL± preserves unoriented area: it may reverse orientation.
The quotient PSL has several interesting descriptions:
Elements of the modular group PSL have additional interpretations, as do elements of the group SL, and these interpretations can also be viewed in light of the general theory of SL.

Homographies

Elements of PSL are homographies on the real projective line :
These projective transformations form a subgroup of PSL, which acts on the Riemann sphere by Möbius transformations.
When the real line is considered the boundary of the hyperbolic plane, PSL expresses hyperbolic motions.

Möbius transformations

Elements of PSL act on the complex plane by Möbius transformations:
This is precisely the set of Möbius transformations that preserve the upper half-plane. It follows that PSL is the group of conformal automorphisms of the upper half-plane. By the Riemann mapping theorem, it is also the group of conformal automorphisms of the unit disc.
These Möbius transformations act as the isometries of the upper half-plane model of hyperbolic space, and the corresponding Möbius transformations of the disc are the hyperbolic isometries of the Poincaré disk model.
The above formula can be also used to define Möbius transformations of dual and double numbers. The corresponding geometries are in non-trivial relations to Lobachevskian geometry.

Adjoint representation

The group SL acts on its Lie algebra sl by conjugation, yielding a faithful 3-dimensional linear representation of PSL. This can alternatively be described as the action of PSL on the space of quadratic forms on R2. The result is the following representation:
The Killing form on sl has signature, and induces an isomorphism between PSL and the Lorentz group SO+. This action of PSL on Minkowski space restricts to the isometric action of PSL on the hyperboloid model of the hyperbolic plane.

Classification of elements

The eigenvalues of an element A ∈ SL satisfy the characteristic polynomial
and therefore
This leads to the following classification of elements, with corresponding action on the Euclidean plane:
The names correspond to the classification of conic sections by eccentricity: if one defines eccentricity as half the absolute value of the trace, then this yields:, elliptic;, parabolic;, hyperbolic.
The identity element 1 and negative identity element -1, have trace ±2, and hence by this classification are parabolic elements, though they are often considered separately.
The same classification is used for SL and PSL and PSL, with the addition of "loxodromic" transformations corresponding to complex traces; analogous classifications are used elsewhere.
A subgroup that is contained with the elliptic elements, plus the identity and negative identity, is called an elliptic subgroup.
This is a classification into subsets, not subgroups: these sets are not closed under multiplication. However, all elements are conjugate into one of 3 standard one-parameter subgroups, as detailed below.
Topologically, as trace is a continuous map, the elliptic elements are an open set, as are the hyperbolic elements, while the parabolic elements are a closed set.

Elliptic elements

The eigenvalues for an elliptic element are both complex, and are conjugate values on the unit circle. Such an element is conjugate to a rotation of the Euclidean plane – they can be interpreted as rotations in a possibly non-orthogonal basis – and the corresponding element of PSL acts as a rotation of the hyperbolic plane and of Minkowski space.
Elliptic elements of the modular group must have eigenvalues, where ω is a primitive 3rd, 4th, or 6th root of unity. These are all the elements of the modular group with finite order, and they act on the torus as periodic diffeomorphisms.
Elements of trace 0 may be called "circular elements" but this is rarely done; they correspond to elements with eigenvalues ±i, and are conjugate to rotation by 90°, and square to -I: they are the non-identity involutions in PSL.
Elliptic elements are conjugate into the subgroup of rotations of the Euclidean plane, the special orthogonal group SO; the angle of rotation is arccos of half of the trace, with the sign of the rotation determined by orientation. but not SL

Parabolic elements

A parabolic element has only a single eigenvalue, which is either 1 or -1. Such an element acts as a shear mapping on the Euclidean plane, and the corresponding element of PSL acts as a limit rotation of the hyperbolic plane and as a null rotation of Minkowski space.
Parabolic elements of the modular group act as Dehn twists of the torus.
Parabolic elements are conjugate into the 2 component group of standard shears × ±I:. In fact, they are all conjugate to one of the four matrices, or SL±, the ± can be omitted, but in SL.

Hyperbolic elements

The eigenvalues for a hyperbolic element are both real, and are reciprocals. Such an element acts as a squeeze mapping of the Euclidean plane, and the corresponding element of PSL acts as a translation of the hyperbolic plane and as a Lorentz boost on Minkowski space.
Hyperbolic elements of the modular group act as Anosov diffeomorphisms of the torus.
Hyperbolic elements are conjugate into the 2 component group of standard squeezes × ±I: ; the hyperbolic angle of the hyperbolic rotation is given by arcosh of half of the trace, but the sign can be positive or negative: in contrast to the elliptic case, a squeeze and its inverse are conjugate in SL₂.

Conjugacy classes

By Jordan normal form, matrices are classified up to conjugacy by eigenvalues and nilpotence. Thus elements of SL are classified up to conjugacy in GL by trace, except if the eigenvalues are equal, so ±I and the parabolic elements of trace +2 and trace -2 are not conjugate.
Up to conjugacy in SL, there is an additional datum, corresponding to orientation: a clockwise and counterclockwise rotation are not conjugate, nor are a positive and negative shear, as detailed above; thus for absolute value of trace less than 2, there are two conjugacy classes for each trace, for absolute value of the trace equal to 2 there are three conjugacy classes for each trace, and for absolute value of the trace greater than 2 there is one conjugacy class for a given trace.

Topology and universal cover

As a topological space, PSL can be described as the unit tangent bundle of the hyperbolic plane. It is a circle bundle, and has a natural contact structure induced by the symplectic structure on the hyperbolic plane. SL is a 2-fold cover of PSL, and can be thought of as the bundle of spinors on the hyperbolic plane.
The fundamental group of SL is the infinite cyclic group Z. The universal covering group, denoted, is an example of a finite-dimensional Lie group that is not a matrix group. That is, admits no faithful, finite-dimensional representation.
As a topological space, is a line bundle over the hyperbolic plane. When imbued with a left-invariant metric, the 3-manifold becomes one of the eight Thurston geometries. For example, is the universal cover of the unit tangent bundle to any hyperbolic surface. Any manifold modeled on is orientable, and is a circle bundle over some 2-dimensional hyperbolic orbifold.
B3 is the universal central extension of the modular group.
Under this covering, the preimage of the modular group PSL is the braid group on 3 generators, B3, which is the universal central extension of the modular group. These are lattices inside the relevant algebraic groups, and this corresponds algebraically to the universal covering group in topology.
The 2-fold covering group can be identified as Mp, a metaplectic group, thinking of SL as the symplectic group Sp.
The aforementioned groups together form a sequence:
However, there are other covering groups of PSL corresponding to all n, as n Z < Z ≅ π1, which form a lattice of covering groups by divisibility; these cover SL if and only if n is even.

Algebraic structure

The center of SL is the two-element group, and the quotient PSL is simple.
Discrete subgroups of PSL are called Fuchsian groups. These are the hyperbolic analogue of the Euclidean wallpaper groups and Frieze groups. The most famous of these is the modular group PSL, which acts on a tessellation of the hyperbolic plane by ideal triangles.
The circle group SO is a maximal compact subgroup of SL, and the circle SO/ is a maximal compact subgroup of PSL.
The Schur multiplier of the discrete group PSL is much larger than Z, and the universal central extension is much larger than the universal covering group. However these large central extensions do not take the topology into account and are somewhat pathological.

Representation theory

SL is a real, non-compact simple Lie group, and is the split-real form of the complex Lie group SL. The Lie algebra of SL, denoted sl, is the algebra of all real, traceless 2 × 2 matrices. It is the Bianchi algebra of type VIII.
The finite-dimensional representation theory of SL is equivalent to the representation theory of SU, which is the compact real form of SL. In particular, SL has no nontrivial finite-dimensional unitary representations. This is a feature of every connected simple non-compact Lie group. For outline of proof, see non-unitarity of representations.
The infinite-dimensional representation theory of SL is quite interesting. The group has several families of unitary representations, which were worked out in detail by Gelfand and Naimark, V. Bargmann, and Harish-Chandra.