Module structure of the Lie algebra $W_n(K)$ over $sl_n(K)$

A.Petravchuk; Y.Chapovskyi

REVIEW 2 major objections 3 minor 8 references

Module structure of the Lie algebra $W_n(K)$ over $sl_n(K)$

T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read Every homogeneous component of the polynomial vector-field Lie algebra $W_n$ decomposes into two irreducible $\mathfrak{sl}_n$-modules.

desk verdict Theorem 1 is a correct and useful decomposition result, but Theorem 2's generation criterion is false as stated: the condition 'D1 not proportional to En' is vacuous, and the counterexample D = ∂/∂x1 + x1En breaks the theorem. read the letter →

arxiv 2505.21709 v1 pith:IBTEZOAR submitted 2025-05-27 math.RA

Y.Chapovskyi , A.Petravchuk This is my paper

classification math.RA MSC 17B6517B6617B10

keywords LiealgebraofpolynomialvectorfieldsCartan-typehomogeneousgradingirreduciblemodulesdivergence-freederivationsEulerderivationmaximalvectorsgeneratingset

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 proves a complete structural statement for the natural degree grading of the Lie algebra $W_n$ of polynomial vector fields on $\mathbb{K}^n$, with $\mathbb{K}$ algebraically closed of characteristic zero. For every $m \ge 0$ and $n \ge 2$, the homogeneous component $W_n^{[m]}$ is a direct sum of two irreducible submodules over $\mathfrak{sl}_n(\mathbb{K})$: the divergence-free derivations $M_m$ and the derivations $N_m$ that are homogeneous polynomial multiples of the Euler derivation. The main consequence is that the standard grading is exact in the bracket sense, $[W_n^{[i]}, W_n^{[j]}] = W_n^{[i+j]}$ for all $i,j \ge 0$ except $i=j=0$, and the same method yields a criterion for one element together with the affine subalgebra to generate all of $W_n$.

What carries the argument

The central mechanism is the coefficient-by-coefficient analysis of the bracket equation $[x_\alpha\,\partial/\partial x_\beta, D] = 0$ for all positive roots $\alpha < \beta$. Lemma 4 shows that any such $D$ in $W_n^{[m]}$ has a restricted form involving only the variables $x_1$ and $x_i$ per summand, and the continuation in Theorem 1 reduces that form to $D = a\,x_1^m E_n + b\,x_1^{m+1}\,\partial/\partial x_n$. These two explicit vector fields are the maximal vectors: each is killed by the positive root elements and is an eigenvector of the Cartan subalgebra of diagonal matrices. Standard highest-weight theory for semisimple Lie algebras then converts the existence of exactly two maximal vectors into the irreducibility of the two summands $M_m$ and $N_m$.

What would settle it

For a concrete small case, take $n=3$ and $m=2$, write a general homogeneous derivation $D = \sum_i f_i\,\partial/\partial x_i$ with $\deg f_i = 3$, and solve the linear system $[x_\alpha\,\partial/\partial x_\beta, D] = 0$ for all $1 \le \alpha < \beta \le 3$; if the solution space has dimension greater than two, Theorem 1 is false. Equivalently, any homogeneous derivation annihilated by all positive root elements and not lying in the span of $x_1^2 E_n$ and $x_1^3\,\partial/\partial x_n$ would refute the decomposition.

Watch

Extended reading notes

Core claim

Theorem 1 states that, for each $m \ge 0$, the $\mathfrak{sl}_n$-module $W_n^{[m]}$ has exactly two irreducible summands: $W_n^{[m]} = M_m \oplus N_m$, where $M_m = \{D : \mathrm{div}\,D = 0\}$ is the space of divergence-free derivations and $N_m = \{f\,E_n : f \text{ homogeneous of degree } m\}$ is the space of polynomial multiples of the Euler derivation $E_n = \sum_i x_i\,\partial/\partial x_i$. The proof views $W_n^{[m]}$ as a finite-dimensional module over the zero-divergence linear derivations inside $W_n^{[0]}$, classifies the maximal vectors killed by all positive root elements $x_\alpha\,\partial/\partial x_\beta$, and finds exactly two of them, $x_1^m E_n$ and $x_1^{m+1}\,\partial/\partial x_n$, which generate $N_m$ and $M_m$. Since a module with a unique maximal vector is irreducible, this forces the two-summand decomposition. The paper then derives bracket rules among the pieces and, as an application, a criterion for a single element to generate $W_n$ together with the affine subalgebra $W_n^{[-1]} \oplus W_n^{[0]}$.

