Definition

Let GG be a real reductive with a fixed , and let π\pi be a continuous, finite-length in the standard real-reductive category. For fCc(G)f\in C_c^\infty(G), form the

π(f)=Gf(g)π(g)dg.\pi(f)=\int_G f(g)\pi(g)\,dg.

The Harish–Chandra trace-class theorem makes π(f)\pi(f) trace class for this class of globalizations. The global character, or Harish–Chandra character, of π\pi is the

Θπ(f)=Trπ(f),fCc(G).\Theta_\pi(f)=\operatorname{Tr}\pi(f),\qquad f\in C_c^\infty(G).

It replaces the usually undefined pointwise trace of the individual infinite-dimensional operators π(g)\pi(g).

This definition includes nonunitary admissible globalizations; it uses no *-representation property of fπ(f)f\mapsto\pi(f).

Invariance and additivity

The distribution Θπ\Theta_\pi is invariant under conjugation: translating a test function by gxgx1g\mapsto xgx^{-1} does not change its value. Characters are additive in of finite-length and therefore depend only on the corresponding class in the Grothendieck group. For a finite-dimensional representation, the definition recovers integration against the ordinary trace function gTrπ(g)g\mapsto\operatorname{Tr}\pi(g).

Infinitesimal eigencharacter

If π\pi has χ\chi, then its global character is a joint eigendistribution for the invariant differential operators arising from Z(U(gC))Z(U(\mathfrak g_\mathbb C)). This connects the central algebraic invariant of the differentiated representation with a conjugation-invariant analytic object on GG.

Regularity

The represents Θπ\Theta_\pi by a locally integrable function that is real analytic on the regular semisimple set. The phrase “character value at gg” refers to this representing function where it is defined, not to an operator trace of π(g)\pi(g).

References
  1. Anthony W. Knapp, Representation Theory of Semisimple Groups: An Overview Based on Examples, Princeton University Press, 1986; reprint 2001. Author-maintained record. Relevant: Chapter X on global characters.
  2. Harish-Chandra, “Invariant Eigendistributions on a Semisimple Lie Group,” Transactions of the American Mathematical Society 119 (1965), 457–508. DOI record. Relevant: invariant eigendistributions and character regularity.