arxiv: 2604.15057 · v1 · submitted 2026-04-16 · 🧮 math.RT · math.NT

Recognition: unknown

Distinguished Simple Supercuspidal Representations of p-adic GL(n)

David C. Luo

Authors on Pith no claims yet

Pith reviewed 2026-05-10 09:15 UTC · model grok-4.3

classification 🧮 math.RT math.NT MSC 22E50

keywords simple supercuspidal representationsdistinguished representationstwisted gamma factorsmaximal simple typesp-adic GL(n)quadratic extensionslocal fields

0 comments

The pith

A collection of twisted gamma factors at 1/2 determines whether a simple supercuspidal representation of GL(n,E) is distinguished by GL(n,F).

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

The paper establishes equivalent conditions for a simple supercuspidal representation π of GL(n, E), where E/F is a quadratic extension of non-Archimedean local fields with odd residual characteristic, to be distinguished by GL(n, F). These conditions are expressed using the maximal simple type that defines π together with values of its twisted gamma factors. It further proves that the full collection of those gamma factors evaluated at s = 1/2, taken against all unitary tamely ramified quasi-characters of E× that are trivial on F×, is enough to decide whether distinction holds. A sympathetic reader cares because the distinction property links the algebraic construction of representations to analytic invariants and appears in questions about base change and periods of automorphic forms.

Core claim

A simple supercuspidal representation π of GL(n, E) is distinguished by GL(n, F) if and only if its defining maximal simple type satisfies a specific compatibility condition and its twisted gamma factors satisfy corresponding analytic conditions; moreover, the set of all values γ(π ⊗ χ, 1/2) for unitary tamely ramified quasi-characters χ of E× trivial on F× suffices to determine whether this distinction occurs.

What carries the argument

The maximal simple type attached to π together with the family of twisted gamma factors γ(π ⊗ χ, s) evaluated at s = 1/2 against tamely ramified unitary characters χ trivial on F×.

If this is right

Distinction can be checked directly from the data of the maximal simple type without constructing the full representation.
The gamma-factor values at 1/2 supply a complete and computable criterion for distinction within the class of simple supercuspidals.
Representations can be partitioned into distinguished and non-distinguished classes using only this finite collection of analytic invariants.
The algebraic type data and the analytic gamma data become interchangeable for the purpose of detecting distinction.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The criterion could be tested numerically for small n, such as n=2, and compared with known explicit distinction results for GL(2).
Analogous statements might hold for supercuspidal representations that are not simple or for classical groups other than GL(n).
The result supplies a potential tool for studying how distinction behaves under the local Langlands correspondence.

Load-bearing premise

The quadratic extension E/F has odd residual characteristic, π arises from a maximal simple type, and the required gamma-factor identities hold in this setting.

What would settle it

A concrete counterexample would be any simple supercuspidal π for which every relevant twisted gamma factor at 1/2 takes the value required for distinction, yet direct verification via the simple type shows that π is not distinguished by GL(n, F).

read the original abstract

Let $\text{E}/\text{F}$ be a quadratic extension of non-Archimedean local fields with odd residual characteristic. In this paper, we give equivalent conditions for a simple supercuspidal representation $\pi$ of $\text{GL}(n, \text{E})$ to be distinguished by $\text{GL}(n, \text{F})$ in terms of its defining maximal simple type and twisted gamma factors. Furthermore, we prove that the collection of twisted gamma factors evaluated at $\frac{1}{2}$ between $\pi$ and all unitary, tamely ramified quasi-characters of $\text{E}^{\times}$ that are trivial on $\text{F}^{\times}$ is sufficient to determine whether $\pi$ is distinguished by $\text{GL}(n, \text{F})$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives equivalent conditions for distinction of simple supercuspidals of GL(n,E) by GL(n,F) using maximal simple types and twisted gamma factors at 1/2.

read the letter

The punchline is that the paper establishes equivalent conditions for when a simple supercuspidal representation π of GL(n, E) is distinguished by GL(n, F), expressed through its defining maximal simple type and twisted gamma factors. It also proves that the set of twisted gamma factors at s = 1/2 with unitary tamely ramified characters trivial on F× suffices to decide distinction. This is a direct application of the Bushnell-Kutzko simple type theory to the distinction problem. The equivalence part organizes known facts into usable criteria, and the sufficiency result is the stronger claim that could help in practice when computing or classifying these representations. It stays within the standard setup of quadratic extensions with odd residual characteristic, which keeps the technical details manageable. The arguments appear to rely on established gamma factor identities rather than new unverified steps. No circularity shows up in the abstract or the stress-test note, and the claims are proportionate to the hypotheses. The only real boundary is that it applies specifically to maximal simple types; non-maximal or even-characteristic cases are outside scope, but that is stated clearly. Readers working in p-adic GL(n) representation theory, particularly on distinction or links to Galois sides, will find this useful as a reference for checking distinction without full computation of the representation. It is the kind of incremental but concrete result that advances the toolkit in this area. The work shows clear engagement with the literature on simple types and gamma factors. I think it deserves peer review. The technical level is high enough that referees can verify the details, and the result is specific enough to be checked against examples or prior cases.

