🔢 mathematics

Ginzburg's conjecture on the unramified computation of Eulerian integrals

This paper proves D. Ginzburg's conjecture regarding the unramified computation of a specific Eulerian global integral associated with a cuspidal automorphic representation of $\mathrm{GL}_{2r}$ and a generalized Speh representation, while also analyzing an analogous integral involving degenerate Eisenstein series and calculating its unramified local factors.

Original authors: Colin Jia Sheng Loh

Published 2026-07-31

📖 6 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 a vast, invisible library where every book is a secret code describing the hidden rhythms of numbers. This is the world of number theory, a branch of mathematics that has fascinated thinkers for centuries because it seeks to find order in the seemingly chaotic dance of integers. In this library, there are special "recipes" called Eulerian integrals. Think of these not as cooking instructions for a meal, but as magical machines that take in complex mathematical shapes (called automorphic representations) and spit out a single, precious number: an L-function. These L-functions are like the DNA of numbers; they hold the genetic code that tells us how prime numbers are distributed and how different mathematical worlds connect. For a long time, mathematicians have been trying to figure out exactly what these machines produce when they are fed specific ingredients. The challenge is that these machines are incredibly complex, often requiring calculations that seem impossible to untangle. The goal is to find a "local" recipe—a simple, step-by-step instruction for a single part of the machine—that, when multiplied together, reveals the grand, global pattern.

Enter Colin Jia Sheng Loh, a mathematician who has stepped into this library to solve a specific, stubborn puzzle left by a colleague named David Ginzburg. Ginzburg had built a new, intricate machine involving two types of mathematical ingredients: a "cuspidal" representation (a very tight, self-contained knot of numbers) and a "generalised Speh" representation (a more complex, layered structure). Ginzburg proposed a specific formula for what this machine should output, a conjecture that worked perfectly for a small, simple version of the machine but remained unproven for larger, more complicated versions. Loh's paper is the key that finally unlocks the door for all sizes of this machine. He proves that Ginzburg's recipe is correct for every possible size, showing exactly how the machine breaks down into its simplest parts. Furthermore, Loh didn't just stop at the original machine; he built a second, slightly different machine using "degenerate Eisenstein series" (think of these as a different kind of flavoring agent) and calculated its output as well. By doing so, he confirms that these complex mathematical constructions are not just abstract puzzles but follow a predictable, beautiful logic that can be written down in a precise formula.

The Story of the Paper

In the world of advanced mathematics, specifically in a field called the theory of automorphic forms, researchers often use "global integrals" to study the deep connections between numbers. You can think of a global integral as a giant, multi-stage factory. Raw materials (mathematical functions) go in at one end, and a finished product (an L-function, which encodes deep number-theoretic secrets) comes out the other. The problem is that these factories are often so huge and complex that it's impossible to see exactly how the raw materials are transformed into the final product.

To solve this, mathematicians use a technique called "unfolding." Imagine taking a folded piece of paper with a complex drawing on it and carefully unfolding it until it lies flat. Suddenly, the hidden lines become visible, and you can see the simple rules that created the drawing. In this paper, Colin Jia Sheng Loh performs this "unfolding" on two specific types of factories. The first factory was proposed by David Ginzburg, and the second is a variation involving degenerate Eisenstein series.

The Main Discovery
Loh proves a conjecture made by Ginzburg regarding the first factory. Ginzburg had guessed that for a specific setup involving a cuspidal automorphic representation of $GL_{2r}$ (a group of matrices of size $2r \times 2r$ ) and a generalised Speh representation, the factory's output could be calculated by looking at just one small, local part of the process. This local part is called an "unramified local integral."

Loh shows that this guess is true for all $r \ge 2$ . He demonstrates that the complex global integral "unfolds" perfectly into a product of local integrals. More importantly, he calculates exactly what these local integrals evaluate to. The result is a specific formula involving $L$ -functions and zeta functions. Specifically, the unramified local integral evaluates to:
$\frac{L(\pi_{2r} \times \tau_2, rs_1 - \frac{r-1}{2}) L(\pi_{2r}, \wedge^2, s_2)}{\zeta_F(rs_2) \zeta_F(2rs_1 + (r-1)s_2 - r + 1) \prod_{i=1}^{r-1} \zeta_F(2rs_1 - s_2 - i + 1)}$
This formula acts as a precise map, telling mathematicians exactly how the ingredients combine to produce the final number.

