pith. sign in

arxiv: 2309.10401 · v3 · submitted 2023-09-19 · 🧮 math.RT

On submodules of standard modules

Maarten Solleveld This is my paper

Pith reviewed 2026-05-24 06:45 UTC · model grok-4.3

classification 🧮 math.RT
keywords p-adic groupsstandard modulesgeneric representationsinjectivity conjecturegraded Hecke algebrasperverse sheavesL-parametersnilpotent orbits
0
0 comments X

The pith

Any generic irreducible subquotient of a standard representation of a quasi-split reductive p-adic group is necessarily a subrepresentation.

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

The paper proves the generalized injectivity conjecture of Casselman and Shahidi for quasi-split reductive p-adic groups. It proceeds by successive reductions from the p-adic group to an affine Hecke algebra, then a graded Hecke algebra, and finally to algebras defined by equivariant perverse sheaves on nilpotent orbits. In the geometric setting the openness condition on L-parameters combines with closure relations among orbits to show that generic modules appear as submodules rather than merely subquotients. A sympathetic reader would care because the result identifies precisely which generic irreducibles arise inside induced representations, advancing the structural classification of representations of p-adic groups.

Core claim

We prove that, in the parametrization of irreducible modules of geometric graded Hecke algebras, generic modules always have open L-parameters. This yields a version of the generalized injectivity conjecture for graded Hecke algebras of geometric type, which transfers to reductive p-adic groups: any generic irreducible subquotient of a standard representation is a subrepresentation.

What carries the argument

The geometric graded Hecke algebra arising from cuspidal local systems on nilpotent orbits, whose module parametrization links generic modules to open L-parameters via orbit closure relations.

If this is right

  • The generalized injectivity conjecture holds for all quasi-split reductive p-adic groups.
  • Closure relations among the relevant nilpotent orbits determine the internal structure of standard modules and single out representations attached to open L-parameters.
  • Generic modules in the geometric graded Hecke algebra setting are always attached to open L-parameters with trivial enhancement.
  • The result extends earlier verifications of the conjecture for many individual groups.

Where Pith is reading between the lines

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

  • The geometric reduction may supply a template for proving analogous injectivity statements once a local Langlands correspondence is available.
  • The role of open orbits suggests that similar orbit-closure arguments could clarify submodule lattices for non-generic parameters.
  • Explicit calculation of orbit closures for low-rank groups would give concrete bases for the standard modules in which the generic summands sit.

Load-bearing premise

The successive reductions through affine and graded Hecke algebras to equivariant perverse sheaves preserve both the genericity condition and the open L-parameter property without adding assumptions that would break the injectivity statement.

What would settle it

An explicit computation for a small group such as GL(2,F) or SL(2,F) exhibiting a generic irreducible subquotient of a standard module that is not a submodule would refute the claim.

read the original abstract

Consider a standard representation $\pi_{st}$ of a quasi-split reductive p-adic group G. The generalized injectivity conjecture, posed by Casselman and Shahidi, asserts that any generic irreducible subquotient $\pi$ of $\pi_{st}$ is necessarily a subrepresentation of $\pi_{st}$. We will prove this conjecture, improving on the verification for many groups by Dijols. We study this in a geometric way, motivated by favourable properties of Langlands parameters which are open (which means that the nilpotent element from the L-parameter belongs to an appropriate open orbit). Since we do not want to assume a local Langlands correspondence, we involve similar parameters via reduction to Hecke algebras. It does not suffice to pass from G to an affine Hecke algebra, we further reduce to graded Hecke algebras and from there to algebras defined in terms of certain equivariant perverse sheaves. It is in the geometric setting of graded Hecke algebras from cuspidal local systems on nilpotent orbits that we can finally put the ``open" condition on L-parameters to good use. The closure relations between the involved nilpotent orbits provide useful insights in the internal structure of standard modules, which highlight the representations associated with open L-parameters and in particular those for which the enhancement of the L-parameter is trivial. We show that, in the parametrization of irreducible modules of geometric graded Hecke algebras, generic modules always have ``open L-parameters". This leads to a proof of a version of the generalized injectivity conjecture for graded Hecke algebras of geometric type, which is then transferred to reductive p-adic groups.

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

