pith. sign in

arxiv: 2605.17836 · v1 · pith:MUIOH6WFnew · submitted 2026-05-18 · 🧮 math.NT · math.RT

Non-admissibility of some universal supersingular representations

Pith reviewed 2026-05-20 01:14 UTC · model grok-4.3

classification 🧮 math.NT math.RT
keywords universal supersingular representationsnon-admissibilityGL_n representationsSerre weight conjecturesweight cyclingmod p automorphic formsinfinite length representations
0
0 comments X

The pith

For n greater than or equal to 3, universal supersingular representations of sufficiently generic weight are non-admissible and have infinite length.

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

This paper establishes that for n at least 3, the universal supersingular representation attached to a weight sigma of GL_n over the residue field is non-admissible and has infinite length under the assumption that sigma is sufficiently generic and meets additional technical conditions. A sympathetic reader would care because this result extends the n equals 2 case to higher dimensions, revealing that these representations are typically much more complicated than finite length modules in the context of p-adic representation theory. The authors achieve this by combining a weight cycling argument with recent advances on the Serre weight conjectures. If the claim is correct, it means that for most weights in higher rank groups, the corresponding supersingular representations do not admit finite length quotients that are admissible.

Core claim

Let K/Q_p be an unramified extension of degree f with residue field k. Let sigma be an irreducible representation of GL_n(k) over the algebraic closure of F_p. For n greater than or equal to 3, we prove that the universal supersingular representation of weight sigma is non-admissible and of infinite length when sigma is sufficiently generic and satisfies certain technical conditions. This generalizes the previous results for n=2 and a non-trivial finite extension K/Q_p. Our method employs a weight cycling argument together with recent progress on the Serre weight conjectures.

What carries the argument

Weight cycling argument combined with recent progress on the Serre weight conjectures to establish non-admissibility and infinite length.

If this is right

  • The universal supersingular representation is non-admissible for n >= 3 under the given conditions on sigma.
  • It has infinite length as a representation.
  • The result applies to any unramified extension of degree f.
  • This provides a generalization from the n=2 case to higher n.

Where Pith is reading between the lines

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

  • This suggests that in higher dimensions the supersingular representations tend to be more complex and infinite in length for generic weights.
  • Similar techniques might apply to other types of representations beyond the supersingular ones.
  • Explicit computations for small values of n and p could provide further evidence for the infinite length property.

Load-bearing premise

The assumption that the weight sigma is sufficiently generic and satisfies certain technical conditions, together with the applicability of recent progress on the Serre weight conjectures.

What would settle it

An explicit construction of an admissible finite length quotient for the universal supersingular representation in the case n=3 with a generic sigma would falsify the main claim.

read the original abstract

Let $K/\mathbf{Q}_p$ be an unramified extension of degree $f$ with residue field $k$. Let $\sigma$ be an irreducible representation of $\mathrm{GL}_n(k)$ over $\overline{\mathbf{F}}_p$. For $n\ge 3$, we prove that the universal supersingular representation of weight $\sigma$ is non-admissible and of infinite length when $\sigma$ is sufficiently generic and satisfies certain technical conditions. This generalizes the previous results for $n=2$ and a non-trivial finite extension $K/\mathbf{Q}_p$. Our method employs a weight cycling argument together with recent progress on the Serre weight conjectures.

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

1 major / 2 minor

Summary. The manuscript proves that for n ≥ 3, the universal supersingular representation of weight σ (an irreducible representation of GL_n(k) over F_p-bar) attached to an unramified extension K/Q_p of degree f is non-admissible and of infinite length, provided σ is sufficiently generic and satisfies certain technical conditions. The proof proceeds via a weight cycling argument that produces an infinite ascending chain of distinct supersingular representations, combined with recent progress on the Serre weight conjectures for the associated mod p Galois representations; this generalizes the n=2 case.

Significance. If the central claim holds, the result advances the mod p Langlands program by establishing structural properties of supersingular representations in higher rank, with potential implications for admissibility questions and the classification of irreducible representations. The manuscript is credited for successfully generalizing the n=2 results and for integrating weight cycling with recent Serre weight advances to obtain the infinite-length conclusion under the stated genericity hypotheses.

