Pith. sign in

REVIEW 2 major objections 3 minor 28 references

On the cubic Shimura lift to $PGL(3)$: Hecke correspondences

T0 review · 2 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Over a local field containing cube roots of unity, this paper proves that the spherical Hecke algebra of $\mathrm{PGL}_3(F)$ is isomorphic to that of anti-genuine functions on the cubic cover of $\mathrm{SL}_3(F)$, and that all relevant…

desk verdict Impressive computational scope, but Proposition 5.11 as written does not prove its coefficient list, and the big-cell matching hangs on that proposition. read the letter →

arxiv 2507.06963 v1 pith:AP5HRFSJ submitted 2025-07-09 math.NT math.RT

Solomon Friedberg , Omer Offen This is my paper · ORCID
classification math.NTmath.RT MSC 11F7011F2511F2711F6711F7222E5022E55
keywords ShimuracorrespondencecubicmetaplecticcoverrelativetraceformulaHeckealgebraisomorphismFundamentalLemmaorbitalintegralsminimalrepresentationKloostermansums
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Over a nonarchimedean local field $F$ that contains cube roots of unity and has residual characteristic greater than 3, this paper proves a local distribution matching, a Fundamental Lemma, for the cubic Shimura correspondence between $\mathrm{PGL}(3)$ and the triple cover of $\mathrm{SL}(3)$. It constructs an algebra isomorphism between the spherical Hecke algebra of $\mathrm{PGL}_3(F)$ and the spherical Hecke algebra of anti-genuine functions on the cubic cover of $\mathrm{SL}_3(F)$, and shows that the relative orbital integrals attached to the $\mathrm{SO}(8)$ minimal-representation period match the metaplectic Kuznetsov orbital integrals on the covering group, for every Hecke function and with explicit transfer factors. This extends the earlier matching for the unit element of the Hecke algebras to the full spherical Hecke algebra. The result is the geometric core of a planned relative trace formula comparison that would yield a new global Shimura lift from genuine automorphic forms on the triple cover of $\mathrm{SL}(3)$ to automorphic forms on $\mathrm{PGL}(3)$, and would characterize the image of that lift by a period.

What carries the argument

The argument rests on two mechanisms. First, the Iwasawa decomposition expands each orbital integral as a finite linear combination of orbital integrals of unit-element translates, with coefficients equal to Whittaker coefficients; those coefficients are evaluated via Cartan decompositions, and on the cover this requires the block-compatible cocycle and the splitting of the maximal compact subgroup. Second, identity (21), relating the cubic Kloosterman sum $K(t;c,d)$ to the cubic exponential sum $C(-3a,c^{-1}d^{-1}a^3;0)$, converts all metaplectic big-cell contributions into the same cubic exponential sums that appear on the relative side. The final comparison is a case-by-case identification of the 24 nonvanishing formulas.

What would settle it

Take $F=\mathbb{Q}_7$, whose residual characteristic is 7 and which contains cube roots of unity, fix the standard additive character and cubic Hilbert symbol, and compute both sides of identity (21) for $|a|=|c|=|d|=q^2$ with any $t$ whose valuation is not divisible by 3; a single unequal pair would falsify the key identity and, through Propositions 8.17 and 6.17, the Fundamental Lemma.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.1: for every $f$ in the spherical Hecke algebra of $\mathrm{PGL}_3(F)$, the relative orbital integral $O(\xi,\omega(f)\phi_0)$ at each relevant orbit equals, up to an explicit transfer factor, the metaplectic orbital integral $O'(x,\mathrm{Sh}(f))$ on the cubic cover $G'$ of $\mathrm{SL}_3(F)$. The map $\mathrm{Sh}$ sends a basis element $f_{m,n}$ to $q^{-2(m+n)}f'_{m,n}$ and is an algebra isomorphism. The matching covers the generic family of orbits, two one-parameter families, and three isolated orbits; the transfer factors involve the cubic Hilbert symbol and additive characters evaluated at the parameters. The proof is a direct computation: both sides are expanded into translates of the unit element, all resulting integrals are evaluated in closed form, and 24 nonzero cases on each side are compared.

Load-bearing premise

The whole comparison depends on identity (21), which equates a cubic Kloosterman sum to a cubic exponential sum when $|a|=|c|=|d|>q$; if that identity were false for some level or character, the big-cell orbital integrals would not match and Theorem 3.1 would collapse.

Editorial extensions

