🔢 mathematics

On the Cubic Shimura lift to $PGL(3)$ : The Fundamental Lemma

This paper establishes the Fundamental Lemma for a proposed cubic Shimura lift from the triple cover of $SL_3$ to $PGL_3$ by matching local orbital integrals derived from a global distribution involving the minimal representation of split $SO_8$ .

Original authors: Solomon Friedberg, Omer Offen

Published 2026-02-20

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Solomon Friedberg, Omer Offen

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 jigsaw puzzle. The pieces of this puzzle are not cardboard shapes, but invisible mathematical objects called automorphic representations. These objects live in a strange, high-dimensional world where numbers behave like waves and symmetries rule everything.

For decades, mathematicians have known how to connect pieces from one side of the puzzle (related to the group $SL_2$ ) to the other side (related to $PGL_2$ ). This connection is called the Shimura correspondence. It's like having a magic translator that can take a song sung in one language and perfectly translate it into another, preserving the melody.

However, there is a much harder version of this puzzle involving $SL_3$ (a more complex group) and a triple cover (a twisted, three-layered version of the group). No one knew how to translate the "songs" from this twisted triple-layer world to the standard world. This paper, by Solomon Friedberg and Omer Offen, takes a giant leap toward solving that specific translation problem.

Here is the breakdown of what they did, using everyday analogies:

1. The Goal: The "Grand Translation"

The authors want to prove that there is a bridge between two specific mathematical worlds:

World A: The "triple cover" of $SL_3$ . Think of this as a group of symmetries that has a secret, three-fold twist to it.
World B: The group $PGL_3$ . This is the standard, "untwisted" version.

They want to show that if you have a specific type of "song" (an automorphic representation) in World A, you can lift it to World B. But there's a catch: How do you know which songs in World B actually came from World A? You need a way to identify the "real" translations.

2. The Method: The "Relative Trace Formula"

To build this bridge, the authors use a tool called the Relative Trace Formula.

The Analogy: Imagine you have two different musical instruments (Group A and Group B). You want to know if they can play the same tune. You can't just listen to them; you have to analyze the sound waves they produce when you hit specific notes.
The Process: The authors create two complex mathematical "distributions" (which are like sound wave patterns). One distribution comes from World A, and the other from World B.
The Challenge: These distributions are messy. They are like a chaotic storm of numbers. To compare them, the authors had to "unfold" these storms. They broke the complex waves down into simpler, individual "orbits" (like separating a choir into individual singers).

3. The Obstacle: The "Ghost" in the Machine

In previous similar problems, the math was straightforward. But here, they encountered a "ghost": a special mathematical object called the minimal representation of $SO_8$ .

The Analogy: Imagine you are trying to match two maps, but one map has a foggy, invisible island on it that doesn't appear on the other map. You can't compare the maps until you figure out exactly where that island is and what it looks like.
The Solution: The authors realized this "ghost island" (the minimal representation) could be built using a "theta lift." Think of this as using a projector. They took a simple, known image (the trivial representation of $SL_2$ ) and projected it through a complex lens to create the shape of the ghost island. This allowed them to finally "unfold" the messy distribution and see the individual orbits clearly.

4. The Climax: The "Fundamental Lemma"

Once they broke both distributions down into their individual orbits, they had to match them up. This is the Fundamental Lemma.

The Analogy: Imagine you have two lists of ingredients for two different recipes. You need to prove that for every ingredient in Recipe A, there is a corresponding ingredient in Recipe B that tastes exactly the same (even if it looks different).
The Hard Part: The "ingredients" here are orbital integrals. These are incredibly difficult calculations involving sums of numbers that behave like waves (exponential sums).
The Breakthrough: The authors had to prove that these complex sums on the "twisted" side matched the sums on the "standard" side, up to a small correction factor (a "transfer factor").
- They used a clever trick involving cubic exponential sums (sums involving $x^3$ ) and Kloosterman sums (a famous type of number theory sum).
- It's like proving that a complex dance step on a slippery, spinning floor (the triple cover) is mathematically identical to a dance step on a solid floor, provided you adjust for the spin.

5. The Result: A New Conjecture Confirmed

The paper proves the Fundamental Lemma for this specific case ( $n=r=3$ ).

