pith. machine review for the scientific record. sign in

arxiv: 2604.20218 · v1 · submitted 2026-04-22 · 🧮 math.NT

Recognition: unknown

On the I(1)-invariants: Non-abelian Hecke algebra case

Anand Chitrao, Arindam Jana, Asfak Soneji

Authors on Pith no claims yet

Pith reviewed 2026-05-09 23:42 UTC · model grok-4.3

classification 🧮 math.NT
keywords pro-p-Iwahori invariantsIwahori-Hecke algebrauniversal modulesupersingular representationsGL_2p-adic fieldsmod p representationsI(1)-invariants
0
0 comments X

The pith

The pro-p-Iwahori invariants of the universal module π_r for r=0 and r=q-1 admit an explicit description in the Iwahori-Hecke model, on which the pro-p-Iwahori-Hecke algebra acts explicitly.

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

The paper focuses on the pro-p-Iwahori invariants of universal modules that serve as building blocks for supersingular representations of GL_2 over finite extensions of Q_p. These invariants were central to constructions in the rational case, and the work extends the approach by giving concrete descriptions for r equal to 0 or q-1. The authors employ the Iwahori-Hecke model both to identify the invariants and to specify the algebra action on them. This setup then permits recovering each such module functorially from its space of I(1)-invariants, extending earlier recovery theorems to all totally ramified extensions of Q_p except Q_p itself.

Core claim

We give an explicit description of the pro-p-Iwahori invariants of the universal module π_r for r = 0, q - 1 using the Iwahori-Hecke model. We also determine the action of the pro-p-Iwahori-Hecke algebra on these newly found invariants. As an application, we recover π_r functorially from its space of I(1)-invariants and extend a theorem of Ollivier for any totally ramified extension of Q_p other than itself.

What carries the argument

The Iwahori-Hecke model, which supplies an explicit description of the pro-p-Iwahori invariants of the universal module π_r and determines the action of the pro-p-Iwahori-Hecke algebra on them.

If this is right

  • The universal module π_r can be recovered functorially from its I(1)-invariants when r is 0 or q-1.
  • Ollivier's theorem on such recoveries extends to every totally ramified extension of Q_p except Q_p.
  • The action of the pro-p-Iwahori-Hecke algebra on the invariants is known explicitly for the indicated values of r.
  • The description contributes to the construction of supersingular representations of GL_2(F) for general totally ramified F.

Where Pith is reading between the lines

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

  • The explicit form of the invariants supplies a concrete computational tool that bypasses direct reference to the full module.
  • The non-abelian Hecke algebra treatment may be compared with abelian cases to clarify how the algebra action encodes representation data.
  • The functorial recovery indicates that the I(1)-invariants carry sufficient information to determine the module up to isomorphism in these cases.
  • The method could be tested on other parameter values of r to see whether similar explicit descriptions exist.

Load-bearing premise

The Iwahori-Hecke model faithfully captures the pro-p-Iwahori invariants of π_r precisely when r equals 0 or q-1, and the functorial recovery map is an isomorphism for every totally ramified extension of Q_p other than Q_p itself.

What would settle it

A direct computation, for a concrete totally ramified extension F of Q_p other than Q_p, of the actual space of pro-p-Iwahori invariants of π_r together with the algebra action, followed by checking whether the space and action coincide with the claimed explicit description and whether the recovery map is an isomorphism.

read the original abstract

Let $F$ be a finite extension of $\mathbb{Q}_p$. The so-called supersingular representations are the basic building blocks in the theory of mod $p$ representations of ${\rm GL}_2(F)$. The space of pro-$p$-Iwahori invariants of a universal module played a crucial role in the construction of the supersingular representations of ${\rm GL}_2(\mathbb{Q}_p)$. In this paper, we give an explicit description of the pro-$p$-Iwahori invariants of the universal module $\pi_r$ for $r = 0, q - 1$ using the Iwahori-Hecke model. We also determine the action of the pro-$p$-Iwahori-Hecke algebra on these newly found invariants. As an application, we recover $\pi_r$ functorially from its space of $I(1)$-invariants and extend a theorem of Ollivier for any totally ramified extension of $\mathbb{Q}_p$ other than itself.

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 claims to provide an explicit description of the pro-p-Iwahori invariants of the universal module π_r for the special cases r=0 and r=q-1, using the Iwahori-Hecke model. It determines the action of the pro-p-Iwahori-Hecke algebra on these invariants and shows that π_r can be recovered functorially from its space of I(1)-invariants. This is used to extend a theorem of Ollivier from the case F=Q_p to arbitrary totally ramified extensions F of Q_p.

