Math 2.0

Topological groups, Lie groups Representation theory of Lie groups Example

Representation theory of SL2(R)

Builds on SL(2,R)Representation of a Lie groupUnitary representationIrreducible representation

Example

Let G=SL2(ℝ)G = \mathrm{SL}_2(\R), the group of real 2×22 \times 2 matrices of determinant 11. It is a connected simple Lie group that is not compact. So each nontrivial irreducible unitary representation of GG is infinite-dimensional. Indeed, a nontrivial unitary representation on ℂn\C^n has a differential that embeds 𝔰𝔩2(ℝ)\mathfrak{sl}_2(\R) into 𝔲(n)\mathfrak{u}(n). Each subalgebra of 𝔲(n)\mathfrak{u}(n) has an inner product for which every ad⁡X\operatorname{ad} X is skew-symmetric. The algebra 𝔰𝔩2(ℝ)\mathfrak{sl}_2(\R) has none, since ad⁡X\operatorname{ad} X has real nonzero eigenvalues for X=diag⁡(1,−1)X = \operatorname{diag}(1, -1).

Principal series. Fix ε∈{0,1}\varepsilon \in \set{0, 1} and ν∈iℝ\nu \in i\R. Let Hε,νH_{\varepsilon, \nu} be the space of functions ff on ℝ2∖{0}\R^2 \setminus \set{0} with f(λx)=sgn⁡(λ)ε∣λ∣−1−νf(x)f(\lambda x) = \sgn(\lambda)^{\varepsilon} \abs{\lambda}^{-1-\nu} f(x) for λ≠0\lambda \ne 0. Its norm is the norm of L2L^2 on the unit circle. The action is (π(g)f)(x)=f(g−1x)(\pi(g) f)(x) = f(g^{-1} x). Here ∣f∣2\abs{f}^2 is homogeneous of degree −2-2. For such functions the integral over the circle is unchanged by linear maps of determinant 11, so π\pi is unitary.

Discrete series. For an integer k≥2k \ge 2, let Dk+D_k^+ be the space of holomorphic functions ff on the upper half plane {z=x+iy:y>0}\set{z = x + iy : y > 0} with ∫∣f(z)∣2yk−2 dx dy<∞\int \abs{f(z)}^2 y^{k-2} \, dx \, dy < \infty. For g−1=(abcd)g^{-1} = \begin{pmatrix} a & b \\ c & d \end{pmatrix}, the action is (π(g)f)(z)=(cz+d)−kf(az+bcz+d)(\pi(g) f)(z) = (cz + d)^{-k} f\big(\frac{az + b}{cz + d}\big). This is an irreducible unitary representation whose matrix coefficients are square integrable on GG.

Remarks

Bargmann classified the irreducible unitary representations of GG in 1947. Up to equivalence they are the following.

  1. The trivial representation.
  2. The irreducible principal series.
  3. The complementary series, a family with a real parameter in an interval.
  4. The discrete series Dk±D_k^{\pm} for k≥2k \ge 2.
  5. The two limits of discrete series D1±D_1^{\pm}, the two pieces of the reducible principal series with ε=1\varepsilon = 1 and ν=0\nu = 0.

Here Dk−D_k^- is the complex conjugate of Dk+D_k^+, realized on antiholomorphic functions.

The Casimir element of 𝔰𝔩2(ℝ)\mathfrak{sl}_2(\R) acts on each irreducible representation by a scalar, and this scalar is a main invariant in the classification. These representations govern the spectral theory of the Laplacian on hyperbolic surfaces Γ\ℍ\Gamma \backslash \mathbb{H}, and holomorphic cusp forms of weight kk give copies of the discrete series Dk±D_k^{\pm} in L2(Γ\G)L^2(\Gamma \backslash G).

Reading path

To understand this page from the ground up, read these 22 pages in order. The foundations come first.

Show the path as a graph
Complex numbers, object, no evidence levelComplex numbersobjectGeneral linear group, object, no evidence levelGeneral linear groupobjectIdentity matrix, object, no evidence levelIdentity matrixobjectIrreducible representation, concept, no evidence levelIrreducible represent…conceptMatrix, definition, no evidence levelMatrixdefinitionMöbius transformation, concept, no evidence levelMöbius transformationconceptRepresentation of a Lie group, concept, no evidence levelRepresentation of a L…conceptUnitary representation, concept, no evidence levelUnitary representationconceptVector space, definition, no evidence levelVector spacedefinitionSquare matrix, definition, no evidence levelSquare matrixdefinitionTranspose, definition, no evidence levelTransposedefinitionLinear map, definition, no evidence levelLinear mapdefinitionOrthogonal matrix, definition, no evidence levelOrthogonal matrixdefinitionMultilinear map, definition, no evidence levelMultilinear mapdefinitionOrthogonal group, object, no evidence levelOrthogonal groupobjectAlternating multilinear map, definition, no evidence levelAlternating multiline…definitionDeterminant, definition, no evidence levelDeterminantdefinitionSpecial orthogonal group, object, no evidence levelSpecial orthogonal gr…objectSpecial linear group, object, no evidence levelSpecial linear groupobjectUpper half-plane, object, no evidence levelUpper half-planeobjectSL(2,R), example, no evidence levelSL(2,R)exampleRepresentation theory of SL2(R), example, no evidence levelRepresentation theory…example
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Complex numbers object
  2. General linear group object
  3. Identity matrix object
  4. Irreducible representation concept
  5. Matrix definition
  6. Möbius transformation concept
  7. Representation of a Lie group concept
  8. Unitary representation concept
  9. Vector space definition
  10. Square matrix definition
  11. Transpose definition
  12. Linear map definition
  13. Orthogonal matrix definition
  14. Multilinear map definition
  15. Orthogonal group object
  16. Alternating multilinear map definition
  17. Determinant definition
  18. Special orthogonal group object
  19. Special linear group object
  20. Upper half-plane object
  21. SL(2,R) example
  22. Representation theory of SL2(R) example

Further reading

  1. Web https://en.wikipedia.org/wiki/Representation_theory_of_SL2(R)
About this page
Tag5E547TJ7PS
URIm2://5E547TJ7PS
Kindexample
WritingW0 stub
MSC22E46, 22E45
IllustratesRepresentation of a Lie group
UsesSL(2,R), Representation of a Lie group, Unitary representation, Irreducible representation
Same as
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.