What this means: They have successfully built the first solid section of the bridge. They proved that the "ingredients" match up perfectly.
The Bigger Picture: This confirms a 2001 conjecture by Bump, Friedberg, and Ginzburg. They showed that the "songs" from the triple cover of $SL_3$ that make it to $PGL_3$ are exactly the ones that have a non-zero "echo" when you listen for a specific pattern involving the $SO_8$ group.

Summary

In simple terms, Friedberg and Offen took a massive, tangled knot of advanced number theory. They untangled it by:

Mapping the terrain: Breaking down complex formulas into manageable pieces (orbits).
Illuminating the dark: Using a projection technique to handle a mysterious "ghost" object that was blocking the view.
Matching the puzzle pieces: Proving that the complex calculations on one side of the equation perfectly mirror the calculations on the other side.

This work doesn't just solve a single equation; it provides the blueprint for a new "Shimura correspondence" that could eventually help mathematicians translate between many other twisted and untwisted mathematical worlds, deepening our understanding of the fundamental symmetries of the universe.

1. Problem Statement and Context

The paper addresses the construction of a global Shimura correspondence (a functorial lift) from the triple cover of $SL_3$ (denoted $\widetilde{SL}_3^{(3)}$ ) to $PGL_3$ . While the classical Shimura correspondence (for $n=2$ ) lifts automorphic representations from the double cover of $SL_2$ to $PGL_2$ , generalizing this to higher ranks ( $r > 2$ ) and higher-degree covers ( $n > 2$ ) has remained an open problem.

Specifically, the authors aim to:

Establish the existence of a global lift for the case $n=r=3$ (cubic cover of $SL_3$ to $PGL_3$ ).
Characterize the image of this lift. Following a 2001 conjecture by Bump, Friedberg, and Ginzburg, the image is expected to be characterized by the non-vanishing of a specific global period involving the automorphic minimal representation $\Theta_{SO_8}$ of the split orthogonal group $SO_8$ .

The primary obstacle to proving this correspondence is the lack of a matching relative trace formula. The paper focuses on establishing the Fundamental Lemma for this relative trace formula, which is the necessary local identity between orbital integrals on the two sides of the correspondence.

2. Methodology

The authors employ the Relative Trace Formula (RTF) method, pioneered by Jacquet, Mao, and Rallis. The strategy involves comparing two distributions defined on different groups:

