Harish-Chandra's Principle in Representation Theory

• Harish-Chandra's Principle is a foundational concept in representation theory that describes the discrete decomposition of irreducible unitary representations with finite multiplicities, especially for real reductive Lie groups.
• It employs spherical functions, the Harish-Chandra c-function, and Paley–Wiener results to ensure analytic control and prevent continuous spectrum accumulation in subgroup restrictions.
• The principle underpins spectral analysis on locally symmetric spaces by enabling eigenfunction expansions and uniform multiplicity bounds, with applications to both Riemannian and pseudo-Riemannian geometries.

Harish-Chandra's Principle concerns the structural behavior of irreducible unitary representations of real reductive Lie groups, their restrictions to maximal compact and non-compact reductive subgroups, and the resulting decomposition properties. It is foundational in representation theory, harmonic analysis, and the spectral theory of locally symmetric spaces.

1. Admissibility Theorem for Restrictions to Maximal Compact Subgroups

Let $G$ be a real reductive Lie group with Lie algebra $\mathfrak{g}$, and $K \subset G$ a maximal compact subgroup. Denote by $\mathrm{Irr}(G)$ the set of irreducible unitary representations of $G$ and by $\mathrm{Irr}(K)$ the set of finite-dimensional irreducible representations of $K$. A continuous representation $\pi$ of $G$ on a Banach or Fréchet space $V$ is called admissible (or $K$-admissible) if for every $\tau \in \mathrm{Irr}(K)$, the isotypic subspace

$$V[\tau] := \mathrm{Hom}_K(\tau, \pi|_K) \otimes \tau \subset V$$

is finite dimensional.

Passing to the algebraic framework, a ($\mathfrak{g}, K$)-module $V$ of finite length is admissible if each $K$-type $\tau$ occurs with finite multiplicity: $\dim \mathrm{Hom}_K(\tau, V) < \infty.$

Theorem 1.1 (Harish-Chandra):

For $\pi \in \mathrm{Irr}(G)$, for every $\tau \in \mathrm{Irr}(K)$,

$\dim \mathrm{Hom}_K(\tau, \pi|_K) < \infty.$

That is, $\pi|_K$ decomposes discretely with finite multiplicities.

The proof uses the theory of spherical functions and the Harish-Chandra $c$-function, a Paley–Wiener theorem for $K$-finite matrix coefficients, and classification of irreducible ($\mathfrak{g}, K$)-modules via infinitesimal character and highest-weight theory. The analytic continuation, control of singularities, and highest weight behavior prevent the accumulation of poles, ensuring only finitely many $K$-types for each irreducible $\pi$ (Kobayashi, 2024).

2. Generalizations: Non-compact Reductive Subgroups

Harish-Chandra's principle has been extended to restrictions to non-compact reductive subgroups.

2.1 Discrete Decomposability with Finite Multiplicities

Given a closed reductive subgroup $G' \subset G$, irreducible restrictions to $G'$ generally exhibit continuous spectrum. A representation $\pi \in \mathrm{Irr}(G)$ is said to be $G'$-admissible if

$$\pi|_{G'} \simeq \bigoplus_{T\in\widehat{G'}} m_T T, \quad m_T < \infty,$$

with no continuous part—i.e., discretely decomposable with finite multiplicities.

This is equivalent, at the ($\mathfrak{g}, K$)-module level, to the absence of continuous families in the restriction to ($\mathfrak{g}', K'$) together with finite multiplicity for each irreducible constituent.

