---
title: Fundamental Lemma for Hecke Correspondences
url: https://www.emergentmind.com/topics/fundamental-lemma-for-hecke-correspondences
type: topic
---

# Fundamental Lemma for Hecke Correspondences

The Fundamental Lemma for Hecke correspondences is a local matching statement between orbital-type distributions attached to corresponding Hecke operators on two different spaces. In the cubic setting studied in "On the cubic Shimura lift to $PGL(3)$: Hecke correspondences" [2507.06963], it concerns $PGL_3(F)$ and the cubic metaplectic cover of $SL_3(F)$ over a non-archimedean local field $F$ containing the cube roots of unity. The result identifies the spherical Hecke algebra of $PGL_3(F)$ with the spherical Hecke algebra of anti-genuine functions on the triple cover and proves that the relative distributions on the $PGL_3$ side match the metaplectic Kuznetsov distributions on the covering side, up to explicit transfer factors, for all corresponding spherical Hecke functions [2507.06963]. This extends an earlier unit-element matching in the same cubic Shimura-lift program [2202.01247] and belongs to a broader family of fundamental lemmas for spherical or parahoric Hecke algebras, relative trace formulas, and arithmetic intersections [1711.02243], [1506.03383], [2408.15155], [2502.06078].

## 1. Local cubic setting and the two sides of the correspondence

The local framework in [2507.06963] assumes that $F$ is a non-archimedean local field with residual characteristic greater than $3$, that $F$ contains a cube root of unity $\rho$, and that $\mu_3=\langle \rho\rangle \subset F^\times$. The notation is fixed by taking $O$ as the ring of integers, $\mathfrak p=\varpi O$ as the maximal ideal, $q=|O/\mathfrak p|$, and an additive character $\psi$ of conductor $O$.

On the linear side, the group is
$$
G=PGL_3(F)=GL_3(F)/Z,
$$
with hyperspecial maximal compact subgroup $K_*=KZ/Z$, where $K=GL_3(O)$. The upper triangular unipotent subgroup $N$ is embedded in $G$, and if
$$
u=\begin{pmatrix} 1 & x & z \\ & 1 & y \\ & & 1 \end{pmatrix},
\qquad \theta(u)=\psi(x+y).
$$
This character $\theta$ is the Whittaker-type character used throughout the relative and Kuznetsov constructions [2507.06963].

On the covering side, one considers the cubic metaplectic cover
$$
1\longrightarrow \mu_3\longrightarrow G' \longrightarrow SL_3(F)\longrightarrow 1.
$$
The paper realizes this extension by means of the block-compatible $2$-cocycle $\sigma$ of Banks–Levy–Sepanski, forming first
$$
(g_1,z_1)(g_2,z_2)=(g_1g_2,z_1z_2\sigma(g_1,g_2))
$$
on $GL_3(F)\times \mu_3$, and then restricting to $SL_3(F)\times \mu_3$ [2507.06963]. The trivial section splits $N$, so the same subgroup $N$ and the same character $\theta$ appear on the metaplectic side as well.

A central notion is that of an anti-genuine function: a function $f':G'\to \mathbb C$ is anti-genuine if
$$
f'(zg)=z^{-1}f'(g),\qquad z\in \mu_3.
$$
This convention is intrinsic to the Hecke algebra used in the paper [2507.06963].

Because the residual characteristic is not $3$, the hyperspecial subgroup $K_1=SL_3(O)$ splits in the cover. A specific splitting $\kappa:K\to \mu_3$ is chosen, and the image of $K_1$ in $G'$ is denoted $K'$. The subgroup $K'\mu_3$ is a maximal compact subgroup of $G'$ [2507.06963].

## 2. Spherical Hecke algebras and the cubic Satake relation

The spherical Hecke algebra on the $PGL_3$ side is
$$
\mathcal H(PGL_3(F))=C_c(K_*\backslash G/K_*),
$$
with convolution. On the covering side, the relevant algebra is the spherical Hecke algebra of anti-genuine functions,
$$
\mathcal H^{\mathrm{anti\text{-}gen}}(G')=C_c(K'\backslash G'/K'),
\qquad f'(zg)=z^{-1}f'(g).
$$
Both are equipped with explicit bases indexed by pairs $(m,n)\in \mathbb Z_{\ge 0}^2$ [2507.06963].