The Second Machine
Loh also investigates a second, related factory. This one involves two degenerate Eisenstein series instead of the generalised Speh representation. He proves that this machine also unfolds into a clean, Eulerian product (a product of local factors). He calculates the local factors for this second machine as well, finding that they evaluate to a slightly different but equally precise formula:
$\frac{L(\pi_{2r}, r(s_1 + s - 1) + \frac{1}{2}) L(\pi_{2r}, r(s_1 - s) + \frac{1}{2}) L(\pi_{2r}, \wedge^2, s_2)}{\zeta_F(rs_2) \zeta_F(2rs_1 + (r-1)s_2 - r + 1) \prod_{i=1}^{r-1} \zeta_F(2rs_1 - s_2 - i + 1) \prod_{j=1}^{r} \zeta_F(2rs - r + j)}$

How They Did It
To reach these conclusions, Loh had to break the problem down into manageable pieces. He used a technique called "reduction to rank-one computations." Imagine trying to understand a massive, multi-story building. Instead of looking at the whole thing at once, you look at a single brick and a single beam to understand how they fit together. Loh reduced the complex integrals to simpler, one-dimensional problems that he could solve using known mathematical tools.

A crucial part of his proof involved a "Cauchy-Littlewood type identity." In the world of algebra, there are special polynomials (like Schur polynomials) that act like building blocks for symmetry. Loh discovered a new way to combine these building blocks, creating a mathematical identity that allowed him to sum up an infinite series of terms into a neat, closed-form expression. This was the "magic trick" that allowed the complex calculations to collapse into the simple, elegant formulas mentioned above.

Why It Matters
This paper is a significant step forward because it confirms that the "dimension equation" proposed by Ginzburg—a rule of thumb for classifying these integrals—works in this specific, complex case. By proving the conjecture for all $r \ge 2$ , Loh removes a major uncertainty in the field. He has shown that these intricate mathematical machines are not chaotic; they follow a strict, predictable logic that can be written down in a formula. This gives mathematicians a reliable tool to compute these values, which in turn helps them understand the deeper structure of numbers and the relationships between different mathematical objects. The paper doesn't just suggest this might be true; it provides a rigorous, step-by-step proof that leaves no room for doubt.

Technical Summary: Ginzburg's Conjecture on the Unramified Computation of Eulerian Integrals

Problem Statement
This paper addresses a conjecture proposed by D. Ginzburg regarding the precise local $L$ -factors represented by specific unramified local components of Eulerian global integrals. In his foundational work [G06a], Ginzburg introduced a "dimension equation" to classify Eulerian global integrals and proposed a specific integral defined on $GL_{2r}$ involving a cuspidal automorphic representation $\pi_{2r}$ and a generalized Speh representation $\Delta(\tau_2, r)$ attached to a cuspidal representation $\tau_2$ of $GL_2$ . Ginzburg conjectured that for $r \ge 2$ , the unramified local computation of this integral yields a specific product of local $L$ -functions and zeta functions. While verified for the base case $r=2$ , the general case for $r \ge 2$ remained open. Additionally, Ginzburg speculated on the $L$ -function representation of a related integral involving two degenerate Eisenstein series.

Methodology
The paper employs the method of "unfolding" global integrals followed by explicit unramified local computations.

