pith. sign in

arxiv: 2604.10764 · v2 · submitted 2026-04-12 · 🧮 math.RT

Category mcal O for polynomial toroidal algebras and its subalgebras

Priyanshu Chakraborty This is my paper

Pith reviewed 2026-05-10 15:03 UTC · model grok-4.3

classification 🧮 math.RT
keywords category Opolynomial toroidal Lie algebrasShen-Larsson modulesSoergel tilting modulescharacter formulasstandard modulescostandard modulestilting modules
0
0 comments X

The pith

Irreducible objects in category O for polynomial toroidal Lie algebras are the unique irreducible quotients of standard modules.

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

The paper examines category O for polynomial toroidal Lie algebras and its S and H type subalgebras. It establishes that every irreducible is the unique irreducible quotient of a standard module. Costandard objects arise from Shen-Larsson type modules, for which necessary and sufficient irreducibility conditions are determined. These identifications then permit computation of character formulas for all irreducibles and for indecomposable tilting modules by combining the explicit structure of the Shen-Larsson modules with Soergel tilting theory. A reader would care because the results supply concrete descriptions and formulas in an infinite-dimensional setting where representation theory is otherwise difficult to access explicitly.

Core claim

We classify the irreducible objects of category O as the unique irreducible quotients of the standard modules. Costandard objects of category O arise from Shen-Larsson type modules, and we determine necessary and sufficient conditions for their irreducibility. Appealing to the structure of Shen-Larsson modules and Soergel tilting module theory, we compute character formulas for irreducible modules and indecomposable tilting modules of category O.

What carries the argument

Shen-Larsson type modules identified as the costandard objects of category O, whose irreducibility criteria are analyzed to support character computations via Soergel tilting theory.

If this is right

  • Every irreducible module arises as the unique quotient of a standard module.
  • Shen-Larsson modules serve as costandards precisely when they satisfy the determined irreducibility conditions.
  • Explicit character formulas are obtained for all irreducible modules.
  • Explicit character formulas are obtained for all indecomposable tilting modules.
  • The classification and formulas apply to the S and H type subalgebras as well as the full polynomial toroidal case.

Where Pith is reading between the lines

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

  • The same pattern of using specialized modules for costandards could extend classification results to other families of infinite-dimensional Lie algebras.
  • The character formulas may be applied to compute decomposition numbers or filtration multiplicities in these categories.
  • The combination of explicit module constructions with tilting theory offers a template for handling category O in related toroidal or extended Kac-Moody settings.

Load-bearing premise

That costandard objects of category O arise from Shen-Larsson type modules and that the necessary and sufficient conditions for their irreducibility can be determined within the existing framework of Soergel tilting theory.

What would settle it

An explicit construction of an irreducible module in this category O that is not the unique irreducible quotient of any standard module, or a direct computation of a character that fails to match the formula predicted by the tilting theory.

read the original abstract

In this paper we study Category $\mcal O$ for the polynomial toroidal Lie algebras and its $S,H$ type subalgebras. We classify irreducible objects of category $\mcal O$ as unique irreducble quotient of standard modules. Surprisingly, costandard objects of category $\mcal O$ arrises from Shen-Larsson type modules. We determine necessary sufficient conditions for irreducibility of Shen-Larsson modules. Finally appeling structure of Shen-Larsson modules and Soergel Tilting module theory of \cite{Soe}, we compute charcter formulas for irreducible modules and indecomposable Tilting modules of category $\mcal O$.

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 paper studies Category O for polynomial toroidal Lie algebras and their S- and H-type subalgebras. It classifies irreducible objects as the unique irreducible quotients of standard modules, asserts that costandard objects arise from Shen-Larsson type modules, determines necessary and sufficient conditions for irreducibility of these modules, and computes character formulas for irreducible modules and indecomposable tilting modules by combining the structure of Shen-Larsson modules with Soergel tilting theory.

Significance. If the identification of costandards with Shen-Larsson modules holds and Soergel theory applies in this setting, the work would deliver explicit character formulas and a classification of irreducibles for a class of infinite-dimensional algebras with imaginary roots, extending results from affine and toroidal cases. The paper productively invokes established tools (Shen-Larsson modules and Soergel tilting) rather than deriving everything from scratch.