Load-bearing premise

The load-bearing step is the completeness of the maximal-vector classification in Lemma 4, namely that any derivation killed by all positive root elements $x_\alpha\,\partial/\partial x_\beta$ is a linear combination of $x_1^m E_n$ and $x_1^{m+1}\,\partial/\partial x_n$; if a third family of maximal vectors existed, the claimed two-summand decomposition would collapse.

Editorial extensions

If this is right

The grading is exact: $[W_n^{[i]}, W_n^{[j]}] = W_n^{[i+j]}$ for all $i,j \ge 0$ except $i=j=0$, with the missing case reducing to $[W_n^{[0]}, W_n^{[0]}] = M_0 \simeq \mathfrak{sl}_n(\mathbb{K})$.
Each homogeneous component has explicit dimension formulas and the two summands $M_i$ and $N_j$ are non-isomorphic except in the case $n=2$, $j=i+2$, where they coincide as $\mathfrak{sl}_2$-modules.
The submodule bracket rules are complete: $[M_i,M_j] = M_{i+j}$, $[N_i,N_j] = N_{i+j}$ for $i \ne j$, $[N_i,N_i] = 0$, and mixed brackets give $W_n^{[i+j]}$ apart from the listed small-index exceptions.
The Lie algebra $W_n$ is generated by the affine subalgebra $W_n^{[-1]} \oplus W_n^{[0]}$ together with one extra element $D$ exactly when $\mathrm{div}\,D$ is nonconstant and either the top-degree part of $D$ has degree at least $2$, or it has degree $1$ and is not proportional to the Euler derivation.
The derivations of constant divergence form a maximal subalgebra of $W_n$, a consequence stated as Corollary 2.

Reading between the lines

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

The same two-maximal-vector computation could be repeated for the Lie algebra of divergence-free polynomial vector fields itself, whose homogeneous components are exactly the $M_m$; the expected outcome is a parallel irreducible decomposition with the same highest-weight bookkeeping.
Theorem 2 implies that the affine subalgebra has co-generation number one inside $W_n$: every nonconstant-divergence derivation outside it closes to the whole algebra. A natural testable extension is whether analogous one-generator statements hold for other Cartan-type Lie algebras in their standard gradings.
The proof is characteristic-zero and algebraically closed; carrying the coefficient equations of Lemma 4 into positive characteristic would likely change the maximal-vector count because binomial coefficients cease to behave, making modular analogues a concrete place to look for different decompositions.

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.

Desk Editor's Note

read the letter

First, the thing you should know: the paper's main structural result, Theorem 1, is correct and worth having, but Theorem 2 is false as stated. The condition "D1 is not proportional to En" is vacuous, and the claimed generation criterion fails.

What is genuine here: Theorem 1 gives a clean decomposition W^{[m]} = M_m ⊕ N_m for each homogeneous component of W_n as an sl_n-module, with explicit maximal vectors x_1^m E_n and x_1^{m+1} ∂/∂x_n. I checked Lemma 4's coefficient chase; it is correct. The dimensions match the classical decomposition of Sym^{m+1}(V^*)⊗V into two irreducibles, so the main new content is the explicit generators and the resulting bracket identities. Corollary 1's bracket rules, including the i=j=0 exception and the [W^{[-1]}, W^m] = W^{m-1} case, are plausible and mostly follow from irreducibility.

