Non-admissibility of some universal supersingular representations
Pith reviewed 2026-05-20 01:14 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [§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)
- [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] 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
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
-
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
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
axioms (2)
- standard math Irreducible representations of GL_n(k) over an algebraically closed field of characteristic p behave according to standard representation theory.
- domain assumption Recent progress on the Serre weight conjectures applies to the weights under consideration.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Our method employs a weight cycling argument together with recent progress on the Serre weight conjectures... the regular colength one local charts... intersection of the two components has σ and σ′ as its modular weights
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
C_ss_σ is of codimension one... f_i(ρ)=0 for all i=1,...,n-1
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
-
[1]
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]
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]
Roberts, Brooks and Schmidt, Ralf , TITLE =. 2007 , PAGES =. doi:10.1007/978-3-540-73324-9 , URL =
-
[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]
Herzig, Florian , TITLE =. Duke Math. J. , FJOURNAL =. 2009 , NUMBER =. doi:10.1215/00127094-2009-036 , URL =
-
[6]
Deligne, P. and Lusztig, G. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1976 , NUMBER =. doi:10.2307/1971021 , URL =
-
[7]
Gan, Wee Teck and Takeda, Shuichiro , TITLE =. Represent. Theory , FJOURNAL =. 2011 , PAGES =. doi:10.1090/S1088-4165-2011-00405-2 , URL =
-
[8]
DeBacker, Stephen and Reeder, Mark , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2009 , NUMBER =. doi:10.4007/annals.2009.169.795 , URL =
-
[9]
Lust, Jaime , TITLE =. J. Algebra , FJOURNAL =. 2013 , PAGES =. doi:10.1016/j.jalgebra.2013.05.002 , URL =
-
[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]
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]
Michael A. Broshi , year=. Moduli of finite flat group schemes with G -structure , journal=
- [13]
-
[14]
Morris, Lawrence , TITLE =. Compositio Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.1023/A:1001019027614 , URL =
-
[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]
Shotton, Jack , TITLE =. Duke Math. J. , FJOURNAL =. 2018 , NUMBER =. doi:10.1215/00127094-2017-0039 , URL =
-
[17]
Caraiani, Ana and Levin, Brandon , TITLE =. Ann. Sci. \'. 2018 , NUMBER =. doi:10.24033/asens.2354 , URL =
-
[18]
Kottwitz, R. and Rapoport, M. , TITLE =. Manuscripta Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002290070034 , URL =
- [19]
-
[20]
Pappas, G. and Zhu, X. , TITLE =. Invent. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00222-012-0442-z , URL =
-
[21]
Zhu, Xinwen , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2014 , NUMBER =. doi:10.4007/annals.2014.180.1.1 , URL =
-
[22]
Formal algebraic stacks , author=
-
[23]
Emerton, Matthew and Gee, Toby , TITLE =. [2023] 2023 , PAGES =. doi:10.1515/9780691241364 , URL =
-
[24]
Calegari, Frank , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2012 , NUMBER =. doi:10.1090/S0894-0347-2011-00721-2 , URL =
-
[25]
Stefan Patrikis and Shiang Tang , TITLE =. Math. Z. , FJOURNAL =. 2021 , ISSN =. doi:10.1007/s00209-021-02845-0 , URL =
-
[26]
Gee, Toby and Geraghty, David , TITLE =. Duke Math. J. , FJOURNAL =. 2012 , NUMBER =. doi:10.1215/00127094-1507376 , URL =
-
[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]
Emerton, Matthew and Gee, Toby , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2014 , NUMBER =. doi:10.1017/S147474801300011X , URL =
-
[29]
Mok, Chung Pang , TITLE =. Compos. Math. , FJOURNAL =. 2014 , NUMBER =. doi:10.1112/S0010437X13007665 , URL =
-
[30]
Galois representations for general symplectic groups , author=. 2020 , eprint=
work page 2020
-
[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]
Mod p local-global compatibility for
John Enns and Heejong Lee , note=. Mod p local-global compatibility for
-
[33]
Mayeux, Arnaud and Richarz, Timo and Romagny, Matthieu , TITLE =. Algebr. Geom. , FJOURNAL =
-
[34]
Moduli stacks of two-dimensional
Ana Caraiani and Matthew Emerton and Toby Gee and David Savitt , year=. Moduli stacks of two-dimensional
-
[35]
Haines, Thomas J. and He, Xuhua , TITLE =. Amer. J. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1353/ajm.2017.0020 , URL =
- [36]
-
[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]
Clozel, Laurent and Harris, Michael and Taylor, Richard , TITLE =. Publ. Math. Inst. Hautes \'. 2008 , PAGES =. doi:10.1007/s10240-008-0016-1 , URL =
-
[39]
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]
Enns, John , TITLE =. Math. Res. Lett. , FJOURNAL =. 2019 , NUMBER =. doi:10.4310/MRL.2019.v26.n1.a4 , URL =
-
[41]
Representations of finite groups of
Digne, Fran. Representations of finite groups of. 2020 , PAGES =
work page 2020
- [42]
- [43]
-
[44]
Geometry of moduli spaces and representation theory , SERIES =
Zhu, Xinwen , TITLE =. Geometry of moduli spaces and representation theory , SERIES =. 2017 , MRCLASS =
work page 2017
-
[45]
Boixeda Alvarez, Pablo , title =
-
[46]
Emerton, Matthew and Gee, Toby , title =
-
[47]
Lin, Zhongyipan , title =
-
[48]
Arthur, James , TITLE =. 2013 , PAGES =. doi:10.1090/coll/061 , URL =
-
[49]
Shin, Sug Woo , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2011 , NUMBER =. doi:10.4007/annals.2011.173.3.9 , URL =
-
[50]
Booher, Jeremy , TITLE =. Compos. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1112/S0010437X18007546 , URL =
-
[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]
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]
Breuil, Christophe and M\'. Multiplicit\'. Duke Math. J. , FJOURNAL =. 2002 , NUMBER =. doi:10.1215/S0012-7094-02-11522-1 , URL =
-
[54]
Breuil-Mézard conjectures for central division algebras , journal =
Dotto, Andrea , keywords =. Breuil-Mézard conjectures for central division algebras , journal =
-
[55]
Gan, Wee Teck and Savin, Gordan , keywords =. The. doi:10.48550/ARXIV.2209.07346 , url =
-
[56]
Caraiani, Ana and Emerton, Matthew and Gee, Toby and Savitt, David , keywords =. The geometric. doi:10.48550/ARXIV.2207.05235 , url =
-
[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]
Caraiani, Ana and Emerton, Matthew and Gee, Toby and Savitt, David , title =
-
[59]
Emerton, Matthew and Gee, Toby and Savitt, David , TITLE =. Invent. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00222-014-0517-0 , URL =
-
[60]
Colmez, Pierre , TITLE =. Ast\'. 2010 , PAGES =
work page 2010
-
[61]
Pa. The image of. Publ. Math. Inst. Hautes \'. 2013 , PAGES =. doi:10.1007/s10240-013-0049-y , URL =
- [62]
-
[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]
Taylor, Richard and Wiles, Andrew , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1995 , NUMBER =. doi:10.2307/2118560 , URL =
-
[65]
Wiles, Andrew , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1995 , NUMBER =. doi:10.2307/2118559 , URL =
-
[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]
Conrad, Brian and Gabber, Ofer and Prasad, Gopal , TITLE =. 2015 , PAGES =. doi:10.1017/CBO9781316092439 , URL =
-
[68]
Yamauchi, Takuya , TITLE =
-
[69]
Sorensen, Claus M. , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2009 , NUMBER =. doi:10.1017/S147474800900005X , URL =
-
[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]
Khare, Chandrashekhar and Wintenberger, Jean-Pierre , TITLE =. Invent. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00222-009-0206-6 , URL =
-
[72]
Khare, Chandrashekhar and Wintenberger, Jean-Pierre , TITLE =. Invent. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00222-009-0205-7 , URL =
-
[73]
Serre, Jean-Pierre , TITLE =. Duke Math. J. , FJOURNAL =. 1987 , NUMBER =. doi:10.1215/S0012-7094-87-05413-5 , URL =
-
[74]
Buzzard, Kevin and Diamond, Fred and Jarvis, Frazer , TITLE =. Duke Math. J. , FJOURNAL =. 2010 , NUMBER =. doi:10.1215/00127094-2010-052 , URL =
-
[75]
Buzzard, Kevin and Gee, Toby , TITLE =. Automorphic forms and. 2014 , MRCLASS =. doi:10.1017/CBO9781107446335.006 , URL =
- [76]
-
[77]
Gee, Toby and Liu, Tong and Savitt, David , TITLE =. Forum Math. Pi , FJOURNAL =. 2015 , PAGES =. doi:10.1017/fmp.2015.1 , URL =
-
[78]
Herzig, Florian and Tilouine, Jacques , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2013 , PAGES =. doi:10.1515/CRELLE.2011.190 , URL =
-
[79]
Contributions to automorphic forms, geometry, and number theory , PAGES =
Arthur, James , TITLE =. Contributions to automorphic forms, geometry, and number theory , PAGES =. 2004 , MRCLASS =
work page 2004
-
[80]
Chaudouard, Pierre-Henri and Laumon, G\'. Le lemme fondamental pond\'. Compos. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.1112/S0010437X10004756 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.