Math 2.0

Topological groups, Lie groups Definition

Harish-Chandra character

Builds on Admissible representationReductive Lie groupHaar measureTrace class operatorCharacter of a representationSmooth function

Definition

Let GG be a real reductive Lie group with a Haar measure dgdg. Let π\pi be an admissible representation of GG of finite length on a Hilbert space HH. For a smooth function f ⁣:G→ℂf \colon G \to \C with compact support, let π(f)=∫Gf(g) π(g) dg,\pi(f) = \int_G f(g) \, \pi(g) \, dg, a bounded operator on HH. Harish-Chandra proved that each π(f)\pi(f) is a trace class operator. The Harish-Chandra character of π\pi is the distribution Θπ(f)=tr⁡π(f),f∈Cc∞(G).\Theta_\pi(f) = \operatorname{tr} \pi(f), \qquad f \in C_c^\infty(G).

Remarks

Example: if dim⁡H<∞\dim H < \infty, then tr⁡π(f)=∫Gf(g)tr⁡π(g) dg\operatorname{tr} \pi(f) = \int_G f(g) \operatorname{tr} \pi(g) \, dg by linearity of the trace. So Θπ\Theta_\pi is the distribution given by the ordinary character g↦tr⁡π(g)g \mapsto \operatorname{tr} \pi(g).

Non-example: for dim⁡H=∞\dim H = \infty, the operator π(e)=id⁡H\pi(e) = \id_H is not trace class. So the naive rule g↦tr⁡π(g)g \mapsto \operatorname{tr} \pi(g) does not define a function, and the smearing by ff is necessary.

The character Θπ\Theta_\pi is invariant under conjugation: Θπ(fx)=Θπ(f)\Theta_\pi(f^x) = \Theta_\pi(f) for fx(g)=f(xgx−1)f^x(g) = f(x g x^{-1}). Two irreducible admissible representations have the same character if and only if they are infinitesimally equivalent. By Harish-Chandra's regularity theorem, Θπ\Theta_\pi is given by a locally integrable function. The same definition works for G(F)G(F) with FF a non-archimedean local field, with ff locally constant of compact support.

Reading path

To understand this page from the ground up, read these 7 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. Admissible representation concept
  2. Character of a representation concept
  3. Haar measure concept
  4. Reductive Lie group concept
  5. Smooth function concept
  6. Trace class operator concept
  7. Harish-Chandra character definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Harish-Chandra_character
About this page
TagFHKGR7MD1A
URIm2://FHKGR7MD1A
Kinddefinition
WritingW0 stub
MSC22E46, 22E45, 22E50
DefinesHarish-Chandra character
UsesAdmissible representation, Reductive Lie group, Haar measure, Trace class operator, Character of a representation, Smooth function

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.