The soft spot is real. Theorem 2 asserts that L = W^{[-1]} ⊕ W^{[0]} plus D generates all of W_n iff div D is nonconstant and either k≥2 or k=1 with D1 not proportional to En. But any nonzero D1 in W^{[1]} is automatically not proportional to En, because En sits in degree 0. So that condition excludes nothing. Concretely, take n≥2 and D = ∂/∂x1 + x1 E_n. Then D1 = x1 E_n ∈ N1 and div D = (n+1)x1, not constant. The subalgebra generated by L and D is contained in L+N1, which is closed: [W^{[-1]}, N1] ⊆ L, [W^{[0]}, N1] ⊆ N1, and [N1,N1]=0. It never produces M1, so U ≠ W_n. This invalidates Theorem 2 as written. The intended condition must be D1 ∉ N1; with that, the proof goes through. Corollary 2's derivation from Theorem 2 therefore needs a different argument.

Minor issues: Proposition 1 uses the non-isomorphism result from Proposition 2 before it is proven, and the proof of Theorem 1 quietly uses complete reducibility via Lemma 3. Both are fixable without damage.

This paper is for specialists in Lie algebras of polynomial vector fields. Theorem 1 deserves to be on record, but not with a false companion theorem. Send it to a referee, and require the correction of Theorem 2.

Referee Report

2 major / 3 minor

Summary. The paper studies the homogeneous components W^{[m]} of the Lie algebra W_n(K) of polynomial vector fields as modules over W^{[0]}≅gl_n(K), equivalently over sl_n(K). The main result, Theorem 1, asserts that for every m≥0 one has W^{[m]} = M_m ⊕ N_m, where M_m is the subspace of divergence-free derivations and N_m is the subspace of polynomial multiples of the Euler derivation E_n, and that both summands are irreducible. From this decomposition the authors derive bracket product formulas, a grading exactness statement [W^{[i]},W^{[j]}]=W^{[i+j]} away from i=j=0, and a criterion, Theorem 2, for an element D to generate W_n together with W^{[-1]}⊕W^{[0]}. The module-theoretic core appears sound: I checked the coefficient analysis in Lemma 4 and the use of highest-weight theory in Theorem 1. However, Theorem 2 is false as stated; the generation criterion must be modified.

Significance. If Theorem 1 stands, it gives a complete and explicit irreducible decomposition of every homogeneous component of W_n over sl_n, with highest-weight vectors x_1^m E_n and x_1^{m+1}∂/∂x_n, along with dimension formulas and bracket range results. The proof is essentially self-contained, and the computational Lemma 4 is a concrete verification that can be checked by hand; I found no error in equations (1)–(9) or in the way Theorem 1 uses them. The false statement in Theorem 2 is localized: it is an application of the decomposition rather than part of the decomposition theorem itself. Since the paper's main contribution is the module structure result, the paper remains significant after the generation criterion is corrected.

major comments (2)

[§3, Theorem 2] Theorem 2 is false as stated. Let n≥2 and take D = ∂/∂x_1 + x_1 E_n. Then D_{-1}=∂/∂x_1, D_1=x_1E_n, k=1, and D_1 is not proportional to E_n because E_n has degree 0 while D_1 has degree 1. Also div D = div(x_1E_n) = (n+1)x_1, which is nonconstant. Thus all hypotheses of Theorem 2 hold. But the subalgebra U generated by L=W^{[-1]}⊕W^{[0]} and D is contained in W^{[-1]}⊕W^{[0]}⊕N_1, since [W^{[-1]},N_1]⊆W^{[0]}, [W^{[0]},N_1]⊆N_1, and [N_1,N_1]=0. Consequently U never contains M_1, so U≠W_n. The root cause is that the condition 'D_1 is not proportional to E_n' is vacuous for nonzero D_1∈W^{[1]} and does not exclude D_1∈N_1; the intended hypothesis is D_1∉N_1. The same flaw invalidates the sufficiency argument in the proof ('Since D1 is not proportional to En we have U1≠N1'), and Corollary 2, whose proof invokes Theorem 2, needs a separate argument.
[§3, Theorem 2, proof] The only-if direction of Theorem 2 has the same gap. The proof argues that if k=1 and D_1=fE_n then D_1∈N_1, and since L+N_1 is a proper subalgebra this contradicts generation. This is correct, but the conclusion drawn in the theorem, namely that D_1 is 'not proportional' to E_n, is strictly weaker and is automatically true for every nonzero element of W^{[1]}. The necessary and sufficient condition must exclude D_1∈N_1, not merely exclude scalar multiples of E_n.

