Pith. sign in

REVIEW 6 minor 38 references

Global Weyl modules for thin Lie algebras are finite-dimensional

T0 review · 0 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Thin Lie algebras yield finite-dimensional Weyl modules.

desk verdict A genuinely new finite-dimensionality theorem for global Weyl modules under a well-chosen thinness hypothesis, with a checkable proof and honest limitations; send it to a serious referee. read the letter →

arxiv 2411.17550 v1 pith:NUECH4D2 submitted 2024-11-26 math.RT math.CTmath.RA

Vladimir Dotsenko , Sergey Mozgovoy This is my paper · ORCID
classification math.RTmath.CTmath.RA MSC 17B1017B6517B6617B67
keywords WeylmodulesthinLiealgebrasHamiltonianvectorfieldsintegrablestratifiedcategoriesweightlatticegradingL0(H2)
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper extends the theory of Weyl modules from affine and root-graded Lie algebras to Lie algebras graded by a weight lattice, and proves that under a 'thinness' condition all global Weyl modules are finite-dimensional. Thinness means the adjoint action of the semisimple subalgebra g has finite multiplicities and contains no trivial summand. The motivating example is L0(H2), the Lie algebra of polynomial Hamiltonian vector fields on the plane vanishing at the origin, which acts on finite-dimensional spaces in Hilbert-scheme and P=W settings. The paper also equips the category of integrable bounded modules with a left stratification whose standard objects are the global Weyl modules, and shows the graded version is fully stratified when an automorphism acts as -id on the Cartan subalgebra. If correct, the result gives a uniform finite-dimensionality statement for a large class of infinite-dimensional Lie algebras and identifies the representation-theoretic building blocks.

What carries the argument

The engine of the proof is the thinness condition together with the truncated induction functor B_Ω = $τ^{{\bar g}}$_Ω ∘ $Ind^{{\bar g}}$_g, which sends a g-module V to the maximal integrable quotient of the induced module whose irreducible constituents lie in Ω. For finite-dimensional V, the PBW filtration reduces the claim to the finite-dimensionality of the truncated symmetric algebra S_Ω(\bar g) = S\bar g / (S\bar g · \bar τ_Ω(S\bar g)). Proposition 3.7 shows this algebra is finite-dimensional precisely when the g-module \bar g has no trivial summand: elements of the zero-weight space are then integral over the finite-dimensional subalgebra generated by nonzero-weight spaces. Thinness adds finite multiplicities so that only finitely many irreducible types appear in the relevant truncations.

What would settle it

Attempt to construct a thin Lie algebra \bar g (finite multiplicities, [\bar g:L(0)]=0, triangular decomposition) for which the truncated symmetric algebra S_Ω(\bar g) is infinite-dimensional for some finite Ω; Proposition 3.7 rules this out, so any concrete such construction would refute the main theorem.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.11: if the adjoint action of g on \bar g is thin, then the functor B_Ω from integrable g-modules to Ω-truncated integrable \bar g-modules sends finite-dimensional modules to finite-dimensional modules. In particular, every global Weyl module W(λ)=B_{≤λ}(L(λ)) is finite-dimensional for thin \bar g, and this applies to \bar g = L0(H2), the polynomial Hamiltonian vector fields vanishing at the origin. The thinness condition is exactly what makes the truncated symmetric algebra S_Ω(\bar g) finite-dimensional: the absence of the trivial module L(0) forces the degree-zero generators to be integral over a finite-dimensional subalgebra. Corollary 3.12 shows that every subalgebra of L0(W2) containing sl2 but not the Euler vector field has finite-dimensional global Weyl modules. Separately, Theorem 4.15 left-stratifies the category I_b(\bar g) by P+ with strata categories Mod A_λ, where A_λ ≃ End_{\bar g}(W(λ))^{op}, and Theorem 4.21 upgrades this to a full stratification when \bar g admits a degree-preserving automorphism restricting to -id on h.

Load-bearing premise

The proof rests on the absence of the trivial g-module in the adjoint action on \bar g (and on the weight decomposition \bar g = \bar n^- ⊕ \bar h ⊕ \bar n^+); if a trivial summand appears, the truncated symmetric algebra may be infinite-dimensional and the finite-dimensionality conclusion is not obtained.

Editorial extensions