Referee Report

0 major / 3 minor

Summary. The paper establishes equivalent conditions for a simple supercuspidal representation π of GL(n, E) to be distinguished by GL(n, F), where E/F is a quadratic extension of non-Archimedean local fields with odd residual characteristic. These conditions are given in terms of the defining maximal simple type of π together with twisted gamma factors. The manuscript further proves that the collection of twisted gamma factors evaluated at s=1/2 between π and all unitary, tamely ramified quasi-characters of E^× trivial on F^× is sufficient to determine whether π is distinguished by GL(n, F).

Significance. If the stated equivalences and sufficiency hold, the work supplies an explicit, computable criterion for distinction of simple supercuspidals in terms of gamma factors at s=1/2. This builds directly on the Bushnell–Kutzko theory of maximal simple types and known gamma-factor identities for GL(n) over quadratic extensions, thereby providing a concrete tool for studying distinguished representations and their connections to the local Langlands correspondence and automorphic L-functions.

minor comments (3)

[§2] §2: The notation for the maximal simple type (θ, J) and its relation to the supercuspidal representation π could be recalled explicitly at the beginning of the section for readers who are not specialists in the Bushnell–Kutzko theory.
[§4] §4, around the statement of the main equivalence: the precise normalization of the twisted gamma factor γ(s, π × χ, ψ) at s=1/2 should be stated once more, including the choice of additive character ψ, to avoid any ambiguity when comparing with the literature.
The bibliography is missing a reference to the original work of Bushnell–Kutzko on simple types (e.g., the 1993 or 1998 monographs) even though the constructions are used throughout; adding this would improve accessibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of our results on equivalent conditions for distinction of simple supercuspidal representations via maximal simple types and twisted gamma factors at s=1/2. We appreciate the recommendation for minor revision and will incorporate any editorial or minor clarifications in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation rests on independent external theory

full rationale

The central claims equate distinction by GL(n,F) to conditions on the maximal simple type plus twisted gamma factors at s=1/2, and assert sufficiency of the full collection of such factors. These equivalences are constructed from the standard Bushnell-Kutzko theory of simple types (external to this paper) and known gamma-factor identities for GL(n) over quadratic extensions (likewise independent). No self-definitional reduction, fitted parameter renamed as prediction, or load-bearing self-citation chain appears; the hypotheses (odd residual characteristic, maximal simple type) are the usual domain of validity for the cited external results. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available and the topic lies outside competence, so specific free parameters, axioms, or invented entities cannot be identified. The work presupposes the standard theory of maximal simple types, twisted gamma factors, and distinction functionals for p-adic GL(n).

pith-pipeline@v0.9.0 · 5432 in / 1323 out tokens · 41056 ms · 2026-05-10T09:15:01.827218+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

27 extracted references · 1 canonical work pages

[1]

Adrian and B

M. Adrian and B. Liu,Some results on simple supercuspidal representations ofGLn(F), J. Number Theory160(2016), pp. 117–147

2016
[2]

Aubert, M

A.-M. Aubert, M. Mishra, A. Roche, and S. Spallone,Representations of reductivep-adic groups, Progress in Mathematics, 328, Birkhäuser/Springer, Singapore, pp. xiii+289, 2019

2019
[3]

C. J. Bushnell and G. Henniart,Supercuspidal Representations ofGLn: Explicit Whittaker Func- tions. J. Algebra209(1998), no. 1, pp. 270–287

1998
[4]

C. J. Bushnell and G. Henniart,The Local Langlands Conjecture forGL(2), vol. 335, Grundlehren der Mathematischen Wissenschaften, Springer-Verlag, Berlin, pp. xii+347, 2006

2006
[5]

C. J. Bushnell and P. C. Kutzko,The admissible dual ofGL N via restriction to compact open subgroups, Ann. of Math. Studies, vol. 129, Princeton University Press, 1993

1993
[6]

Deligne and G

P. Deligne and G. Henniart,Sur la variation, par torsion, des constantes locales d’équations fonc- tionnelles de fonctions L, Invent. Math.64(1981), pp. 89–118

1981
[7]

Flicker,On distinguished representations, J

Y. Flicker,On distinguished representations, J. Reine Angew. Math.418(1991), pp. 139–172

1991
[8]

I. M. Gel’fand and D. A. Kazhdan,Representations of the groupsGL(n,K)whereKis a local field, Funktsional. Anal. i Prilozhen6(1972), pp. 73–74