Theorem 2.3 (Kobayashi--Criterion for $K'$-admissibility):

Let $\pi \in \mathrm{Irr}(G)$, and let $K' \subset K$ be a maximal compact subgroup of $G'$. The following are equivalent:

• (i) $\pi$ is $K'$-admissible: $\dim \mathrm{Hom}_{K'}(\tau', \pi|_{K'}) < \infty$ for all $\tau' \in \mathrm{Irr}(K')$.
• (ii) A transversality condition: $\operatorname{AS}_K(\pi) \cap C_K(K') = \{0\},$ where $\operatorname{AS}_K(\pi)$ is the asymptotic $K$-support of $\pi$, and $C_K(K')$ is the momentum cone for the cotangent bundle $T^*(K/K')$.

If (ii) holds, then $\pi|_{G'}$ is $G'$-admissible, i.e., discretely decomposable with finite multiplicities (Kobayashi, 2024).

Significant examples include theta correspondences and tensor products of holomorphic discrete series.

2.2 Finite and Uniformly Bounded Multiplicity

If discrete decomposability fails, one may relax to finite (and even uniformly bounded) multiplicity. Two crucial structures arise:

• A homogeneous $G$-space $X = G/H$ is real-spherical if a minimal parabolic $P \subset G$ has an open orbit on $X$;
• Its complexification $X^c = G^c/H^c$ is spherical if a Borel subgroup of $G^c$ has an open orbit on $X^c$.

Two key theorems:

• Finite-Multiplicity Pairs: For a pair $G \supset G'$ of real reductive groups, the following are equivalent:
  1. $\forall\, \pi \in \mathrm{Irr}(G)$, $\tau \in \mathrm{Irr}(G')$, $\dim \mathrm{Hom}_{G'}(\pi|_{G'}, \tau) < \infty$
  2. The double coset space $(G \times G')/\operatorname{diag} G'$ is real-spherical.

• Uniformly Bounded Multiplicity Pairs: Uniform boundedness of the form

$$\sup_{\pi, \tau} \dim \mathrm{Hom}_{G'}(\pi|_{G'}, \tau) \le C$$

is equivalent to sphericity of $(G^c \times G'^c)/\operatorname{diag} G'^c$ (Kobayashi, 2024).

Algebraically, these multiplicity conditions correspond to polynomiality or commutativity properties of invariant rings, such as $U(\mathfrak{g}^c)^{G'^c}$ or algebras of invariant differential operators.

3. Bounded-Multiplicity Triples and Distinguished Representations

Further generalization concerns bounded-multiplicity triples $H \subset G \supset G'$. For a class $\mathcal{S} \subset \mathrm{Irr}(G)$, typically the $H$-distinguished representations (those $\pi$ such that $\mathrm{Hom}_G(\pi, C^\infty(G/H)) \ne \{0\}$), say that the triple has bounded multiplicity if

$$\sup_{\pi \in \mathcal{S}}\, \sup_{\tau \in \mathrm{Irr}(G')} \dim \mathrm{Hom}_{G'}(\pi|_{G'}, \tau) < \infty.$$

Theorem 4.6 (Kobayashi):

If $(G, H)$ is a reductive symmetric pair and $G' \subset G$ is a reductive subgroup, then $H \subset G \supset G'$ is a bounded-multiplicity triple for $H$-distinguished $\pi$ if and only if the flag variety $G^c / B_{G/H}^c$ (for a relative Borel) is $G'^c$-spherical.

In particular, when $G'^c$ acts spherically on the complex flag variety attached to $G/H$, one recovers uniform bounds for multiplicities in restriction (Kobayashi, 2024).

4. Spectral Theory of Locally Symmetric Spaces

Harish-Chandra’s principle supports new developments in the spectral analysis of locally symmetric spaces, including in pseudo-Riemannian and indefinite settings.

Let $X = G/H$ be a reductive symmetric space and let $\Gamma \subset G' \subset G$ be a discrete group acting properly discontinuously on $X$. The quotient $X_\Gamma = \Gamma \backslash X$ is equipped with a Laplacian $\Delta_{X_\Gamma}$ and an algebra $\mathcal{D}(X_\Gamma) \cong \mathcal{D}(X)$ of invariant differential operators.

Theorem 5.6 (Kassel–Kobayashi): If $G'^c$ acts spherically on $X^c$, then every compactly supported $f \in C_c(X_\Gamma)$ admits an expansion

$$f(x) = \int_{\chi \in \mathrm{Spec}(\mathcal{D}(X))} F_\chi[f](x) d\mu(\chi)$$

into joint eigenfunctions of $\mathcal{D}(X_\Gamma)$. The pseudo-Riemannian Laplacian is essentially self-adjoint, and the $G'$-admissibility (discrete decomposability plus uniform multiplicity) of the $G$-action on $L^2(\Gamma \backslash G)$ is crucial for establishing the full Plancherel-type decomposition (Kobayashi, 2024).

Examples in which this applies include odd-dimensional anti-de Sitter geometries, indefinite Kähler spaces, and space-forms of other signatures, with implications far beyond the classical Riemannian field.

5. Analytic and Harmonic Analysis Underpinnings

The principle is fundamentally analytic: it relies on the expansion of matrix coefficients, the analytic properties of characters, and the use of spherical functions and the $c$-function. The Paley–Wiener theorem for $K$-finite functions, analytic continuation, and the structure theory of ($\mathfrak{g}, K$)-modules guarantee the restriction decomposes discretely with finite multiplicities.

Geometric and algebraic characterizations of multiplicity (via sphericity, momentum cones, and transversality) are crucial for admissibility criteria in the non-compact subgroup case. The machinery developed extends to a range of settings, enabling precise control of restrictions in branching problems, applications to automorphic forms, and spectral expansions in harmonic analysis.

6. Impact and Developments

Harish-Chandra’s principle, and its modern extensions, provide foundational tools across representation theory, automorphic forms, and non-Riemannian geometry. They enable:

• Systematic analysis of branching laws for representations under subgroup restriction;
• The reduction of complex spectral problems (in both Riemannian and pseudo-Riemannian cases) to questions about sphericity and multiplicity;
• New analytic frameworks for the spectral theory of locally symmetric spaces beyond the classical positive-definite context;
• Control over the Plancherel decomposition, eigenfunction expansions, and the behavior of invariant differential operators, crucial for understanding automorphic spectra and harmonic analysis on homogeneous spaces.

These results form the core of an ongoing program in the study of unitary representation restriction phenomena, intertwining geometric, analytic, and algebraic structures, with applications extending to mathematical physics and number theory (Kobayashi, 2024).