minor comments (3)

[§2, Proposition 2] The range '1≤i,j≤n' is not meaningful for the module indices M_i,N_j, since these modules are indexed by i,j≥0; it should read 'i,j≥0' (or a corrected bounded range if one is intended).
[Throughout] There are several typographical errors, e.g., 'eesential' in Lemma 3, 'differenly' in the proof of Theorem 1, and a misplaced parenthesis in 'div( T = j(n+i+j−1)...' in the proof of Proposition 1, item 5; these should be corrected.
[§2, Proposition 1, item 5] The argument that a nonzero submodule of M_{i+j}⊕N_{i+j} that is neither M_{i+j} nor N_{i+j} must be the whole module relies on Lemma 3.3 and on the fact that the two summands are non-isomorphic; the authors should cite Proposition 2 at that point.

Circularity Check

0 steps flagged · score 1.0 of 10

No circularity: the maximal-vector classification in Lemma 4 is an independent in-paper computation, and the sole self-citation [5] is background only; Theorem 2's k = 1 condition is a correctness error, not a circular step.

full rationale

The derivation chain is self-contained and contains no circular step. Lemma 4 classifies the derivations in W^{[m]} annihilated by all positive root elements x_α∂/∂x_β by a coefficient-by-coefficient computation (equations (1)–(5)); Theorem 1 then reduces the general form (7) to c1 x_1^m E_n + c0^n x_1^{m+1}∂/∂x_n using equations (8)–(9), which are direct bracket computations that do not presuppose the conclusion. The submodules M_m (divergence-free derivations) and N_m (polynomial multiples of E_n) are defined independently of the decomposition claim, and the proof shows each contains exactly one of the two maximal vectors, so Lemma 3 (from the standard textbook Humphreys [4]) yields irreducibility. No parameter is fitted, no uniqueness theorem is imported from the authors' prior work, and no ansatz is smuggled in via citation. The only self-citation is [5] (Makedonskyi–Petravchuk), which appears once in the introduction as background on solvable and nilpotent subalgebras and is never cited in a proof, so it is not load-bearing and leaves the central derivation unaffected. One non-circularity issue must be recorded: Theorem 2 (§3) is false as stated, because for k = 1 the condition 'D1 is not proportional to the Euler derivation En' is vacuous (En ∈ W^{[0]} while D1 ∈ W^{[1]}), and the proof's step 'Since D1 is not proportional to En we have U1 ≠ N1' conflates N1 with scalar multiples of En; D = ∂/∂x_1 + x_1 E_n satisfies all hypotheses but generates only W^{[-1]} ⊕ W^{[0]} ⊕ N_1. This is a correctness risk, not a circularity, so the circularity score stays at 1 (one background self-citation, zero load-bearing).

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

The central claim rests on standard highest-weight theory for finite-dimensional sl_n-modules over algebraically closed fields of characteristic zero, on the classical two-term decomposition of Sym^{m+1}(V^*)⊗V, and on the paper's own Lemma 4, which classifies maximal vectors and is the main computational engine. There are no fitted parameters and no invented entities: the modules M_m and N_m are defined from existing data (divergence, the Euler field), not postulated. The weight and dimension checks I performed (n=3, m=2: 24 ⊕ 6 = 30; sl_2: M_i ≅ N_{i+2}) all match the classical theory.

assumptions (4)

