Statement

Let GG be a connected over a FF, and let π\pi be an of G(F)G(F). For a fCc(G(F))f\in C_c^\infty(G(F)), the operator

π(f)=G(F)f(g)π(g)dg\pi(f)=\int_{G(F)} f(g)\pi(g)\,dg

has finite rank. The Harish–Chandra distribution character is

Θπ(f)=trπ(f).\Theta_\pi(f)=\operatorname{tr}\pi(f).

It is a —that is, a continuous linear functional on the nonarchimedean test-function space—and is independent of the chosen once the test-function measure convention is fixed.

Regularity theorem

Harish–Chandra's regularity theorem says that Θπ\Theta_\pi is represented by a locally integrable conjugation-invariant function on G(F)G(F). This function is locally constant on the . The same symbol Θπ(g)\Theta_\pi(g) usually denotes that representing function there.

Near singular elements the character has a local expansion in Fourier transforms of nilpotent . Thus the distribution is the primary object; pointwise values are available on the regular set, not on every element by definition.

Character identities

and local Langlands often produce identities between sums of these characters over an and on an endoscopic group. These are distributional identities and depend on the normalization of .

References
  1. Harish-Chandra, “Admissible invariant distributions on reductive pp-adic groups,” in Lie Theories and Their Applications, Queen's Papers in Pure and Applied Mathematics 48, 1978.
  2. Stephen DeBacker, “Homogeneity results for invariant distributions of a reductive pp-adic group,” Annales scientifiques de l'École Normale Supérieure 35 (2002), 391–422. Numdam.