On Harish-Chandra's Plancherel theorem for Riemannian symmetric spaces

This article provides an overview of the Plancherel theory for Riemannian symmetric spaces by demonstrating how Harish-Chandra's theorem can be derived using recently developed methods originally designed for real spherical spaces.

The Gist

Here is an explanation of the paper "On Harish-Chandra's Plancherel Theorem for Riemannian Symmetric Spaces" using simple language and creative analogies.

The Big Picture: Breaking Down a Symphony

Imagine you have a massive, complex symphony orchestra playing a piece of music. This music represents all the possible "vibrations" or patterns that can exist on a specific geometric shape (called a Riemannian Symmetric Space).

The goal of this paper is to answer a fundamental question: How do we take this complex music and break it down into its individual, pure notes?

In mathematics, this process is called the Plancherel Theorem. It's like having a magical prism that takes a beam of white light (the complex space) and splits it into a rainbow of pure colors (the basic building blocks).

The authors, Bernhard Krötz, Job Kuit, and Henrik Schlichtkrull, are not just rediscovering an old rainbow; they are showing how to build the prism using a new, modern toolkit. They are taking a very difficult, abstract method developed for general shapes and applying it to this specific, classic shape to prove an old theorem in a fresh way.

---

The Characters in Our Story

To understand the paper, we need to meet the main players:

1. The Space ($Z = G/K$): Think of this as a perfectly symmetrical, infinite landscape. It's like a giant, smooth hill that looks the same no matter how you rotate it.
2. The Music ($L^2(Z)$): This is the collection of all possible "sound waves" or functions that can exist on that landscape.
3. The Notes (Spherical Representations): These are the pure, fundamental tones. In this specific landscape, a "note" is a pattern that stays the same if you spin it around a central point (the subgroup $K$).
4. The Old Map (Harish-Chandra): In the 1950s, a genius named Harish-Chandra figured out how to split this music into notes. However, his map had some "conjectures" (guesses) that needed to be proven later.
5. The New Toolkit (Real Spherical Spaces): Recently, mathematicians developed a new, more powerful toolkit to analyze shapes that are slightly less symmetrical than the one in this paper. The authors want to show that this new toolkit works perfectly on the classic shape, too.

---

The Journey: How They Did It

The paper is structured like a detective story or a construction project. Here is the step-by-step breakdown:

1. Setting the Rules (Sections 2 & 3)

First, the authors set up the stage. They define the geometry of the landscape and the rules for measuring "volume" (how much space a sound wave takes up).

• Analogy: Before measuring a room, you need to agree on what a "meter" is. They define the "ruler" for their mathematical world.
• They identify the "pure notes" (spherical representations). They prove that for this specific landscape, the notes are very special: they are "tempered," meaning they don't grow out of control; they stay within a reasonable volume.

2. The Magic Mirror: Intertwiners (Section 4)

This is a crucial part of the paper. The authors use something called Intertwining Operators.

• Analogy: Imagine you have a mirror that can reflect a sound wave. Sometimes, the mirror flips the sound upside down or shifts its pitch. These "mirrors" (operators) connect different versions of the same note.
• The authors study what happens to these notes when they travel toward the "horizon" (infinity). They look at the asymptotics—what the sound looks like when it gets very far away.
• Key Insight: They found that as a sound wave travels to the edge of the universe, it simplifies. It stops being a complex wave and starts looking like a simple, predictable pattern. This is the "Principal Asymptotics."

3. The Degenerate World: The Horizon ($Z_\emptyset$) (Section 5)

Here is the clever trick. The authors introduce a "degenerate" version of their landscape, called $Z_\emptyset$.

• Analogy: Imagine your complex, hilly landscape. Now, imagine flattening it completely until it becomes a flat, endless plain. This flat plain is $Z_\emptyset$.
• Why do this? Because it is much easier to figure out the "notes" on a flat plain than on a complex hill. On this flat plain, the math is simple because there is an extra symmetry (like a spinning wheel) that makes the calculation easy.
• They successfully write down the "Plancherel Formula" (the recipe for the notes) for this flat plain.

4. Connecting the Hill to the Plain (Section 6)

Now comes the climax. How do we get from the flat plain ($Z_\emptyset$) back to the complex hill ($Z$)?

• The Constant Term Approximation: The authors use the "Principal Asymptotics" from Step 2. They show that if you take a sound wave on the complex hill and look at it from very far away, it starts to look exactly like a sound wave on the flat plain.
• The Matching: They "match" the functions on the hill with the functions on the plain.
• The Averaging: They use a statistical trick called "averaging." Imagine you have a noisy signal. If you average it over many different angles and distances, the noise cancels out, and the true signal remains. They use this to prove that the "notes" on the hill are exactly the same as the "notes" on the plain, just weighted differently.

