Triality and adjoint lifting for GL(3)
Pith reviewed 2026-05-16 23:53 UTC · model grok-4.3
The pith
Cuspidal representations of GL(3) with a discrete series local component lift to automorphic representations on GL(8) by the adjoint map.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using the stable twisted trace formula for the triality automorphism, the paper shows the adjoint lifting to GL(8) of cuspidal representations of GL(3) that possess a discrete series local component. It classifies the possible isobaric decompositions of the resulting automorphic representations on GL(8) and derives applications to Ramanujan bounds for GL(3) and the strong Artin conjecture for certain three-dimensional Galois representations.
What carries the argument
The stable twisted trace formula for the triality automorphism, which equates twisted orbital integrals on a larger group with ordinary orbital integrals on GL(3) and thereby transfers cuspidal data to the adjoint image inside GL(8).
If this is right
- The lifted forms on GL(8) admit only a short list of possible isobaric decompositions.
- Ramanujan bounds for the original GL(3) representations follow from known bounds on the GL(8) side.
- Certain three-dimensional Galois representations attached to the GL(3) forms satisfy the strong Artin conjecture.
Where Pith is reading between the lines
- The same trace-formula comparison might extend to representations without any discrete series place if suitable local transfer results become available.
- Combining the lift with known functoriality results for GL(8) could produce new cases of the Langlands correspondence for three-dimensional motives.
- The method supplies a template for adjoint liftings attached to other outer automorphisms of low-rank groups.
Load-bearing premise
Cuspidal representations of GL(3) must have at least one discrete series local component for the stable twisted trace formula to produce a global lift.
What would settle it
An explicit cuspidal representation of GL(3) with a discrete series local component whose associated adjoint form on GL(8) fails to be automorphic or whose isobaric decomposition differs from the predicted possibilities would falsify the lifting statement.
read the original abstract
Using the stable twisted trace formula for the triality automorphism, we show the adjoint lifting (to GL(8)) of cuspidal representations of GL(3) with a discrete series local component. We also describe the possible isobaric decompositions of the resulting automorphic representations on GL(8) and discuss applications towards Ramanujan bounds for GL(3) and the strong Artin conjecture for certain 3-dimensional Galois representations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to prove, using the stable twisted trace formula for the triality automorphism, that cuspidal automorphic representations of GL(3) with at least one discrete series local component admit an adjoint lift to an automorphic representation on GL(8). The manuscript also describes the possible isobaric decompositions of the lifted representations on GL(8) and discusses applications to Ramanujan bounds for GL(3) and the strong Artin conjecture for 3-dimensional Galois representations.
Significance. If the result is established, it would constitute a notable contribution to the Langlands program by realizing a functorial lift via trace formula methods for the triality automorphism. The explicit description of isobaric decompositions provides concrete information about the structure of the lift, and the applications to Ramanujan bounds and Artin conjectures highlight potential broader impacts. The use of the stable twisted trace formula demonstrates technical sophistication in handling the geometric and spectral sides for this specific automorphism.
major comments (1)
- [Abstract] The argument depends on the discrete series local component at one place to apply the stable twisted trace formula and obtain the global lift. However, it remains unclear whether this local condition is sufficient to ensure the matching of twisted orbital integrals and transfer factors at all places, including those without a discrete series component. This matching is load-bearing for the character identity that defines the adjoint lift, and additional justification or explicit verification of the fundamental lemma in this context would be necessary.
minor comments (2)
- The abstract could include a more precise statement of the main theorem, such as the exact form of the lift or the conditions on the representations.
- Consider adding a diagram or explicit description of the triality automorphism to aid readers unfamiliar with the exceptional group context.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. The major comment identifies a point where additional clarification on local matching would strengthen the exposition, and we will revise the manuscript accordingly.
read point-by-point responses
-
Referee: The argument depends on the discrete series local component at one place to apply the stable twisted trace formula and obtain the global lift. However, it remains unclear whether this local condition is sufficient to ensure the matching of twisted orbital integrals and transfer factors at all places, including those without a discrete series component. This matching is load-bearing for the character identity that defines the adjoint lift, and additional justification or explicit verification of the fundamental lemma in this context would be necessary.
Authors: The discrete series condition at a single place is used solely to guarantee that the global cuspidal representation contributes non-trivially to the spectral side and to isolate the adjoint lift in the twisted trace formula. The matching of twisted orbital integrals and transfer factors, together with the fundamental lemma for the triality automorphism, is established locally at every place by the general results on twisted endoscopy for GL(n) (as in the works of Arthur and others on the stable trace formula for outer automorphisms). These local identities hold independently of the discrete series condition at any particular place. We will add an explicit paragraph in the introduction and a reference in Section 2 to these foundational results on the fundamental lemma, making the separation of local transfer from the global non-vanishing argument fully transparent. revision: yes
Circularity Check
No circularity: derivation applies established trace formula to triality automorphism
full rationale
The paper's central argument invokes the stable twisted trace formula for the triality automorphism to produce the adjoint lift of cuspidal GL(3) representations possessing at least one discrete series place. This is a standard application of an independently established tool in the trace formula literature; the discrete series hypothesis is an external local condition that enables the formula's applicability rather than a fitted parameter or self-referential definition. No step reduces the global character identity to a tautology, a renamed input, or a load-bearing self-citation whose validity is presupposed by the present work. The derivation therefore remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking (D=3 from circle linking in S^D) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Using the stable twisted trace formula for the triality automorphism, we show the adjoint lifting (to GL(8)) of cuspidal representations of GL(3) with a discrete series local component.
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat ≃ Nat recovery; embed_strictMono_of_one_lt unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the twisted endoscopic groups ... are ... G2, SL3 and SO4 ... ˜Ad : PGL3(C) → Spin8(C)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
M. Asgari and A. Raghuram, A cuspidality criterion for the exterior square transfer of cusp forms on (4) , in On certain L-functions , 33-53, Clay Math. Proc., 13, Amer. Math. Soc., Providence, RI, 2011
work page 2011
-
[2]
Arthur, The endoscopic classification of representations: orthogonal and symplectic groups
J. Arthur, The endoscopic classification of representations: orthogonal and symplectic groups. American Mathematical Society Colloquium Publications 61, A. M. S., Providence, RI (2013)
work page 2013
-
[3]
J. Arthur and L. Clozel, Simple algebras, base change, and the advanced theory of the trace formula , Annals of Mathematics Studies, 120. Princeton University Press, Princeton, NJ, 1989. xiv+230 pp
work page 1989
-
[4]
M. Asgari and F. Shahidi, Generic transfer for general spin groups , Duke Math. J. 132 (2006), no. 1, 137-190
work page 2006
-
[5]
H. Atobe, W.T. Gan, A. Ichino, T. Kaletha, A. Minguez and S.W. Shin, Local intertwining relations and cotempered A-packets of classical groups , arxiv preprint, arXiv:2410.13504
-
[6]
J. Bella\"iche and G. Chenevier, Families of Galois representations and Selmer groups , Soci\'et\'e Math. de France, Ast\'erisque 324 (2009)
work page 2009
-
[7]
Blasius, On multiplicities for (n)
D. Blasius, On multiplicities for (n) . Israel J. Math. 88 (1994), no. 1-3, 237-251
work page 1994
-
[8]
V. Blomer and F. Brumley, On the Ramanujan conjecture over number fields , Ann. of Math. (2) 174 (2011), no. 1, 581-605
work page 2011
- [9]
-
[10]
Y.Q. Cai, S. Friedberg and E. Kaplan, Doubling constructions: global functoriality for non-generic cuspidal representations , Ann. of Math. (2) 200 (2024), no. 3, 893-966
work page 2024
-
[11]
P.S. Chan and W.T. Gan, The local Langlands conjecture for (4) III: Stability and twisted endoscopy , J. Number Theory 146 (2015), 69-133
work page 2015
-
[12]
G. Chenevier and M. Harris, Construction of automorphic Galois representations II ,
-
[13]
R. Chen and J.L. Zou, Arthur multiplicity formula for even orthogonal and unitary groups , Arthur's multiplicity formula for even orthogonal and unitary groups. J. Eur. Math. Soc. (JEMS) 27 (2025), no. 12, 4769-4843
work page 2025
-
[14]
G. Chenevier and W.T. Gan, Triality and functoriality , arxiv preprint. arXiv:2510.21169
-
[15]
G. Chenevier, Subgroups of Spin (7) or SO (7) with each element conjugate to some element of G _2 , and applications to automorphic forms , Documenta Math. 24 (2019), 95--161
work page 2019
- [16]
-
[17]
G. Chenevier and D. Renard, Level one algebraic cusp forms of classical groups of small rank ,
-
[18]
J.W. Cogdell, H. Kim, I. Piatetski-Shapiro, F. Shahidi, Functoriality for the classical groups. Publ. Math. IHES. No. 99 (2004), 163--233
work page 2004
-
[19]
Demazure, Groupes r\'eductifs : d\'eploiements, sous-groupes, groupes quotients , Expos\'e XIII in M
M. Demazure, Groupes r\'eductifs : d\'eploiements, sous-groupes, groupes quotients , Expos\'e XIII in M. Demazure, A. Grothendieck & al., SGA3 , 1st ed. Spinger (1970), new ed. SMF Doc. Math. 8 (2011)
work page 1970
- [20]
-
[21]
Gan, Automorphic forms and the theta correspondence , in Automorphic forms beyond _2 , 59-112, Math
W.T. Gan, Automorphic forms and the theta correspondence , in Automorphic forms beyond _2 , 59-112, Math. Surveys Monogr., 279, Amer. Math. Soc., Providence, RI (2024),
work page 2024
- [22]
- [23]
- [24]
- [25]
- [26]
-
[27]
S. Gelbart and H. Jacquet, A relation between automorphic representations of GL (2) and GL (3) , Ann. Sci. \'E. N. S., Ser. 4 vol 11 (1978), 471--542
work page 1978
-
[28]
S. Gelbart and A. Knapp, L-indistinguishability and R-groups for the special linear group , Adv. in Math. 43 (1982), no. 2, 101-121
work page 1982
-
[29]
D. Ginzburg, S. Rallis and D. Soudry, Periods, poles of L-functions and symplectic-orthogonal theta lifts , J. Reine Angew. Math. 487 (1997), 85-114
work page 1997
-
[30]
D. Ginzburg, S. Rallis and D. Soudry, The descent map from automorphic representations of (n) to classical groups , World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ (2011)
work page 2011
-
[31]
G. Henniart and R. Herb, Automorphic induction for (n) (over local non-Archimedean fields) , Duke Math. J. 78 (1995), no. 1, 131-192
work page 1995
-
[32]
K. Hiraga and A. Ichino, On the Kottwitz-Shelstad normalization of transfer factors for automorphic induction for _n , Nagoya Math. J. 208 (2012), 97-144
work page 2012
-
[33]
K. Hiraga and H. Saito, On restriction of admissible representations , Algebra and number theory, 299-326, Hindustan Book Agency, Delhi, 2005
work page 2005
-
[34]
K. Hiraga and H. Saito, On L-packets for inner forms of _n , Mem. Amer. Math. Soc. 215 (2012), no. 1013, vi+97 pp
work page 2012
-
[35]
J. Hundley and E. Sayag, Descent construction for groups , Mem. Amer. Math. Soc. 243 (2016), no. 114
work page 2016
-
[36]
Ikeda, On the lifting of elliptic cusp forms to Siegel cusp forms of degree 2n , Ann
T. Ikeda, On the lifting of elliptic cusp forms to Siegel cusp forms of degree 2n , Ann. of Math. (2) 154 (2001), no. 3, 641-681
work page 2001
-
[37]
T. Ikeda and S. Yamana, On the lifting of Hilbert cusp forms to Hilbert-Siegel cusp forms. , Ann. Sci. ENS (4) 53 (2020), no. 5, 1121-1181
work page 2020
-
[38]
H. Jacquet, I. Piatetski-Shapiro and J. Shalika, Automorphic forms on (3) II , Ann. of Math. (2) 109 (1979), no. 2, 213-258
work page 1979
-
[39]
D. Kazhdan, The minimal representation of D_4 , in Operator algebras, unitary representations, enveloping algebras, and invariant theory (Paris, 1989) , 125-158, Progr. Math., 92, Birkhäuser Boston, Boston, MA, 1990
work page 1989
-
[40]
Kim, Functoriality for the exterior square of _4 and the symmetric fourth of _2 , J
H. Kim, Functoriality for the exterior square of _4 and the symmetric fourth of _2 , J. Amer. Math. Soc. 16 (2003), no. 1, 139-183
work page 2003
- [41]
- [42]
- [43]
-
[44]
M. Knus, A. Merkurjev, M. Rost, and J.-P. Tignol, The Book of Involutions. AMS Colloquium Publications, Vol. 44 (1998)
work page 1998
-
[45]
R. Kottwitz and D. Shelstad, Foundations of twisted endoscopy , Ast\'erisque No. 255 (1999), vi+190 pp
work page 1999
-
[46]
A. Kret and S.W. Shin, Galois representations for general symplectic groups , preprint, available at https://arxiv.org/pdf/1609.04223.pdf
-
[47]
E. Lapid and S. Rallis, On the local factors of representations of classical groups,
-
[48]
S. W. Shin, Automorphic Plancherel density theorem , Israel J. Math. 192 (2012), no.1, 83-120
work page 2012
-
[49]
Steinberg, Regular elements of semisimple algebraic groups , Publ
R. Steinberg, Regular elements of semisimple algebraic groups , Publ. Math. IHES Vol. 25 (1965), Pg. 49-80
work page 1965
-
[50]
B.Y. Sun and C.B. Zhu, Conservation relations for local theta correspondence , J. Amer. Math. Soc. 28 (2015), no. 4, 939-983
work page 2015
-
[51]
Kudla, On the local theta-correspondence , Invent
S. Kudla, On the local theta-correspondence , Invent. Math. 83 (1986), no. 2, 229-255
work page 1986
-
[52]
J.-P. Labesse and R. Langlands, L-indistinguishability for (2) , Canadian J. Math. 31 (1979), no. 4, 726-785
work page 1979
-
[53]
J.-P. Labesse and J.-L. Waldspurger, La formule des traces tordue d'apr\`es le Friday Morning Seminar , CRM Monograph Series, 31. American Mathematical Society, Providence, RI, 2013
work page 2013
-
[54]
Lapid, Some results on multiplicities for (n) , Israel J
E. Lapid, Some results on multiplicities for (n) , Israel J. Math. 112 (1999), 157-186
work page 1999
-
[55]
Lapid, A note on the global Langlands conjecture , Doc
E. Lapid, A note on the global Langlands conjecture , Doc. Math. 3 (1998), 285-296
work page 1998
-
[56]
Li, The correspondences of infinitesimal characters for reductive dual pairs in simple Lie groups ,
J.S. Li, The correspondences of infinitesimal characters for reductive dual pairs in simple Lie groups ,
-
[57]
W.Z. Luo, Z. Rudnick and P. Sarnak, On the generalized Ramanujan conjecture for (n) , in Automorphic forms, automorphic representations, and arithmetic (Fort Worth, TX, 1996) , 301-310, Proc. Sympos. Pure Math., 66, Part 2, Amer. Math. Soc., Providence, RI, 1999
work page 1996
-
[58]
C. Moeglin and J.L. Waldspurger, Stabilisation de la formule des traces tordue. Vol. 1 , Progress in Mathematics, 316. Birkh\"auser/Springer, Cham (2016), xviii+587 pp
work page 2016
-
[59]
C. Moeglin and J.L. Waldspurger, Stabilisation de la formule des traces tordue. Vol. 2 , Progress in Mathematics, 317. Birkh\"auser/Springer, Cham (2016)
work page 2016
-
[60]
F. Andreatta, A. Iovita and V. Pilloni, p -adic families of Siegel modular cuspforms , Annals of Math. 181 (2015), 623--697
work page 2015
-
[61]
S. Patrikis & R. Taylor, Automorphy and irreducibility of some -adic representations , Compositio Math. 151 (2013)
work page 2013
-
[62]
Pollack, The Spin L -function on GSp _6 for Siegel modular forms , Compositio Math, 153 (2017), no
A. Pollack, The Spin L -function on GSp _6 for Siegel modular forms , Compositio Math, 153 (2017), no. 7, 1391--1432
work page 2017
-
[63]
A. Pollack & S. Shah, The Spin L -function of GSp _6 via non unique model , American Journal of Mathematics 140 (2018), no. 3, 753--788
work page 2018
-
[64]
Przebinda, The duality correspondence of infinitesimal characters , Colloq
T. Przebinda, The duality correspondence of infinitesimal characters , Colloq. Math. 70 (1996), no. 1, 93-102
work page 1996
-
[65]
Rallis, Langlands' functoriality and the Weil representartion , American Journal of Math., Vol
S. Rallis, Langlands' functoriality and the Weil representartion , American Journal of Math., Vol. 104 (1982), No. 3, 469-515
work page 1982
-
[66]
Rallis, L-functions and the oscillator representation , Lecture Notes in Math
S. Rallis, L-functions and the oscillator representation , Lecture Notes in Math. 1245, Springer-Verlag (1987)
work page 1987
- [67]
-
[68]
Ramakrishnan, Modularity of the Rankin-Selberg L-series, and multiplicity one for (2) , Ann
D. Ramakrishnan, Modularity of the Rankin-Selberg L-series, and multiplicity one for (2) , Ann. of Math. (2) 152 (2000), no. 1, 45-111
work page 2000
-
[69]
Ramakrishnan, Modularity of solvable Artin representations of GO (4) -type , Int
D. Ramakrishnan, Modularity of solvable Artin representations of GO (4) -type , Int. Math. Res. Not. 2002, no. 1, 1-54
work page 2002
-
[70]
Ramakrishnan, Existence of Ramanujan primes for (3)
D. Ramakrishnan, Existence of Ramanujan primes for (3) . in Contributions to automorphic forms, geometry, and number theory , 711-717, Johns Hopkins Univ. Press, Baltimore, MD, 2004
work page 2004
-
[71]
D. Ramakrishnan and S. Wang, A cuspidality criterion for the functorial product on (2) (3) with a cohomological application , Int. Math. Res. Not. 2004, no. 27, 1355-1394
work page 2004
-
[72]
LY Yang, Arithmetic distribution of tempered components of cuspidal representations of (3) , Math. Z. 303 (2023), no. 3, Paper No. 66, 19 pp
work page 2023
-
[73]
Roberts, The theta correspondence for similitudes , Israel J
B. Roberts, The theta correspondence for similitudes , Israel J. Math. 94 (1996), 285-317
work page 1996
-
[74]
O. Ta\"ibi, Dimensions of spaces of level one automorphic forms for split classical groups using the trace formula , Ann. Sci. ENS 50 (2017), no. 2, 269-344
work page 2017
-
[75]
Ta\"ibi, The Euler characteristic of -adic local systems on A _n , arXiv:2510.00656 (2025)
O. Ta\"ibi, The Euler characteristic of -adic local systems on A _n , arXiv:2510.00656 (2025)
-
[76]
Tits, Reductive groups over local fields , in Proc
J. Tits, Reductive groups over local fields , in Proc. Symp. in Pure Math. 33, Automorphic forms, Representations and L-functions, Part I , A. Borel & W. Casselman ed., A.M.S. (1977)
work page 1977
-
[77]
G. van der Geer, Siegel modular forms and their applications , in The 1--2--3 of modular forms , Universitext, Springer Verlag, (2008), 181--245
work page 2008
-
[78]
S. C. Vo, The spin L -function on the symplectic group GSp (6) , Israel J. Math. 101, 1--71 (1997)
work page 1997
-
[79]
Bin Xu, L --packets of quasisplit GSp (2n) and GO (2n) . Math. Ann. 370 (2018), no. 1-2, 71-189
work page 2018
- [80]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.