If this is right

  • For every basis element $f_{m,n}$, both classes of orbital integrals are evaluated in closed form, and the evaluations coincide under the map $f_{m,n}\mapsto q^{-2(m+n)}f'_{m,n}$.
  • The matching therefore holds for all functions in the spherical Hecke algebras, not just the unit elements matched in the authors' previous work.
  • This supplies the geometric comparison needed for a relative trace formula whose spectral side would realize a global Shimura lift from genuine automorphic forms on the triple cover of $\mathrm{SL}_3$ to automorphic forms on $\mathrm{PGL}_3$.
  • The same relative trace formula would show that the image of the lift is detected by nonvanishing of the period built from the minimal representation of $\mathrm{SO}_8$.
  • The local transfer factors have product $1$ over all places, so the local theorem can be inserted consistently into global comparisons.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the transfer factors multiply to 1 over all places, the local matching is globally compatible; the full global relative trace formula still requires matching at ramified places, which this paper does not address.
  • The one-parameter and isolated orbit matchings could likely be derived from the generic orbit by studying asymptotics of relative orbital integrals, but doing so would require a theory of relative Shalika germs that is not developed here.
  • The heavy dependence on identity (21) suggests that the method will not automatically extend to higher-degree covers, where the analogous relation between higher Kloosterman sums and exponential sums is not known.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper establishes a Fundamental Lemma for Hecke correspondences between the spherical Hecke algebra of PGL_3(F) and the spherical Hecke algebra of anti-genuine functions on the cubic metaplectic cover of SL_3(F), for a local field F containing cube roots of unity and residual characteristic greater than 3. The matching is stated in Theorem 3.1 for all elements of the spherical Hecke algebras, extending the authors' prior unit-element result. The method is fully computational: the authors expand each orbital integral in terms of translates of the unit element via Iwasawa decompositions, compute the Whittaker coefficients of the Hecke basis elements, then evaluate the resulting relative and metaplectic orbital integrals by decomposing the domains of integration and using relations between cubic exponential sums and Kloosterman sums. The paper concludes by comparing the resulting tables for the generic, one-parameter, and isolated orbits.

Significance. If correct, this is a substantial result: it provides the first full spherical-Hecke-algebra Fundamental Lemma in a relative rank two setting, and it supplies a key local input for a relative trace formula approach to the conjectural cubic Shimura lift to PGL(3). The authors are explicit that the central computation is new and that the unit-element case from [FO] is only the base case. The paper also gives concrete, falsifiable identities: the orbital-integral evaluations in Propositions 6.17 and 8.17 are stated with explicit coefficients and can in principle be checked case by case. However, the proof as written contains an internal inconsistency in the computation of the Whittaker coefficients on the metaplectic side, and that computation is load-bearing for the big-cell matching. Because that gap is local and potentially repairable, the appropriate disposition is major revision rather than rejection.

major comments (2)
  1. [5.2.3] The proof of Proposition 5.11 is internally inconsistent and omits a required coefficient. In the proof, Case 7 is labeled 'i=2m+n−2, j=m+2n−1', the same index pair already treated in Case 5 (and listed as item (4) of the proposition), yet it concludes q^2 g instead of the q^2 obtained in Case 5. The index pair (2m+n−2, m+2n−2), which Lemma 5.5 assigns to the two-subdomain case and which appears as item (6) of Proposition 5.11 with value q^2\bar{g}, is never computed. This is not a cosmetic issue: Corollary 5.13 contains the term q^2\bar{g} J^l(x;2m+n−2,m+2n−2), and that term is used in the derivation of Proposition 8.17 in Section 8.8. The proof of Theorem 3.1 therefore rests on an unproved and, as written, contradicted coefficient evaluation. The authors should correct the case labeling and supply the missing computation for (2m+n−2, m+2n−2), or otherwise justify the value q^2\bar{g}.
  2. [5.1.4] Proposition 5.6 is load-bearing for the entire relative side: Corollary 5.7, and hence all formulas in Sections 6 and 7, depend on the listed Whittaker coefficients. The proof ends with 'The evaluation of this integral is straightforward using Lemma 5.5 and is omitted here.' In view of the inconsistency found in the parallel coefficient computation of Proposition 5.11, this omission is no longer acceptable as a routine detail. Please provide the complete evaluation, or at least the integrals over each Γ_{µ,λ} listed in Lemma 5.5, so that the coefficient list in Proposition 5.6 can be verified directly.
