Maximal subalgebras of the Lie algebra $W_n(\mathbb{K})$

A.Petravchuk; O.Tyshchenko; Y.Chapovskyi

arxiv: 2605.22970 · v1 · pith:PEL7SL6Gnew · submitted 2026-05-21 · 🧮 math.RA

Maximal subalgebras of the Lie algebra W_n(mathbb{K})

Y.Chapovskyi , A.Petravchuk , O.Tyshchenko This is my paper

Pith reviewed 2026-05-25 05:20 UTC · model grok-4.3

classification 🧮 math.RA

keywords Lie algebrasderivationsmaximal subalgebrassimple Lie algebraspolynomial ringsW_n(K)module rank

0 comments

The pith

Every maximal subalgebra of rank at most n in the Lie algebra W_n(K) of derivations on the polynomial ring is simple.

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

The paper studies maximal subalgebras inside W_n(K), the Lie algebra of all K-derivations of the polynomial ring A in n variables over an algebraically closed field of characteristic zero. It establishes that any maximal subalgebra whose rank as an A-module is at most n must itself be a simple Lie algebra. When such a maximal subalgebra is also an A-submodule of full rank n, it fails to be simple and instead consists exactly of the derivations that preserve some ideal I of A. The work further shows that, in the two-variable case, the subalgebra generated by any single simple derivation is maximal inside W_2(K).

Core claim

We prove that every maximal subalgebra of rank ≤ n of W_n(K) is a simple Lie algebra. If a maximal subalgebra L⊂W_n(K) has rank n and is a submodule of W_n(K) then L is not simple. Moreover, L is of the form L={ D∈W_n(K) | D(I)⊆I } for some ideal I of the ring A. It is also proved that, for a simple derivation D on the ring K[x, y], the subalgebra K[x, y]D is a maximal subalgebra of W_2(K).

What carries the argument

The rank of a subalgebra as a module over the polynomial ring A, which is bounded by n because W_n(K) is free of rank n over A.

If this is right

Maximal subalgebras of rank ≤ n must be simple Lie algebras.
Maximal subalgebras that are also A-submodules of rank n are never simple and arise as stabilizers of ideals in A.
In two variables, the one-dimensional A-module generated by any simple derivation is maximal inside W_2(K).

Where Pith is reading between the lines

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

The result separates maximal subalgebras into simple ones (when rank ≤ n) and non-simple stabilizer-type ones (when they are full-rank submodules), which may aid further classification efforts.
Similar explicit maximal subalgebras generated by single derivations could be sought for n > 2.
The dependence on algebraic closure and characteristic zero suggests checking whether the simplicity conclusion survives over other base fields.

Load-bearing premise

The notion of rank for subalgebras is well-defined and bounded by n because W_n(K) is a free module of rank n over the polynomial ring A.

What would settle it

Exhibiting a maximal subalgebra L of W_n(K) with rank at most n over A such that L is not simple as a Lie algebra would disprove the main claim.

read the original abstract

Let $K$ be an algebraically closed field of characteristic zero, $A= K[x_1, \dots, x_n]$ the polynomial ring in $n$ variables, and let $W_n(K)$ be the Lie algebra of all $K$-derivations of $A.$ This Lie algebra also is the free $A$-module of rank $n$ over the ring $A,$ so every subalgebra of $W_n(K)$ has a rank $\leq n$ over $A.$ We prove that every maximal subalgebra of rank $\leq n$ of $W_n(K)$ is a simple Lie algebra. If a maximal subalgebra $L\subset W_n(K)$ has rank $n$ and is a submodule of $W_n(K)$ then $L$ is not simple. Moreover, $L$ is of the form $L=\{ D\in W_n(K) \ | \ D(I)\subseteq I\} $ for some ideal $I$ of the ring $A.$ It is also proved that, for a simple derivation $D$ on the ring $K[x, y]$, the subalgebra $K[x, y]D$ is a maximal subalgebra of $W_2(K).$

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.

Desk Editor's Note private letter to a colleague

The abstract claims every maximal rank-≤n subalgebra is simple yet says rank-n submodule maximals are not simple, so the paper must prove no rank-n submodule can be maximal; beyond that it gives an explicit stabilizer description and a n=2 example.

read the letter

The main thing to know is that this paper organizes maximal subalgebras in the Witt algebra W_n(K) by proving they are simple when of rank at most n, while rank-n ones that happen to be A-submodules take the form of ideal stabilizers and are not simple. The n=2 case with K[x,y]D for simple derivation D is shown to be maximal. These statements appear as direct theorems not already in the cited literature on Witt algebras. The setup uses the free A-module structure on W_n to bound ranks by n, which is standard and lets the authors frame the claims cleanly. The proofs are presented as existing for the simplicity and stabilizer results, with the submodule case handled by showing the non-simplicity and the explicit form. The stress-test concern about tension between the two claims is real in the abstract phrasing, but it dissolves if the paper first establishes that no rank-n submodule is actually maximal; the full text presumably does this before stating the stabilizer form. No circularity or fitted parameters appear. The soft spot is minor but real: the abstract does not explicitly note the non-existence step for submodule maximals, which could leave a reader wondering how the statements fit until the proofs are read. The module-rank arguments and char-0 assumption are handled in the usual way for this area. This work is for people already working on infinite-dimensional Lie algebras of derivations and subalgebra classifications over polynomial rings. A reader looking for concrete descriptions of maximal objects in W_n would find the stabilizer characterization and the n=2 application useful. It deserves a serious referee to check the derivations for gaps in the rank arguments and to confirm the logical separation of the two cases is handled cleanly in the text.