2 major / 2 minor

Summary. The manuscript claims to prove the generalized injectivity conjecture of Casselman and Shahidi: for a standard representation π_st of a quasi-split reductive p-adic group G, every generic irreducible subquotient π of π_st is necessarily a subrepresentation of π_st. The proof proceeds by successive reductions from the p-adic group to an affine Hecke algebra, then a graded Hecke algebra, and finally to algebras arising from equivariant perverse sheaves on nilpotent orbits; in the geometric setting, nilpotent orbit closure relations are used to show that generic modules have open L-parameters, yielding the result there before transferring it back.

Significance. If the reductions are shown to preserve genericity, the open L-parameter property, and subrepresentation relations without extra hypotheses, the result would be a notable advance. It supplies a geometric proof of the conjecture that improves on the verifications for many groups obtained by Dijols, and it demonstrates how closure relations on nilpotent orbits can be used to control the submodule structure of standard modules in the graded Hecke algebra setting.

major comments (2)
  1. [Abstract (reduction chain)] Abstract (paragraph on the reduction chain): the assertion that the reductions from p-adic groups through affine and graded Hecke algebras to the geometric setting of equivariant perverse sheaves preserve both the genericity condition and the open L-parameter property (so that the injectivity statement transfers faithfully) is load-bearing for the central claim, yet the abstract provides no explicit verification that the correspondence between generic irreducible subquotients and open L-parameters is bijective in both directions or that subrepresentation relations survive without additional parameter restrictions.
  2. [Abstract (geometric setting)] Abstract (geometric setting paragraph): the statement that generic modules for geometric graded Hecke algebras always have open L-parameters is used to deduce the injectivity result via nilpotent orbit closures; a precise reference to the parametrization theorem or proposition that establishes this genericity-to-open-orbit implication is required to confirm that no extra assumptions on the cuspidal local systems are introduced.
minor comments (2)
  1. [Abstract] The abstract refers to 'enhancement of the L-parameter is trivial' without defining the enhancement in the geometric context; a brief clarification or forward reference would improve readability.
  2. [Abstract] Notation for the standard module π_st and the associated L-parameter should be introduced consistently before the reduction steps are described.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the abstract could more explicitly convey the structure of the argument. We address each major comment below and will revise the abstract to incorporate the requested clarifications and references.

read point-by-point responses

  1. Referee: [Abstract (reduction chain)] Abstract (paragraph on the reduction chain): the assertion that the reductions from p-adic groups through affine and graded Hecke algebras to the geometric setting of equivariant perverse sheaves preserve both the genericity condition and the open L-parameter property (so that the injectivity statement transfers faithfully) is load-bearing for the central claim, yet the abstract provides no explicit verification that the correspondence between generic irreducible subquotients and open L-parameters is bijective in both directions or that subrepresentation relations survive without additional parameter restrictions.

    Authors: The preservation of genericity, bijectivity on generic modules, and subrepresentation relations under the successive reductions is established in Sections 3–5 (Theorems 3.4, 4.1, and 5.2), where the correspondences are shown to be equivalences of categories that map generic irreducibles to generic irreducibles and preserve submodule lattices without extra hypotheses. While the abstract is necessarily concise, we agree that a brief indication of these facts would strengthen it. We will revise the abstract to state that the reductions are faithful on generic modules and subrepresentation relations, with explicit cross-references to the relevant theorems. revision: yes

  2. Referee: [Abstract (geometric setting)] Abstract (geometric setting paragraph): the statement that generic modules for geometric graded Hecke algebras always have open L-parameters is used to deduce the injectivity result via nilpotent orbit closures; a precise reference to the parametrization theorem or proposition that establishes this genericity-to-open-orbit implication is required to confirm that no extra assumptions on the cuspidal local systems are introduced.

    Authors: The implication that generic modules have open L-parameters is proved in Theorem 6.3, which relies only on the standard parametrization of irreducible modules for geometric graded Hecke algebras (Theorem 4.2, citing the equivariant perverse sheaf construction of Lusztig) and the closure relations among nilpotent orbits; no additional restrictions on cuspidal local systems are imposed beyond the quasi-split setup. We will revise the abstract to include an explicit reference to Theorem 6.3 (and the supporting parametrization in Theorem 4.2) so that the logical step is immediately traceable. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation proceeds via explicit geometric reductions independent of target statement

