🔢 mathematics

On Periods and $L$ -functions for $\mathbf{GL}_4 \times \mathbf{GL}_2$

This paper establishes new integral representations for specific $L$ -functions on $\mathbf{GL}_4 \times \mathbf{GL}_2$ and $\mathbf{GU}_{2,2} \times \mathbf{GL}_2$ , using them to prove relations between central $L$ -values and generalized periods, thereby providing new evidence for the Wan-Zhang and Gan-Gross-Prasad conjectures.

Original authors: Antonio Cauchi, Armando Gutierrez Terradillos

Published 2026-05-19

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Antonio Cauchi, Armando Gutierrez Terradillos

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 are trying to solve a massive, cosmic puzzle where the pieces are hidden numbers called L-functions. These numbers are like the "DNA" of complex mathematical objects called automorphic forms. They hold secrets about prime numbers and the deep structure of the universe, but they are incredibly hard to calculate directly.

On the other side of the puzzle, you have Periods. Think of these as physical measurements you can take by "integrating" (summing up) these mathematical objects over specific shapes.

The big question in modern mathematics is: Can we prove that a specific L-function is non-zero (meaning it exists and matters) just by showing that a specific Period measurement is non-zero?

This paper, by Antonio Cauchi and Armando Gutierrez Terradillos, builds a new bridge between these two worlds for a specific, very complex setup involving groups called GL4 and GL2. Here is how they did it, using simple analogies:

1. The New "Recipe" (The Integral Representation)

The authors start by cooking up a new mathematical "recipe" (an integral representation).

The Ingredients: They take a cusp form (a special, wavy mathematical function) from the GL4 group and another from the GL2 group.
The Cooking Pot: They mix these together with a special tool called an Eisenstein series (which acts like a seasoning that adds structure).
The Result: When they cook this mixture, the flavor that comes out is exactly the L-function they are interested in. This is a crucial first step because it turns an abstract number into something they can physically manipulate and measure.

2. The Two Main Discoveries

The paper focuses on two different ways of measuring these objects, which they call the Shalika Period and the Linear Period.

Discovery A: The Shalika Connection (The "Special Shape" Test)

The Analogy: Imagine you have a complex 3D sculpture (the automorphic form). You want to know if it has a hidden "core" value. The authors found a way to project this sculpture onto a specific, twisted shadow called the Generalized Shalika Period.
The Claim: They proved that if this shadow (the period) is visible (non-zero), then the hidden core value (the central L-value) is definitely not zero.
The Magic Trick: They used a mathematical "mirror" called the Siegel-Weil formula. This formula allows them to swap the complex "cooking pot" for a simpler "shadow projector." By looking at the shadow, they can deduce the properties of the original object.

Discovery B: The Linear Connection (The "Double-Check" Test)

The Analogy: This is harder. They wanted to check a different kind of shadow, the Linear Period. However, this shadow is tricky because it only appears if the original sculpture has a very specific internal symmetry.
The Problem: Sometimes the shadow is zero even if the core value is non-zero, simply because the sculpture isn't the "right kind."
The Solution: They used a powerful tool called Theta Correspondence. Think of this as a "translation service" between two different mathematical languages. They translated their problem into a language where the symmetry is guaranteed.
The Claim: If the sculpture participates in this "translation" (the theta correspondence), then the non-zero Linear Period proves the central L-value is non-zero. They essentially upgraded their recipe to a "two-variable" version that tracks both the L-value and this symmetry simultaneously.

3. The "Unramified" Case (The Perfect Puzzle)

The paper gets even more specific when the mathematical objects are "unramified everywhere."

The Analogy: Imagine a puzzle where every single piece is perfectly smooth and fits together without any rough edges or missing parts.
The Result: In this perfect scenario, the authors proved a "two-way street."
- If the L-value is non-zero, the Period is non-zero.
- If the Period is non-zero, the L-value is non-zero.
- This confirms a major conjecture (the Gan-Gross-Prasad conjecture) for this specific case, essentially saying, "We can now reliably use the physical measurement (Period) to predict the hidden number (L-value)."

4. Why This Matters (According to the Paper)

The authors don't claim to solve the Riemann Hypothesis or predict stock markets. Instead, they provide new evidence for a grand theory in mathematics called the Relative Langlands Program.

They showed that for these specific groups (GL4 and GL2), the "Periods" (physical measurements) and "L-functions" (hidden numbers) are tightly linked.
They confirmed that if you can measure a non-zero period, you have proven the existence of a non-zero central L-value.
They also clarified when a specific L-function might have a "pole" (a point where it blows up to infinity), linking that behavior to specific period integrals.

Summary

In short, Cauchi and Terradillos built a new mathematical bridge. They showed that for a complex pair of mathematical groups, you can determine the existence of a mysterious, central number (the L-value) by simply checking if a specific physical measurement (the Period) is non-zero. They did this by inventing a new way to "cook" these numbers and using a "mirror" (Siegel-Weil) and a "translator" (Theta correspondence) to make the connection clear.

Technical Summary of "Periods and L-functions for GL4 × GL2"

Problem Statement
The paper addresses the relationship between automorphic periods and special values of $L$ -functions within the framework of the relative Langlands program. Specifically, it investigates the non-vanishing of central $L$ -values for the tensor product of a cuspidal automorphic representation $\pi$ of $GL_4$ (or $GU_{2,2}$ ) and a cuspidal automorphic representation $\sigma$ of $GL_2$ . The focus is on the $L$ -function associated with the representation $\rho = \wedge^2 \otimes \text{std}_2$ (degree 12) and the representation $\rho_X = \wedge^2 \otimes \text{std}_2 \oplus \text{std}_4 \oplus \text{std}_4^\vee$ (degree 20) associated with the spherical variety $X = (GL_2 \times GL_2) \backslash (GL_4 \times GL_2)$ .

