pith. sign in

arxiv: 2606.21280 · v1 · pith:YUDDY2TCnew · submitted 2026-06-19 · 🧮 math.RT · math.QA· math.RA

Parabolic induction for modular finite W-algebras

Simon Goodwin , Lewis Topley , Matt Westaway This is my paper

Pith reviewed 2026-06-26 13:01 UTC · model grok-4.3

classification 🧮 math.RT math.QAmath.RA
keywords modular finite W-algebrasparabolic inductionminimal modulesreduced enveloping algebrasLie algebrasreductive algebraic groupsrigid p-characterscomponent group
0
0 comments X

The pith

Minimal modules over reduced enveloping algebras are parabolically induced from Levi subalgebras with rigid p-characters in classical and most exceptional cases.

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

The paper uses the theory of modular finite W-algebras to study modules of minimal dimension for reduced enveloping algebras attached to Lie algebras of reductive groups. It first treats the situation where the p-character lies in a unique sheet and shows that in classical types plus most exceptional types every such minimal module is parabolically induced from a Levi subalgebra equipped with a rigid p-character. It then treats the modules that remain invariant under twisting by the component group and obtains the same induction statement in the same families of types. A sympathetic reader sees this as a systematic reduction of the minimal-dimension problem to smaller Levi subalgebras.

Core claim

Using modular finite W-algebras the authors establish that, when the p-character lies in a unique sheet, all minimal modules are parabolically induced from a Levi subalgebra and a rigid p-character; the same conclusion holds for those minimal modules that are invariant under twisting by the component group. Both statements are proved in all classical cases and in most exceptional cases.

What carries the argument

Parabolic induction of modules for modular finite W-algebras from a Levi subalgebra carrying a rigid p-character

If this is right

  • The problem of listing minimal modules reduces to the rigid case on proper Levi subalgebras.
  • Dimension formulas for minimal modules become inductive on the semisimple rank.
  • Support varieties of minimal modules are determined by those of the inducing data on the Levi.
  • The same induction statement applies uniformly to both the unique-sheet and the twisting-invariant families.

Where Pith is reading between the lines

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

  • The method supplies an algorithmic route to construct all minimal modules once the rigid cases on maximal Levis are known.
  • The result suggests that sheets outside the unique-sheet locus may still admit an analogous induction description after a suitable twisting adjustment.
  • Remaining exceptional types not covered here become the natural next test cases for the same induction technique.

Load-bearing premise

The p-character lies in a unique sheet or the module is invariant under component-group twisting, together with the restriction to classical and most exceptional types.

What would settle it

An explicit minimal module in a classical type whose associated variety or W-algebra support cannot be obtained by parabolic induction from any Levi with rigid p-character.

read the original abstract

We study the modules of minimal dimension for reduced enveloping algebras of Lie algebras of reductive algebraic groups using the theory of modular finite $W$-algebras. First of all we consider the case where the $p$-character lies in a unique sheet, and demonstrate that in classical cases and in most exceptional cases all minimal modules are parabolically induced from a Levi subalgebra and a rigid $p$-character. Secondly we consider the minimal modules which are invariant under twisting by the component group, showing that in classical cases and in most exceptional cases these are also parabolically induced from a Levi subalgebra and a rigid $p$-character.

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 / 0 minor

Summary. The paper studies minimal-dimension modules over reduced enveloping algebras of reductive Lie algebras in positive characteristic, employing the theory of modular finite W-algebras. It shows that when the p-character lies in a unique sheet, or when the module is invariant under twisting by the component group, all such minimal modules are parabolically induced from a Levi subalgebra together with a rigid p-character; the result is established for all classical types and for most exceptional types via a combination of general arguments and case-by-case verification.

Significance. If the claims hold, the work supplies a concrete structural description of the minimal modules in terms of parabolic induction, thereby reducing questions about minimal representations of modular Lie algebras to the study of rigid characters on Levi subalgebras. The explicit verification in exceptional types, when grounded in a complete external classification, would constitute a useful check of the general theory.

major comments (1)
  1. [section on exceptional cases (case-by-case verification)] The central claim for exceptional types rests on case-by-case verification whose completeness inherits any gaps in the external classification of sheets and rigid characters. The manuscript should explicitly list the exceptional types covered by the phrase 'most exceptional cases,' cite the precise source of the sheet classification employed, and indicate whether the W-algebra dimension formula used to identify minimality has been independently verified for each checked type.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the single major comment point by point below.