major comments (2)
  1. The central claim that costandard objects arise from Shen-Larsson type modules (used to obtain the character formulas) requires explicit verification that these modules satisfy the costandard axioms: Hom(standard, Shen-Larsson) is one-dimensional for matching weights and zero otherwise, and that they admit the filtrations presupposed by Soergel tilting theory. The infinite weight poset induced by imaginary roots and the infinite-dimensional Cartan make the usual finite-length and vanishing-Ext arguments non-automatic; without this check the appeal to Soergel produces conditional formulas.
  2. The necessary and sufficient irreducibility conditions for Shen-Larsson modules, and the subsequent character formulas for irreducibles and tilting modules, rest on the highest-weight structure being fully compatible with the toroidal algebra's root system. The manuscript must confirm that the contravariant duality swaps standards and costandards and that higher Ext groups between standards vanish, as these are load-bearing hypotheses for the cited Soergel framework in an infinite-dimensional context.
minor comments (2)
  1. Abstract contains typographical errors: 'arrises' should read 'arise', 'appeling' should read 'appealing', 'charcter' should read 'character', and 'irreducble' should read 'irreducible'.
  2. Notation for the category (e.g., mathcal O) and for subalgebras (S, H types) should be introduced consistently and used uniformly from the introduction onward.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive major comments. We agree that additional explicit verifications are warranted in this infinite-dimensional setting and will incorporate them in the revised version to make the appeal to Soergel theory unconditional.

read point-by-point responses

  1. Referee: The central claim that costandard objects arise from Shen-Larsson type modules (used to obtain the character formulas) requires explicit verification that these modules satisfy the costandard axioms: Hom(standard, Shen-Larsson) is one-dimensional for matching weights and zero otherwise, and that they admit the filtrations presupposed by Soergel tilting theory. The infinite weight poset induced by imaginary roots and the infinite-dimensional Cartan make the usual finite-length and vanishing-Ext arguments non-automatic; without this check the appeal to Soergel produces conditional formulas.

    Authors: We agree that the infinite weight poset and Cartan require explicit checks rather than relying on finite-dimensional analogies. The manuscript constructs Shen-Larsson modules explicitly and computes the relevant Hom spaces via weight-space arguments that separate real and imaginary roots, but we will add a dedicated lemma in the revision that directly verifies the one-dimensional Hom condition for matching weights (and vanishing otherwise) together with the existence of the required filtrations. This will be done by using the polynomial grading to reduce to finite-support cases for the imaginary directions, rendering the Soergel application unconditional. revision: yes

  2. Referee: The necessary and sufficient irreducibility conditions for Shen-Larsson modules, and the subsequent character formulas for irreducibles and tilting modules, rest on the highest-weight structure being fully compatible with the toroidal algebra's root system. The manuscript must confirm that the contravariant duality swaps standards and costandards and that higher Ext groups between standards vanish, as these are load-bearing hypotheses for the cited Soergel framework in an infinite-dimensional context.

    Authors: The highest-weight structure, including compatibility with the root system, is established via the explicit definition of the partial order on weights. The contravariant duality is constructed to interchange standard and costandard modules by design, using the natural pairing on the underlying vector spaces. Higher Ext vanishing between standards follows from the induced-module presentation and the fact that imaginary roots act centrally without creating additional extensions in this graded setting. We will add a short clarifying paragraph in the revision that spells out these verifications explicitly for the infinite case, confirming that the hypotheses of the Soergel framework hold. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation applies external frameworks to new algebras

full rationale

The paper establishes a highest-weight structure on category O for polynomial toroidal algebras, classifies irreducibles as unique quotients of standards, identifies costandards with Shen-Larsson modules, and invokes Soergel's tilting theory via external citation to obtain character formulas. No step equates a claimed result to its own inputs by definition, renames a fitted quantity as a prediction, or reduces the central claims to a self-citation chain whose verification is internal to the paper. The cited results (Shen-Larsson modules and Soergel theory) are independent of the present work and are treated as external benchmarks rather than derived within it.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work assumes standard definitions of category O, Shen-Larsson modules, and Soergel tilting theory from prior literature; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Standard axioms and properties of category O for Lie algebras hold in this infinite-dimensional setting.
    Invoked implicitly when classifying objects as quotients of standard modules.
  • domain assumption Shen-Larsson modules and Soergel tilting theory apply directly to polynomial toroidal algebras.
    Used to derive costandard objects and character formulas.