standard math K is algebraically closed of characteristic zero; finite-dimensional modules over the semisimple Lie algebra sl_n are completely reducible, and irreducibles are classified by highest weights (Lemma 3, cited to Humphreys [4], Ch. VI).
Invoked in Theorem 1 (Section 2) to convert 'exactly two maximal vectors' into 'two irreducible summands', and in Lemma 3.3 throughout Section 3 to describe the submodule lattice of M⊕N.
standard math The symmetric powers S^m V^* (the N_m piece) are irreducible over sl_n, and the kernel of the divergence map is the complementary irreducible component of Sym^{m+1}(V^*)⊗V.
Used implicitly in Theorem 1 (the claim that N_m is a submodule and is irreducible) and in Proposition 1; follows from the Pieri-type rule for the tensor product of the standard module with a symmetric power.
ad hoc to paper Completeness of Lemma 4's classification: every D ∈ W^{[m]} commuting with all x_α∂/∂x_β (α < β) lies in the span of x_1^m E_n and x_1^{m+1}∂/∂x_n.
New lemma proved in Section 2; the theorem's irreducibility claim rises or falls on it. Verified: the coefficient argument (equations 1 through 9) is correct. Marked as paper-specific because it is not a textbook fact.
domain assumption Choice of Borel: upper-triangular sl_n embedded in W^{[0]} as divergence-free linear derivations, with positive root elements x_α∂/∂x_β, α < β, and Cartan basis x_α∂/∂x_α − x_n∂/∂x_n.
Fixes what 'maximal vector' means in Theorem 1 and determines the weights λ^{(1)} and λ^{(2)}; a harmless normalization, but technically an assumption about the embedding.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Module structure of the Lie algebra $W_n(K)$ over $sl_n(K)$." pith.science (2026). https://pith.science/paper/IBTEZOAR

@misc{pith2026250521709,
  author       = {Pith},
  title        = {Pith review of: Module structure of the Lie algebra $W_n(K)$ over $sl_n(K)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IBTEZOAR}},
  note         = {Machine review of arXiv:2505.21709}
}

abstract

Let $\mathbb K$ be an algebraically closed field of characteristic zero, $A = \mathbb K[x_1,\dots,x_n]$ the polynomial ring, and let $W_n(\mathbb K)$ denote the Lie algebra of all $\mathbb K$-derivations on $A$. The Lie algebra $W_n := W_n(\mathbb K)$ admits a natural grading $W_n = \bigoplus_{i \ge -1} W^{[i]}_n$, where $W^{[i]}_n$ consists of all homogeneous derivations whose coefficients are homogeneous polynomials of degree $i+1$ or zero. The component $W^{[0]}_n$ is a subalgebra of $W_n$ and is isomorphic to $\mathfrak{gl}_n(\mathbb K).$ Moreover, each $W_n^{[i]}$ for $i \ge -1$ is a finite-dimensional module over $W_n^{[0]}$. We prove that $W^{[i]}_n,\; i \ge 0$ is a sum of two irreducible submodules $W^{[i]}_n = M_i \oplus N_i$, where $M_i$ consists of all divergence-free derivations, and $N_i$ consists of derivations that are polynomial multiples of the Euler derivation $E_n = \sum_{i=1}^n x_i \frac{\partial}{\partial x_i}$. As a consequence, we show that the standard grading is exact in certain sense, namely: $[W^{[i]}_n, W^{[j]}_n] = W^{[i+j]}_n$ for all $i,j,$ except when $i = j = 0$. We also address the question of when the subalgebra of $W_n$ generated by $W_n^{[-1]} \oplus W_n^{[0]},$ together with an additional element from $W_n,$ equals the entire Lie algebra $W_n$.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

[1]

Bavula, The groups of automorphisms of the Lie algebras of po lynomial vector ﬁelds with zero or constant divergence, Communications in Algebra, (2013), 45(3), 1114-1133

V. Bavula, The groups of automorphisms of the Lie algebras of po lynomial vector ﬁelds with zero or constant divergence, Communications in Algebra, (2013), 45(3), 1114-1133

work page 2013
[2]

