🔢 mathematics

Period integrals of distinguished polarised strongly tempered hyperspherical varieties

This paper presents new period integrals for distinguished polarised strongly tempered hyperspherical varieties and analyzes the L-functions they represent as examples of Relative Langlands Duality, building upon the classification of such varieties by Mao, Wan, and Zhang.

Original authors: Colin Jia Sheng Loh

Published 2026-03-26

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Colin Jia Sheng Loh

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 the universe of mathematics as a vast, dark ocean. For centuries, mathematicians have been trying to map the hidden currents and islands within it. One of the most important tools they use is something called an L-function. Think of an L-function as a "fingerprint" or a "DNA sequence" for a specific type of mathematical object (like a complex wave pattern). If you can calculate this fingerprint, you can predict how the object behaves, just like knowing a person's DNA tells you about their traits.

However, calculating these fingerprints is incredibly hard. Historically, mathematicians had to build a unique, custom-made machine (a specific integral formula) for every single new fingerprint they wanted to find. It was like trying to open a different lock with a different, hand-carved key for every door.

The New Map: Hyperspherical Varieties

In recent years, a new theory called Relative Langlands Duality (think of it as a new "Grand Unified Theory" of math) was proposed. It suggests that the ocean isn't just a chaotic mess; it has a hidden symmetry.

The authors of this paper, Colin Loh, are working with a specific type of mathematical shape called a Hyperspherical Variety.

The Metaphor: Imagine a hyperspherical variety as a complex, multi-dimensional garden.
Some gardens are "strongly tempered" (they have very specific, stable weather patterns).
Some are "distinguished" and "polarised" (they have a special, unique layout that makes them stand out).

The paper focuses on a list of these special gardens that were recently discovered by other mathematicians (Mao, Wan, and Zhang). The big question was: Can we build a machine to calculate the fingerprints (L-functions) for these specific gardens?

The Mission: Building the Keys

Colin Loh's job in this paper is to design the keys (period integrals) that unlock the fingerprints for these specific gardens.

The Problem: For a long time, we didn't know how to build the keys for these specific "strongly tempered" gardens.
The Solution: Loh constructs a set of new, uniform "keys." He doesn't just make one; he makes a whole toolkit that works for a whole family of these gardens.
The Magic Trick (Unfolding): The paper describes a process called "unfolding." Imagine you have a complex, folded origami crane (the period integral). Loh shows you exactly how to unfold it step-by-step until it reveals a simple, recognizable bird (the "Whittaker model").
- Once unfolded, the complex integral transforms into a clean, standard formula.
- This proves that the integral actually is the fingerprint (the L-function) we were looking for.

The "Mirror" Connection

The most exciting part of this work is the Duality.