pith-pipeline@v0.9.0 · 5404 in / 1360 out tokens · 64343 ms · 2026-05-10T15:03:01.180957+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

33 extracted references · 33 canonical work pages

  1. [1]

    Billig, J

    Y. Billig, J. Talboom: Classification of category J modules for divergence zero vector fields on a torus, J. Algebra 500, 2018, 498–516

    work page 2018

  2. [2]

    B.D. Boe, D. K. Nakano and E. Wiesner: Category O for the Virasoro algebra: Cohomology and Koszulity, Pacific J. Math. 234 (2008), no. 1, 1–21

    work page 2008

  3. [3]

    Chaffe: Category O for Takiff Lie algebras, Math

    M. Chaffe: Category O for Takiff Lie algebras, Math. Z. 304 (2023), no. 1, Paper No. 14, 35 pp

    work page 2023

  4. [4]

    Chaffe, L.Topley: Category O for truncated current Lie algebras, Canad

    M. Chaffe, L.Topley: Category O for truncated current Lie algebras, Canad. J. Math. 76 (2024), no. 5, 1795–1821

    work page 2024

  5. [5]

    Shu, Representations of a class of infinite dimensional primitive Lie superalgebras, http://arxiv.org/abs/2503.18011v1

    P.Chakraborty, Y.Shen, B. Shu, Representations of a class of infinite dimensional primitive Lie superalgebras, http://arxiv.org/abs/2503.18011v1

    work page arXiv

  6. [6]

    F. Chen, Z. Li, S. Tan: Integrable representations for toroidal extended affine Lie algebras, J. Algebra, 2019, 519, 228–252

    work page 2019

  7. [7]

    F. Chen, Z. Li, S. Tan : Classification of integrable representations for toroidal extended affine Lie algebras, J. Algebra 2021, 574 , 1–37

    work page 2021

  8. [8]

    F.-F. Duan, B. Shu and Y.-F. Yao,The category O for Lie algebras of vector fields (I): Tilting modules and character formulas, Publ. Res. Inst. Math. Sci. 56 (2020), 743-760

    work page 2020

  9. [9]

    F.-F. Duan, B. Shu, Y.-F. Yao and P. Chakraborty,The category O for Lie algebras of vector fields (II): Lie-Cartan modules and cohomology, Publ. RIMS Kyoto Univ. 62 (2026), 341–377

    work page 2026

  10. [10]

    Eswara Rao: Hamiltonian extended affine Lie algebra and its representation theory

    S. Eswara Rao: Hamiltonian extended affine Lie algebra and its representation theory. J. Algebra. 2023, 68, 71–97

    work page 2023

  11. [11]

    Algebra, 277, 2004, 318–348

    S.Eswara Rao: Classification of irreducible integrable modules for toroidal Lie algebras with finite dimensional weight spaces.J. Algebra, 277, 2004, 318–348

    work page 2004

  12. [12]

    Esawara Rao : Partial classification of modules for Lie-algebra of diffeomorphisms ofd-dimensional torus, J.Math.Phys, 45, no 8, 2004, 3322-3333

    S. Esawara Rao : Partial classification of modules for Lie-algebra of diffeomorphisms ofd-dimensional torus, J.Math.Phys, 45, no 8, 2004, 3322-3333

    work page 2004

  13. [13]

    S. E. Rao, P. Chakraborty: Skew Symmetric Extended Affine Lie algebras, Journal of Pure and Applied Algebra 230 (2026)

    work page 2026

  14. [14]

    Eswara Rao, Souvik Pal: Representations of Hamiltonian vector fields on a torus, arXiv:2504.14517

    S. Eswara Rao, Souvik Pal: Representations of Hamiltonian vector fields on a torus, arXiv:2504.14517

    work page arXiv

  15. [15]

    Eswara Rao, S

    S. Eswara Rao, S. Sharma, P. Batra : Integrable modules for twisted toroidal extended affine Lie algebras, J. Algebra, 2020, 556, 1057–1072

    work page 2020

  16. [16]

    Futorny, S

    V. Futorny, S. Tantubay: Representations of Hamiltonian Lie algebras, arXiv:2503.00749

    work page arXiv

  17. [17]

    X. Guo, G. Liu, K. Zhao: Irreducible Harish-Chandra modules over extended Witt algebras, Ark. Mat. 52 (1),2014, 99–112

    work page 2014

  18. [18]

    J. E. Humphreys,Representations of semisimple Lie algebras in the BGG category O, Graduate Studies in Mathematics 94, American Mathematical Society, Providence, RI, 2008

    work page 2008

  19. [19]

    Mazorchuk, C.S¨ oderberg: Category O for Takiff sl2

    V. Mazorchuk, C.S¨ oderberg: Category O for Takiff sl2. J. Math. Phys. 60 (2019), no. 11, 15 pp

    work page 2019

  20. [20]

    S. Pal, S. Eswara Rao: Classification of level zero irreducible integrable modules for twisted full toroidal Lie algebras, J. Algebra 578, 2021, 1–29

    work page 2021

  21. [21]

    Tantubay, P

    S. Tantubay, P. Batra: Classification of irreducible integrable modules for extended affine Lie alge- bras with center acting trivially, J. Lie Theory, 2023, 33, no. 3, 747–762

    work page 2023

  22. [22]

    Talboom (2018): Category J modules for Hamiltonian vector fields on a torus, J

    J. Talboom (2018): Category J modules for Hamiltonian vector fields on a torus, J. Lie Theory 28 (4), 903-914

    work page 2018

  23. [23]

    Souvik Pal: Classification of irreducible Harish-Chandra modules over full toroidal Lie algebras and higher-dimensional Virasoro algebras, Math. Res. Lett., Vol. 32, No. 4, 2026, 1197-1248

    work page 2026

  24. [24]

    Wallach: Projective modules over graded Lie algebras

    A.Rocha-Caridi, N. Wallach: Projective modules over graded Lie algebras. I, Math. Z., 180 (1982), no.2

    work page 1982

  25. [25]

    Rudakov,Irreducible representations of infinte-dimensional Lie algebras of Cartan type

    A. Rudakov,Irreducible representations of infinte-dimensional Lie algebras of Cartan type. Math. USSR Izvestija 8(1974), 836-866

    work page 1974

  26. [26]

    Rudakov, Irreducible representations of infite-dimensional Lie algebras of types S and H

    A. Rudakov, Irreducible representations of infite-dimensional Lie algebras of types S and H. Math. USSR Izvestija 9(1975), 465-480. CATEGORYOFOR POLYNOMIAL TOROIDAL ALGEBRAS AND ITS SUBALGEBRAS 25

    work page 1975

  27. [27]

    Shen,Graded modules of graded Lie algebras of Cartan type(I)–mixed products of modules

    G. Shen,Graded modules of graded Lie algebras of Cartan type(I)–mixed products of modules. Sci- entia Sinica (Ser. A) 29(6), 570-581, 1986

    work page 1986

  28. [28]

    Shen,Graded modules of graded Lie algebras of Cartan type

    G. Shen,Graded modules of graded Lie algebras of Cartan type. II. Positive and negative graded modules, Sci. Sinica Ser. A29(1986), no.10, 1009-1019

    work page 1986

  29. [29]

    Shen,Graded modules of graded Lie algebras of Cartan type(III)–irreducible modules

    G. Shen,Graded modules of graded Lie algebras of Cartan type(III)–irreducible modules. Chin. Ann. Math. 9B(4), 404-417, 1988

    work page 1988

  30. [30]

    Algebra and Analysis, Eds: Archipov / Parshin / Shafarvich

    S. Skryabin,Independent systems of derivations and Lie algebra representations. in “Algebra and Analysis, Eds: Archipov / Parshin / Shafarvich.” Walter de Gruyter& Co, Berlin-New York, 115- 150, 1994

    work page 1994

  31. [31]

    Soergel,Character formulas for tilting modules over Kac-Moody algebras

    W. Soergel,Character formulas for tilting modules over Kac-Moody algebras. Represent. Theor. 00, 432-448, 1998

    work page 1998

  32. [32]

    Y.Yao, Bin Shu, Irreducible representations of the special algebras in prime characteristic, 273–295

    work page

  33. [33]

    Y.Yao, Bin Shu, Irreducible representations of the Hamiltonian algebra H(2r;n), J. Aust. Math. Soc. 90 (2011), no. 3, 403–430. Priyanshu Chakraborty: Department of Mathematical Sciences, IISc, Bangalore. Email address:priyanshuc437@gmail.com, priyanshuc@iisc.ac.in

    work page 2011