🔢 mathematics

Theta correspondence as a C*-correspondence

This paper surveys recent developments describing theta correspondence as a C*-correspondence, with a specific focus on elucidating the underlying mechanism in the case where one of the involved groups is compact.

Original authors: Mehmet Haluk Sengun

Published 2026-07-07

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Mehmet Haluk Sengun

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you have two different languages, spoken by two different groups of people (let's call them Group A and Group B). These groups are "dual" to each other, meaning they are deeply connected, like two sides of the same coin. In the world of advanced mathematics, there is a famous rule called the Theta Correspondence. It's a kind of translator that takes a specific pattern (a "representation") from Group A and translates it into a pattern for Group B.

For a long time, mathematicians knew this translation existed, but the process was messy and hard to understand, especially when the groups were complex.

This paper, written by Mehmet Haluk Şengün, proposes a new, cleaner way to understand this translation. The author suggests we should look at these groups not just as groups, but as C-algebras*.

The Big Analogy: The "Mathematical Factory"

To understand what a C*-algebra is in this context, imagine a factory.

The Group (A or B): This is the set of rules or the "workers" in the factory.
The C-algebra:* This is the entire factory building, including all the machines, the blueprints, and the raw materials. It's a structured way to store all the possible things the workers can do.
The Representation: This is a specific product coming off the assembly line. It's a concrete example of the workers doing their job.

The paper argues that instead of trying to translate the "products" (representations) directly from one factory to another, we should build a special bridge (called a C-correspondence*) between the two factory buildings.

The Bridge (The C*-Correspondence)

Think of the C-correspondence* as a conveyor belt system that connects Factory A to Factory B.

The Material: The conveyor belt carries "raw materials" (mathematical objects called Hilbert modules).
The Process: When you put a product from Factory A onto this belt, the machinery on the belt automatically processes it and delivers a corresponding product to Factory B.
The Magic: The author shows that this conveyor belt is actually the Theta Correspondence itself. It's not just a metaphor; the math proves that the "bridge" is the translation mechanism.

The "Compact" Case: The Easy Mode

The paper starts by focusing on a special, simpler scenario where one of the groups is compact.

Analogy: Imagine Group A is a small, finite club with a fixed number of members (like a small choir). Group B is a massive, infinite orchestra.
Why it's easier: Because the club is finite and well-behaved, the "factory" (C*-algebra) for the club is very neat. It breaks down into distinct, separate boxes, one for each member of the choir.
The Result: In this "Compact Case," the bridge works perfectly. If you take a song from the small choir, the bridge translates it into a song for the orchestra, and the new song is guaranteed to be "tuneable" (mathematically, it remains unitary, meaning it preserves the essential structure and doesn't break).

The "Li Method": Checking the Quality

The paper discusses a technique developed by a mathematician named Jian-Shu Li.

The Problem: Sometimes, when you translate a pattern from a complex group to another, the result might be "broken" or "noisy" (non-unitary).
The Solution: Li's method is like a quality control inspector. It sets up a specific test (an integral calculation) to check if the translation will work.
The Paper's Contribution: The author shows that Li's quality control test is actually the same as building the "bridge" (the C*-correspondence) described earlier. If the test passes, the bridge exists, and the translation is safe. This works especially well in two scenarios:
1. Stable Range: When one group is significantly "smaller" or simpler than the other.
2. Tempered Case: When the patterns being translated are "well-behaved" in a specific mathematical sense.

The "Equal Rank" Case: A Perfect Match

Finally, the paper looks at a special situation where the two groups are exactly the same size and shape (called Equal Rank).

Analogy: Imagine two identical factories.
The Result: In this case, the bridge isn't just a one-way conveyor belt; it's a two-way street that is perfectly symmetrical. In math terms, this is called a Morita Equivalence.
What this means: It proves that the two factories are essentially the same in terms of what they can produce. If you have a "perfect product" (a discrete series representation) in one factory, the bridge guarantees you will get a "perfect product" in the other. It also explains why the "size" (formal dimension) of these products stays the same during translation.

Summary

In simple terms, this paper says:

Don't just translate the songs; build a factory bridge. The Theta Correspondence is best understood as a structural bridge (a C*-correspondence) between two mathematical factories.
It works best when one side is simple. If one group is "compact" (finite-like), the bridge is easy to build and guarantees a perfect translation.
The bridge explains the rules. The famous "Li Method" for checking if a translation works is actually just the mathematical description of this bridge.
When the factories are twins, the bridge is a mirror. If the groups are the same size, the bridge proves they are mathematically identical in their capabilities, preserving all the important features of the patterns they exchange.

The paper doesn't talk about medical applications or future technology; it is purely about cleaning up the mathematical theory to make these deep connections between groups clearer and more transparent.

Technical Summary: Theta Correspondence as a $C^*$ -Correspondence

Problem Statement
The paper addresses the structural understanding of the local theta correspondence (LTC), a fundamental relationship between representations of two reductive groups $G$ and $G'$ forming a dual pair within a symplectic group. While the correspondence is well-established via Howe's duality (relating smooth or unitary duals), the paper seeks to reinterpret this correspondence through the lens of $C^*$ -algebra theory. Specifically, it aims to describe the theta lifting process as an induction functor arising from a $C^*$ -correspondence (a Hilbert $C^*$ -module equipped with an algebra action). This approach is particularly motivated by the desire to clarify the preservation of unitarity and the structural properties of the correspondence, such as Morita equivalence in the equal-rank case.

Methodology
The author employs the framework of $C^*$ -algebras, Hilbert $C^*$ -modules, and Rieffel induction. The methodology proceeds through the following steps:

Foundational Setup: The paper reviews the necessary background, including $C^*$ -algebras, Hilbert modules, and the specific case of group $C^*$ -algebras $C^*(G)$ and $C^*_r(G)$ . It establishes the convention that inner products are linear in the second variable.
The Compact Case as a Model: The analysis begins with the case where one group, $G$ $G$ , is compact. In this setting, the unitary dual $\hat{G}$ $\hat{G}$ is discrete, and $C^*(G)$ $C^{*} (G)$ decomposes into a direct sum of matrix algebras (via the Peter-Weyl theorem).
- The oscillator representation $\omega$ of $G' \times G$ on $L^2(U)$ is utilized.
- The author constructs a right Hilbert $C^*(G)$ -module $X$ from the oscillator representation. This is done either by assembling isotypical components or by completing the space of Schwartz functions $S(U)$ with respect to a $C^*(G)$ -valued inner product derived from matrix coefficients.
- The action of the second group $G'$ on $S(U)$ is shown to integrate to an action on the completed module $X$ , turning $X$ into a $(C^*(G'), C^*(G))$ -correspondence.
Generalization via Li's Method: The approach is extended to non-compact cases where Jian-Shu Li's method applies (specifically the "stable range" and "tempered" cases).
- Instead of $C^*(G)$ , the construction utilizes the reduced group $C^*$ -algebra $C^*_r(G)$ (or $C^*(G)$ in the stable range).
- The inner product is defined via an integral involving the oscillator representation and a representation $\pi$ of $G$ . The convergence and positivity of this integral are guaranteed by Li's results on the preservation of unitarity.
- This yields a "theta bimodule" $\Theta$ , a $(C^*(G'), C^*_r(G))$ -correspondence.
Induction Functor: The core mechanism is the Rieffel induction functor $\text{Ind}^A_B(X)$ . The paper demonstrates that inducing a representation $\pi$ of $G$ via the constructed correspondence $X$ (or $\Theta$ ) recovers the theta lift $\theta(\pi^*)$ .
Equal Rank Case: For equal-rank dual pairs (e.g., $(Sp_{2n}, O_{2n+1})$ ), the author shows that the theta bimodule $\Theta$ satisfies the compatibility condition for an imprimitivity bimodule. This establishes a Morita equivalence between specific ideals of the reduced group $C^*$ -algebras of $G$ and $G'$ .

Key Contributions and Results

Reformulation of Theta Correspondence: The paper provides a rigorous $C^*$ -algebraic formulation of the theta correspondence. It proves that for a compact group $G$ , the theta lift of an irreducible unitary representation $\pi$ is isomorphic to the induced representation $\text{Ind}^{C^*(G')}_{C^*(G)}(X)(\pi)$ , where $X$ is the Hilbert module constructed from the oscillator representation (Theorem 4).
Generalization to Unitary Preservation Cases: The methodology is generalized to the stable range and tempered cases (Theorem 5). By utilizing Li's results on the convergence and positivity of the relevant integrals, the paper constructs a theta bimodule $\Theta$ over $C^*_r(G)$ (or $C^*(G)$ ) such that the induction functor recovers the theta lift for tempered representations.
Morita Equivalence in Equal Rank: A significant result is the identification of the theta correspondence in the equal-rank case as a Morita equivalence (Theorem 6). The theta bimodule $\Theta$ is shown to be an imprimitivity bimodule, establishing a Morita equivalence between the ideals $C^*_\theta(G')$ and $C^*_\theta(G)$ cut out by the inner products.
Consequences of Morita Equivalence:
- Topological Isomorphism: The Morita equivalence implies that the subsets of the reduced duals entering the theta correspondence are homeomorphic.
- Preservation of Discrete Series: The paper explains why discrete series representations lift to discrete series representations in the equal-rank case. Since discrete series are isolated points in the reduced dual, and Morita equivalence preserves the topology of the spectrum (mapping clopen sets to clopen sets), the image of an isolated point remains isolated.
- Character Transfer: The Morita equivalence framework facilitates a transfer of characters. Theorem 7 presents a result (originally due to Gan) expressing the character of a theta lift in terms of the character of the original representation via the matrix coefficients in the Schwartz algebras.

Significance and Claims
The paper claims that interpreting theta correspondence as a $C^*$ -correspondence elucidates the underlying mechanisms of the correspondence, particularly in the "compact case" where technical obstructions are minimized. By framing the correspondence through induction theory:

It offers a unified perspective that recovers the theta correspondence from the oscillator representation without relying solely on the explicit construction of the lift.
It clarifies the preservation of unitarity by linking it to the positivity of the inner product on the Hilbert module, a condition satisfied in the cases covered by Li's method.
In the equal-rank case, it provides a structural explanation (via Morita equivalence) for the preservation of important representation-theoretic properties, such as the discrete series nature and formal dimensions of representations.

The author positions this work as a survey of recent developments (citing [23, 14]) that bridge representation theory and noncommutative geometry, making the constructions of theta correspondence more transparent through the language of $C^*$ -algebras.