minor comments (3)
  1. [2.6] The displayed vector for ξ[3] appears to have nine coordinates, while ξ is an element of F^8. Please check the entries and correct the typo.
  2. [6.7.4] In the last two displayed cases, '|b_{n+2n}|' should presumably read '|b_{m+2n}|'. The same subscript error appears in the corresponding line of Proposition 6.17 or its surrounding text.
  3. [4.5] Identity (21) is cited from [FO, Corollary 7.5] and then used at many points in Section 8 to rewrite Kloosterman sums as cubic exponential sums. Since this identity is a major input to the proof of Proposition 8.2 and Proposition 8.17, the paper would be easier to certify if (21) were stated as a numbered theorem with a proof sketch or with a precise reference to the exact statement in [FO].

Circularity Check

0 steps flagged · score 1.0 of 10

No circularity: the matching is an independent computation; prior-author citations supply external number-theoretic and unit-case inputs, not restatements of the theorem.

full rationale

The derivation chain in this paper is not circular. Theorem 3.1 is proved by fixing the basis {f_{m,n}} of the spherical Hecke algebra, computing the relative orbital integrals O(xi, omega(f_{m,n})phi_0) in Sections 6-7 and the metaplectic orbital integrals O'(x, f'_{m,n}) in Sections 8-9, and then comparing the closed-form tables (Propositions 6.17, 8.17, 7.9, 9.6, 7.1, 9.1) in Section 10. The algebra isomorphism Sh is not fitted to the matching data: it is defined explicitly in equation (6) by f_{m,n} maps to q^{-2(m+n)} f'_{m,n}, and its algebra property is cited from the external theorem of Kazhdan and Patterson [KP86, Theorem 3.4]. The matching is then verified after the isomorphism is fixed, not used to define Sh. The citations to the authors' prior work [FO] play two roles: the unit-element case m=n=0 and the Kloosterman-to-cubic-exponential identity (21), [FO, Corollary 7.5]. Neither is equivalent to the target theorem. Identity (21) is a parameter-free number-theoretic statement relating K(t;c,d) to a cubic exponential integral under explicit valuation conditions; it does not involve Hecke-algebra matching and is externally falsifiable. The unit case is a base case, not an assumption of the full theorem. There is therefore no self-definitional step, no fitted input renamed as a prediction, and no load-bearing self-citation chain that reduces the central claim to its own inputs. Two non-circular correctness concerns should be noted. First, in the proof of Proposition 5.11, the listed sixth Whittaker coefficient (2m+n-2, m+2n-2) = q^2 \bar{g} is not actually computed: after Case 6 the proof says "Case 7: i=2m+n-2, j=m+2n-1", which repeats the indices of Case 5 (already valued q^2), and then concludes q^2 g. This is an internal index mismatch; since Corollary 5.13 uses the q^2 \bar{g} term, the coefficient table needs repair. This is a proof gap, not a circular reduction. Second, the proof of Proposition 8.17 says the derivation is "an elementary (albeit lengthy) check" and leaves most cases to the reader, omitting many case verifications. These issues affect correctness risk, not the circularity score.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No free parameters are fitted; all transfer factors and constants are exact expressions. The claim rests on prior results on metaplectic cocycles, the Weil representation, the Kloosterman/cubic-exponential identity, and the unramified Shimura correspondence, together with the specified local field assumptions.

assumptions (7)
  • standard math The cubic Hilbert symbol (.,.) on F^x exists and has the listed properties, including (x,1-x)=1 and (x,y)=1 for all y iff x is a cube.
    Invoked throughout Section 4.1 and all integral evaluations; standard local field fact for fields containing cube roots of unity.
  • standard math The block-compatible 2-cocycle sigma on GL3(F) and the splitting kappa of K=GL3(O) exist with the properties used in Sections 2.3 and 8.
    Cited from Banks-Levy-Sepanski [BLS99], Moore [Moo68], and the authors' [FO, Section 8.3]; the explicit values of kappa on the domain A[a,b] are taken from [FO, Lemma 8.7].
  • standard math The identity (21) K(t;c,d) = (t,cd^{-1}) C(-3a, c^{-1}d^{-1}a^3; 0) holds for |a|=|c|=|d|=q with 3 not dividing val(t) (Duke-Iwaniec) and for |a|=|c|=|d|>q ([FO, Corollary 7.5]).
    Used at many points in Section 8 to rewrite metaplectic orbital integrals; the higher-level case is a prior theorem of the same authors.
  • standard math The Weil representation action omega(h)phi(xi)=c(xi,h)phi(xi.h) on S(F^8) with the cocycle c(xi,h) from [FO] describes the relative orbital integrals on PGL3.
    This is the setup established in the prior work [FO, Sections 3-4] and is the basis for the relative orbital integrals I(a,b;i,j).
  • standard math The orbit classifications of relevant elements Xi_rel and Xi'_rel and the matching bijection given in Section 2.6 are complete.
    Taken from [FO] and [JY96]; completeness is needed so that matching five families of orbits proves the theorem for all relevant orbits.
  • standard math The map Sh: H -> H' defined by Sh(f_{m,n}) = q^{-2(m+n)} f'_{m,n} is an algebra isomorphism, the unramified Shimura correspondence.
    Attributed to Kazhdan-Patterson [KP86, Theorem 3.4]; the algebra isomorphism is the basis for matching Hecke functions.
  • domain assumption F is a nonarchimedean local field with residual characteristic greater than 3 and containing the cube roots of unity.
    Stated at the start of Section 2.1; Hensel's lemma gives 1+p subset F^{*3}, and the splitting of K over the cover requires char not 3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the cubic Shimura lift to $PGL(3)$: Hecke correspondences." pith.science (2026). https://pith.science/paper/AP5HRFSJ