read point-by-point responses

  1. Referee: [section on exceptional cases (case-by-case verification)] The central claim for exceptional types rests on case-by-case verification whose completeness inherits any gaps in the external classification of sheets and rigid characters. The manuscript should explicitly list the exceptional types covered by the phrase 'most exceptional cases,' cite the precise source of the sheet classification employed, and indicate whether the W-algebra dimension formula used to identify minimality has been independently verified for each checked type.

    Authors: We agree that greater explicitness is warranted. The results for exceptional types rely on case-by-case checks that draw on external classifications of sheets and rigid characters. In the revised manuscript we will explicitly list the exceptional types covered by the phrase 'most exceptional cases', cite the precise source of the sheet classification used, and add a clarifying statement on the verification status of the W-algebra dimension formula for each type examined. These additions will make the dependence on external data fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; claims rest on established W-algebra theory with external case-by-case verification.

full rationale

The paper demonstrates parabolic induction of minimal modules under the stated assumptions by invoking the existing theory of modular finite W-algebras. The exceptional-type results are obtained via direct verification rather than a uniform derivation that reduces to the paper's own definitions or fitted quantities. No equations or steps are shown to equate a claimed prediction with its input by construction, and no load-bearing self-citation chain is quoted. The qualifier 'most exceptional cases' reflects the scope of external classifications of sheets and rigid characters, which is a completeness issue external to the paper's internal logic rather than circularity within it. The derivation is therefore self-contained against the cited prior theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Paper relies on standard background in modular representation theory of Lie algebras and finite W-algebras; no free parameters, new entities, or ad-hoc axioms are visible from the abstract.

axioms (1)
  • standard math Standard properties of reduced enveloping algebras, finite W-algebras, and parabolic induction in positive characteristic
    Invoked throughout the statements about minimal modules and p-characters.

pith-pipeline@v0.9.1-grok · 5635 in / 1071 out tokens · 11619 ms · 2026-06-26T13:01:02.311773+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

