On the upper bound of wavefront sets of representations of p-adic groups
Pith reviewed 2026-05-24 03:15 UTC · model grok-4.3
The pith
A conjecture on upper bounds for wavefront sets of p-adic group representations reduces to anti-discrete series cases and is equivalent to the Jiang conjecture for Arthur packets.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The formulated conjecture on the upper bound of wavefront sets is equivalent to the Jiang conjecture on the upper bound of wavefront sets of representations in local Arthur packets and also equivalent to an analogous conjecture on the upper bound of wavefront sets of representations in local ABV packets; moreover the conjecture reduces to the case of anti-discrete series representations.
What carries the argument
The new upper-bound conjecture for wavefront sets, which carries the argument through its reduction to anti-discrete series representations via Aubert-Zelevinsky duality.
If this is right
- If the conjecture holds, then upper bounds on wavefront sets for all irreducible admissible representations follow from verifying them only for anti-discrete series representations.
- The wavefront set upper bounds for representations in local Arthur packets coincide exactly with those in local ABV packets.
- Any proof or counterexample for the bounds in the anti-discrete series case immediately settles the general conjecture.
- The equivalence transfers known or future results on Arthur packets directly to the ABV setting and vice versa.
Where Pith is reading between the lines
- The reduction might allow computational verification of the bounds first for groups where anti-discrete series representations are well understood, such as classical groups.
- Matching bounds across packet types could constrain how representations embed into larger L-packets or how their characters behave under endoscopy.
- If the bounds are sharp in the reduced case, they would limit the possible nilpotent orbits appearing in the wavefront sets of all such representations.
Load-bearing premise
The reduction of the general upper-bound conjecture to the anti-discrete series case is valid, based on the behavior of wavefront sets under Aubert-Zelevinsky duality.
What would settle it
An explicit irreducible admissible representation, especially an anti-discrete series one or one inside a local Arthur packet, whose wavefront set strictly exceeds the conjectured upper bound would disprove the claim.
read the original abstract
In this paper we study the upper bound of wavefront sets of irreducible admissible representations of connected reductive groups defined over non-Archimedean local fields of characteristic zero. We formulate a new conjecture on the upper bound and show that it can be reduced to that of anti-discrete series representations, namely, those whose Aubert-Zelevinsky duals are discrete series. Then, we show that this conjecture is equivalent to the Jiang conjecture on the upper bound of wavefront sets of representations in local Arthur packets and also equivalent to an analogous conjecture on the upper bound of wavefront sets of representations in local ABV packets.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript formulates a new conjecture on the upper bound of wavefront sets of irreducible admissible representations of connected reductive groups over non-Archimedean local fields of characteristic zero. It proves that this conjecture reduces to the case of anti-discrete series representations (those whose Aubert-Zelevinsky duals are discrete series) and establishes logical equivalence between the new conjecture, the Jiang conjecture for representations in local Arthur packets, and an analogous conjecture for representations in local ABV packets.
Significance. If the reduction via Aubert-Zelevinsky duality and the stated equivalences hold, the paper unifies several wavefront-set conjectures in the representation theory of p-adic groups and reduces the general case to anti-discrete series representations. This logical clarification is a useful organizational contribution that may facilitate future verifications or proofs in the reduced setting; the equivalences themselves constitute the main result.
minor comments (1)
- The abstract and introduction would benefit from a brief explicit statement of the precise formulation of the new conjecture (e.g., the precise inclusion or bound asserted for the wavefront set) before discussing its reduction and equivalences.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the positive report recommending acceptance. The report contains no major comments requiring response.
Circularity Check
No circularity; equivalences and reductions are independent logical relations
full rationale
The paper formulates a new conjecture on wavefront set upper bounds, reduces it to the anti-discrete series case using Aubert-Zelevinsky duality (a standard external tool), and proves logical equivalence to the Jiang conjecture and an ABV-packet analogue. These steps are statements of equivalence and reduction between distinct conjectures; none reduce by construction to the paper's own inputs, fitted parameters, or self-citations. No self-definitional loops, renamed empirical patterns, or load-bearing internal citations appear. The derivation chain is self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Connected reductive groups over non-Archimedean local fields of characteristic zero admit irreducible admissible representations whose wavefront sets are well-defined invariants.
- domain assumption Aubert-Zelevinsky duality maps discrete series to anti-discrete series and preserves relevant representation-theoretic properties needed for the reduction.
Forward citations
Cited by 1 Pith paper
-
Wavefront sets for genuine representations of $\rm GL$-covers of Kazhdan--Patterson or Savin types
Wavefront sets for genuine irreps of Kazhdan-Patterson and Savin GL-covers are determined from the degrees of their highest Bernstein-Zelevinsky derivatives, with a Langlands reinterpretation for the former.
Reference graph
Works this paper leans on
-
[1]
Achar, An order-reversing duality map for conjugacy classes in Lusztig's canonical quotient
P. Achar, An order-reversing duality map for conjugacy classes in Lusztig's canonical quotient. Transform. Groups . 8, 107-145 (2003)
work page 2003
- [2]
-
[3]
Arthur, Unipotent automorphic representations: conjectures
J. Arthur, Unipotent automorphic representations: conjectures. Ast \'e risque . pp. 13-71 (1989), Orbites unipotentes et repr \' e sentations, II
work page 1989
-
[4]
Arthur, The endoscopic classification of representations: Orthogonal and Symplectic groups
J. Arthur, The endoscopic classification of representations: Orthogonal and Symplectic groups. Colloquium Publication Vol. 61, 2013, American Mathematical Society
work page 2013
-
[5]
Atobe, On the socles of certain parabolically induced representations of p-adic classical groups
H. Atobe, On the socles of certain parabolically induced representations of p-adic classical groups. Represent. Theory . 26 pp. 515-541 (2022)
work page 2022
-
[6]
H. Atobe and W. T. Gan, On the local Langlands correspondence and Arthur conjecture for even orthogonal groups. Represent. Theory . 21 pp. 354-415 (2017)
work page 2017
-
[7]
H. Atobe and A. M \'i nguez, The explicit Zelevinsky-Aubert duality. Compos. Math. 159, 380-418 (2023)
work page 2023
-
[8]
A.-M. Aubert, Dualit \' e dans le groupe de Grothendieck de la cat \' e gorie des repr \' e sentations lisses de longueur finie d'un groupe r \' e ductif p-adique. Trans. Amer. Math. Soc. 347 (1995) 2179-2189
work page 1995
- [9]
- [10]
-
[11]
A. Badulescu, Correspondance de Jacquet-Langlands pour les corps locaux de caract \'e ristique non nulle. Ann. Sci. \'E cole Norm. Sup. (4) . 35, 695-747 (2002)
work page 2002
-
[12]
A. Badulescu, Global Jacquet-Langlands correspondence, multiplicity one and classification of automorphic representations. Invent. Math. . 172, 383-438 (2008), With an appendix by Neven Grbac
work page 2008
-
[13]
D. Barbasch and D. Vogan, Unipotent representations of complex semisimple groups. Ann. of Math. (2) 121 (1985), no. 1, 41--110
work page 1985
-
[14]
Borel, Automorphic L-functions
A. Borel, Automorphic L-functions. in Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, pp. 27-61, Proc. Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I., 1979
work page 1977
-
[15]
A. Borel and N. Wallach. Continuous cohomology, discrete subgroups, and representations of reductive groups. (Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1980)
work page 1980
-
[16]
Cai, Quaternionic Speh Representations, Doc
Y. Cai, Quaternionic Speh Representations, Doc. Math., 28 (2023), pp. 903–937
work page 2023
- [17]
-
[18]
K. Choiy and D. Goldberg, Invariance of R-groups between p-adic inner forms of quasi-split classical groups. Trans. Amer. Math. Soc. . 368, 1387-1410 (2016)
work page 2016
-
[19]
D. Ciubotaru and J.-L. Kim, The wavefront set: bounds for the L anglands parameter, preprint (2024). arXiv:2403.14261
- [20]
-
[21]
D. Ciubotaru, L. Mason-Brown, and E. Okada, Some unipotent Arthur packets for reductive p-adic groups. Int. Math. Res. Not. IMRN. (2023)
work page 2023
-
[22]
D. Ciubotaru, L. Mason-Brown, and E. Okada, Wavefront Sets of Unipotent Representations of Reductive p-adic Groups II. (2023), arXiv:2303.10713
-
[23]
D. Collingwood, and W. McGovern, Nilpotent orbits in semisimple Lie algebras. (Van Nostrand Reinhold Co., New York, 1993)
work page 1993
-
[24]
C. Cunningham, A. Fiori, and N. Kitt, Appearance of the Kashiwara-Saito singularity in the representation theory of p-adic GL16, Pacific Journal of Mathematics (2022)
work page 2022
-
[25]
C. Cunningham, A. Fiori, A. Moussaoui, J. Mracek, and B. Xu, Arthur packets for p-adic groups by way of microlocal vanishing cycles of perverse sheaves, with examples. Mem. Amer. Math. Soc. 276 (2022), ix+216
work page 2022
-
[26]
P. Deligne, D. Kazhdan, and M. Vign \'e ras, Repr \'e sentations des alg \`e bres centrales simples p-adiques. Representations Of Reductive Groups Over A Local Field . pp. 33-117 (1984)
work page 1984
-
[27]
W. T. Gan, B. H. Gross, and D. Prasad, Symplectic local root numbers, central critical L values, and restriction problems in the representation theory of classical groups. Ast \'e risque . pp. 1-109 (2012), Sur les conjectures de Gross et Prasad. I
work page 2012
-
[28]
W. T. Gan, B. H. Gross, and D. Prasad, Branching laws for classical groups: The non-tempered case, Compos. Math. 156(11) (2020), 2298–2367
work page 2020
-
[29]
Lie theories and their applications (Proc
Harish-Chandra, Admissible invariant distributions on reductive p-adic groups. Lie theories and their applications (Proc. Ann. Sem. Canad. Math. Congr., Queen's Univ., Kingston, Ont., 1977), pp. 281--347. Queen's Papers in Pure Appl. Math., No. 48, Queen's Univ., Kingston, Ont., 1978
work page 1977
-
[30]
M. Harris and R. Taylor, The geometry and cohomology of some simple Shimura varieties. (Princeton University Press, 2001)
work page 2001
-
[31]
A. Hazeltine, B. Liu, and C.-H. Lo, On the intersection of local Arthur packets for classical groups. (2022), arXiv.2201.10539
-
[32]
A. Hazeltine, B. Liu, C.-H. Lo, and Q. Zhang, The closure ordering conjecture on local L -parameters in local Arthur packets of classical groups. (2022), Preprint
work page 2022
-
[33]
Henniart, Une preuve simple des conjectures de Langlands pour GL(n) sur un corps p-adique
G. Henniart, Une preuve simple des conjectures de Langlands pour GL(n) sur un corps p-adique. Invent. Math. 139, 439-455 (2000)
work page 2000
-
[34]
Hiraga, On functoriality of Zelevinski involutions
K. Hiraga, On functoriality of Zelevinski involutions. Compos. Math. . 140, 1625-1656 (2004)
work page 2004
-
[35]
H. Ishimoto, The endoscopic classification of representations of non-quasi-split odd special orthogonal groups. (2023), arXiv.2301.12143
-
[36]
H. Jacquet and R. Langlands, Automorphic forms on GL(2). (Springer-Verlag, Berlin-New York,1970)
work page 1970
-
[37]
Jantzen, Duality for classical p-adic groups: the half-integral case
C. Jantzen, Duality for classical p-adic groups: the half-integral case. Represent. Theory . 22 pp. 160-201 (2018)
work page 2018
-
[38]
Jiang, Automorphic Integral transforms for classical groups I: endoscopy correspondences
D. Jiang, Automorphic Integral transforms for classical groups I: endoscopy correspondences . Automorphic Forms: L-functions and related geometry: assessing the legacy of I.I. Piatetski-Shapiro, 179-242, Comtemp. Math. 614, 2014, AMS
work page 2014
- [39]
-
[40]
T. Kaletha, A. M \'i nguez, S. W. Shin, and P.-J. White, Endoscopic classification of representations: Inner forms of unitary groups . Preprint. 2014
work page 2014
-
[41]
D. Kazhdan and G. Lusztig, Proof of the Deligne-Langlands conjecture for Hecke algebras. Invent. Math. 87, 153-215 (1987)
work page 1987
-
[42]
T. Konno, A note on the Langlands classification and irreducibility of induced representations of p-adic groups. Kyushu J. Math. 57, 383-409 (2003)
work page 2003
-
[43]
La, The Iwahori-Matsumoto dual for tempered representations of Lustig's geometric hecke algebras
R. La, The Iwahori-Matsumoto dual for tempered representations of Lustig's geometric hecke algebras. Preprint. 2024. arXiv:2403.14528
-
[44]
B. Liu and C.-H. Lo, On the weak local Arthur packets conjecture of split classical groups. Preprint. 2023
work page 2023
- [45]
- [46]
- [47]
- [48]
-
[49]
G. Lusztig. Characters of reductive groups over finite fields. Proceedings Of The International Congress Of Mathematicians, Vol. 1, 2 (Warsaw, 1983) . pp. 877-880 (1984)
work page 1983
-
[50]
Lusztig, Classification of unipotent representations of simple p-adic groups
G. Lusztig, Classification of unipotent representations of simple p-adic groups. Internat. Math. Res. Notices ., 517-589 (1995)
work page 1995
-
[51]
Lusztig, Classification of unipotent representations of simple p-adic groups
G. Lusztig, Classification of unipotent representations of simple p-adic groups. II. Represent. Theory . 6 pp. 243-289 (2002)
work page 2002
-
[52]
M glin, Formes automorphes de carr \'e int \'e grable non cuspidales
C. M glin, Formes automorphes de carr \'e int \'e grable non cuspidales. Manuscripta Math. 127 (2008), 411-467
work page 2008
-
[53]
C. M glin, Image des op \'e rateurs d'entrelacements normalis \'e s et p \^ o les des s \'e ries d'Eisenstein. Adv. Math. 228 (2011), 1068-1134
work page 2011
-
[54]
M glin, Fonctions L de paires pour les groupes classiques
C. M glin, Fonctions L de paires pour les groupes classiques. Ramanujan J. 28 (2012), 187-209
work page 2012
- [55]
-
[56]
C. M glin and J.-L. Waldspurger, Sur l'involution de Zelevinski. J. Reine Angew. Math. . 372 pp. 136-177 (1986)
work page 1986
-
[57]
C. M glin and J.-L. Waldspurger, Mod \'e les de Whittaker d \`e g \'e n \'e r \'e s pour des groupes p-adiques. Math. Z. 196, 427-452 (1987)
work page 1987
-
[58]
Mok, Endoscopic classification of representations of quasi-split unitary groups
C. Mok, Endoscopic classification of representations of quasi-split unitary groups. Mem. Amer. Math. Soc. 235, vi+248 (2015)
work page 2015
-
[59]
Okada, The wavefront set over a maximal unramified field extension
E. Okada, The wavefront set over a maximal unramified field extension. 2022. arXiv:2107.10591
-
[60]
Rogawski, Representations of GL(n) and division algebras over a p-adic field
J. Rogawski, Representations of GL(n) and division algebras over a p-adic field. Duke Math. J. 50, 161-196 (1983)
work page 1983
-
[61]
Scholze, The local Langlands correspondence for _n over p-adic fields
P. Scholze, The local Langlands correspondence for _n over p-adic fields. Invent. Math. 192, 663-715 (2013)
work page 2013
-
[62]
A. Silberger and E. Zink, Langlands classification for L-parameters. J. Algebra . 511 pp. 299-357 (2018)
work page 2018
-
[63]
Sommers, Lusztig's canonical quotient and generalized duality
E. Sommers, Lusztig's canonical quotient and generalized duality. J. Algebra . 243, 790-812 (2001)
work page 2001
-
[64]
Spaltenstein, Classes Unipotentes et Sous-groupes de Borel, Lecture Notes in Mathematics, no
N. Spaltenstein, Classes Unipotentes et Sous-groupes de Borel, Lecture Notes in Mathematics, no. 946, Springer-Verlag, 1982
work page 1982
-
[65]
Tadi \'c , Induced representations of GL(n,A) for p-adic division algebras A
M. Tadi \'c , Induced representations of GL(n,A) for p-adic division algebras A. J. Reine Angew. Math. 405 pp. 48-77 (1990)
work page 1990
-
[66]
Tadi \'c , On unitarizability in the case of classical p-adic groups
M. Tadi \'c , On unitarizability in the case of classical p-adic groups. Geometric Aspects Of The Trace Formula . pp. 405-453 (2018)
work page 2018
-
[67]
Tsai, Geometric wave-front set may not be a singleton
C.-C. Tsai, Geometric wave-front set may not be a singleton. J. Amer. Math. Soc. 37 (2024), 281-304
work page 2024
-
[68]
Vogan, The local Langlands conjecture
D. Vogan, The local Langlands conjecture. Representation Theory Of Groups And Algebras . 145 (1993), 305-379
work page 1993
-
[69]
J.-L. Waldspurger, Repr \'e sentations de r \'e duction unipotente pour SO(2n+1), III: exemples de fronts d'onde. Algebra Number Theory . 12, 1107-1171 (2018)
work page 2018
-
[70]
J.-L. Waldspurger, Fronts d'onde des repr \'e sentations temp \'e r \'e es et de r \'e duction unipotente pour SO(2n+1). Tunis. J. Math. 2, 43-95 (2020)
work page 2020
-
[71]
Xu, On M glin's parametrization of Arthur packets for p-adic quasisplit Sp(N) and SO(N)
B. Xu, On M glin's parametrization of Arthur packets for p-adic quasisplit Sp(N) and SO(N). Canad. J. Math. 69, (2017), 890-960
work page 2017
-
[72]
B. Xu, A combinatorial solution to M glin's parametrization of Arthur packets for p-adic quasisplit Sp(N) and O(N). J. Inst. Math. Jussieu . 20, 1091-1204 (2021)
work page 2021
-
[73]
Zelevinsky, Induced representations of reductive p -adic groups
A. Zelevinsky, Induced representations of reductive p -adic groups. II. On irreducible representations of GL(n). Ann. Sci. \'E cole Norm. Sup. (4) 13, 165-210 (1980)
work page 1980
-
[74]
Zelevinsky, The p-adic analogue of the Kazhdan-Lusztig conjecture
A. Zelevinsky, The p-adic analogue of the Kazhdan-Lusztig conjecture. Funktsional. Anal. I Prilozhen. 15, 9-21, 96 (1981)
work page 1981
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.