The central problem is to establish integral representations for these $L$ -functions and to prove that the non-vanishing of their central values is equivalent to the non-vanishing of specific automorphic periods: the generalized Shalika period $S_{\psi_S}$ and the linear period $P_{GL_2 \times GL_2}$ . This work aims to provide evidence for the global Gan–Gross–Prasad conjectures for $GSpin_6 \times GSpin_3$ and the conjectures of Wan–Zhang regarding strongly tempered spherical varieties.

Methodology
The authors employ the "doubling method" and theta correspondence techniques to construct new integral representations.

New Integral Representations:
- The authors define a zeta integral $Z(s, \phi, f_s)$ involving a cusp form $\phi$ on $GL_4$ (or $GU_{2,2}$ ), a cusp form $\sigma$ on $GL_2$ , and a normalized non-degenerate Eisenstein series $E^*_{P(1,2)}$ on $GSp_4$ constructed from $\sigma$ relative to the Klingen parabolic $P(1,2)$ .
- Through unfolding, this integral is shown to compute the partial $L$ -function $L_S(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ .
- Archimedean computations are performed using explicit formulas for Whittaker functions (following Stade and others) to relate the local zeta integrals to the local $L$ -factors.
Siegel–Weil and Garrett's Pullback:
- The integral is reinterpreted via Garrett's pullback formula, extended to similitude groups, relating the Klingen Eisenstein series on $GSp_4$ to a degenerate Siegel Eisenstein series on $GSp_6$ .
- The Siegel–Weil formula (extended to similitude groups by Kudla–Rallis and Yamana) is applied to relate the value of the Eisenstein series at the central point $s=1/2$ to theta integrals associated with dual reductive pairs $(O(V), Sp_6)$ .
- This process connects the $L$ -value to periods over subgroups, specifically the generalized Shalika period and a period over $GL_2 \times \det GL_2$ .
Theta Correspondence for $(GL_4, GL_4)$ :
- To address the linear period (associated with the degree 20 $L$ -function), the authors introduce a two-variable zeta integral $J(s, z, \phi, f_s, \eta)$ .
- This integral incorporates the theta lift $\Theta_z(\pi)$ for the dual pair $(GL_4, GL_4)$ . The parameter $z$ allows the integral to compute the product $L(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2) L(z+1/2, \pi, \text{std}_4)$ .
- A "seesaw" identity involving the dual pairs $(GSO_{H_6}, Sp_4)$ and $(GSO_{H_2} \times GL_4, GSp_4)$ is established.
- The Shimizu–Jacquet–Langlands correspondence is utilized to relate theta integrals on $GL_2$ to cusp forms on quaternion algebras, and pullback formulas for orthogonal groups are used to unfold the integrals to the linear period.

Key Contributions and Results

New Integral Representation: The paper provides a new integral representation for the $\wedge^2 \otimes \text{std}_2$ $L$ -function on $GL_4 \times GL_2$ and $GU_{2,2} \times GL_2$ (Theorem 3.5).
Degree 12 Central Value and Shalika Period:
- For representations unramified everywhere, the authors prove that the non-vanishing of the central $L$ -value $L(1/2, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ is equivalent to the non-vanishing of the generalized Shalika period $S_{\psi_S}$ (Theorem 6.15).
- This result confirms Conjecture 1.2(1) of Gan–Gross–Prasad for $GSpin_6 \times GSpin_3$ in the unramified case.
Degree 20 Central Value and Linear Period:
- The authors establish a relation between the central value of the $L$ -function attached to the spherical pair $(GL_4 \times GL_2, GL_2 \times GL_2)$ and the linear period $P_{GL_2 \times GL_2}$ .
- Specifically, they prove that if $L(1/2, \pi \otimes \sigma, \rho_X) \neq 0$ , then $P_{GL_2 \times GL_2}|_{\pi \otimes \sigma} \not\equiv 0$ (Theorem B / Corollary 7.31).
- The converse direction relies on the non-vanishing of $L(3/2, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ and the assumption that $\pi$ is in the image of the theta correspondence from $GL_4$ (which is equivalent to $L(1/2, \pi, \text{std}_4) \neq 0$ ).
Pole Analysis: The paper deduces that the partial $L$ -function $L_S(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ can have at most a simple pole at $s=1$ , and this occurs only if the product of central characters satisfies specific quadratic conditions (Proposition 8.1).

Significance and Claims
The paper claims to provide new evidence towards the conjectures of Wan–Zhang and Gan–Gross–Prasad for the groups $GSpin_6 \times GSpin_3$ . By constructing explicit integral representations and utilizing the theta correspondence for $(GL_4, GL_4)$ , the authors successfully "upgrade" the analysis of the degree 12 $L$ -function to the degree 20 case.

The authors note that their results for unramified representations are particularly clean, yielding equivalences between $L$ -value non-vanishing and period non-vanishing. They acknowledge that extending these results to the general ramified case requires explicit formulas for the Jacquet–Langlands lift of $\pi$ to inner forms of $GL_4$ (similar to Shimizu's formula for $GL_2$ ), which remains an open technical hurdle. Furthermore, while the method parallels the proof of Theorem 1.1(2) in previous literature, the use of the $(GL_4, GL_4)$ theta correspondence allows the authors to handle the discrepancy between the linear and Shalika periods, effectively connecting the spherical period to the central $L$ -value under the condition that $\pi$ participates in the theta correspondence.

The work also highlights potential arithmetic applications, suggesting that the constructed zeta integrals could be used to build new Euler systems from the Eisenstein cohomology of Shimura varieties associated with $GSp_4$ , though this is presented as a prospective direction rather than a completed result within the paper.