The Grand Conclusion

By combining the easy math of the flat plain with the "matching" technique, they successfully reconstruct the Plancherel Theorem for the complex hill.

What did they prove?
They confirmed Harish-Chandra's old formula. They showed that to break down the music of this symmetric space, you need to:

1. Look at the "pure notes" (tempered spherical representations).
2. Weight them by a specific factor (the c-function, which acts like a volume knob for each note).
3. Sum them all up.

Why Does This Matter?

You might ask, "Why go through all this trouble to prove something that was already known?"

1. Simplicity and Clarity: The original proof by Harish-Chandra was incredibly difficult and relied on heavy machinery. This new proof uses a more modern, geometric approach that is arguably more transparent.
2. Future Proofing: The real goal isn't just this specific shape. The authors are testing a new "engine" (the theory of real spherical spaces) on a classic car. If the engine works here, it will work on much stranger, more complex shapes in the future where the old methods fail.
3. Unification: It connects two different worlds of mathematics: the classical world of symmetric spaces and the modern world of real spherical spaces.

Summary in One Sentence

The authors built a bridge between a complex, curved mathematical landscape and a simple, flat one, using the behavior of sound waves at the horizon to prove how to decompose complex patterns into their fundamental building blocks, effectively re-proving a classic theorem with a modern, more versatile toolkit.

Technical Summary

Here is a detailed technical summary of the paper "On Harish-Chandra's Plancherel Theorem for Riemannian Symmetric Spaces" by Bernhard Krötz, Job J. Kuit, and Henrik Schlichtkrull.

1. Problem Statement

The paper addresses the Plancherel decomposition for the space of square-integrable functions $L^2(Z)$ on a Riemannian symmetric space $Z = G/K$, where $G$ is a real reductive group and $K$ is a maximal compact subgroup.

While Harish-Chandra originally established this theorem in the 1950s and 60s (resolving it up to two conjectures later proven by Gindikin-Karpelevich and Harish-Chandra himself), the original proofs are notoriously complex and rely on deep, specific analysis of spherical functions. The authors aim to:

1. Re-prove Harish-Chandra's Plancherel theorem using modern methods developed for real spherical spaces (a broader class of homogeneous spaces $G/H$).
2. Demonstrate how the intricate machinery developed for general real spherical spaces (specifically in works by Delorme, Knop, Krötz, and Schlichtkrull) simplifies and clarifies the derivation for the classical symmetric space case.
3. Provide a self-contained exposition that reveals the structural "intricacies" of the general approach without getting lost in the historical complexity of Harish-Chandra's original arguments.

2. Methodology

The authors employ a strategy of boundary degeneration and asymptotic analysis, moving from the symmetric space $Z$ to a simpler boundary space $Z_\emptyset$. The methodology proceeds in four main stages:

A. Setup and Normalization

• Notation: Standard Lie theoretic notation is fixed ($G, K, \mathfrak{g}, \mathfrak{k}, \mathfrak{a}, \mathfrak{n}, \mathfrak{m}$).
• Measures: Rigorous normalization of Haar measures on $G, K, M, N, A$ and the quotient spaces is established to ensure consistency in integral formulas, particularly involving the Iwasawa decomposition $G=KAN$.

B. Spherical Representation Theory

• The authors review the classification of spherical representations (those containing a non-zero $K$-fixed vector).
• They establish that irreducible spherical representations are parameterized by the unitary dual of the abelian group $A$ modulo the Weyl group $W$, specifically $\lambda \in i\mathfrak{a}^*/W$.
• Temperedness: A crucial step is characterizing tempered representations. The authors prove (in Section 4.4) that an irreducible spherical representation is tempered if and only if its parameter $\lambda$ lies in $i\mathfrak{a}^*$. This proof utilizes the principal asymptotics of matrix coefficients.

C. Intertwining Operators and Asymptotics

• Intertwining Operators: The paper utilizes standard intertwining operators $J_w(\lambda)$ (Knapp-Stein) and their normalized versions $I_w(\lambda)$. These operators map between principal series representations $H_\lambda$ and $H_{w\lambda}$.
• Principal Asymptotics (Theorem 4.3): A key technical tool is the analysis of the asymptotic behavior of matrix coefficients $m_{v, \eta_\lambda}(a)$ as $a \to \infty$ in the negative Weyl chamber. The authors show that these coefficients behave like a sum of terms involving the intertwining operators, dominated by the "principal" term associated with the longest Weyl element $w_0$.
• Constant Term Approximation (Theorem 6.2): This is the bridge between $Z$ and $Z_\emptyset$. The authors define a "constant term" map that approximates matrix coefficients on $Z$ by matrix coefficients on the boundary space $Z_\emptyset$ with an exponentially decaying error term.