Distribution $I(f, \Theta)$ on $PGL_3(\mathbb{A})$ :
This distribution involves the period integral of an automorphic form $\phi$ against the minimal representation $\Theta_{SO_8}$ via the adjoint map $Ad: PGL_3 \to SO_8$ .
$I(f, \Theta) = \int_{[N]} \int_{[G]} \left( \sum_{\gamma \in G(F)} f(g^{-1}\gamma n) \right) \Theta(Ad(g)) \psi(n) \, dg \, dn$
A major technical challenge is that $\Theta_{SO_8}$ is not a standard theta lift from a Weil representation in the usual sense. The authors overcome this by realizing $\Theta_{SO_8}$ as a theta lift of the trivial representation from $SL_2$ to $SO_8$ (via the dual pair $(SL_2, SO_8) \subset Sp_{16}$ ), allowing them to "unfold" the distribution into a sum of factorizable orbital integrals.
Distribution $J(f')$ on $\widetilde{SL}_3^{(3)}(\mathbb{A})$ :
This is the Kuznetsov trace formula distribution on the triple cover, involving a sum over the metaplectic group and a Whittaker character.
$J(f') = \int_{[N]} \int_{[N]} \left( \sum_{\gamma \in G'(F)} f'(n_1 \gamma n_2) \right) \psi(n_1 n_2) \, dn_1 \, dn_2$

The Core Task: The paper proves that for the unit elements of the spherical Hecke algebras, the local orbital integrals arising from the geometric expansions of $I$ and $J$ match up to a specific transfer factor. This is the Fundamental Lemma.

3. Key Contributions and Technical Steps

A. Global Geometric Expansion (Part I)

The authors perform a detailed geometric analysis to express the global distributions as sums of orbital integrals over relevant orbits.

Unfolding Principle: They formulate a general unfolding principle for distributions involving automorphic cocycles.
Realization of $\Theta_{SO_8}$ : By utilizing the embedding of $SL_2 \times SO_8$ into $Sp_{16}$ , they express the minimal representation as a theta lift. This allows the distribution $I(f, \Theta)$ to be unfolded into a sum over $H(F)$ -orbits in $F^8$ (where $H = SL_2 \times N$ ).
Orbit Classification: They explicitly classify the relevant orbits for both distributions.
- For $I(f, \Theta)$ , they identify relevant orbits in $F^8$ based on dimension invariants of vector components.
- For $J(f')$ , they use the Bruhat decomposition of the metaplectic group to identify relevant orbits.
- They establish a one-to-one correspondence between the relevant orbits of the two distributions.

B. Local Analysis and the Fundamental Lemma (Part II)

The core of the paper is the computation and matching of local orbital integrals for the big cell (the generic orbit) and other relevant orbits.

The Big Cell Comparison (Theorem 6.1):
The authors define two local integrals, $I(a, b)$ and $J(a, b)$ , parameterized by $a, b \in F^\times$ .
- $J(a, b)$ : Computed on the metaplectic cover. This requires explicit handling of the metaplectic 2-cocycle (using the algorithm of Bump and Hoffstein based on Matsumoto's work) to evaluate the character $\kappa(g)$ on the group. The calculation reduces to integrals involving Kloosterman sums with cubic characters.
- $I(a, b)$ : Computed on the $PGL_3$ side, involving the minimal representation. This reduces to integrals of cubic exponential sums.
- Matching: The authors prove that $I(a, b) = (c, d)_3 J(c, d)$ where $c = -54a$ and $d = 54b$ , and $(\cdot, \cdot)_3$ is the cubic Hilbert symbol.
Key Analytic Tools:
- Stationary Phase Method: Used to evaluate exponential sums and Kloosterman integrals in the non-archimedean setting.
- Duke-Iwaniec Identity: A crucial identity relating cubic exponential sums to Kloosterman sums with cubic characters is used. The authors extend this to cases with higher conductor characters using the method of stationary phase.
- Hilbert Symbol Properties: Extensive use of properties of the cubic Hilbert symbol to simplify the transfer factors.
Other Orbits: The paper also computes and matches the orbital integrals for the non-generic (singular) relevant orbits, showing they match up to explicit transfer factors (Theorem 11.7).

4. Main Results

Fundamental Lemma Established: The paper proves the Fundamental Lemma for the relative trace formula comparing the triple cover of $SL_3$ and $PGL_3$ . Specifically, for the unit element of the spherical Hecke algebra, the orbital integrals match with a transfer factor involving the cubic Hilbert symbol.
Geometric Expansion: The distributions $I$ and $J$ are successfully expanded into sums of factorizable orbital integrals over explicitly determined relevant orbits.
Validation of Conjecture: The work provides the necessary local machinery to support the global conjecture of Bump, Friedberg, and Ginzburg. It confirms that the image of the cubic Shimura lift should be characterized by the non-vanishing of the period involving $\Theta_{SO_8}$ .

5. Significance

Advancement in Functoriality: This is a significant step toward establishing functorial lifts for metaplectic groups of higher rank ( $r > 2$ ) and higher degree ( $n > 2$ ), a notoriously difficult area in the Langlands program.
Resolution of a Specific Conjecture: It provides the first major evidence and the necessary local tools to confirm the Bump-Friedberg-Ginzburg conjecture regarding the image of the cubic Shimura lift.
Methodological Innovation: The paper introduces a novel way to handle the minimal representation $\Theta_{SO_8}$ by realizing it as a theta lift from $SL_2$ , thereby enabling the unfolding of the trace formula. This technique may be applicable to other minimal representations.
Analytic Number Theory: The detailed computations of cubic exponential sums and their relation to Kloosterman sums via the method of stationary phase contribute to the broader understanding of exponential sums in local fields.

In summary, Friedberg and Offen have successfully laid the geometric and local analytic foundations required to prove the existence of the cubic Shimura lift from $\widetilde{SL}_3$ to $PGL_3$ and to characterize its image, marking a breakthrough in the theory of metaplectic automorphic forms.