1972
[9]

Hakim,Distinguishedp-adic representations, Duke Math

J. Hakim,Distinguishedp-adic representations, Duke Math. J.62(1991), no. 1, pp. 1–22

1991
[10]

Hakim and O

J. Hakim and O. Offen,Distinguished representations ofGL(n)and Local Converse Theorems, Manuscripta Math.148(2015), no. 1-2, pp. 1–27

2015
[11]

Harder, R

G. Harder, R. P. Langlands, and M. Rapoport,Algebraische Zyklen auf Hilbert–Blumenthal–Flächen, J. Reine Angew. Math.366(1986), pp. 53–120

1986
[12]

Imai and T

N. Imai and T. Tsushima,Local Jacquet–Langlands correspondences for simple supercuspidal repre- sentations, Kyoto J. Math.58(2018), no. 3, pp. 623–638

2018
[13]

Jacquet, I

H. Jacquet, I. Piatetskii-Shapiro, and J. Shalika,Rankin–Selberg convolutions, Amer. J. Math.105 (1983), pp. 367–464

1983
[14]

Jacquet and Y

H. Jacquet and Y. Ye,Distinguished representations and quadratic base change forGL(3), Trans. Amer. Math. Soc.348(1996), no. 3, pp. 913–939

1996
[15]

A.KnightlyandC.Li,Simple supercuspidal representations ofGL(n), TaiwaneseJ.Math.19(2015), no. 4, pp. 995–1029

2015
[16]

S. A. Morris,Pontryagin duality and the structure of locally compact Abelian groups, London Mathematical Society Lecture Note Series, no. 29, Cambridge Univ. Press, Cambridge-New York- Melbourne, 1977

1977
[17]

Nien,Gamma factors and quadratic extension over finite fields, Manuscripta Math

C. Nien,Gamma factors and quadratic extension over finite fields, Manuscripta Math. 158 (2019), no. 1–2, pp. 31–54

2019
[18]

Offen,On local root numbers and distinction, J

O. Offen,On local root numbers and distinction, J. Reine Angew. Math.652(2011), pp. 165–205

2011
[19]

Ok,Distinction and Gamma factors at1 2: supercuspidal case, Ph.D

Y. Ok,Distinction and Gamma factors at1 2: supercuspidal case, Ph.D. Thesis, Columbia University, 1997

1997
[20]

Pašk¯ unas and S

V. Pašk¯ unas and S. Stevens,On the realization of maximal simple types and epsilon factors of pairs, Amer. J. Math.130(2008), no. 5, pp. 1211–1261

2008
[21]

Prasad,Trilinear forms for representations ofGL(2)and localϵ-factors, Compositio Math.75 (1990), no

D. Prasad,Trilinear forms for representations ofGL(2)and localϵ-factors, Compositio Math.75 (1990), no. 1, pp. 1–46

1990
[22]

Prasad,On a conjecture of Jacquet about distinguished representations ofGL(n), Duke Math

D. Prasad,On a conjecture of Jacquet about distinguished representations ofGL(n), Duke Math. J.109(2001), no. 1, pp. 67–78. 12

2001
[23]

Har- monic Analysis on Homogeneous Spaces

F. Rodier,Whittaker models for admissible representations of reductivep-adic split groups, in “Har- monic Analysis on Homogeneous Spaces” C. C. Moore, Ed., Proc. Symposia Pure Math. Vol. XXVI, pp. 425–430, Am. Math. Soc., Providence, RI, 1973

1973
[24]

Sécherre,Supercuspidal representations ofGLn(F)distinguished by a Galois involution, Algebra Number Theory,13(2019), no

V. Sécherre,Supercuspidal representations ofGLn(F)distinguished by a Galois involution, Algebra Number Theory,13(2019), no. 7, pp. 1677–1733

2019
[25]

Shahidi,Fourier transforms of intertwining operators and Plancherel measures forGL(n), Amer

F. Shahidi,Fourier transforms of intertwining operators and Plancherel measures forGL(n), Amer. J. Math.106(1984), no. 1, pp. 67–111

1984
[26]

Xu,A remark on the simple cuspidal representations ofGLn, preprint, arXiv:1310.3519, 2013

P. Xu,A remark on the simple cuspidal representations ofGLn, preprint, arXiv:1310.3519, 2013

work page arXiv 2013
[27]

Ye,Explicit formulas for local factors of supercuspidal representations ofGLn and their applica- tions, Ph.D

R. Ye,Explicit formulas for local factors of supercuspidal representations ofGLn and their applica- tions, Ph.D. thesis, The Ohio State University, 2019. School of Mathematics, University of Minnesota, Minneapolis, MN 55455, United States Email address:luo00275@umn.edu 13

2019