Math 2.0

Topological groups, Lie groups Definition

Principal series representation

Builds on Reductive Lie groupParabolic subgroupLanglands decompositionMaximal compact subgroupInduced representation of a locally compact groupIrreducible representation

Definition

Let GG be a real reductive Lie group with maximal compact subgroup KK. Let PP be a minimal parabolic subgroup of GG with Langlands decomposition P=MANP = MAN, and let 𝔞\mathfrak a be the Lie algebra of AA. Let ρ∈𝔞∗\rho \in \mathfrak a^* be half the sum of the roots of 𝔞\mathfrak a in the Lie algebra of NN, counted with multiplicity. For a∈Aa \in A and λ∈𝔞ℂ∗\lambda \in \mathfrak a^*_\C, write aλ=eλ(log⁡a)a^\lambda = e^{\lambda(\log a)}. Let σ\sigma be an irreducible unitary representation of MM on VσV_\sigma, and let ν∈𝔞ℂ∗\nu \in \mathfrak a^*_\C. The principal series representation I(σ,ν)=IndPG(σ⊗eν⊗1)I(\sigma, \nu) = \mathrm{Ind}_P^G(\sigma \otimes e^\nu \otimes 1) acts on the space of measurable functions f ⁣:G→Vσf \colon G \to V_\sigma such that f(xman)=a−(ν+ρ)σ(m)−1f(x)(x∈G, m∈M, a∈A, n∈N)f(x m a n) = a^{-(\nu + \rho)} \sigma(m)^{-1} f(x) \qquad (x \in G, \ m \in M, \ a \in A, \ n \in N) and ∫K∥f(k)∥2 dk<∞\int_K \norm{f(k)}^2 \, dk < \infty, by left translation (I(σ,ν)(g)f)(x)=f(g−1x)(I(\sigma, \nu)(g) f)(x) = f(g^{-1} x).

Remarks

The shift by ρ\rho makes I(σ,ν)I(\sigma, \nu) unitary when ν∈i𝔞∗\nu \in i \mathfrak a^*; these are the unitary principal series. Every function in the space is determined by its restriction to KK, because G=KPG = KP by the Iwasawa decomposition.

Example: for G=SL2(ℝ)G = \mathrm{SL}_2(\R), let PP be the upper triangular matrices, so M={±1}M = \set{\pm 1}, AA is the positive diagonal matrices and NN the unipotent upper triangular ones. Here ρ(log⁡diag⁡(t,t−1))=log⁡t\rho(\log \operatorname{diag}(t, t^{-1})) = \log t, so diag⁡(t,t−1)ρ=t\operatorname{diag}(t, t^{-1})^\rho = t. The restriction to K=SO(2)K = \mathrm{SO}(2) identifies the space with the functions on the circle that are even or odd according to σ(−1)=±1\sigma(-1) = \pm 1. So each character einθe^{in\theta} of KK with (−1)n=σ(−1)(-1)^n = \sigma(-1) occurs once, and I(σ,ν)I(\sigma, \nu) is admissible.

Non-example: inducing the trivial representation from the compact subgroup KK instead of from PP gives the representation of GG on L2(G/K)L^2(G/K). It is not a principal series representation: KK is not parabolic, and the representation is not even admissible.

Some authors call representations induced from any parabolic subgroup, with discrete series or tempered data on MM, generalised principal series.

Reading path

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

Show the path as a graph
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. Exponential map of a Lie group concept
  2. Induced representation of a locally compact group concept
  3. Irreducible representation concept
  4. Maximal compact subgroup concept
  5. Nilpotent Lie group concept
  6. Parabolic subgroup concept
  7. Reductive Lie group concept
  8. Semisimple Lie group concept
  9. Cartan decomposition of a Lie group statement
  10. Iwasawa decomposition of a Lie group statement
  11. Langlands decomposition statement
  12. Principal series representation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Principal_series_representation
About this page
Tag63AMHDV2HX
URIm2://63AMHDV2HX
Kinddefinition
WritingW0 stub
MSC22E46, 22D30
DefinesPrincipal series representation
UsesReductive Lie group, Parabolic subgroup, Langlands decomposition, Maximal compact subgroup, Induced representation of a locally compact group, Irreducible representation

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.