Imagine you have a garden (let's call it Garden A).
The theory says there is a "Mirror Garden" (Garden A*) on the other side of the ocean.
The paper shows that the "weather patterns" (spectral data) of Garden A are exactly the same as the "layout" (period data) of Garden A*.
By building the key for Garden A, Loh is essentially decoding the secret language of its Mirror Garden.

Why Does This Matter?

Think of the Rankin-Selberg integrals (the old keys) as a collection of scattered, hand-written notes. They worked, but they were messy and specific to one problem.

This paper provides a systematic instruction manual.

It says: "If you have a garden with this specific shape (distinguished, polarised, strongly tempered), here is the exact recipe to build the key."
It connects these new keys to the "DNA" (L-functions) of complex mathematical objects, specifically those involving Spin groups (which are related to the geometry of spheres and rotations in higher dimensions) and General Linear groups (which are like the basic building blocks of matrices).

In a Nutshell

Colin Loh has taken a list of mysterious, newly discovered mathematical shapes (hyperspherical varieties) and shown us exactly how to measure them. He built a universal tool that turns a complicated, folded-up calculation into a simple, recognizable answer. This confirms a deep, beautiful symmetry in the universe of mathematics, proving that these new shapes are not just random curiosities, but essential pieces of the grand puzzle known as the Langlands Program.

The Analogy Summary:

The Ocean: The world of number theory and automorphic forms.
The Gardens: Hyperspherical varieties (complex mathematical shapes).
The Fingerprints: L-functions (the data we want to extract).
The Keys: Period integrals (the formulas used to extract the data).
The Unfolding: The process of simplifying the formula to prove it works.
The Mirror: The duality between the shape of the garden and the data it produces.

This paper is a significant step forward because it moves from "guessing and checking" to "systematic construction," giving mathematicians a reliable way to explore these deep connections.

1. Problem Statement and Context

The paper addresses the construction of global period integrals that represent automorphic $L$ -functions within the framework of the Relative Langlands Program (proposed by Ben-Zvi, Sakellaridis, and Venkatesh).

The Gap: While the Relative Langlands Program provides a conceptual duality between $G$ -hyperspherical varieties and their Langlands duals ( $G^\vee$ ), explicitly constructing the period integrals that unfold to specific $L$ -functions has traditionally relied on case-by-case ingenuity.
The Specific Challenge: Recent work by Mao, Wan, and Zhang (MWZ) provided a complete list of strongly tempered hyperspherical varieties. However, for the remaining distinguished polarised (DP) strongly tempered varieties (specifically those dual to symplectic vector space types), explicit period integral representations for the associated $L$ -functions were not fully established or unified.
Goal: The author aims to construct new, uniform period integrals for these specific varieties, prove their Eulerian nature (unfolding to the Whittaker model), and demonstrate that they represent the $L$ -functions associated with multiplicity-free representations of the dual group $G^\vee$ .

2. Methodology

The paper employs a systematic approach combining algebraic geometry, representation theory, and harmonic analysis:

Hyperspherical Variety Framework:
- Utilizes the BZSV quadruple $D = (G, H, \rho_H, \iota)$ to define the geometric setting.
- Focuses on Distinguished Polarised (DP) varieties (where $\rho_H = \tau \oplus \tau^\vee$ ) that are Strongly Tempered (ST) (meaning their duals are of symplectic vector space type).
- Relies on the classification of coisotropic symplectic representations by Knop and Losev to identify the specific cases to study (listed in Appendix A).
Construction of Period Integrals:
- Defines global period integrals $P_D(\phi, s; \Phi)$ $P_{D} (ϕ, s; Φ)$ involving:
  - Cuspidal automorphic forms $\phi$ on $G(\mathbb{A})$ .
  - Degenerate Whittaker coefficients (Bessel or Fourier-Jacobi coefficients) attached to specific nilpotent orbits.
  - Theta series derived from the Weil representation on a symplectic space.
  - Eisenstein series (Mirabolic or Siegel) to introduce the complex parameter $s$ .
- The integrals are constructed for various group pairs, including $GSpin \times GL$ , $GSp \times GL$ , $GSO$, and "glued" products of three groups (e.g., $GL \times GL \times GSpin$ ).
Unfolding Process (Global):
- Root Exchanges: The author performs root exchanges on the degenerate Whittaker coefficients (Bessel and Fourier-Jacobi) to simplify the integration domain.
- Double Coset Decomposition: Utilizes double coset decompositions (e.g., $P \backslash G / (H_1 \otimes H_2)$ ) to analyze the orbits of group actions on matrix spaces.
- Unfolding to Whittaker Model: By applying the cuspidality of the automorphic forms and analyzing the orbits of the theta series (using Gelbart-Piatetski-Shapiro arguments), the author shows that all non-generic orbits vanish. The integral "unfolds" to a product of local Whittaker functions, proving the integral is Eulerian.
Local Unramified Computation:
- Evaluates the local integrals at unramified places using the Casselman-Shalika and Shintani formulas for unramified Whittaker functions.
- Uses combinatorial identities involving characters of finite-dimensional representations (Schur polynomials) to sum the resulting series.
- Demonstrates that the local integrals match the local factors of the target $L$ -functions.

3. Key Contributions

Uniform Construction: Provides a unified construction of period integrals for a wide class of distinguished polarised strongly tempered hyperspherical varieties, covering cases not previously covered by standard Rankin-Selberg methods.
New Integral Representations: Introduces integrals involving Bessel coefficients and Fourier-Jacobi coefficients coupled with theta series and Eisenstein series. These are distinct from previously studied integrals due to different integration data (e.g., different induced data for Eisenstein series, use of Bessel-Fourier vs. Fourier-Jacobi coefficients).
Verification of Relative Langlands Duality: Confirms the conjecture that the period invariant of a hyperspherical variety $M$ corresponds to the spectral invariant (the $L$ -function) of its dual $M^\vee$ . Specifically, the constructed integrals represent $L(s, \pi, \tau)$ where $(G^\vee, \tau)$ are multiplicity-free representations listed in Table 1.
Classification and Gluing: Extends the theory to "glued" varieties (combinations of hyperspherical varieties), constructing period integrals for products like $GL_m \times GL_2 \times GSpin_{2n+1}$ .

4. Main Results

Theorem 1.1 is the central result, stating that for a strongly tempered BZSV quadruple $D$ dual to a distinguished polarised quadruple $D^\vee = (G^\vee, G^\vee, \tau \oplus \tau^\vee, 1)$ :

Convergence and Unfolding: The period integral $P_D(\phi, s; \Phi)$ converges absolutely away from the poles of the Eisenstein series. For sufficiently large real parts of $s$ , it unfolds to the Whittaker model.
Eulerian Representation: The integral represents the $L$ -function $L^S(s, \pi, \tau)$ :
$P_D(\phi, s; \Phi) = L^S(s, \pi, \tau) \prod_{\nu \in S} Z(W_\nu, s; \Phi_\nu)$
where $\pi$ is an irreducible cuspidal globally generic representation of $G(\mathbb{A})$ .

Specific Cases Covered (Table 1):
The paper covers $L$ -functions for representations $\tau$ of the dual group $G^\vee$ , including:

$GSp_{2a} \times GL_b$ with $\tau = \text{std} \otimes \text{std}$ .
$GSpin_{10}$ with $\tau = \text{Spin}$ .
$Spin_8$ with $\tau = \text{std} \oplus \text{Spin}$ .
$GL_n, GSp_{2n}$ with $\tau = \text{std} \oplus \text{std}$ .
Products involving $G_1 \times GL_2 \times G_2$ with tensor product representations.

Relation to Previous Work:

The paper shows that the constructed $GSpin \times GL$ integrals are equivalent to those proposed by Asgari, Cogdell, and Shahidi (ACS) and Bump.
It demonstrates that the $GSO_{10}$ period integral is equivalent to the Bessel-type integral constructed by Ginzburg.

5. Significance

Systematic Framework: This work moves the study of Rankin-Selberg integrals from ad-hoc constructions to a systematic framework based on hyperspherical varieties. It validates the "recipe" proposed by BZSV for generating integral representations.
Completeness: By addressing the "remaining" strongly tempered varieties, it fills a gap in the classification of integral representations for $L$ -functions associated with multiplicity-free representations.
New Tools: The introduction of "glued" period integrals and the specific handling of degenerate Whittaker coefficients (Bessel/Fourier-Jacobi) in this context provides new tools for studying $L$ -functions of higher-rank groups and mixed products (e.g., $GL \times GSpin$ ).
Foundation for Future Work: The explicit calculation of local unramified integrals and the proof of the unfolding process provide a template for analyzing other cases in the Relative Langlands Program, particularly those involving non-trivial symplectic representations.

In summary, Colin Jia Sheng Loh successfully bridges the gap between the geometric classification of hyperspherical varieties and the analytic theory of automorphic $L$ -functions, providing explicit, uniform integral representations for a broad class of previously unaddressed cases.