If this is right

  • For \bar g = L0(H2), all global Weyl modules W(λ) are finite-dimensional for every dominant weight λ; the paper lists explicit sl2-decompositions for λ = 0,...,7.
  • Every Lie subalgebra of L0(W2) containing sl2 but omitting the Euler vector field has finite-dimensional global Weyl modules, so the phenomenon is not special to Hamiltonian vector fields.
  • The category of integrable bounded \bar g-modules is left stratified by the dominant weight poset P+, with global Weyl modules as standard objects and local Weyl modules as proper standard objects.
  • When \bar g admits a degree-preserving automorphism restricting to -id on h (as L0(H2) does), the graded category mod^Z_b(\bar g) is fully stratified; this is the first stratified-category structure of its kind for these infinite-dimensional Lie algebras.
  • Finite-dimensional Lie algebras containing g with zero centralizer, and the Feigin algebras sl(λ), also satisfy the thinness condition, so their global Weyl modules are finite-dimensional.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The exclusion of the Euler vector field is the analytic core of the result: the trivial sl2-summand in L0(W2) is exactly the Euler field, so thinness is a precise way to say 'no central directions at weight zero'.
  • For the larger algebras H_{2n} with n>1 the required weight-lattice decomposition fails and the natural partial order is not locally finite, so the main theorem does not directly apply; a modification separating weights by a functional on h might recover a weaker finite-dimensionality statement in those cases.
  • The conjectured socle of every local Weyl module for L0(H2) being the defining two-dimensional sl2-module, if true, would give a rigid lowest-weight structure for all local Weyl modules and could be verified computationally for higher λ via the Magma implementations used in the paper.
  • Because B_Ω is left adjoint to the truncation functor, it preserves projectivity; the finite-dimensionality result therefore also produces finite-dimensional projective objects in the truncated categories, which may feed into homological questions about these module categories.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 6 minor

Summary. The paper defines global Weyl modules for Lie algebras graded by the weight lattice of a finite-dimensional semisimple Lie algebra g, introduces a 'thinness' condition (finite multiplicities of irreducible g-modules and absence of the trivial module), and proves the main theorem: if the adjoint action of g on the larger algebra is thin, then the functor B_Ω sends finite-dimensional g-modules to finite-dimensional modules, so in particular all global Weyl modules W(λ) are finite-dimensional. The motivating example is the Lie algebra L0(H2) of Hamiltonian vector fields on the plane vanishing at the origin, and the main result applies to all subalgebras of L0(W2) that contain sl2 and do not contain the Euler vector field. The paper also develops a categorical framework: it equips the category of integrable bounded modules with a left stratification over the poset of dominant weights, identifies the strata categories as module categories over endomorphism algebras A_λ, and shows that in the graded case a full stratification exists under an additional automorphism hypothesis. Explicit Magma computations illustrate the structure of small Weyl modules, and a conjecture on socles of local Weyl modules is formulated.

Significance. If the result holds, it is a substantial and surprising generalization: for L0(H2), a Lie algebra with no nontrivial finite-dimensional representations, all global Weyl modules are finite-dimensional. The proof is self-contained and rests on a clean finite-dimensionality statement for truncated symmetric algebras (Proposition 3.7), followed by a PBW-filtration reduction (Theorem 3.11). The thinness condition is sharply identified: the trivial module is exactly the obstruction, as shown by Corollary 3.12 for vector-field subalgebras. The stratification results are well connected to existing theory (Chari–Fourier–Khandai, Losev–Webster, and others) and provide a useful categorical home for the Weyl functors. The paper also supplies explicit computational data and a concrete conjecture, which should stimulate further work. I found no circularity or internal inconsistency; the main proof is checkable line by line.