46 extracted references · 2 linked inside Pith

  1. [1]

    Ambrosio, L

    F. Ambrosio, L. Topley, M. Westaway, Quantization of nilpotent coadjoint GL_N -orbit closures in positive characteristics , arXiv:2604.21597, 2026

    Pith/arXiv arXiv 2026

  2. [2]

    Bala, R.W

    P. Bala, R.W. Carter, Classes of unipotent elements in simple algebraic groups II , Math.\ Proc.\ Camb.\ Phil.\ Soc.\ 80 (1976), 1--18

    1976

  3. [3]

    Borel, Linear algebraic groups

    A. Borel, Linear algebraic groups. Second edition. Graduate Texts in Mathematics, 126. Springer-Verlag, New York, 1991

    1991

  4. [4]

    Bourbaki, Groupes et alg\` e bras de Lie, IV--VI , Hermann, Paris, 1968

    N. Bourbaki, Groupes et alg\` e bras de Lie, IV--VI , Hermann, Paris, 1968

    1968

  5. [5]

    Brown, K

    K. Brown, K. Goodearl, Lectures on algebraic quantum groups , Adv. Courses Math. CRM Barcelona, Birkh\" a user Verlag, Basel, 2002

    2002

  6. [6]

    Brown, S.M

    J. Brown, S.M. Goodwin, On the variety of 1-dimensional representations of finite W -algebras in low rank , J. Algebra 511 (2018), 419--515

    2018

  7. [7]

    Brunat, O

    O. Brunat, O. Dudas, J. Taylor, Unitriangular shape of decomposition matrices of unipotent block , Ann.\ Math.\ 192 (2020), 583--663

    2020

  8. [8]

    Brundan, S.M

    J. Brundan, S.M. Goodwin, Good grading polytopes , Proc. Lond. Math. Soc. 94 (2007), 155--180

    2007

  9. [9]

    Brundan, S.M

    J. Brundan, S.M. Goodwin, A. Kleshchev , Highest weight theory for finite W -algebras , Int. Math. Res. Not. IMRN 2008, no. 15, Art. ID rnn051, 53pp

    2008

  10. [10]

    Collingwood, W

    D.H. Collingwood, W. McGovern, Nilpotent orbits in semisimple Lie algebras , Van Nostrand Reinhold, New York, 1993

    1993

  11. [11]

    de Graaf, A

    W.A. de Graaf, A. Elashvili, Induced nilpotent orbits of the simple Lie algebras of exceptional type , Georgian Math. J. 2 \, (2009), 257--278

    2009

  12. [12]

    Friedlander, B

    E. Friedlander, B. Parshall, Modular representation theory of Lie algebras , Amer.\ J.\ Math.\ 110 (1988), 1055--1093

    1988

  13. [13]

    Fu, On -factorial terminalizations of nilpotent orbits , J

    B. Fu, On -factorial terminalizations of nilpotent orbits , J. \ Pure \ Maths. \ Appl. 93 (2010), 623--635

    2010

  14. [14]

    S. M. Goodwin, L. Topley, Modular finite W -algebras , Int. Math. Res. Not. IMRN 2019, no. 18, 5811--5853

    2019

  15. [15]

    , Minimal-dimensional representations of reduced enveloping algebras for _n , Compos. Math. 155 (2019), no. 8, 1594--1617

    2019

  16. [16]

    , Restricted shifted Yangians and restricted finite W -algebras , Trans. Amer. Math. Soc. Ser. B 8 (2021), 190–-228

    2021

  17. [17]

    Goodwin, L

    S.M. Goodwin, L. Topley, M. Westaway, On induced completely prime primitive ideals in enveloping algebras of classical Lie algebras , Represent. Theory 30 (2026), 42--67

    2026

  18. [18]

    Kraft, Geometrische Methoden in der Invariantentheorie , Aspekte der Mathematik D1, Vieweg Verlag, Braunschweig 1984

    H. Kraft, Geometrische Methoden in der Invariantentheorie , Aspekte der Mathematik D1, Vieweg Verlag, Braunschweig 1984

    1984

  19. [19]

    Im Hof, The Sheets of a Classical Lie Algebra , Inauguraldissertation zur Erlangung der W\"urde eines Doktors der Philosophie, 2005, available at http://edoc.unibas.ch

    A. Im Hof, The Sheets of a Classical Lie Algebra , Inauguraldissertation zur Erlangung der W\"urde eines Doktors der Philosophie, 2005, available at http://edoc.unibas.ch

    2005

  20. [20]

    Jantzen, Representations of Lie algebras in prime characteristic , in Representation Theories and Algebraic Geometry, Proceedings (A

    J.C. Jantzen, Representations of Lie algebras in prime characteristic , in Representation Theories and Algebraic Geometry, Proceedings (A. Broer, Ed.), pp.\ 185--235. Montreal, NATO ASI Series, Vol. C 514, Kluwer, Dordrecht, 1998

    1998

  21. [21]

    Second edition , Mathematical Surveys and Monographs, 107

    , Representations of algebraic groups. Second edition , Mathematical Surveys and Monographs, 107. Amer. Math. Soc., Providence, RI, 2003

    2003

  22. [22]

    in Math., 228 , 1--211, Birkh\"auser, Boston 2004

    , Nilpotent orbits in representation theory , in: B.\,Orsted (ed.), ``Representation and Lie theory'', Progr. in Math., 228 , 1--211, Birkh\"auser, Boston 2004

    2004

  23. [23]

    Laurent-Gengoux, A

    C. Laurent-Gengoux, A. Pichereau, P. Vanhaecke, Poisson structures , Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 347. Springer, Heidelberg, 2013

    2013

  24. [24]

    Lawther, D.M

    R. Lawther, D.M. Testerman, Centres of centralizers of unipotent elements in simple algebraic groups , Mem. Amer. Math. Soc. 210 \, (2011), no. 988, vi+188 pp

    2011

  25. [25]

    Letellier, Fourier transforms of invariant functions on finite reductive Lie algebras , Lecture Notes in Mathematics, 1859 , Springer, Berlin, 2005

    E. Letellier, Fourier transforms of invariant functions on finite reductive Lie algebras , Lecture Notes in Mathematics, 1859 , Springer, Berlin, 2005

    2005

  26. [26]

    Losev, Quantized symplectic actions and W -algebras , J

    I. Losev, Quantized symplectic actions and W -algebras , J. Amer. Math. Soc. 23 \, (2010), no. 1, 35--59

    2010

  27. [27]

    , Quantizations of nilpotent orbits vs 1-dimensional representations of W-algebras , arXiv:1004.1669 (2010)

    Pith/arXiv arXiv 2010

  28. [28]

    226 \, (2011), 4841--4883

    , 1 -dimensional representations and parabolic induction for W -algebras , Adv.\ Math. 226 \, (2011), 4841--4883

    2011

  29. [29]

    Selecta Math

    , Deformations of symplectic singularities and Orbit method for semisimple Lie algebras. Selecta Math. (N.S.) 28 \ (2022), no. 2, Paper No. 30, 52 pp

    2022

  30. [30]

    Losev, L

    I. Losev, L. Mason-Brown, D. Matvieievskyi Unipotent ideals and Harish-Chandra bimodules , arXiv:2108.03453v4 (2021)

    arXiv 2021

  31. [31]

    Lusztig, N

    G. Lusztig, N. Spaltenstein, Induced unipotent classes , J. London Math. Soc. (2) 19 \,(1979), 41--52

    1979

  32. [32]

    Malle, D

    G. Malle, D. M. Testerman, Linear algebraic groups and finite groups of Lie type , Cambridge Studies in Advanced Mathematics, 133 , Cambridge Univ. Press, Cambridge, 2011

    2011

  33. [33]

    McNinch, E

    G. McNinch, E. Sommers, Component groups of unipotent centralizers in good characteristic , J. Algebra 260 (2003), 323--337

    2003

  34. [34]

    Milne, Algebraic groups , Cambridge Stud

    J.S. Milne, Algebraic groups , Cambridge Stud. Adv. Math., 170 , Cambridge University Press, Cambridge, 2017

    2017

  35. [35]

    Premet, Irreducible representations of Lie algebras of reductive groups and the Kac-Weisfeiler conjecture , Invent.\ Math.\ 121 \ (1995), 79--117

    A. Premet, Irreducible representations of Lie algebras of reductive groups and the Kac-Weisfeiler conjecture , Invent.\ Math.\ 121 \ (1995), 79--117

    1995

  36. [36]

    \ 170 (2002), 1--55

    , Special transverse slices and their enveloping algebras , Adv.\ Math. \ 170 (2002), 1--55

    2002

  37. [37]

    Algebra 260 (2003), 338--366

    , Nilpotent orbits in good characteristic and the Kempf--Rousseau theory , J. Algebra 260 (2003), 338--366

    2003

  38. [38]

    Math.\ 225 (2010), 269--306

    , Commutative quotients of finite W-algebras , Adv. Math.\ 225 (2010), 269--306

    2010

  39. [39]

    Groups \ 19 (2014), no

    , Multiplicity-free primitive ideals associated with rigid nilpotent orbits , Transform. Groups \ 19 (2014), no. 2, 569--641

    2014

  40. [40]

    Groups 16 (2011), 857--888

    , Enveloping algebras of Slodowy slices and Goldie rank , Transform. Groups 16 (2011), 857--888

    2011

  41. [41]

    Premet, D

    A. Premet, D. Stewart, Rigid orbits and sheets in reductive Lie algebras over fields of prime characteristic , J. Inst. Math. Jussieu 17 \, (2018), 583--613

    2018

  42. [42]

    Premet, L

    A. Premet, L. Topley, Derived subalgebras of centralisers and finite W-algebras , Compos. Math. 150 (2014), 1485--1548

    2014

  43. [43]

    , One-dimensional representations of finite W -algebras and Humphreys' conjecture , Adv. Math. 392 \ (2021), Paper No. 108024, 40 pp

    2021

  44. [44]

    Procesi, Finite dimensional representations of algebras , Israel J

    C. Procesi, Finite dimensional representations of algebras , Israel J. Math. 19 \, (1974), 169--182

    1974

  45. [45]

    Steinberg, Torsion in reductive groups , Adv

    R. Steinberg, Torsion in reductive groups , Adv. Math. 15 (1975), 63--92

    1975

  46. [46]

    L Topley, A Morita theorem for modular finite W -algebras , Math. Z. 285 \ (2017)\, no. 3-4, 685--705

    2017