major comments (1)
  1. [§4 (Weight Cycling Argument)] §4 (Weight Cycling Argument): The cycling construction produces an infinite chain only if the invoked Serre weight results supply strictly new weights for generic irreducible σ of GL_n(k) when n≥3. The manuscript must explicitly verify that the genericity and technical conditions on σ match the hypotheses of the cited Serre weight theorems (to exclude periodic orbits or finite subchains) and confirm that the associated Galois representations remain in the required range; without this check the non-admissibility and infinite-length claims do not follow.
minor comments (2)
  1. [Introduction] The precise list of technical conditions on σ is referenced but not restated in the introduction; adding a short enumerated list would improve readability.
  2. [§2] Notation for the residue field k and the extension degree f is introduced early but used inconsistently in some later statements; a uniform convention would help.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comment on the weight cycling argument. We address the point below and will revise the paper to incorporate the requested explicit verification.

read point-by-point responses
  1. Referee: [§4 (Weight Cycling Argument)] §4 (Weight Cycling Argument): The cycling construction produces an infinite chain only if the invoked Serre weight results supply strictly new weights for generic irreducible σ of GL_n(k) when n≥3. The manuscript must explicitly verify that the genericity and technical conditions on σ match the hypotheses of the cited Serre weight theorems (to exclude periodic orbits or finite subchains) and confirm that the associated Galois representations remain in the required range; without this check the non-admissibility and infinite-length claims do not follow.

    Authors: We appreciate the referee's observation that an explicit verification is needed to guarantee that the weight cycling produces an infinite ascending chain of distinct supersingular representations. While the manuscript states that σ is sufficiently generic and satisfies certain technical conditions, we agree that a direct comparison with the hypotheses of the cited Serre weight theorems is not spelled out in §4. In the revised version we will add a dedicated paragraph (or short subsection) in §4 that (i) recalls the precise genericity hypotheses from the relevant Serre weight results, (ii) confirms that our conditions on σ are at least as strong, and (iii) verifies that the associated mod p Galois representations lie in the range where those theorems guarantee strictly new weights at each cycling step. This will explicitly rule out periodic orbits or finite subchains and thereby complete the argument for non-admissibility and infinite length when n ≥ 3. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses external Serre weight progress and weight cycling without self-referential reduction

full rationale

The paper proves non-admissibility and infinite length for universal supersingular representations when n≥3 and σ is sufficiently generic by combining a weight cycling argument with recent progress on the Serre weight conjectures. No equations, definitions, or fitted parameters within the paper reduce to each other by construction, and the central claim is supported by cited external results rather than self-citations or internal fits. The derivation remains self-contained against external benchmarks, with the genericity and technical conditions serving as stated hypotheses rather than outputs derived from the conclusion itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard facts about irreducible representations of GL_n(k) and on external progress on Serre weight conjectures; no new entities or fitted parameters are introduced in the abstract.

axioms (2)
  • standard math Irreducible representations of GL_n(k) over an algebraically closed field of characteristic p behave according to standard representation theory.
    Invoked when defining the weight sigma and the universal supersingular representation.
  • domain assumption Recent progress on the Serre weight conjectures applies to the weights under consideration.
    The method explicitly employs this progress to run the weight cycling argument.

pith-pipeline@v0.9.0 · 5648 in / 1419 out tokens · 55912 ms · 2026-05-20T01:14:25.036067+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