Referee Report

1 major / 0 minor

Summary. The manuscript studies maximal subalgebras of the Lie algebra W_n(K) of K-derivations of the polynomial ring A = K[x_1,…,x_n] (char K=0, K algebraically closed). It claims that every maximal subalgebra L of rank ≤n over A is simple; that any maximal L of rank n which is an A-submodule is necessarily non-simple and equals the stabilizer {D ∈ W_n(K) | D(I) ⊆ I} for some ideal I of A; and that if D is a simple derivation of K[x,y] then the rank-1 subalgebra A·D is maximal in W_2(K).

Significance. If the claims hold, the work supplies a structural description of maximal subalgebras in the classical derivation Lie algebra W_n(K), including an explicit non-simplicity criterion for the submodule case and a concrete maximality criterion in dimension 2. Such results are of interest in the classification of subalgebras of vector-field Lie algebras and in the study of their ideals and representations.

major comments (1)

[Abstract] Abstract: the two opening claims are in direct tension. The first asserts that every maximal subalgebra of rank ≤n is simple; the second asserts that a maximal subalgebra of rank n that is an A-submodule is not simple. These statements can coexist only if the manuscript first proves that no A-submodule of rank n is maximal. No such non-existence statement is announced in the abstract, and the logical relationship between the two claims must be made explicit (e.g., by a dedicated lemma or by rephrasing the second claim as a conditional on non-maximality).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the presentational issue in the abstract. We address the comment below.

read point-by-point responses

Referee: [Abstract] Abstract: the two opening claims are in direct tension. The first asserts that every maximal subalgebra of rank ≤n is simple; the second asserts that a maximal subalgebra of rank n that is an A-submodule is not simple. These statements can coexist only if the manuscript first proves that no A-submodule of rank n is maximal. No such non-existence statement is announced in the abstract, and the logical relationship between the two claims must be made explicit (e.g., by a dedicated lemma or by rephrasing the second claim as a conditional on non-maximality).

Authors: We agree that the abstract as written creates an apparent tension between the two claims. The manuscript establishes that maximal subalgebras fall into two classes: those that are simple, and the rank-n A-submodule maximal subalgebras, which are precisely the ideal stabilizers and are not simple. To resolve the issue we will revise the abstract (and, if necessary, the introduction) to state the results separately and make the logical relationship explicit, for example by indicating that the simplicity result applies to maximal subalgebras that are not A-submodules of rank n, while the submodule case is handled by the stabilizer description. We will also ensure the non-simplicity of the submodule maximals is clearly conditional on their existence as maximal objects. This change will be incorporated in the revised version. revision: yes

Circularity Check

0 steps flagged

No circularity; direct proof from module and Lie-algebra definitions

full rationale

The paper states background facts about W_n(K) as the free A-module of rank n and then claims to prove two theorems about maximal subalgebras: that those of rank ≤n are simple, and that those of rank n which are A-submodules are not simple (and have explicit form). These are presented as separate proved statements with no equations, parameters, or derivations shown that reduce one claim to the other by construction. No self-citations, fitted inputs, ansatzes, or renamings appear in the provided text. The work is a standard direct proof in algebra; the apparent tension between the two statements is a matter of logical consistency to be checked against the full proofs, not a circularity in the derivation chain itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the standard setting of an algebraically closed field of characteristic zero and the free-module structure of the derivation algebra; no free parameters or invented entities are introduced.

axioms (1)

domain assumption K is an algebraically closed field of characteristic zero
Explicitly stated as the base field for A and W_n(K).

pith-pipeline@v0.9.0 · 5758 in / 1234 out tokens · 25837 ms · 2026-05-25T05:20:21.225446+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

[1]

Arzhantsev, E

I. Arzhantsev, E. A. Makedonskii, and A. P. Petravchuk,Finite-dimensional subalgebras in polynomial Lie algebras of rank one, Ukrainian Mathematical Journal,63(2011), no. 5, 827–832

work page 2011
[2]

V. V. Bavula,The groups of automorphisms of the Lie algebras of polynomial vector fields with zero or constant divergence, Communications in Algebra45,2013, no. 3, 1114–1133

work page 2013
[3]

Bell J., Buzaglo L.,Maximal dimensional subalgebras of general Cartan-type Lie algebras, Bulletin of the London Mathematical Society,57(2)(2024), 605-624

work page 2024
[4]

Chapovskyi and A