@misc{pith2026250706963,
  author       = {Pith},
  title        = {Pith review of: On the cubic Shimura lift to $PGL(3)$: Hecke correspondences},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AP5HRFSJ}},
  note         = {Machine review of arXiv:2507.06963}
}
abstract

In this paper we establish a new Fundamental Lemma for Hecke correspondences. Let $F$ be a local field containing the cube roots of unity. We exhibit an algebra isomorphism of the spherical Hecke algebra of $PGL_3(F)$ and the spherical Hecke algebra of anti-genuine functions on the cubic cover $G'$ of $SL_3(F)$. Then we show that there is a matching (up to a specific transfer factor) of distributions on the two groups for all functions that correspond under this isomorphism. On $PGL_3(F)$ the distributions are relative distributions attached to a period involving the minimal representation on $SO_8$, while on $G'$ they are metaplectic Kuznetsov distributions. This Fundamental Lemma is a key step towards establishing a relative trace formula that would give a new global Shimura lift from genuine automorphic representations on the triple cover of $SL_3$ to automorphic representations on $PGL_3$, and also characterize the image of the lift by means of a period. It extends the matching for the unit elements of the Hecke algebras established by the authors in prior work.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 26 canonical work pages

  1. [1]

    Banks, Jason Levy, and Mark R

    William D. Banks, Jason Levy, and Mark R. Sepanski. Block-compatible metaplectic cocycles. J. Reine Angew. Math. , 507:131--163, 1999. 1670203

    work page 1999

  2. [2]

    David Ben-Zvi, Yiannis Sakellaridis, and Akshay Venkatesh, Relative Langlands duality, preprint, arXiv:2409.04677 (2024)

    arXiv 2024

  3. [3]

    Daniel Bump and Solomon Friedberg, Metaplectic generating functions and Shimura integrals, Automorphic forms, automorphic representations, and arithmetic (Fort Worth, TX, 1996), Proc. Sympos. Pure Math., 66, Part 2, American Mathematical Society, Providence, RI, 1999, pp. 1--17. 1703755(2000k:11063)

    work page 1996

  4. [4]

    Daniel Bump, Solomon Friedberg, and David Ginzburg, On the cubic S himura lift for PGL _3 , Israel J. Math. 126 (2001), 289--307. 1882041 (2003e:11055)

    work page 2001

  5. [5]

    Daniel Bump and Jeffrey Hoffstein, On S himura's correspondence , Duke Math. J. 55 (1987), no. 3, 661--691. 904946 (89c:11072)

    work page 1987

  6. [6]

    Anton Deitmar and Aloys Krieg, Theta correspondence for E isenstein series , Math. Z. 208 (1991), no. 2, 273--288. 1128710 (92i:11051)

    work page 1991

  7. [7]

    Viet Cuong Do, Le lemme fondamental m\'etaplectique de Jacquet et Mao en \'egales carat\'eristiques, Bull. Soc. Math. Fr. 143 (2015), no. 1, 125--196. 3323346

    work page 2015

  8. [8]

    , Transfer to characteristic zero of the J acquet- M ao's metaplectic fundamental lemma , Int. Math. Res. Not. IMRN (2020), no. 21, 7644--7661. 4176834

    work page 2020