minor comments (6)
  1. [§3.3, Theorem 3.11] The proof cites Proposition 3.7 for the finite-dimensionality of S_{Ω'}(¯g), but ¯g is generally infinite-dimensional, while Proposition 3.7 requires a finite-dimensional input; the statement that applies here is Corollary 3.10. Please correct this cross-reference.
  2. [§3.1, Proposition 3.4] The displayed formula "B≤λ(L(λ)) = τ g ≤λ Indg g L(λ)" is garbled; it should read τ^{¯g}_{≤λ} Ind^{¯g}_g L(λ). The surrounding text also contains several missing or misplaced sub/superscripts that should be cleaned up.
  3. [§3.3, Theorem 3.11 proof] In the proof, the module N = A ⊗ V is used with a g-action for which the isotypic decomposition of A is the adjoint action, and the canonical surjection N → N' = A ⊗_{U(g)} V is g-equivariant for this action. This is correct but not stated; adding one clarifying sentence would prevent the reader from misreading the g-module structure on N.
  4. [§3.2 and §4.3] The tables of Weyl modules in §3.2 have no caption and do not explicitly state that each row is a graded component; please add a sentence explaining the notation. In addition, Example 4.14 states that W(4) has dimension 31 and weight-4 multiplicity 2, but the table printed for W(4) (four rows) gives dimension 26 and weight-4 multiplicity 1; please verify the data and reconcile the example with the table.
  5. [§4.5, Lemma 4.20] The proof of Lemma 4.20 shows only the adjunction; the claimed full faithfulness of the right adjoint j_* follows from the isomorphism R_λ j_* ≃ id, which should be stated explicitly.
  6. [Abstract] There is a typo in the abstract: "Char i" should be "Chari".

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the finite-dimensionality theorem is proved from the thinness hypothesis by a self-contained symmetric-algebra argument; the sole self-citation is a non-load-bearing remark.

full rationale

The main derivation is self-contained. Theorem 3.11 reduces the finite-dimensionality of B_Ω(V) to that of the symmetric-algebra truncation S_{Ω'}(bar g) via the PBW filtration; Corollary 3.10 reduces S_{Ω'}(bar g) to the finite-dimensional piece τ_{Ω'}(bar g), and Proposition 3.7 proves the required finite-dimensionality directly from the hypotheses. Finite weight support forces each nonzero-weight subalgebra A(μ) to be finite-dimensional, and [V : L(0)] = 0 is used only to write zero-weight generators as f v with v of positive weight, making them integral over B. No step invokes the theorem being proved, and no fitted parameter is renamed as a prediction. Two minor presentational issues are worth noting but are not circularity: Theorem 3.11 says 'According to Proposition 3.7' where Corollary 3.10 is the applicable statement for infinite-dimensional bar g, and Proposition 3.7 uses without proof the standard Lie-theoretic fact that absence of a trivial composition factor implies V0 is spanned by elements f v. The only self-citation, [13] in Remark 3.8, is a comment connecting Proposition 3.7 to a special case in the authors' earlier work and is not used in the proof. Remark 3.2 explicitly records the scope limitation for H_{2n}, n > 1, which does not create circularity. The stratification results in Section 4 are direct verifications of the definitions using the adjunction of Lemma 4.12, with no imported uniqueness theorem.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim is a pure existence theorem. No numbers are fitted or chosen ad hoc; the weights λ are inputs. The proof relies on structural hypotheses about \bar g (weight decomposition, thinness) and on standard results (PBW, integrable module theory). No new particles, forces, or extraneous mathematical entities are introduced.

assumptions (4)
  • domain assumption The Lie algebra \bar g contains g with integrable adjoint action and admits the weight decomposition \bar g = \bar n^- ⊕ \bar h ⊕ \bar n^+
    Section 3 preamble. This is the class of algebras considered; Remark 3.2 notes it fails for H_{2n}, n > 1.
  • domain assumption The adjoint g-module \bar g is thin: finite multiplicities and [\bar g : L(0)] = 0
    Definition 3.9 and Corollary 3.10. The absence of L(0) is used in Proposition 3.7 to control the zeroth weight space and excludes the Euler vector field in Corollary 3.12.
  • standard math PBW theorem and Kac's characterization of integrable modules
    Used in Theorem 3.11 via the PBW filtration on U(\bar g) and in Section 2.2 for local nilpotence of Chevalley generators.
  • domain assumption For the full stratification theorem, \bar g admits a degree-preserving automorphism σ with σ|_h = -id
    Theorem 4.21 and Example 4.18. Needed only for the full stratification, not for finite-dimensionality.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Global Weyl modules for thin Lie algebras are finite-dimensional." pith.science (2026). https://pith.science/paper/NUECH4D2

@misc{pith2026241117550,
  author       = {Pith},
  title        = {Pith review of: Global Weyl modules for thin Lie algebras are finite-dimensional},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NUECH4D2}},
  note         = {Machine review of arXiv:2411.17550}
}
read the original abstract