Jason Bell, Lucas Buzaglo, Maximal dimensional subalgebras of ge neral Cartan-type Lie algebras, Bul- letin of the London Mathematical Society, (2024), v.57, issue 2, 60 5-624

work page 2024
[3]

Journal of Algebra, (2021), v.576, 1-26

Oksana Bezushchak, Derivations and automorphisms of locally ma trix algebras. Journal of Algebra, (2021), v.576, 1-26

work page 2021
[4]

Humphreys, Introduction to Lie Algebras and Representat ion Theory, Springer Verlag, New York, 1972

J.E. Humphreys, Introduction to Lie Algebras and Representat ion Theory, Springer Verlag, New York, 1972

work page 1972
[5]

Ie. A. Makedonskyi, A.P. Petravchuk, On nilpotent and solvable L ie algebras of derivations. Journal of Algebra, (2014), 401, 245-257

work page 2014
[6]

Nowicki, Polynomial derivations and their rings of constants, N .Copernicus University Press, 1994, Torun

A. Nowicki, Polynomial derivations and their rings of constants, N .Copernicus University Press, 1994, Torun

work page 1994
[7]

A. N. Rudakov, Subalgebras and automorphisms of Lie algebras o f Cartan type. Funktsional. Anal. i Prilozhen. 20, (1986), no. 1, 83–84

work page 1986
[8]

A. N. Rudakov, Groups of automorphisms of inﬁnite-dimensional simple Lie algebras, Mathematics of the USSR-Izvestiya, 1969, Volume 3, Issue 4, 707–722. Institute of Mathematics, National Academy of Sciences of U kraine, Tereschenkivska street, 3, 01004 Kyiv, Ukraine Email address : safemacc@gmail.com F aculty of Mechanics and Mathematics, Taras Shevchenko...

work page 1969

Pith tools

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

[1] [1]

Bavula, The groups of automorphisms of the Lie algebras of po lynomial vector ﬁelds with zero or constant divergence, Communications in Algebra, (2013), 45(3), 1114-1133

V. Bavula, The groups of automorphisms of the Lie algebras of po lynomial vector ﬁelds with zero or constant divergence, Communications in Algebra, (2013), 45(3), 1114-1133

work page 2013

[2] [2]

Jason Bell, Lucas Buzaglo, Maximal dimensional subalgebras of ge neral Cartan-type Lie algebras, Bul- letin of the London Mathematical Society, (2024), v.57, issue 2, 60 5-624

work page 2024

[3] [3]

Journal of Algebra, (2021), v.576, 1-26

Oksana Bezushchak, Derivations and automorphisms of locally ma trix algebras. Journal of Algebra, (2021), v.576, 1-26

work page 2021

[4] [4]

Humphreys, Introduction to Lie Algebras and Representat ion Theory, Springer Verlag, New York, 1972

J.E. Humphreys, Introduction to Lie Algebras and Representat ion Theory, Springer Verlag, New York, 1972

work page 1972

[5] [5]

Ie. A. Makedonskyi, A.P. Petravchuk, On nilpotent and solvable L ie algebras of derivations. Journal of Algebra, (2014), 401, 245-257

work page 2014

[6] [6]

Nowicki, Polynomial derivations and their rings of constants, N .Copernicus University Press, 1994, Torun

A. Nowicki, Polynomial derivations and their rings of constants, N .Copernicus University Press, 1994, Torun

work page 1994

[7] [7]

A. N. Rudakov, Subalgebras and automorphisms of Lie algebras o f Cartan type. Funktsional. Anal. i Prilozhen. 20, (1986), no. 1, 83–84

work page 1986

[8] [8]

A. N. Rudakov, Groups of automorphisms of inﬁnite-dimensional simple Lie algebras, Mathematics of the USSR-Izvestiya, 1969, Volume 3, Issue 4, 707–722. Institute of Mathematics, National Academy of Sciences of U kraine, Tereschenkivska street, 3, 01004 Kyiv, Ukraine Email address : safemacc@gmail.com F aculty of Mechanics and Mathematics, Taras Shevchenko...

work page 1969