Show all 28 references
  1. [9]

    Duke and H

    W. Duke and H. Iwaniec, A relation between cubic exponential and K loosterman sums , A tribute to E mil G rosswald: number theory and related analysis, Contemp. Math., vol. 143, Amer. Math. Soc., Providence, RI, 1993, pp. 255--258. 1210520 (93m:11082)

    1993

  2. [10]

    Flicker, Automorphic forms on covering groups of GL (2) , Invent

    Yuval Z. Flicker, Automorphic forms on covering groups of GL (2) , Invent. Math. 57 (1980), no. 2, 119--182. 567194

    1980

  3. [11]

    Flicker and David A

    Yuval Z. Flicker and David A. Kazhdan, Metaplectic correspondence, Inst. Hautes \'Etudes Sci. Publ. Math. (1986), no. 64, 53--110. 876160

    1986

  4. [12]

    Solomon Friedberg and Omer Offen, On the cubic Shimura lift to (3) : The fundamental lemma, J. Eur. Math. Soc. (JEMS), in press. Available at Online First (2024). DOI: 10.4171/JEMS/1503

    2024 doi

  5. [13]

    David Ginzburg, Stephen Rallis, and David Soudry, Cubic correspondences arising from G_2 , Amer. J. Math. 119 (1997), no. 2, 251--335. 1439552 (98a:11066)

    1997

  6. [14]

    , On the automorphic theta representation for simply laced groups, Israel J. Math. 100 (1997), 61--116. 1469105 (99c:11058)

    1997

  7. [15]

    Indian Acad

    Herv \'e Jacquet, On the nonvanishing of some L -functions , Proc. Indian Acad. Sci. Math. Sci. 97 (1987), no. 1-3, 117--155 (1988). 983610 (90e:11079)

    1987

  8. [16]

    , Repr\'esentations distingu\'ees pour le groupe orthogonal, C. R. Acad. Sci. Paris S\'er. I Math. 312, no. 13, 957--961 (1991). MR1113084(92h:11041)

    1991

  9. [17]

    II , Ann

    , Kloosterman identities over a quadratic extension. II , Ann. Sci. \'Ecole Norm. Sup. (4), 38, 609--669 (2005). MR2172953 (2006j:11070)

    2005

  10. [18]

    Herv \'e Jacquet and Yangbo Ye, Distinguished representations and quadratic base change for GL (3) , Trans. Amer. Math. Soc. 348 (1996), no. 3, 913--939. 1340178 (96h:11041)

    1996

  11. [19]

    D. A. Kazhdan and S. J. Patterson. Metaplectic forms. Inst. Hautes \'E tudes Sci. Publ. Math. , (59):35--142, 1984

    1984

  12. [20]

    D. A. Kazhdan and S. J. Patterson, Towards a generalized S himura correspondence , Adv. in Math. 60 (1986), no. 2, 161--234. 840303 (87m:22050)

    1986

  13. [21]

    Kudla and Stephen Rallis, A regularized S iegel- W eil formula: the first term identity , Ann

    Stephen S. Kudla and Stephen Rallis, A regularized S iegel- W eil formula: the first term identity , Ann. of Math. (2) 140 (1994), no. 1, 1--80. 1289491 (95f:11036)

    1994

  14. [22]

    Reine Angew

    Zhengyu Mao, A fundamental lemma for metaplectic correspondence, J. Reine Angew. Math. 496 (1998), 107--129. 1605813 (99b:22029)

    1998

  15. [23]

    Zhengyu Mao and Stephen Rallis, On a cubic lifting, Israel J. Math. 113 (1999), 95--124. 1729444 (2001f:22060)

    1999

  16. [24]

    Zhengyu Mao, Chen Wan and Lei Zhang, Strongly tempered hyperspherical Hamiltonian spaces, preprint, arXiv:2405.17699 (2024)

    2024

  17. [25]

    Moore, Group extensions of p -adic and adelic linear groups , Inst

    Calvin C. Moore, Group extensions of p -adic and adelic linear groups , Inst. Hautes \'Etudes Sci. Publ. Math. 35, (1968), 157--222. 244258

    1968

  18. [26]

    396 (2017)

    Yiannis Sakellaridis and Akshay Venkatesh, Periods and harmonic analysis on spherical varieties, Ast\'erisque No. 396 (2017). 3764130

    2017

  19. [27]

    Gordan Savin, Local S himura correspondence , Math. Ann. 280 (1988), no. 2, 185--190. 929534 (89h:22018)

    1988

  20. [28]

    arXiv:2102.0369 (2021)

    Chen Wan and Lei Zhang, Periods of automorphic forms associated to strongly tempered spherical varieties, Memoirs of the A.M.S., in press. arXiv:2102.0369 (2021)

    2021

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.