The notion of Weyl modules, both local and global, goes back to Chari and Pressley in the case of affine Lie algebras, and has been extensively studied for various Lie algebras graded by root systems. We extend that definition to a certain class of Lie algebras graded by weight lattices and prove that if such a Lie algebra satisfies a natural "thinness" condition, then already the global Weyl modules are finite-dimensional. Our motivating example of a thin Lie algebra is the Lie algebra of polynomial Hamiltonian vector fields on the plane vanishing at the origin. We also introduce stratifications of categories of modules over such Lie algebras and identify the corresponding strata categories.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 35 canonical work pages

  1. [1]

    Represent

    Irfan Bagci, Lucas Calixto, and Tiago Macedo, Weyl modules and Weyl functors for Lie superalge- bras, Algebr. Represent. Theory 22 (2019), no. 3, 723–756

    work page 2019

  2. [2]

    A. A. Beilinson, J. Bernstein, and P. Deligne, Faisceaux pervers, Analysis and topology on singular spaces, I (Luminy, 1981), Ast´ erisque, vol. 100, Soc. Math. Fra nce, Paris, 1982, pp. 5–171

    work page 1981

  3. [3]

    Berman and R

    S. Berman and R. V. Moody, Lie algebras graded by finite root systems and the intersecti on matrix algebras of Slodowy , Invent. Math. 108 (1992), no. 2, 323–347

    work page 1992

  4. [4]

    Wieb Bosma, John Cannon, and Catherine Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), no. 3-4, 235–265, Computational algebra and number theory (London, 1993). GLOBAL WEYL MODULES FOR THIN LIE ALGEBRAS ARE FINITE-DIMENS IONAL 21

    work page 1997

  5. [5]

    Lucas Calixto, Joel Lemay, and Alistair Savage, Weyl modules for Lie superalgebras , Proc. Amer. Math. Soc. 147 (2019), no. 8, 3191–3207

    work page 2019

  6. [6]

    Groups 15 (2010), no

    Vyjayanthi Chari, Ghislain Fourier, and Tanusree Khandai, A categorical approach to Weyl modules , Transform. Groups 15 (2010), no. 3, 517–549

    work page 2010

  7. [7]

    Algebra 319 (2008), no

    Vyjayanthi Chari, Ghislain Fourier, and Prasad Senesi, Weyl modules for the twisted loop algebras , J. Algebra 319 (2008), no. 12, 5016–5038

    work page 2008

  8. [8]

    Vyjayanthi Chari, Deniz Kus, and Matt Odell, Borel–de Siebenthal pairs, global Weyl modules and Stanley-Reisner rings , Math. Z. 290 (2018), no. 1-2, 649–681

    work page 2018