Y. Chapovskyi and A. Petravchuk,Module structure of the Lie algebraW n(K)oversl n(K), Preprint, arXiv:2505.21709 [math.RA]

work page arXiv
[5]

Efimov, M

D. Efimov, M. Sydorov, and K. Sysak,On maximality of some solvable and locally nilpotent subalgebras of the Lie algebraW n(K), Researches in Mathematics,31(2023), no. 2, 27–35

work page 2023
[6]

Jordan,On the ideals of a Lie algebra of derivations

D.A. Jordan,On the ideals of a Lie algebra of derivations. J. London Math. Soc. (2)33(1986), no. 1, 33–39

work page 1986
[7]

USSR – Izvestiya,3 (1969), no

Kostrikin A.I., Shafarevich R.I.,Graded Lie algebras of finite characteristic, Math. USSR – Izvestiya,3 (1969), no. 2, 237–304

work page 1969
[8]

Alessandro Logar, Bernd Sturmfels,Algorithms for the Quillen-Suslin theorem, J.Algebra,145, (1) (1992), 231–239

work page 1992
[9]

Makedonskyi,On noncommutative bases of the free moduleW n(K), Communications in Algebra,44 (2016), no

I. Makedonskyi,On noncommutative bases of the free moduleW n(K), Communications in Algebra,44 (2016), no. 1, 11–25

work page 2016
[10]

Matsumura,Commutative Ring Theory, Cambridge Studies in Advanced Mathematics, vol

H. Matsumura,Commutative Ring Theory, Cambridge Studies in Advanced Mathematics, vol. 8, Cam- bridge University Press, 1989

work page 1989
[11]

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

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

work page 1994
[12]

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

work page 1986
[13]

A. N. Rudakov,Groups of automorphisms of infinite-dimensional simple Lie algebras, Mathematics of the USSR-Izvestiya,3(1969), no. 4, 707–722. Institute of Mathematics, National Academy of Sciences of Ukraine, Tereschenkivska street, 3, 01004 Kyiv, Ukraine Email address:safemacc@gmail.com F aculty of Mechanics and Mathematics, Taras Shevchenko National Uni...

work page 1969

[1] [1]

Arzhantsev, E

I. Arzhantsev, E. A. Makedonskii, and A. P. Petravchuk,Finite-dimensional subalgebras in polynomial Lie algebras of rank one, Ukrainian Mathematical Journal,63(2011), no. 5, 827–832

work page 2011

[2] [2]

V. V. Bavula,The groups of automorphisms of the Lie algebras of polynomial vector fields with zero or constant divergence, Communications in Algebra45,2013, no. 3, 1114–1133

work page 2013

[3] [3]

Bell J., Buzaglo L.,Maximal dimensional subalgebras of general Cartan-type Lie algebras, Bulletin of the London Mathematical Society,57(2)(2024), 605-624

work page 2024

[4] [4]

Chapovskyi and A

Y. Chapovskyi and A. Petravchuk,Module structure of the Lie algebraW n(K)oversl n(K), Preprint, arXiv:2505.21709 [math.RA]

work page arXiv

[5] [5]

Efimov, M

D. Efimov, M. Sydorov, and K. Sysak,On maximality of some solvable and locally nilpotent subalgebras of the Lie algebraW n(K), Researches in Mathematics,31(2023), no. 2, 27–35

work page 2023

[6] [6]

Jordan,On the ideals of a Lie algebra of derivations

D.A. Jordan,On the ideals of a Lie algebra of derivations. J. London Math. Soc. (2)33(1986), no. 1, 33–39

work page 1986

[7] [7]

USSR – Izvestiya,3 (1969), no

Kostrikin A.I., Shafarevich R.I.,Graded Lie algebras of finite characteristic, Math. USSR – Izvestiya,3 (1969), no. 2, 237–304

work page 1969

[8] [8]

Alessandro Logar, Bernd Sturmfels,Algorithms for the Quillen-Suslin theorem, J.Algebra,145, (1) (1992), 231–239

work page 1992

[9] [9]

Makedonskyi,On noncommutative bases of the free moduleW n(K), Communications in Algebra,44 (2016), no

I. Makedonskyi,On noncommutative bases of the free moduleW n(K), Communications in Algebra,44 (2016), no. 1, 11–25

work page 2016

[10] [10]

Matsumura,Commutative Ring Theory, Cambridge Studies in Advanced Mathematics, vol

H. Matsumura,Commutative Ring Theory, Cambridge Studies in Advanced Mathematics, vol. 8, Cam- bridge University Press, 1989

work page 1989

[11] [11]

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

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

work page 1994

[12] [12]

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

work page 1986

[13] [13]

A. N. Rudakov,Groups of automorphisms of infinite-dimensional simple Lie algebras, Mathematics of the USSR-Izvestiya,3(1969), no. 4, 707–722. Institute of Mathematics, National Academy of Sciences of Ukraine, Tereschenkivska street, 3, 01004 Kyiv, Ukraine Email address:safemacc@gmail.com F aculty of Mechanics and Mathematics, Taras Shevchenko National Uni...

work page 1969