pith. sign in

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

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

David C. Luo This is my paper

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
0 comments X

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.

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)
  1. [§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.
  2. [§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.
  3. 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)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Adrian and B

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

    work page 2016

  2. [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

    work page 2019

  3. [3]

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

    work page 1998

  4. [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

    work page 2006

  5. [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

    work page 1993

  6. [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

    work page 1981

  7. [7]

    Flicker,On distinguished representations, J

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

    work page 1991

  8. [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

    work page 1972

  9. [9]

    Hakim,Distinguishedp-adic representations, Duke Math

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

    work page 1991

  10. [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

    work page 2015

  11. [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

    work page 1986

  12. [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

    work page 2018

  13. [13]

    Jacquet, I

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

    work page 1983

  14. [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

    work page 1996

  15. [15]

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

    work page 2015

  16. [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

    work page 1977

  17. [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

    work page 2019

  18. [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

    work page 2011

  19. [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

    work page 1997

  20. [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

    work page 2008

  21. [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

    work page 1990

  22. [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

    work page 2001

  23. [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

    work page 1973

  24. [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

    work page 2019

  25. [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

    work page 1984

  26. [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. [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

    work page 2019