D. Boundary Degeneration ($Z_\emptyset$)

• The authors introduce the boundary degeneration $Z_\emptyset = G/MN$. Geometrically, this space represents the "horospherical" boundary of $Z$.
• Simplification: Unlike $Z$, the space $Z_\emptyset$ admits a right-action by the non-compact torus $A$ that commutes with the left $G$-action. This allows for a straightforward Fourier decomposition of $L^2(Z_\emptyset)$ into a direct integral of principal series representations.
• Matching: The core of the proof involves "matching" functions on $Z$ with functions on $Z_\emptyset$ via the constant term approximation and then using an averaging procedure over the Weyl group and the torus to recover the Plancherel measure for $Z$.

3. Key Contributions and Results

1. New Proof of Temperedness Classification

The authors provide a new, self-contained proof (Section 4.4) that an irreducible spherical representation is tempered if and only if its parameter is purely imaginary ($\lambda \in i\mathfrak{a}^*$). This relies on the asymptotic expansion of matrix coefficients and the properties of intertwining operators, avoiding some of the more opaque estimates in classical literature.

2. Derivation of the Plancherel Formula for $L^2(Z_\emptyset)$

The paper explicitly derives the Plancherel decomposition for the boundary space $Z_\emptyset$ (Theorem 5.1). It shows that $L^2(Z_\emptyset)$ decomposes into a direct integral over the fundamental domain $i\mathfrak{a}^*_+$ with multiplicity spaces related to the Weyl group $W$.

3. The Constant Term Approximation

Theorem 6.2 establishes that for any tempered spherical representation, the matrix coefficient on $Z$ can be approximated by a "constant term" on $Z_\emptyset$ with an error bound of $O(e^{-\epsilon t})$. This is a rigorous realization of the heuristic that $Z$ looks like $Z_\emptyset$ at infinity.

4. Proof of Harish-Chandra's Theorem (Theorem 6.1)

The main result is a complete derivation of Harish-Chandra's Plancherel theorem for $L^2(Z)$:
$$L^2(Z) \cong \int_{i\mathfrak{a}^*_+}^{\oplus} \pi_\lambda \, \frac{d\lambda}{|c(\lambda)|^2}$$
where:

• $\pi_\lambda$ are the unitary principal series representations.
• $c(\lambda)$ is the Harish-Chandra $c$-function (specifically $c_{w_0}(\lambda)$).
• The measure is the Lebesgue measure weighted by the inverse square of the $c$-function.

The proof demonstrates that the Plancherel measure for $Z$ is induced from the measure on $Z_\emptyset$ via the relation $d\mu(\lambda) = |c(\lambda)|^{-2} d\lambda$.

5. Maass-Selberg Relations

As a byproduct of the proof, the authors recover the Maass-Selberg relations ($|c(\lambda)| = |c(w\lambda)|$ for all $w \in W$) naturally from the uniqueness of the Plancherel measure and the unitarity of the normalized intertwining operators.

4. Significance

• Modernization of Classical Theory: The paper successfully translates the monumental, historically difficult work of Harish-Chandra into the language of modern harmonic analysis on real spherical spaces. It shows that the "boundary degeneration" technique is a powerful, unifying framework.
• Conceptual Clarity: By separating the problem into the "easy" case of the boundary space $Z_\emptyset$ and the "matching" step, the authors clarify the geometric and analytic mechanisms driving the Plancherel formula.
• Foundation for Generalization: The methods used here are not specific to symmetric spaces but are part of a general theory for real spherical spaces ($G/H$). This paper serves as a pedagogical bridge, illustrating how the general theory works in the well-understood symmetric case before tackling more complex non-symmetric spherical spaces.
• Self-Containment: The paper provides a complete, step-by-step proof of the classification of tempered spherical representations and the Plancherel formula, making it a valuable reference for researchers entering the field of harmonic analysis on reductive groups.

In summary, the paper does not merely restate Harish-Chandra's theorem but re-derives it using a sophisticated, modern toolkit involving boundary degenerations, asymptotic expansions, and intertwining operators, thereby illuminating the structural reasons behind the Plancherel formula's specific form.