Unfolding of Global Integrals:
The author first establishes the Eulerian nature of two global integrals:
- $I_r(\phi_{\pi_{2r}}, \theta_{\tau_2}, s_1, s_2)$ : Involving a cusp form $\phi_{\pi_{2r}}$ , a generalized Speh form $\theta_{\tau_2}$ , and an Eisenstein series $E(g, s_1, s_2)$ .
- $I_r(\phi_{\pi_{2r}}, s, s_1, s_2)$ : Involving $\phi_{\pi_{2r}}$ and two Eisenstein series, $E(g, s)$ and $E(g, s_1, s_2)$ .
By unfolding the Eisenstein series and utilizing the Shalika-Piatetski-Shapiro expansion for the cusp form, the author reduces these global integrals to integrals over $N_{2r}(A) \backslash GL_{2r}(A)$ . This process identifies specific Fourier coefficients (Whittaker coefficients) associated with the representations involved. The proof relies on establishing the vanishing of certain non-generic Fourier coefficients, ensuring the integrals unfold to a product of Whittaker functions and induced representations.
Reduction to Rank-One Computations:
For the unramified local computation, the author reduces the problem to rank-one calculations. By analyzing the structure of the generalized Speh representation $\Delta(\tau_2, r)$ and the induced representations defining the Eisenstein series, the author derives product formulas for the unramified Whittaker functions $W^\circ_{\Delta(\tau_2, r)}$ and $W^\circ_{(r,r);2r}$ in terms of rank-one Whittaker functions of $GL_2$ . This involves decomposing the integration domains and utilizing the quasi-invariance properties of the induced representations.
Cauchy-Littlewood Type Identity:
The core of the unramified computation involves evaluating a complex sum over partitions. The author proves a new Cauchy-Littlewood type identity involving Schur polynomials and skew-Schur polynomials. This identity allows the summation of the local integrals, which are expressed as sums over non-negative integers weighted by characters of $SL_{2r}(\mathbb{C})$ and $SL_2(\mathbb{C})$ , to be collapsed into a closed-form expression involving $L$ -functions and zeta functions.

Key Contributions and Results
The paper provides the following main results:

Proof of Ginzburg's Conjecture: The author proves Conjecture 1.1 for all $r \ge 2$ . It is shown that the global integral $I_r(\phi_{\pi_{2r}}, \theta_{\tau_2}, s_1, s_2)$ is Eulerian and that its unramified local factor evaluates to:
$\frac{L(\pi_{2r} \times \tau_2, rs_1 - \frac{r-1}{2}) L(\pi_{2r}, \wedge^2, s_2) \zeta_F(rs_2) \zeta_F(2rs_1 + (r-1)s_2 - r + 1)}{\prod_{i=1}^{r-1} \zeta_F(2rs_1 - s_2 - i + 1)}$
This confirms the precise local $L$ -factors predicted by Ginzburg.
Verification of Ginzburg's Speculation: The paper analyzes the second global integral $I_r(\phi_{\pi_{2r}}, s, s_1, s_2)$ involving two degenerate Eisenstein series. It proves this integral is Eulerian and computes its unramified local factor, verifying Ginzburg's speculation that it represents a product of $L$ -functions of the form $L(\pi_{2r}, s)L(\pi_{2r}, s_1)L(\pi_{2r}, \wedge^2, s_2)$ (with specific shifts in parameters). The computed local factor is:
$\frac{L(\pi_{2r}, r(s_1+s-1) + \frac{1}{2}) L(\pi_{2r}, r(s_1-s) + \frac{1}{2}) L(\pi_{2r}, \wedge^2, s_2) \zeta_F(rs_2) \zeta_F(2rs_1 + (r-1)s_2 - r + 1)}{\prod_{i=1}^{r-1} \zeta_F(2rs_1 - s_2 - i + 1) \prod_{j=1}^{r} \zeta_F(2rs - r + j)}$
New Combinatorial Identity: The paper establishes a specific Cauchy-Littlewood type identity (Lemma 3.4) involving characters of $SL_{2r}(\mathbb{C})$ and $SL_2(\mathbb{C})$ , which serves as the critical algebraic tool for evaluating the unramified integrals.

Significance
The paper claims significance primarily in the rigorous verification of Ginzburg's dimension equation conjecture for the general case $r \ge 2$ . By proving the conjecture, the work solidifies the classification of Eulerian global integrals and confirms the specific $L$ -function representations associated with integrals involving generalized Speh representations and degenerate Eisenstein series. The methodology, particularly the reduction to rank-one computations combined with the derived combinatorial identity, provides a concrete framework for computing unramified local factors in similar higher-rank settings. The results extend the known cases from $r=2$ to arbitrary rank, contributing to the systematic understanding of automorphic $L$ -functions via integral representations.

The Story of the Paper

More like this