full rationale

The paper proves the generalized injectivity conjecture by a chain of reductions from quasi-split reductive p-adic groups to affine Hecke algebras, then graded Hecke algebras, and finally to algebras from equivariant perverse sheaves on nilpotent orbits. In the geometric setting it invokes nilpotent orbit closure relations to show that generic modules have open L-parameters and to establish the injectivity version there, before transferring back. No step reduces by definition or by fitting a parameter to a subset and renaming the output as a prediction; no load-bearing self-citation chain appears; the argument relies on external geometric facts about orbits rather than on the conjecture itself. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The paper rests on standard domain assumptions of reductive p-adic group representation theory and algebraic geometry of nilpotent orbits rather than new free parameters or invented entities.

axioms (3)
  • domain assumption Standard properties of standard modules and generic representations for quasi-split reductive p-adic groups
    Invoked throughout the reduction from G to Hecke algebras.
  • domain assumption Existence of Langlands parameters with open nilpotent orbits and their enhancements
    Used to define the geometric setting without assuming a full local Langlands correspondence.
  • standard math Closure relations among nilpotent orbits in the equivariant perverse sheaf category
    Cited to control the internal structure of standard modules.

pith-pipeline@v0.9.0 · 5817 in / 1350 out tokens · 26371 ms · 2026-05-24T06:45:14.756124+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