Significance. If the explicit descriptions and functorial recovery hold, the work would strengthen the understanding of supersingular representations of GL_2(F) by supplying concrete computations of I(1)-invariants and their Hecke algebra action in previously inaccessible cases. The extension of Ollivier's theorem to general totally ramified extensions is a clear advance, and the use of the Iwahori-Hecke model for explicit invariants is a strength that could facilitate further constructions in the mod p representation theory of GL_2.

minor comments (3)
  1. The abstract states that the recovery works 'for any totally ramified extension of Q_p other than itself'; the phrasing 'other than itself' is ambiguous and should be replaced by an explicit statement such as 'other than Q_p'.
  2. The introduction or §1 should include a brief reminder of the definition of the universal module π_r (including the parameter r) to make the special cases r=0, q-1 immediately accessible to readers.
  3. Notation for the pro-p-Iwahori subgroup I(1) and the Iwahori-Hecke algebra is used without a dedicated preliminary subsection; adding a short §2 on notation and the Iwahori-Hecke model would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their supportive review and recommendation of minor revision. We are pleased that the significance of the explicit I(1)-invariant descriptions and the extension of Ollivier's theorem to general totally ramified extensions has been recognized as a useful advance.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained with external inputs

full rationale

The paper computes explicit pro-p-Iwahori invariants for the universal module π_r at r=0 and r=q-1 via the Iwahori-Hecke model, determines the algebra action, and recovers π_r functorially while extending Ollivier's theorem to other totally ramified extensions. These steps rely on standard model constructions and an external cited result rather than self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations. No equation or claim reduces to its own inputs by construction, and the central results consist of new explicit descriptions and extensions that remain independent of the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard background assumptions in the theory of mod p representations of GL_2(F) and the existence of the universal module π_r with the Iwahori-Hecke model applying directly; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The universal module π_r exists and its pro-p-Iwahori invariants are captured by the Iwahori-Hecke algebra model for r=0 and r=q-1.
    Invoked throughout the construction and application to recover π_r functorially.
  • domain assumption Ollivier's theorem holds for the base case and can be extended via the new invariants description to other totally ramified extensions.
    Used as the foundation for the application section.

pith-pipeline@v0.9.0 · 5482 in / 1662 out tokens · 41058 ms · 2026-05-09T23:42:58.954549+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Reductions of $\mathrm{GL}_2(\mathbb Q_{p^f})$-Banach spaces of slopes in $(0,1)$

    math.NT 2026-05 unverdicted novelty 3.0

    Conditions are given making irreducible quotients in the mod p reduction of GL_2(Q_{p^f})-Banach spaces of slopes (0,1) supercuspidal, with lattice checks for small k and f.

Reference graph

Works this paper leans on