148 extracted references · 148 canonical work pages

  1. [1]

    and Levin, Brandon , TITLE =

    Le, Daniel and Le Hung, Bao V. and Levin, Brandon , TITLE =. Duke Math. J. , FJOURNAL =. 2019 , NUMBER =. doi:10.1215/00127094-2019-0015 , URL =

  2. [2]

    and Levin, Brandon and Morra, Stefano , TITLE =

    Le, Daniel and Le Hung, Bao V. and Levin, Brandon and Morra, Stefano , TITLE =. Invent. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s00222-017-0762-0 , URL =

  3. [3]

    Roberts and R

    Roberts, Brooks and Schmidt, Ralf , TITLE =. 2007 , PAGES =. doi:10.1007/978-3-540-73324-9 , URL =

  4. [4]

    Gee, Toby and Herzig, Florian and Savitt, David , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2018 , NUMBER =. doi:10.4171/JEMS/826 , URL =

  5. [5]

    Duke Math

    Herzig, Florian , TITLE =. Duke Math. J. , FJOURNAL =. 2009 , NUMBER =. doi:10.1215/00127094-2009-036 , URL =

  6. [6]

    and Lusztig, G

    Deligne, P. and Lusztig, G. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1976 , NUMBER =. doi:10.2307/1971021 , URL =

  7. [7]

    Represent

    Gan, Wee Teck and Takeda, Shuichiro , TITLE =. Represent. Theory , FJOURNAL =. 2011 , PAGES =. doi:10.1090/S1088-4165-2011-00405-2 , URL =

  8. [8]

    DeBacker, Stephen and Reeder, Mark , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2009 , NUMBER =. doi:10.4007/annals.2009.169.795 , URL =

  9. [9]

    Lust, Jaime , TITLE =. J. Algebra , FJOURNAL =. 2013 , PAGES =. doi:10.1016/j.jalgebra.2013.05.002 , URL =

  10. [10]

    and Levin, Brandon and Morra, Stefano , TITLE =

    Le, Daniel and Le Hung, Bao V. and Levin, Brandon and Morra, Stefano , TITLE =. Invent. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00222-022-01163-4 , URL =

  11. [11]

    and Levin, Brandon and Morra, Stefano , TITLE =

    Le, Daniel and Le Hung, Bao V. and Levin, Brandon and Morra, Stefano , TITLE =. Forum Math. Pi , FJOURNAL =. 2020 , PAGES =. doi:10.1017/fmp.2020.1 , URL =

  12. [12]

    Broshi , year=

    Michael A. Broshi , year=. Moduli of finite flat group schemes with G -structure , journal=

  13. [13]

    Serre weight conjectures for

    Kozio. Serre weight conjectures for

  14. [14]

    Compositio Math

    Morris, Lawrence , TITLE =. Compositio Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.1023/A:1001019027614 , URL =

  15. [15]

    Gan, Wee Teck and Takeda, Shuichiro , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2011 , NUMBER =. doi:10.4007/annals.2011.173.3.12 , URL =

  16. [16]

    Duke Math

    Shotton, Jack , TITLE =. Duke Math. J. , FJOURNAL =. 2018 , NUMBER =. doi:10.1215/00127094-2017-0039 , URL =

  17. [17]

    Caraiani, Ana and Levin, Brandon , TITLE =. Ann. Sci. \'. 2018 , NUMBER =. doi:10.24033/asens.2354 , URL =

  18. [18]

    and Rapoport, M

    Kottwitz, R. and Rapoport, M. , TITLE =. Manuscripta Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002290070034 , URL =

  19. [19]

    and Ng\^

    Haines, Thomas J. and Ng\^. Alcoves associated to special fibers of local models , JOURNAL =. 2002 , NUMBER =

  20. [20]

    and Zhu, X

    Pappas, G. and Zhu, X. , TITLE =. Invent. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00222-012-0442-z , URL =

  21. [21]

    Zhu, Xinwen , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2014 , NUMBER =. doi:10.4007/annals.2014.180.1.1 , URL =

  22. [22]

    Formal algebraic stacks , author=

  23. [23]

    [2023] 2023 , PAGES =

    Emerton, Matthew and Gee, Toby , TITLE =. [2023] 2023 , PAGES =. doi:10.1515/9780691241364 , URL =

  24. [24]

    Calegari, Frank , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2012 , NUMBER =. doi:10.1090/S0894-0347-2011-00721-2 , URL =

  25. [25]

    Stefan Patrikis and Shiang Tang , TITLE =. Math. Z. , FJOURNAL =. 2021 , ISSN =. doi:10.1007/s00209-021-02845-0 , URL =

  26. [26]

    Duke Math

    Gee, Toby and Geraghty, David , TITLE =. Duke Math. J. , FJOURNAL =. 2012 , NUMBER =. doi:10.1215/00127094-1507376 , URL =

  27. [27]

    Barnet-Lamb, Thomas and Gee, Toby and Geraghty, David and Taylor, Richard , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2014 , NUMBER =. doi:10.4007/annals.2014.179.2.3 , URL =

  28. [28]

    Emerton, Matthew and Gee, Toby , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2014 , NUMBER =. doi:10.1017/S147474801300011X , URL =

  29. [29]

    Mok, Chung Pang , TITLE =. Compos. Math. , FJOURNAL =. 2014 , NUMBER =. doi:10.1112/S0010437X13007665 , URL =

  30. [30]

    2020 , eprint=

    Galois representations for general symplectic groups , author=. 2020 , eprint=

  31. [31]

    Boxer, George and Calegari, Frank and Gee, Toby and Pilloni, Vincent , TITLE =. Publ. Math. Inst. Hautes \'. 2021 , PAGES =. doi:10.1007/s10240-021-00128-2 , URL =

  32. [32]

    Mod p local-global compatibility for

    John Enns and Heejong Lee , note=. Mod p local-global compatibility for

  33. [33]

    Mayeux, Arnaud and Richarz, Timo and Romagny, Matthieu , TITLE =. Algebr. Geom. , FJOURNAL =

  34. [34]

    Moduli stacks of two-dimensional

    Ana Caraiani and Matthew Emerton and Toby Gee and David Savitt , year=. Moduli stacks of two-dimensional

  35. [35]

    and He, Xuhua , TITLE =

    Haines, Thomas J. and He, Xuhua , TITLE =. Amer. J. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1353/ajm.2017.0020 , URL =

  36. [36]

    1977 , PAGES =

    Serre, Jean-Pierre , TITLE =. 1977 , PAGES =

  37. [37]

    Algebra Number Theory , FJOURNAL =

    Bellovin, Rebecca and Gee, Toby , TITLE =. Algebra Number Theory , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/ant.2019.13.333 , URL =

  38. [38]

    Clozel, Laurent and Harris, Michael and Taylor, Richard , TITLE =. Publ. Math. Inst. Hautes \'. 2008 , PAGES =. doi:10.1007/s10240-008-0016-1 , URL =

  39. [39]

    Patching and the

    Caraiani, Ana and Emerton, Matthew and Gee, Toby and Geraghty, David and Pa. Patching and the. Camb. J. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.4310/CJM.2016.v4.n2.a2 , URL =

  40. [40]

    Enns, John , TITLE =. Math. Res. Lett. , FJOURNAL =. 2019 , NUMBER =. doi:10.4310/MRL.2019.v26.n1.a4 , URL =

  41. [41]

    Representations of finite groups of

    Digne, Fran. Representations of finite groups of. 2020 , PAGES =

  42. [42]

    2001 , PAGES =

    Harris, Michael and Taylor, Richard , TITLE =. 2001 , PAGES =

  43. [43]

    2003 , PAGES =

    Jantzen, Jens Carsten , TITLE =. 2003 , PAGES =

  44. [44]

    Geometry of moduli spaces and representation theory , SERIES =

    Zhu, Xinwen , TITLE =. Geometry of moduli spaces and representation theory , SERIES =. 2017 , MRCLASS =

  45. [45]

    Boixeda Alvarez, Pablo , title =

  46. [46]

    Emerton, Matthew and Gee, Toby , title =

  47. [47]

    Lin, Zhongyipan , title =

  48. [48]

    2013 , PAGES =

    Arthur, James , TITLE =. 2013 , PAGES =. doi:10.1090/coll/061 , URL =

  49. [49]

    Shin, Sug Woo , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2011 , NUMBER =. doi:10.4007/annals.2011.173.3.9 , URL =

  50. [50]

    Booher, Jeremy , TITLE =. Compos. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1112/S0010437X18007546 , URL =

  51. [51]

    Le, Daniel and Le Hung, Bao Viet and Levin, Brandon and Morra, Stefano , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2026 , NUMBER =. doi:10.4171/jems/1513 , URL =

  52. [52]

    Algebraic geometry and number theory , SERIES =

    Kisin, Mark , TITLE =. Algebraic geometry and number theory , SERIES =. 2006 , MRCLASS =. doi:10.1007/978-0-8176-4532-8\_7 , URL =

  53. [53]

    Multiplicit\'

    Breuil, Christophe and M\'. Multiplicit\'. Duke Math. J. , FJOURNAL =. 2002 , NUMBER =. doi:10.1215/S0012-7094-02-11522-1 , URL =

  54. [54]

    Breuil-Mézard conjectures for central division algebras , journal =

    Dotto, Andrea , keywords =. Breuil-Mézard conjectures for central division algebras , journal =

  55. [55]

    Gan, Wee Teck and Savin, Gordan , keywords =. The. doi:10.48550/ARXIV.2209.07346 , url =

  56. [56]

    The geometric

    Caraiani, Ana and Emerton, Matthew and Gee, Toby and Savitt, David , keywords =. The geometric. doi:10.48550/ARXIV.2207.05235 , url =

  57. [57]

    Local geometry of moduli stacks of two-dimensional Galois representations , publisher =

    Caraiani, Ana and Emerton, Matthew and Gee, Toby and Savitt, David , keywords =. Local geometry of moduli stacks of two-dimensional Galois representations , publisher =. 2022 , copyright =. doi:10.48550/ARXIV.2207.14337 , url =

  58. [58]

    Caraiani, Ana and Emerton, Matthew and Gee, Toby and Savitt, David , title =

  59. [59]

    Emerton, Matthew and Gee, Toby and Savitt, David , TITLE =. Invent. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00222-014-0517-0 , URL =

  60. [60]

    Colmez, Pierre , TITLE =. Ast\'. 2010 , PAGES =

  61. [61]

    The image of

    Pa. The image of. Publ. Math. Inst. Hautes \'. 2013 , PAGES =. doi:10.1007/s10240-013-0049-y , URL =

  62. [62]

    Gelfand-

    Christophe Breuil and Florian Herzig and Yongquan Hu and Stefano Morra and Benjamin Schraen , note =. Gelfand-

  63. [63]

    Breuil, Christophe and Herzig, Florian and Hu, Yongquan and Morra, Stefano and Schraen, Benjamin , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2025 , NUMBER =. doi:10.1090/memo/1598 , URL =

  64. [64]

    Taylor, Richard and Wiles, Andrew , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1995 , NUMBER =. doi:10.2307/2118560 , URL =

  65. [65]

    Wiles, Andrew , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1995 , NUMBER =. doi:10.2307/2118559 , URL =

  66. [66]

    An introduction to the categorical p -adic

    Emerton, Matthew and Gee, Toby and Hellmann, Eugen , year =. An introduction to the categorical p -adic

  67. [67]

    2015 , PAGES =

    Conrad, Brian and Gabber, Ofer and Prasad, Gopal , TITLE =. 2015 , PAGES =. doi:10.1017/CBO9781316092439 , URL =

  68. [68]

    Yamauchi, Takuya , TITLE =

  69. [69]

    , TITLE =

    Sorensen, Claus M. , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2009 , NUMBER =. doi:10.1017/S147474800900005X , URL =

  70. [70]

    Arthur's multiplicity formula for

    Gee, Toby and Ta\". Arthur's multiplicity formula for. J. \'. 2019 , PAGES =. doi:10.5802/jep.99 , URL =

  71. [71]

    Khare, Chandrashekhar and Wintenberger, Jean-Pierre , TITLE =. Invent. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00222-009-0206-6 , URL =

  72. [72]

    Khare, Chandrashekhar and Wintenberger, Jean-Pierre , TITLE =. Invent. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00222-009-0205-7 , URL =

  73. [73]

    Duke Math

    Serre, Jean-Pierre , TITLE =. Duke Math. J. , FJOURNAL =. 1987 , NUMBER =. doi:10.1215/S0012-7094-87-05413-5 , URL =

  74. [74]

    Duke Math

    Buzzard, Kevin and Diamond, Fred and Jarvis, Frazer , TITLE =. Duke Math. J. , FJOURNAL =. 2010 , NUMBER =. doi:10.1215/00127094-2010-052 , URL =

  75. [75]

    Automorphic forms and

    Buzzard, Kevin and Gee, Toby , TITLE =. Automorphic forms and. 2014 , MRCLASS =. doi:10.1017/CBO9781107446335.006 , URL =

  76. [76]

    Solutions d'\'

    Elkik, Ren\'. Solutions d'\'. Ann. Sci. \'. 1973 , PAGES =

  77. [77]

    Forum Math

    Gee, Toby and Liu, Tong and Savitt, David , TITLE =. Forum Math. Pi , FJOURNAL =. 2015 , PAGES =. doi:10.1017/fmp.2015.1 , URL =

  78. [78]

    Herzig, Florian and Tilouine, Jacques , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2013 , PAGES =. doi:10.1515/CRELLE.2011.190 , URL =

  79. [79]

    Contributions to automorphic forms, geometry, and number theory , PAGES =

    Arthur, James , TITLE =. Contributions to automorphic forms, geometry, and number theory , PAGES =. 2004 , MRCLASS =

  80. [80]

    Le lemme fondamental pond\'

    Chaudouard, Pierre-Henri and Laumon, G\'. Le lemme fondamental pond\'. Compos. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.1112/S0010437X10004756 , URL =

Showing first 80 references.