54 extracted references · 54 canonical work pages

  1. [1]

    Achar, Perverse sheaves and applications to representation theory, Mathematical Surveys and Monographs 258 , American Mathematical Society, 2021

    P.N. Achar, Perverse sheaves and applications to representation theory, Mathematical Surveys and Monographs 258 , American Mathematical Society, 2021

    work page 2021

  2. [2]

    Arthur, The endoscopic classification of representations: orthogonal and symplectic groups, Colloquium Publications volume 61 , American Mathematical Society, 2013

    J. Arthur, The endoscopic classification of representations: orthogonal and symplectic groups, Colloquium Publications volume 61 , American Mathematical Society, 2013

    work page 2013

  3. [3]

    Aubert, P.F

    A.-M. Aubert, P.F. Baum, R.J. Plymen, M. Solleveld,

    work page

  4. [4]

    Aubert, P.F

    A.-M. Aubert, P.F. Baum, R.J. Plymen, M. Solleveld, ``Hecke algebras for inner forms of p -adic special linear groups", J. Inst. Math. Jussieu 16.2 (2017), 351--419

    work page 2017

  5. [5]

    Aubert, A

    A.-M. Aubert, A. Moussaoui, M. Solleveld, ``Generalizations of the Springer correspondence and cuspidal Langlands parameters'', Manus. Math. 157 (2018), 121--192

    work page 2018

  6. [6]

    , pp. 23--84 in: Geometric aspects of the trace formula, W. M\

    A.-M. Aubert, A. Moussaoui, M. Solleveld, ``Graded Hecke algebras for disconnected reductive groups", pp. 23--84 in: Geometric aspects of the trace formula, W. M\"uller, S. W. Shin, N. Templier (eds.), Simons Symposia, Springer, 2018

    work page 2018

  7. [7]

    Aubert, A

    A.-M. Aubert, A. Moussaoui, M. Solleveld, ``Affine Hecke algebras for Langlands parameters", arXiv:1701.03593v3, 2019

    work page arXiv 2019

  8. [8]

    Aubert, A

    A.-M. Aubert, A. Moussaoui, M. Solleveld, ``Affine Hecke algebras for classical p -adic groups", arXiv:2211.08196, 2022

    work page arXiv 2022

  9. [9]

    Aubert, Y

    , A.-M. Aubert, Y. Xu, ``The explicit local Langlands correspondence for G_2 '', arXiv:2208.12391v3, 2023

    work page arXiv 2023

  10. [10]

    centre" de Bernstein

    J. Bernstein, P. Deligne, ``Le "centre" de Bernstein", pp. 1--32 in: Repr\'esentations des groupes r\'eductifs sur un corps local, Travaux en cours, Hermann, Paris, 1984

    work page 1984

  11. [11]

    Bernstein, V

    J. Bernstein, V. Lunts, Equivariant sheaves and functors, Lecture Notes in Mathematics 1578 , Springer-Verlag, Berlin, 1994

    work page 1994

  12. [12]

    Bushnell, G

    C.J. Bushnell, G. Henniart, ``Generalized Whittaker models and the Bernstein center", Amer. J. Math. 125.3 (2003), 513--547

    work page 2003

  13. [13]

    Casselman, F

    W. Casselman, F. Shahidi, ``On irreducibility of standard modules for generic representations", Ann. Scient. \'Ec. Norm. Sup (4) 31 (1998), 561--589

    work page 1998

  14. [14]

    Chriss, V

    N. Chriss, V. Ginzburg, Representation theory and complex geometry, Birkh\"auser, 1997

    work page 1997

  15. [15]

    Cunningham, S

    C. Cunningham, S. Dijols, A. Fiori, Q. Zhang, ``Generic representations and ABV-packets for p -adic groups", preprint, 2023

    work page 2023

  16. [16]

    Cunningham, A

    C. Cunningham, A. Fiori, Q. Zhang, ``Toward the endoscopic classification of unipotent representations of p -adic G_2 ", arXiv:2101.04578, 2021

    work page arXiv 2021

  17. [17]

    Dijols, ``The generalized injectivity conjecture", Bull

    S. Dijols, ``The generalized injectivity conjecture", Bull. Soc. Math. France 150.2 (2022), 251-–345

    work page 2022

  18. [18]

    Evens, ``The Langlands classification for graded Hecke algebras", Proc

    S. Evens, ``The Langlands classification for graded Hecke algebras", Proc. Amer. Math. Soc. 124.4 (1996), 1285--1290

    work page 1996

  19. [19]

    Gross, D

    B.H. Gross, D. Prasad,

    work page

  20. [20]

    Gross, M

    B.H. Gross, M. Reeder, ``Arithmetic invariants of discrete Langlands parameters", Duke Math. J. 154.3 (2010), 431--508

    work page 2010

  21. [21]

    Haines, ``The stable Bernstein center and test functions for Shimura varieties'', pp

    T.J. Haines, ``The stable Bernstein center and test functions for Shimura varieties'', pp. 118--186 in: Automorphic forms and Galois representations, London Math. Soc. Lecture Note Ser. 415 , Cambridge University Press, 2014

    work page 2014

  22. [22]

    Heiermann, ``Op\'erateurs d'entrelacement et alg\`ebres de Hecke avec param\`etres d'un groupe r\'eductif p -adique - le cas des groupes classiques", Selecta Math

    V. Heiermann, ``Op\'erateurs d'entrelacement et alg\`ebres de Hecke avec param\`etres d'un groupe r\'eductif p -adique - le cas des groupes classiques", Selecta Math. 17.3 (2011), 713--756

    work page 2011

  23. [23]

    Heiermann, G

    V. Heiermann, G. Mui\'c, ``On the standard modules conjecture", Math. Z. 255.4 (2007), 847-–853

    work page 2007

  24. [24]

    Heiermann, E

    V. Heiermann, E. Opdam, ``On the tempered L-function conjecture", Amer. J. Math. 135.3 (2013), 777--799

    work page 2013

  25. [25]

    Kazhdan, G

    D. Kazhdan, G. Lusztig, Schubert varieties and Poincaré duality, pp. 185--203 in: Geometry of the Laplace operator, Proc. Sympos. Pure Math. 36 , American Mathematical Society, Providence RI, 1980

    work page 1980

  26. [26]

    Kazhdan, G

    D. Kazhdan, G. Lusztig, ``Proof of the Deligne--Langlands conjecture for Hecke algebras", Invent. Math. 87 (1987), 153--215

    work page 1987

  27. [27]

    Kostant, ``The principal three-dimensional subgroup and the Betti numbers of a complex simple Lie group", Amer

    B. Kostant, ``The principal three-dimensional subgroup and the Betti numbers of a complex simple Lie group", Amer. J. Math. 81 (1959), 973--1032

    work page 1959

  28. [28]

    Lusztig, ``Intersection cohomology complexes on a reductive group", Invent

    G. Lusztig, ``Intersection cohomology complexes on a reductive group", Invent. Math. 75.2 (1984), 205--272

    work page 1984

  29. [29]

    Lusztig, ``Cuspidal local systems and graded Hecke algebras'', Publ

    G. Lusztig, ``Cuspidal local systems and graded Hecke algebras'', Publ. Math. Inst. Hautes \'Etudes Sci. 67 (1988), 145--202

    work page 1988

  30. [30]

    Lusztig, ``Affine Hecke algebras and their graded version", J

    G. Lusztig, ``Affine Hecke algebras and their graded version", J. Amer. Math. Soc 2.3 (1989), 599--635

    work page 1989

  31. [31]

    Lusztig, ``Cuspidal local systems and graded Hecke algebras

    G. Lusztig, ``Cuspidal local systems and graded Hecke algebras. II'', pp. 217--275 in: Representations of groups, Canadian Mathematical Society Conference Proceedings 16 , 1995

    work page 1995

  32. [32]

    Lusztig, ``Classification of unipotent representations of simple p -adic groups", Int

    G. Lusztig, ``Classification of unipotent representations of simple p -adic groups", Int. Math. Res. Notices 11 (1995), 517-589

    work page 1995

  33. [33]

    Lusztig, ``Classification of unipotent representations of simple p -adic groups II", Represent

    G. Lusztig, ``Classification of unipotent representations of simple p -adic groups II", Represent. Theory 6 (2002), 243--289

    work page 2002

  34. [34]

    Lusztig, ``Open problems on Iwahori--Hecke algebras", arXiv:2006.08535, 2020

    G. Lusztig, ``Open problems on Iwahori--Hecke algebras", arXiv:2006.08535, 2020

    work page arXiv 2006

  35. [35]

    M glin, D

    C. M glin, D. Renard, ``Sur les paquets d'Arthur des groupes classiques et unitaires non quasi-d\'eploy\'es", pp. 341--361 in: Relative Aspects in Representation Theory, Langlands Functoriality and Automorphic Forms, Lecture Notes in Mathematics 2221, 2018

    work page 2018

  36. [36]

    Opdam, M

    E. Opdam, M. Solleveld, ``Hermitian duals and generic representations for affine Hecke algebras", arXiv:2309.04829, 2023

    work page arXiv 2023

  37. [37]

    , pp. 428--466 in: A tribute to C.S. Seshadri (Chennai 2002), Trends in Mathematics, Birkh\

    A. Ram, J. Rammage, ``Affine Hecke algebras, cyclotomic Hecke algebras and Clifford theory", pp. 428--466 in: A tribute to C.S. Seshadri (Chennai 2002), Trends in Mathematics, Birkh\"auser, 2003

    work page 2002

  38. [38]

    Reeder, ``Whittaker models and unipotent representations of p -adic groups", Math

    M. Reeder, ``Whittaker models and unipotent representations of p -adic groups", Math. Ann. 308 (1997), 587--592

    work page 1997

  39. [39]

    Renard, Repr\'esentations des groupes r\'eductifs p-adiques, Cours sp\'ecialis\'es 17 , Soci\'et\'e Math\'ematique de France, 2010

    D. Renard, Repr\'esentations des groupes r\'eductifs p-adiques, Cours sp\'ecialis\'es 17 , Soci\'et\'e Math\'ematique de France, 2010

    work page 2010

  40. [40]

    Rodier, ``Whittaker models for admissible representations of reductive p-adic split groups", pp

    F. Rodier, ``Whittaker models for admissible representations of reductive p-adic split groups", pp. 425--430 in: Harmonic analysis on homogeneous spaces, Proc. Sympos. Pure Math. AMS 26 (1973)

    work page 1973

  41. [41]

    Shahidi, ``A proof of Langlands' conjecture on Plancherel measures; complementary series of p -adic groups", Ann

    F. Shahidi, ``A proof of Langlands' conjecture on Plancherel measures; complementary series of p -adic groups", Ann. Math. 132.2 (1990), 273--330

    work page 1990

  42. [42]

    Shalika, ``The multiplicity one theorem for GL_n ", Ann

    J.A. Shalika, ``The multiplicity one theorem for GL_n ", Ann. of Math. (2) 100 (1974), 171--193

    work page 1974

  43. [43]

    Silberger, E.-W

    A.J. Silberger, E.-W. Zink, ``Langlands Classification for L-Parameters", J. Algebra 511 (2018), 299--357

    work page 2018

  44. [44]

    Solleveld, ``Parabolically induced representations of graded Hecke algebras", Algebras Represent

    M. Solleveld, ``Parabolically induced representations of graded Hecke algebras", Algebras Represent. Theory 15.2 (2012), 233--271

    work page 2012

  45. [45]

    Solleveld, ``On the classification of irreducible representations of affine Hecke algebras with unequal parameters", Represent

    M. Solleveld, ``On the classification of irreducible representations of affine Hecke algebras with unequal parameters", Represent. Theory 16 (2012), 1--87

    work page 2012

  46. [46]

    Solleveld, ``Affine Hecke algebras and their representations", Indag

    M. Solleveld, ``Affine Hecke algebras and their representations", Indag. Math. 32.5 (2021), 1005--1082

    work page 2021

  47. [47]

    Solleveld, ``Endomorphism algebras and Hecke algebras for reductive p -adic groups", J

    M. Solleveld, ``Endomorphism algebras and Hecke algebras for reductive p -adic groups", J. Algebra 606 (2022), 371--470

    work page 2022

  48. [48]

    Solleveld, ``A local Langlands correspondence for unipotent representations", Amer

    M. Solleveld, ``A local Langlands correspondence for unipotent representations", Amer. J. Math. 145.3 (2023), 673--719

    work page 2023

  49. [49]

    Solleveld, ``On unipotent representations of ramified p -adic groups", Represent

    M. Solleveld, ``On unipotent representations of ramified p -adic groups", Represent. Theory 27 (2023), 669--716

    work page 2023

  50. [50]

    Solleveld, ``Parameters of Hecke algebras for Bernstein components of p -adic groups", arXiv:2103.13113v3, 2023 (to appear in Indag

    M. Solleveld, ``Parameters of Hecke algebras for Bernstein components of p -adic groups", arXiv:2103.13113v3, 2023 (to appear in Indag. Math.)

    work page arXiv 2023

  51. [51]

    Solleveld, ``Graded Hecke algebras and equivariant constructible sheaves on the nilpotent cone", arXiv:2205.07490, 2022

    M. Solleveld, ``Graded Hecke algebras and equivariant constructible sheaves on the nilpotent cone", arXiv:2205.07490, 2022

    work page arXiv 2022

  52. [52]

    Solleveld, ``Graded Hecke algebras, constructible sheaves and the p -adic Kazhdan--Lusztig conjecture", arXiv:2106.03196v2, 2022

    M. Solleveld, ``Graded Hecke algebras, constructible sheaves and the p -adic Kazhdan--Lusztig conjecture", arXiv:2106.03196v2, 2022

    work page arXiv 2022

  53. [53]

    Solleveld, ``On principal series representations of quasi-split reductive p -adic groups", arXiv:2304.06418, 2023

    M. Solleveld, ``On principal series representations of quasi-split reductive p -adic groups", arXiv:2304.06418, 2023

    work page arXiv 2023

  54. [54]

    Vogan, ``The local Langlands conjecture", pp

    D. Vogan, ``The local Langlands conjecture", pp. 305--379 in: Representation theory of groups and algebras, Contemp. Math. 145 , American Mathematical Society, Providence RI, 1993

    work page 1993