Show all 38 references
  1. [9]

    Vyjayanthi Chari and Sergei Loktev, Weyl, Demazure and fusion modules for the current algebra of slr+1, Adv. Math. 207 (2006), no. 2, 928–960

    2006

  2. [10]

    Theory 5 (2001), 191–223

    Vyjayanthi Chari and Andrew Pressley, Weyl modules for classical and quantum affine algebras , Represent. Theory 5 (2001), 191–223

    2001

  3. [11]

    Cline, B

    E. Cline, B. Parshall, and L. Scott, Algebraic stratification in representation categories , J. Algebra 117 (1988), no. 2, 504–521

    1988

  4. [12]

    Edward Cline, Brian Parshall, and Leonard Scott, Stratifying endomorphism algebras , Mem. Amer. Math. Soc. 124 (1996), no. 591, viii+119

    1996

  5. [13]

    Vladimir Dotsenko and Iryna Kashuba, The three graces in the Tits–Kantor–Koecher category , 2023, arXiv:2310.20635

    2023 arXiv

  6. [14]

    Eswara Rao, V

    S. Eswara Rao, V. Futorny, and Sachin S. Sharma, Weyl modules associated to Kac-Moody Lie algebras, Comm. Algebra 44 (2016), no. 12, 5045–5057

    2016

  7. [15]

    Nauk 43 (1988), no

    Boris Feigin, Lie algebras gl(λ) and cohomology of a Lie algebra of differential operators , Uspekhi Mat. Nauk 43 (1988), no. 2(260), 157–158

    1988

  8. [16]

    Boris Feigin and Sergey Loktev, Multi-dimensional Weyl modules and symmetric functions , Comm. Math. Phys. 251 (2004), no. 3, 427–445

    2004

  9. [17]

    Evgeny Feigin, Anton Khoroshkin, Ievgen Makedonskyi, and Da niel Orr, Peter–Weyl theorem for Iwahori groups and highest weight categories , 2023, arXiv:2307.02124

    2023 arXiv

  10. [18]

    (N.S.) 23 (2017), no

    Evgeny Feigin and Ievgen Makedonskyi, Generalized Weyl modules, alcove paths and Macdonald polynomials, Selecta Math. (N.S.) 23 (2017), no. 4, 2863–2897

    2017

  11. [19]

    , Generalized Weyl modules for twisted current algebras , Teoret. Mat. Fiz. 192 (2017), no. 2, 284–306

    2017

  12. [20]

    Evgeny Feigin, Ievgen Makedonskyi, and Daniel Orr, Generalized Weyl modules and nonsymmetric q-Whittaker functions , Adv. Math. 330 (2018), 997–1033

    2018

  13. [21]

    Ghislain Fourier, Nathan Manning, and Prasad Senesi, Global Weyl modules for the twisted loop algebra, Abh. Math. Semin. Univ. Hambg. 83 (2013), no. 1, 53–82

    2013

  14. [22]

    Eugene Gorsky, Matthew Hogancamp, and Anton Mellit, Tautological classes and symmetry in Khovanov–Rozansky homology, 2024, arXiv:2103.01212

    2024 arXiv

  15. [23]

    Mark Haiman, Vanishing theorems and character formulas for the Hilbert s cheme of points in the plane, Invent. Math. 149 (2002), no. 2, 371–407

    2002

  16. [24]

    Tamas Hausel, Anton Mellit, Alexandre Minets, and Olivier Schiffman n, P = W via H2, 2022, arXiv:2209.05429

    2022 arXiv

  17. [25]

    Kac, Infinite-dimensional Lie algebras , Cambridge University Press, Cambridge, 1990

    Victor G. Kac, Infinite-dimensional Lie algebras , Cambridge University Press, Cambridge, 1990

    1990

  18. [26]

    Anton Khoroshkin, Highest weight categories and Macdonald polynomials , 2015, arXiv:1312.7053

    2015 arXiv

  19. [27]

    Ryosuke Kodera, Level one Weyl modules for toroidal Lie algebras , Lett. Math. Phys. 110 (2020), no. 11, 3053–3080

    2020

  20. [28]

    Michael Lau and Olivier Mathieu, Jordan algebras and weight modules , 2023, arXiv:2312.16766

    2023 arXiv

  21. [29]

    (N.S.) 21 (2015), no

    Ivan Losev and Ben Webster, On uniqueness of tensor products of irreducible categorific ations, Se- lecta Math. (N.S.) 21 (2015), no. 2, 345–377

    2015

  22. [30]

    Algebra 500 (2018), 253–302

    Nathan Manning, Erhard Neher, and Hadi Salmasian, Integrable representations of root-graded Lie algebras, J. Algebra 500 (2018), 253–302

    2018

  23. [31]

    Sharma, Weyl modules for toroidal Lie algebras , Algebr

    Sudipta Mukherjee, Santosha Kumar Pattanayak, and Sachin S. Sharma, Weyl modules for toroidal Lie algebras , Algebr. Represent. Theory 26 (2023), no. 6, 2605–2626

    2023

  24. [32]

    A. N. Rudakov, Irreducible representations of infinite-dimensional Lie a lgebras of Cartan type , Izv. Akad. Nauk SSSR Ser. Mat. 38 (1974), 835–866. 22 VLADIMIR DOTSENKO AND SERGEY MOZGOVOY

    1974

  25. [33]

    Seligman, Rational constructions of modules for simple Lie algebras , Contemporary Math- ematics, vol

    George B. Seligman, Rational constructions of modules for simple Lie algebras , Contemporary Math- ematics, vol. 5, American Mathematical Society, Providence, RI, 1 981

  26. [34]

    I. R. Shafarevich, On some infinite-dimensional groups. II , Izv. Akad. Nauk SSSR Ser. Mat. 45 (1981), no. 1, 214–226, 240

    1981

  27. [35]

    The Stacks project authors, The stacks project , https://stacks.math.columbia.edu, 2024

    2024

  28. [36]

    thesis, University of Alberta, 2014

    Yilan Tan, Finite-dimensional representations of Yangians , Ph.D. thesis, University of Alberta, 2014

    2014

  29. [37]

    Algebra 432 (2015), 228–251

    Yilan Tan and Nicolas Guay, Local Weyl modules and cyclicity of tensor products for Yang ians, J. Algebra 432 (2015), 228–251

    2015

  30. [38]

    thesis, The University of Sydney, 2022

    Giulian Wiggins, Stratified categories and a geometric approach to represent ations of the Schur algebra, Ph.D. thesis, The University of Sydney, 2022. Institut de Recherche Math ´ ematique A vanc´ ee, UMR 7501, Universit ´ e de Strasbourg et CNRS, 7 rue Ren ´ e-Descartes, 6700...

    2022

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.