For $PGL_3(F)$, the standard diagonal representatives are
$$
d_{m,n}=\operatorname{diag}(\varpi^{-m-n},\,\varpi^{-n},\,1),
$$
and $f_{m,n}$ denotes the characteristic function of $Kd_{m,n}KZ/Z$. For the cubic cover, the diagonal representatives are
$$
d'_{m,n}=\operatorname{diag}(\varpi^{-n-2m},\,\varpi^{m-n},\,\varpi^{2n+m}),
$$
and $f'_{m,n}$ is the unique anti-genuine function supported on $K'(d'_{m,n})K'\mu_3$ satisfying
$$
f'_{m,n}\big((d'_{m,n})\big)=1.
$$
The families $\{f_{m,n}:m,n\ge 0\}$ and $\{f'_{m,n}:m,n\ge 0\}$ are $\mathbb C$-bases of the two Hecke algebras [2507.06963].

The key algebraic statement is the explicit Hecke algebra isomorphism
$$
\boxed{Sh(f_{m,n})=q^{-2(m+n)}\,f'_{m,n},\qquad m,n\in\mathbb Z_{\ge 0}.}
$$
The paper denotes this map by $Sh$ and proves that it is an algebra isomorphism by following Kazhdan–Patterson's method [2507.06963]. In Satake terms, this intertwines the unramified Hecke algebras in the cubic setting and is consistent with the generalized Shimura picture in which Satake parameters are related by a cubic power map. The paper notes that the explicit basis relation is sufficient for the Fundamental Lemma itself [2507.06963].

This passage from the unit element to all spherical Hecke elements is one of the decisive features of the result. In the cubic $PGL_3$–triple-cover setting, earlier work had established the unit-element matching only [2202.01247]. The extension from the unit to the full spherical Hecke algebra parallels other developments in the subject, such as the reduction from unit elements to all spherical Hecke elements in twisted endoscopy [1506.03383], the parahoric base-change fundamental lemma for $GL_n$ [1711.02243], and the Jacquet–Rallis relative fundamental lemma for spherical Hecke algebras [2408.15155].

## 3. Relative distributions on $PGL_3$ and metaplectic Kuznetsov distributions

On the $PGL_3$ side, the local distributions arise from a period involving the minimal representation on $SO_8$. The paper introduces
$$
H=SL_2(F)\times N,
$$
acting on $F^8$ via explicit coordinate formulas, together with a cocycle
$$
c(\xi,h)=\psi\!\left(2\sum_{1\le i<j\le 4}a_{ij}(u)\,\xi_i\smallsquare{0}{1}{-1}{0}{}^t\xi_j\right),
$$
satisfying the cocycle relation
$$
c(\xi,h_1h_2)=c(\xi,h_1)\,c(\xi\cdot h_1,h_2).
$$
An element $\xi\in F^8$ is called relevant when
$$
c(\xi,h)\theta(h)=1\qquad \text{for all }h\in H_\xi,
$$
and for such $\xi$ the relative orbital integral is
$$
\boxed{O(\xi,\phi)=\int_{H_\xi\backslash H}\phi(\xi \cdot h)\,c(\xi,h)\,\theta(h)\, dh.}
$$
Using the adjoint embedding $Ad:G\to SO_8(F)$ and the Weil representation $\omega$, the paper rewrites this as
$$
O(\xi,\phi)=\int_{H_\xi\backslash H}\omega(h)\phi(\xi)\,\theta(h)\,dh,
$$
and takes test functions of the form $\omega(f)\phi_\circ$ with $\phi_\circ=1_{O^8}$ and $f\in \mathcal H(PGL_3(F))$ [2507.06963].

On the metaplectic side, the local distributions are Kuznetsov-type orbital integrals on $G'$. If $x\in G'$ is relevant for the $N\times N$ action, meaning that
$$
\theta(u_1^{-1}u_2)=1\qquad \text{for all }(u_1,u_2)\in (N\times N)_x,
$$
then the metaplectic orbital integral is
$$
\boxed{O'(x,f')=\int_{(N\times N)_x\backslash N\times N}f'(u_1^{-1}x u_2)\,\theta(u_1^{-1}u_2)\, d(u_1,u_2).}
$$
The quotient measure is normalized following Jacquet–Ye, with explicit coordinates for the relevant orbits given in the paper [2507.06963].

The matching problem is organized by orbit representatives. On the $PGL_3$ side, the relevant orbits consist of a generic family $\xi(a,b)$, two one-parameter families $\xi_1(a)$ and $\xi_2(a)$, and three isolated orbits $\xi[1],\xi[2],\xi[3]$. On the metaplectic side, the corresponding orbit representatives are $\gamma(a,b)$ in the big Bruhat cell, two one-parameter families $\gamma_1(a),\gamma_2(a)$ in small Bruhat cells, and three isolated central orbits $\gamma[i]=(\rho^i I_3)$ [2507.06963]. The paper states that there is a non-canonical bijection of orbit spaces
$$
\Xi_{\mathrm{rel}}/H \;\cong\; \Xi'_{\mathrm{rel}}/\mu_3(N\times N),
$$
and the Fundamental Lemma is the assertion that the two families of local distributions match under that bijection for corresponding Hecke functions.

## 4. The Fundamental Lemma and its transfer factors

The main local theorem of [2507.06963] matches the relative distributions on $PGL_3(F)$ with the metaplectic Kuznetsov distributions on $G'$ for all spherical Hecke functions related by $Sh$. The statement is divided according to the orbit type.

For the generic family, with parameters related by
$$
c=-54\,a,\qquad d=54\,b,
$$
the theorem states
$$
\boxed{O(\xi(a,b),\omega(f)\phi_\circ)=(d,c)\,O'(\gamma(c,d),Sh(f)).}
$$
The transfer factor here is the cubic Hilbert symbol $\Delta=(d,c)$ [2507.06963].

For the one-parameter families,
$$
\boxed{O(\xi_i(a),\omega(f)\phi_\circ)=t_i(c_i)\,O'(\gamma_i(c_i),Sh(f)),\qquad i=1,2,}
$$
where
$$
c_1=3(\rho^2-\rho)\,a^{-1},\qquad t_1(c)=|c|^2\,\psi(3\rho\,c^{-1}),
$$
and
$$
c_2=[3(1-\rho)]^{-1}a,\qquad t_2(c)=|c|^{-2}\,\psi(-3\rho\,c).
$$
For the isolated orbits, there is no extra factor:
$$
\boxed{O(\xi[i],\omega(f)\phi_\circ)= O'(\gamma[i],Sh(f)),\qquad i=1,2,3.}
$$
These three formulas constitute the local Fundamental Lemma in the paper [2507.06963].

Two structural features are emphasized. First, the matching holds for every spherical Hecke element $f\in \mathcal H(PGL_3(F))$, not merely for the unit element. Second, the product over all places of the local transfer factors is $1$, which is essential for the intended global trace formula comparison [2507.06963].

This kind of statement is relative rather than endoscopic in the classical sense. The paper explicitly contrasts it with the classical endoscopic Fundamental Lemma, which usually concerns matching orbital integrals across endoscopic groups and is often first established for unit elements. Here the setting is relative, the Hecke algebra is matched in full, and one side is a higher-degree metaplectic cover with anti-genuine test functions [2507.06963]. A comparable enlargement from unit elements to all spherical Hecke elements appears in twisted endoscopy [1506.03383], while relative Hecke-algebra fundamental lemmas have also been proved in the Jacquet–Rallis setting over local function fields [2408.15155].

## 5. Structure of the proof and arithmetic input

The proof in [2507.06963] proceeds in six stages. The first is the construction of the Hecke algebra isomorphism
$$
Sh(f_{m,n})=q^{-2(m+n)}f'_{m,n}.
$$
The second is an expansion of orbital integrals on both sides in terms of diagonal translates of the unit element, using right $K_*$-invariance on $PGL_3$ and right $K'$-invariance on the cover. On the $PGL_3$ side, the expansion has the form
$$
O(x,\omega(f)\phi_\circ)=\sum_{\mu\in\Lambda}\delta_B(t_\mu)\,W(R(t_\mu^{-1})f)\,O(x,\omega(t_\mu^{-1})\phi_\circ),
$$
while on the cover side one has
$$
O'(x,f')=\sum_{(i,j)\in\Lambda'}\delta_{B'}((c_{i,j}))\,W'(R((c_{i,j}^{-1}))f')\,O'(x,L((c_{i,j})^{-1})f_\circ').
$$
These reductions isolate the unit-element orbital integrals together with explicit Whittaker coefficients [2507.06963].

The third stage computes those Whittaker coefficients. On $PGL_3(F)$ they are determined by the Cartan decomposition in $GL_3$, and on the cover side they are computed in the metaplectic setting, with careful tracking of the cocycle $\sigma$ and the compact splitting $\kappa$ [2507.06963].

The fourth stage is the explicit evaluation of the unit-element orbital integrals. On the relative side this involves recursive decomposition of complicated $p$-adic domains and identities for cubic exponential sums $C$ and $C^\ast$. On the metaplectic side it requires Kloosterman sums with cubic character together with cocycle computations [2507.06963].

The fifth stage is the number-theoretic bridge between the two sides. The paper uses the identity
$$
K(t;c,d)=(t,cd^{-1})\,C(-3a,c^{-1}d^{-1}a^3;0),
$$
in the cases specified by Duke–Iwaniec and by earlier work of the same authors, together with Gauss sums, Jacobi sums, and stationary phase [2507.06963]. This identity explains the appearance of the cubic Hilbert-symbol transfer factor and allows one to compare the generic-orbit calculations exactly.

The sixth stage assembles the expansions, the Whittaker coefficients, the explicit orbital integrals, and the number-theoretic identities to prove the three matching formulas orbit by orbit [2507.06963].

The paper characterizes this as a first direct proof, by explicit $p$-adic computation rather than by transfer from function fields, of a Fundamental Lemma for the full spherical Hecke algebra in a relative rank-two setting with a higher-degree cover [2507.06963]. This suggests a methodological contrast with geometric proofs of Hecke-algebra fundamental lemmas via shtukas or Hitchin fibrations, such as the parahoric base-change fundamental lemma for $GL_n$ [1711.02243], the standard spherical Hecke-algebra fundamental lemma via multiplicative Hitchin fibrations [2402.19331], and the Jacquet–Rallis relative fundamental lemma for spherical Hecke algebras [2408.15155].

## 6. Global role, conceptual significance, and related directions

The local theorem of [2507.06963] is presented as the geometric input needed for a relative trace formula comparison between $PGL_3$ and the triple cover of $SL_3$. Its intended global consequence is a new Shimura lift from genuine automorphic representations on the cubic cover of $SL_3(\mathbb A)$ to automorphic representations on $PGL_3(\mathbb A)$, together with a characterization of the image by a period involving the minimal representation on $SO_8(\mathbb A)$ [2507.06963].

This fits directly into the broader program initiated in the earlier paper "On the Cubic Shimura lift to $PGL(3)$: The Fundamental Lemma" [2202.01247]. That earlier work analyzed global distributions on both sides, showed that they decompose into factorizable orbital integrals, and established the local matching for the unit elements of the spherical Hecke algebras. The 2025 paper extends that local matching to all spherical Hecke operators and therefore supplies the Hecke correspondence statement required for a full unramified comparison [2202.01247], [2507.06963].

Within the wider literature, the phrase "Fundamental Lemma for Hecke correspondences" covers several closely related but distinct phenomena. In twisted endoscopy, one can pass from the unit element to all spherical Hecke elements through spectral transfer and descent [1506.03383], with the torus endoscopic unit case supplying the remaining local input in characteristic zero [1511.08606]. In base change, one matches twisted and ordinary orbital integrals for centers of parahoric or Iwahori Hecke algebras [1711.02243], [1711.02575]. In relative trace formulas, one proves corresponding identities for spherical Hecke algebras on symmetric spaces or spherical varieties, as in unitary Friedberg–Jacquet periods [2006.04993] and Jacquet–Rallis [2408.15155]. In arithmetic variants, one replaces orbital-integral identities by identities between derivatives of weighted orbital integrals and intersection numbers of Hecke correspondences on Rapoport–Zink spaces or integral models [2305.14465], [2502.06078], [2502.19600].

The cubic $PGL_3$–triple-cover theorem belongs to this relative and metaplectic branch. Its distinguishing features are the cubic cover, the anti-genuine spherical Hecke algebra, the period involving the minimal representation on $SO_8$, and the explicit transfer factors built from the cubic Hilbert symbol and oscillatory characters [2507.06963]. A plausible implication is that it provides the unramified Hecke-theoretic backbone for a new global functoriality statement of Shimura type in rank two, but the paper itself presents this as a step toward, rather than the completion of, the global comparison [2507.06963].

Source: https://www.emergentmind.com/topics/fundamental-lemma-for-hecke-correspondences