A Pinned Local Langlands Correspondence for Depth-Zero Supercuspidal Representations
Pith reviewed 2026-05-15 07:23 UTC · model grok-4.3
The pith
Fixing a pinned splitting of the quasi-split inner form produces a canonical bijection between irreducible depth-zero supercuspidal representations and relevant cuspidal enhanced depth-zero Langlands parameters.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
After fixing a pinned splitting of the quasi-split inner form, there is a canonical bijection between the irreducible depth-zero supercuspidal representations of a connected reductive group over a non-archimedean local field and the relevant cuspidal enhanced depth-zero Langlands parameters. The forward map attaches to a depth-zero type its enhanced parameter by combining the local Langlands correspondence for maximally unramified elliptic tori, a pinned Jordan decomposition for the finite cuspidal data on possibly disconnected quotients, and the known correspondence for supercuspidal unipotent representations; the inverse map reverses the same steps.
What carries the argument
The pinned splitting of the quasi-split inner form, which normalizes L-embeddings for the toral part and supplies the pinning for the Jordan decomposition on finite reductive quotients.
Load-bearing premise
The construction requires a fixed pinned splitting of the quasi-split inner form; without it the normalization that makes the bijection canonical is undefined.
What would settle it
A concrete depth-zero supercuspidal representation of a group such as GL(2) or a classical group over a p-adic field whose forward image under the construction fails to recover the original representation when the inverse map is applied would disprove the claimed bijection.
read the original abstract
We construct a pinning-normalized local Langlands correspondence for depth-zero supercuspidal representations of a connected reductive group over a non-archimedean local field. After fixing a pinned splitting of the quasi-split inner form, we obtain a canonical bijection between irreducible depth-zero supercuspidal representations and relevant cuspidal enhanced depth-zero Langlands parameters. The construction is organized around the two pieces naturally present in a depth-zero type: a tame toral part and a finite cuspidal representation of a parahoric quotient. The toral part is matched using the local Langlands correspondence for maximally unramified elliptic tori and normalized \(L\)-embeddings. The finite cuspidal part is compared with the parameter side by a pinned Jordan decomposition for the relevant finite reductive quotients. Since these quotients may be disconnected, the finite comparison must retain the Clifford-theoretic data that records the possible extension ambiguity. On the connected unipotent part we use the correspondence of Feng--Opdam--Solleveld for supercuspidal unipotent representations. Combining the toral, unipotent, and Clifford-theoretic pieces gives the enhanced parameter attached to a depth-zero supercuspidal representation, and the inverse map is obtained by reversing the same construction. The correspondence is canonical relative to the fixed pinned normalization. It is compatible with the tame inertial parameter attached to the depth-zero character, with weakly unramified twists, and with central characters via the torus correspondence. Under the DeBacker--Reeder logarithm hypothesis, the dimension-weighted packet distributions attached to the resulting packets are stable.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs a pinning-normalized local Langlands correspondence for depth-zero supercuspidal representations of connected reductive groups over non-archimedean local fields. After fixing a pinned splitting of the quasi-split inner form, it obtains a canonical bijection between irreducible depth-zero supercuspidal representations and relevant cuspidal enhanced depth-zero Langlands parameters. The construction decomposes each such representation into a tame toral character, a finite cuspidal representation of the parahoric quotient (retaining Clifford data), and an unipotent supercuspidal factor; these are matched separately via the LLC for unramified elliptic tori, pinned Jordan decomposition on finite quotients, and the Feng-Opdam-Solleveld correspondence, with the inverse obtained by reversing the steps. Compatibilities with inertial parameters, unramified twists, and central characters are stated to follow from the component maps, while stability of packet distributions is conditional on the DeBacker-Reeder logarithm hypothesis.
Significance. If the bijection is rigorously established, the result supplies a canonical, pinning-normalized matching in the depth-zero supercuspidal case by coherently assembling independent prior correspondences for tori and unipotent representations while retaining Clifford-theoretic data for possibly disconnected parahoric quotients. The explicit construction and stated compatibilities advance the local Langlands program in this setting; the conditional stability statement is clearly separated from the bijection itself.
minor comments (3)
- [Abstract] The abstract introduces 'relevant cuspidal enhanced depth-zero Langlands parameters' without a self-contained definition or forward reference; a one-sentence gloss in the introduction would aid readers.
- [§2 (Toral matching)] The precise normalization of the L-embeddings for the toral part (mentioned in the abstract) should be stated explicitly in the first section where the toral matching is defined, rather than deferred.
- [§4 (Finite cuspidal comparison)] Notation for the Clifford-theoretic extension data on the finite quotient side is introduced but its compatibility with the enhanced parameter on the Langlands side could be recorded in a short table or diagram for clarity.
Simulated Author's Rebuttal
We thank the referee for the careful reading and positive assessment of our manuscript, including the accurate summary of the pinning-normalized construction and the recognition that the conditional stability statement is clearly separated from the bijection. We are pleased that the significance for the local Langlands program is acknowledged. No major comments were raised in the report.
Circularity Check
No significant circularity detected
full rationale
The paper's central bijection is assembled by composing three independent prior results: the LLC for unramified elliptic tori, the pinned Jordan decomposition on finite reductive quotients (with Clifford data retained for disconnectedness), and the Feng-Opdam-Solleveld correspondence for unipotent supercuspidals. These are applied componentwise to the tame toral part, finite cuspidal part, and unipotent part of a depth-zero type, then inverted by reversing the same steps. The fixed pinned splitting supplies only a normalization convention and does not enter the definition of the maps themselves. No equation or construction inside the paper reduces the new correspondence to a fitted quantity or to a self-citation chain; the DeBacker-Reeder hypothesis is invoked only for the optional stability statement and is not required for the bijection. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption Local Langlands correspondence for maximally unramified elliptic tori with normalized L-embeddings
- domain assumption Feng-Opdam-Solleveld correspondence for supercuspidal unipotent representations
- domain assumption Pinned Jordan decomposition for finite reductive quotients that may be disconnected
Reference graph
Works this paper leans on
-
[1]
Aubert, Anne-Marie and Moussaoui, Ahmed and Solleveld, Maarten , title =. Manuscripta Math. , volume =. 2018 , doi =
work page 2018
-
[2]
Birkbeck, Christopher , title =. J. Th\'eor. Nombres Bordeaux , volume =. 2020 , doi =
work page 2020
-
[3]
Feng, Yongqi and Opdam, Eric and Solleveld, Maarten , title =. J. \'
-
[4]
Geck, Meinolf and Malle, Gunter , title =
-
[5]
arXiv preprint arXiv:2508.15101 , year =
Imai, Naoki , title =. arXiv preprint arXiv:2508.15101 , year =. 2508.15101 , archivePrefix =
-
[6]
Kaletha, Tasho , title =. Ann. of Math. (2) , volume =
- [7]
-
[8]
Fujii, Amoru , title =. Trans. Amer. Math. Soc. , year =. doi:10.1090/tran/9805 , eprint =
-
[9]
Deligne, Pierre and Lusztig, George , title =. Ann. of Math. (2) , volume =. 1976 , doi =
work page 1976
-
[10]
DeBacker, Stephen and Reeder, Mark , title =. Ann. of Math. (2) , volume =
- [11]
-
[12]
Moy, Allen and Prasad, Gopal , title =. Invent. Math. , volume =. 1994 , doi =
work page 1994
-
[13]
Moy, Allen and Prasad, Gopal , title =. Comment. Math. Helv. , volume =. 1996 , doi =
work page 1996
-
[14]
Morris, Lawrence , title =. Compositio Math. , volume =. 1999 , doi =
work page 1999
-
[15]
Langlands, Robert P. and Shelstad, Diana , title =. Math. Ann. , volume =. 1987 , doi =
work page 1987
-
[16]
Lusztig, George , TITLE =. 1984 , PAGES =. doi:10.1515/9781400881772 , URL =
-
[17]
Waldspurger, Jean-Loup , title =. J. Inst. Math. Jussieu , volume =. 2006 , doi =
work page 2006
- [18]
-
[19]
Lusztig, George , title =. Invent. Math. , volume =
-
[20]
Lusztig, George , title =. Inst. Hautes \'
-
[21]
Compositio Mathematica , volume =
Waldspurger, Jean-Loup , title =. Compositio Mathematica , volume =. 1997 , pages =. doi:10.1023/A:1000103112268 , language =
-
[22]
Annals of Mathematics , series =
Lusztig, George , title =. Annals of Mathematics , series =. 1990 , doi =
work page 1990
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.