27 extracted references · 21 canonical work pages · cited by 1 Pith paper

  1. [1]

    Coefficient systems and supersingular representations of

    Pa. Coefficient systems and supersingular representations of. M\'em. Soc. Math. Fr. (N.S.) , FJOURNAL =. 2004 , PAGES =

    2004

  2. [2]

    Vign\'eras, Marie-France , TITLE =. Math. Ann. , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s00208-004-0592-4 , URL =

    work page doi:10.1007/s00208-004-0592-4 2005

  3. [3]

    2025 , eprint=

    Iwahori-Hecke model for the universal supersingular representation , author=. 2025 , eprint=

    2025

  4. [4]

    Compositio Math

    Breuil, Christophe , TITLE =. Compositio Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.1023/A:1026191928449 , _URL =

    work page doi:10.1023/a:1026191928449 2003

  5. [5]

    and Livn\'e, R

    Barthel, L. and Livn\'e, R. , TITLE =. Duke Math. J. , FJOURNAL =. 1994 , NUMBER =. doi:10.1215/S0012-7094-94-07508-X , _URL =

    work page doi:10.1215/s0012-7094-94-07508-x 1994

  6. [6]

    and Livn\'e, R

    Barthel, L. and Livn\'e, R. , TITLE =. J. Number Theory , FJOURNAL =. 1995 , NUMBER =. doi:10.1006/jnth.1995.1124 , _URL =

    work page doi:10.1006/jnth.1995.1124 1995

  7. [7]

    Anandavardhanan, U. K. and Borisagar, Gautam H. , TITLE =. J. Algebra , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.jalgebra.2014.10.003 , _URL =

    work page doi:10.1016/j.jalgebra.2014.10.003 2015

  8. [8]

    Towards a modulo

    Breuil, Christophe and Pa. Towards a modulo. Mem. Amer. Math. Soc. , FJOURNAL =. 2012 , NUMBER =. doi:10.1090/S0065-9266-2011-00623-4 , _URL =

    work page doi:10.1090/s0065-9266-2011-00623-4 2012

  9. [9]

    Anandavardhanan, U. K. and Jana, Arindam , TITLE =. Pacific J. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/pjm.2021.315.255 , _URL =

    work page doi:10.2140/pjm.2021.315.255 2021

  10. [10]

    , TITLE =

    Hendel, Yotam I. , TITLE =. J. Algebra , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.jalgebra.2018.10.021 , __URL =

    work page doi:10.1016/j.jalgebra.2018.10.021 2019

  11. [11]

    Jana, Arindam , TITLE =. Int. J. Number Theory , FJOURNAL =. 2023 , NUMBER =. doi:10.1142/S1793042123500896 , __URL =

    work page doi:10.1142/s1793042123500896 2023

  12. [12]

    , TITLE =

    Schein, Michael M. , TITLE =. J. Number Theory , FJOURNAL =. 2014 , PAGES =. doi:10.1016/j.jnt.2014.02.002 , __URL =

    work page doi:10.1016/j.jnt.2014.02.002 2014

  13. [13]

    Chitrao, Anand , TITLE =. Canad. Math. Bull. , FJOURNAL =. 2025 , NUMBER =. doi:10.4153/s0008439524000444 , URL =

    work page doi:10.4153/s0008439524000444 2025

  14. [14]

    Morra, Stefano , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2013 , NUMBER =. doi:10.1090/S0002-9947-2013-05932-6 , __URL =

    work page doi:10.1090/s0002-9947-2013-05932-6 2013

  15. [15]

    Anandavardhanan, U. K. and Borisagar, Gautam H. , TITLE =. The legacy of. 2013 , _ISBN =

    2013

  16. [16]

    2003 , PAGES =

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

    2003

  17. [17]

    Represent

    Ghate, Eknath and Le, Daniel and Sheth, Mihir , TITLE =. Represent. Theory , FJOURNAL =. 2023 , PAGES =. doi:10.1090/ert/660 , URL =

    work page doi:10.1090/ert/660 2023

  18. [18]

    Ghate, Eknath and Sheth, Mihir , TITLE =. C. R. Math. Acad. Sci. Paris , FJOURNAL =. 2020 , NUMBER =. doi:10.5802/crmath.85 , URL =

    work page doi:10.5802/crmath.85 2020

  19. [19]

    Le, Daniel , TITLE =. Math. Res. Lett. , FJOURNAL =. 2019 , NUMBER =. doi:10.4310/MRL.2019.v26.n6.a6 , URL =

    work page doi:10.4310/mrl.2019.v26.n6.a6 2019

  20. [20]

    Pacific J

    Sheth, Mihir , TITLE =. Pacific J. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.2140/pjm.2022.321.431 , URL =

    work page doi:10.2140/pjm.2022.321.431 2022

  21. [21]

    , TITLE =

    Schein, Michael M. , TITLE =. Israel J. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s11856-022-2460-x , URL =

    work page doi:10.1007/s11856-022-2460-x 2023

  22. [22]

    2024 , eprint=

    Reductions of semi-stable representations using the Iwahori mod p Local Langlands Correspondence , author=. 2024 , eprint=

    2024

  23. [23]

    Ollivier, Rachel , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2009 , PAGES =. doi:10.1515/CRELLE.2009.078 , URL =

    work page doi:10.1515/crelle.2009.078 2009

  24. [24]

    , TITLE =

    Schein, Michael M. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2011 , NUMBER =. doi:10.1090/S0002-9947-2011-05478-4 , URL =

    work page doi:10.1090/s0002-9947-2011-05478-4 2011

  25. [25]

    Kozio , Karol , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2016 , NUMBER =. doi:10.1093/imrn/rnv162 , URL =

    work page doi:10.1093/imrn/rnv162 2016

  26. [26]

    Forum Math

    Ghate, Eknath and Jana, Arindam , TITLE =. Forum Math. , FJOURNAL =. 2025 , NUMBER =. doi:10.1515/forum-2023-0464 , URL =

    work page doi:10.1515/forum-2023-0464 2025

  27. [27]

    2026 , eprint=

    Reduction mod p of semi-stable representations of some super-Breuil weights , author=. 2026 , eprint=

    2026