A note on small theta lift

This paper utilizes a specific sesquilinear form to realize the small theta lift for even orthogonal-symplectic and unitary dual pairs over p-adic fields.

The Gist

The Big Picture: A Cosmic Matchmaking Service

Imagine the universe of mathematics is a giant, complex dance floor. On this floor, there are different groups of dancers (mathematical structures called groups) who want to pair up.

In this paper, the author is studying a specific type of "dance partnership" called a Dual Pair. Think of these as two distinct groups of dancers (let's call them Group A and Group B) who are linked by a hidden rule: when Group A does a specific move, Group B must do a corresponding move to keep the rhythm.

The paper focuses on a special mechanism called the Theta Lift. You can think of this as a "translator" or a "matchmaking service."

• The Input: You have a specific dancer from Group A (let's call him π).
• The Process: The Theta Lift takes π and tries to find his perfect dance partner in Group B.
• The Output: It produces a new dancer in Group B, which we call the Theta Lift of π.

The author is specifically interested in the "Small Theta Lift." In the world of these dances, there are two versions of the partner:

1. The Big Theta Lift: This is the "full potential" partner. It might be a bit messy, containing extra moves that aren't strictly necessary. It's like a raw, unedited video of the dance.
2. The Small Theta Lift: This is the "refined" partner. It's the purest, most essential version of the dance, stripped of all the extra noise. It's the "highlight reel."

The Problem: How Do We Find the Pure Partner?

For a long time, mathematicians knew that this "Small Theta Lift" existed and that it was a unique, perfect partner. However, finding a direct, simple way to construct it was tricky. Usually, you had to build the "Big" version first and then surgically remove the messy parts to get the "Small" version. It was like trying to sculpt a statue by chipping away at a giant block of stone, hoping you didn't break the final shape.

The Author's Goal: Jingsong Chai wanted to find a more direct way to build the "Small Theta Lift" without having to build the "Big" one first and then cut it down.

The Solution: The "Magic Filter" (Sesquilinear Form)

Chai introduces a clever tool called a sesquilinear form. Let's use an analogy to explain this.

Imagine you have a giant bucket of water mixed with sand, rocks, and gold dust.

• The Water is the "Big Theta Lift" (the raw material).
• The Gold Dust is the "Small Theta Lift" (the valuable, pure thing you want).
• The Sand and Rocks are the "Radical" (the junk you want to get rid of).

Usually, to get the gold, you have to filter the whole bucket, which is hard.

Chai's method is like having a Magic Filter (the sesquilinear form).

1. He takes the raw material (the Big Theta Lift).
2. He runs it through his Magic Filter.
3. The filter is designed so that it automatically separates the "Gold" from the "Junk" in one single step.
4. The result that comes out the other side is already the pure "Small Theta Lift."

How the Proof Works (The "See-Saw" Trick)

To prove that his Magic Filter actually works, Chai uses a mathematical trick called a See-Saw Diagram.

Imagine a playground see-saw:

• On one side, you have the "Big Theta Lift" of Group A.
• On the other side, you have the "Big Theta Lift" of Group B.
• The pivot point is a special relationship between the two groups.

Chai argues: "If I use my Magic Filter on the left side, and the result is a perfect, pure dance partner, then the relationship on the see-saw forces the right side to also be a perfect, pure dance partner."

He uses a famous mathematical result (by someone named Droschl) which says that for these specific types of dance pairs (Orthogonal-Symplectic and Unitary), there is only one way to make this connection work perfectly. Because there is only one way, and his Magic Filter produces a valid connection, it must be the correct one.

Why Does This Matter?

1. Simplicity: It gives mathematicians a new, cleaner recipe for creating these important mathematical objects. Instead of a long, complicated process, they can now use this "sesquilinear form" shortcut.
2. Verification: It confirms a long-standing guess (conjecture) made by a mathematician named Li. Li guessed that this "Magic Filter" method would always produce a valid, stable (unitary) representation. Chai's paper proves that yes, it works, and it works for a very broad range of cases.
3. Universality: While the paper focuses on specific types of groups (even orthogonal and unitary), the method suggests that this "Magic Filter" approach could work for many other types of mathematical groups in the future, opening the door for more discoveries.

Summary in One Sentence

Jingsong Chai discovered a direct "magic filter" that instantly turns a complex, messy mathematical object into its purest, most essential form, proving that this shortcut works perfectly for a major class of mathematical puzzles.

Technical Summary

1. Problem Statement

The paper addresses the realization of the small theta lift (denoted $\theta$) for irreducible smooth representations within the context of the local theta correspondence over $p$-adic fields.

Specifically, the author focuses on:

• Dual Pairs: Even orthogonal-symplectic and unitary dual pairs $(G', G)$ inside a symplectic group $Sp(F)$.
• The Goal: To construct the small theta lift $\theta(\pi)$ of an irreducible smooth representation $\pi$ of $G'$ using a specific sesquilinear form (or linear functional) $\ell$, rather than relying solely on the abstract definition of the maximal semisimple quotient of the big theta lift.
• Context: This work connects to a conjecture by J.-S. Li regarding the positivity and unitarity of theta lifts. The paper aims to extend parts of Li's conjecture (specifically regarding irreducibility and the correspondence) to general irreducible smooth representations by providing an explicit realization of the lift.

2. Methodology

The author employs a combination of representation theory tools, specifically utilizing see-saw dual pairs, induced representations, and multiplicity one theorems.

A. Setup and Definitions

• Dual Pair: Let $(G'(W), G(V))$ be a dual pair where $W$ and $V$ are vector spaces over a field $E$ (either $F$ or a quadratic extension) with non-degenerate sesquilinear forms of opposite signs.
• Weil Representation: The Weil representation $\omega_{V,W,\chi,\psi}$ of the metaplectic cover is considered.
• Big vs. Small Theta Lift:
  • The Big Theta Lift $\Theta(\pi)$ is the maximal $\pi$-isotypic quotient of $\omega$.
  • The Small Theta Lift $\theta(\pi)$ is the maximal semisimple quotient of $\Theta(\pi)$.
• The Construction: The author defines a non-zero linear functional $\ell$ on the tensor product space involving the Weil representation and the representation $\pi$ (and its contragredient).
  $$\ell \in \text{Hom}_{G' \times G' \times G}(\omega \otimes \bar{\omega} \otimes \pi \otimes \pi^\vee, \mathbb{C})$$
  The radical $R$ of this form is defined as the subspace where $\ell$ vanishes. The quotient space $H_{\ell, \psi}(\pi) := (\omega \otimes \pi^\vee) / R$ is constructed.

B. Theoretical Tools

1. See-Saw Identity: The proof utilizes a see-saw diagram involving $G'(W) \times G'(W)$ and $G(V) \times G(V)$. This relates the Hom-space of theta lifts to the Hom-space of the tensor product of representations on the dual side.
2. Rallis' Map: The Weil representation is realized on the space of Schwartz functions $S(V \otimes W^\nabla)$. The author uses Rallis' result which maps this representation to a normalized induced representation $I_P(s, \chi)$.
3. Multiplicity One Theorem: A crucial component is Proposition 2.3 (by Droschl), which states that for irreducible smooth representations, the dimension of the Hom-space between the induced representation and the tensor product $\pi \otimes \pi^\vee$ is exactly 1.
   $$\dim_{\mathbb{C}} \text{Hom}_{G' \times G'}(I_P(s, \chi), \pi \otimes \pi^\vee \chi) = 1$$

3. Key Contributions and Results

Main Theorem (Theorem 1.1 / Theorem 2.4)

The central result of the paper is the isomorphism:
$$H_{\ell, \psi}(\pi) \cong \theta_{V,W,\chi,\psi}(\pi)$$
This states that the quotient space constructed by modding out the radical of the sesquilinear form $\ell$ is exactly the small theta lift of $\pi$.

Proof Strategy (Contradiction via Uniqueness)

The proof proceeds by contradiction:

1. Assume $H_{\ell, \psi}(\pi)$ is not irreducible. This implies the radical $R$ is strictly smaller than the radical $R_1$ required to define the irreducible quotient $\theta(\pi)$.
2. Construct a non-zero linear form on the product of the theta lifts using the see-saw identity and Corollary 18.4 from [GKT].
3. This form corresponds to a non-zero element $\ell'$ in the same Hom-space as the original $\ell$.
4. By the Multiplicity One Theorem (Droschl), the space of such functionals is 1-dimensional. Therefore, $\ell$ and $\ell'$ must be scalar multiples of each other ($\ell = \lambda \ell'$).
5. However, the construction of $\ell'$ implies its radical is $R_1$ (the larger radical), while $\ell$ has radical $R$. Since $R \subsetneq R_1$, this creates a contradiction unless $R = R_1$.
6. Conclusion: $H_{\ell, \psi}(\pi)$ must be irreducible and isomorphic to $\theta(\pi)$.

4. Significance and Implications

• Extension of Li's Conjecture: The paper provides a concrete realization of the small theta lift that validates parts (ii) and (iii) of Li's conjecture for general irreducible smooth representations. It confirms that the lift defined via the sesquilinear form is indeed the irreducible unitary representation predicted by Howe duality.
• Explicit Realization: Instead of defining the lift abstractly as a quotient, the paper provides a method to construct it explicitly using a specific linear functional $\ell$. This is valuable for computational and structural analysis of theta lifts.
• Positivity and Unitarity: By establishing that $H_{\ell, \psi}(\pi)$ is the small theta lift, the work supports the broader understanding that these lifts preserve unitarity (a key aspect of Li's conjecture).
• Limitations and Future Work: The author notes that the proof currently relies on Droschl's result, which is established only for even orthogonal-symplectic and unitary dual pairs. The methodology is general, but the result awaits the extension of Droschl's multiplicity one theorem to other dual pairs (e.g., odd orthogonal groups).

Summary

Jingsong Chai's note bridges the gap between the abstract definition of the small theta lift and a concrete realization via sesquilinear forms. By leveraging the see-saw identity and a multiplicity one theorem, the author proves that the quotient of the tensor product of the Weil representation and a representation $\pi$ (modulo the radical of a specific functional) is precisely the irreducible small theta lift. This result strengthens the theoretical foundation of the local theta correspondence and offers a new perspective on the unitarity of these representations.