Explicit class of finite-dimensional polynomial algebras with Wronskians over $\mathbb{R}^d$ as $N$-ary Lie brackets: beyond $\mathfrak{sl}(2)$

Arthemy V. Kiselev; Markuss G. \c{K}\=eni\c{n}\v{s}

REVIEW 3 major objections 2 minor 1 cited by

Explicit class of finite-dimensional polynomial algebras with Wronskians over $\mathbb{R}^d$ as $N$-ary Lie brackets: beyond $\mathfrak{sl}(2)$

T0 review · 3 major / 2 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read All finite-dimensional polynomial SH-Lie algebras whose N-ary brackets are complete generalised Wronskians are explicitly classified beyond sl(2).

desk verdict Abstract claims a clean explicit classification of all finite-dim polynomial Wronskian SH-Lie algebras for general d,k plus a Vandermonde factorisation, but the manuscript body is empty so nothing can be audited. read the letter →

arxiv 2605.27305 v2 pith:GJMOJKLH submitted 2026-05-26 math.RA math-phmath.COmath.MPmath.QA

Markuss G. Ķēniņš , Arthemy V. Kiselev This is my paper · ORCID

classification math.RAmath-phmath.COmath.MPmath.QA MSC 17B6617A4215A15

keywords stronghomotopyLiealgebrageneralisedWronskianN-arybracketpolynomialVandermondedeterminantfinite-dimensionalrealisation

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 classical Lie algebra sl(2) can be realised by three polynomial vector fields on the line whose ordinary Wronskian supplies the binary bracket. The same construction extends to higher-order Wronskians, producing strong-homotopy Lie algebras whose N-ary brackets are complete generalised Wronskians of multi-variable differential order k. This paper gives a complete, explicit catalogue of every finite-dimensional polynomial subspace that is closed under these brackets, for every ambient dimension d and every order k. The structure constants of each such algebra are written in closed form by means of a new factorisation of the generalised Vandermonde determinants that appear when the Wronskian is evaluated on monomials. The result therefore supplies a concrete infinite family of finite-dimensional N-ary Lie algebras that sit between ordinary polynomials and the full polynomial ring, generalising the familiar sl(2) example in a systematic way.

What carries the argument

The complete generalised Wronskian W_d^{k} together with the factorisation formula for the generalised Vandermonde determinants that evaluate it on monomials; these two objects determine the N-ary brackets and all structure constants of the algebras under study.

What would settle it

Exhibit a finite-dimensional polynomial vector space strictly between the truncated polynomials of degree k and the full polynomial ring that is closed under W_d^{k} yet is not spanned by any of the monomial bases listed in the classification.

Watch

Extended reading notes

Core claim

Every finite-dimensional polynomial SH-Lie algebra A satisfying k_k[x] ⊆ A ⊆ k[x^{1},…,x^{d}] and closed under the complete generalised Wronskian W_d^{k} of order k (N=binom(d+k,d)) is spanned by one of an explicitly listed family of monomial bases; the structure constants of each such algebra factor through a closed-form identity for the associated generalised Vandermonde determinants.

Load-bearing premise

That the listed spanning sets exhaust every finite-dimensional polynomial subspace closed under the complete generalised Wronskian, with no exotic intermediate spaces left out.

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

The punchline is that the authors claim an exhaustive list of all finite-dimensional polynomial algebras A sitting between the degree-k polynomials and the full polynomial ring in d variables that are closed under the complete generalised Wronskian of order k as N-ary bracket (N=binom(d+k,d)). Structure constants come from a new factorisation of the associated generalised Vandermonde determinants. This is positioned as the natural multi-variable, multi-order extension of the classical sl(2) realisation by 1,-2x,-x^{2} and of the 1-D monomial SH-Lie algebras, plus the already-known ternary d=2,k=1 case spanned by 1,x,y and one quadratic.

What is new, if true, is precisely that complete catalogue for arbitrary d and k, together with the factorisation formula. The abstract sets the problem up cleanly from the known low-dimensional cases and states a pure algebraic classification with no free parameters or circular fitting. That is the right shape for a short note in higher-arity Lie theory.

The soft spot is purely informational: the full manuscript text supplied to us is blank. Consequently the exhaustion argument that no exotic intermediate polynomial spaces exist, the closure proofs, the explicit spanning sets, and the actual Vandermonde factorisation cannot be inspected. The load-bearing word “all” therefore remains unchecked. No concrete algebraic gap is visible, but neither is any supporting lemma.

This is for specialists who already care about SH-Lie algebras, n-ary brackets realised by differential operators, or Wronskian determinants in mathematical physics. If the body matches the abstract’s claims it is a useful catalogue paper; if not, it collapses. A serious editor should still send it to referees rather than desk-reject, because the abstract is coherent, non-circular and sits in a legitimate research line. I would not cite it yet and would only bring it to reading group once the proofs appear.

Referee Report

3 major / 2 minor

Summary. The manuscript (as supplied) asserts an exhaustive classification of all finite-dimensional polynomial strong-homotopy Lie algebras A satisfying k_k[x] \subseteq A \subseteq k[x^{1},…,x^{d}] whose N-ary bracket is the complete generalised Wronskian W_d^k of differential order k (N=binom(d+k,d)). The abstract recovers the classical sl(2) realisation by Wronskians on R^{1}, the 1-dimensional monomial SH-Lie algebras, and the ternary d=2,k=1 examples spanned by ⟨1,x,y,p⟩ with p∈{x^{2},xy,y^{2}}; it further claims a factorisation formula for the generalised Vandermonde determinants that appear as structure constants. No lemmas, spanning-set lists, proofs, or explicit structure-constant tables are present in the supplied text.

Significance. A complete, explicit catalogue of finite-dimensional polynomial SH-Lie algebras closed under the complete generalised Wronskian would be a clean and useful contribution to N-ary and homotopy Lie theory, extending the classical sl(2) picture in a transparent way and supplying concrete structure constants via a Vandermonde factorisation. Because the body of the manuscript is empty, none of these claims can be verified; the potential significance therefore remains entirely provisional.

major comments (3)

The supplied document contains only the title, abstract and empty FULL MANUSCRIPT TEXT. Consequently the central claim that the listed spans exhaust all finite-dimensional polynomial subspaces closed under W_d^k cannot be audited: no exhaustion argument, no inductive step on degree or multi-degree, and no verification that intermediate spaces are impossible appear. Without those ingredients the word “all” in the abstract is unsupported.
The asserted factorisation formula for the generalised Vandermonde determinants that furnish the structure constants is likewise absent; no statement, proof or even illustrative low-(d,k) expansion is given. Structure constants are load-bearing for the algebraic description of the algebras A, so their absence leaves the main result incomplete.
Even the elementary examples advertised in the abstract (the ternary algebras ⟨1,x,y,p⟩ for p∈{x^{2},xy,y^{2}}) are not written out with explicit ternary brackets or Jacobi identities; a reader cannot confirm closure or the SH-Lie axioms from the given material.

minor comments (2)

Notation for the complete generalised Wronskian W_d^k and for the truncated polynomial ring k_k[x] is introduced only in the abstract; a self-contained definition section would be required once the body is supplied.
The abstract mixes real and complex base fields without clarifying whether the classification differs over R versus C; this should be made precise.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detectable: only the abstract is supplied, and it states a pure algebraic classification with no fitted parameters, self-referential definitions, or load-bearing self-citations visible.

full rationale

The supplied material consists solely of the abstract (the CACHEABLE PAPER SOURCE CONTEXT and FULL MANUSCRIPT TEXT sections contain no lemmas, proofs, spanning-set lists, or equations). From the abstract alone the project is a classification of finite-dimensional polynomial subspaces closed under a fixed differential operator (the complete generalised Wronskian W_d^k). No parameter is fitted to data and then re-presented as a prediction; no uniqueness theorem is imported from overlapping authors; no ansatz is smuggled via citation; and the target algebras are not defined in terms of the claimed output. Residual risk that an exhaustion argument for the word “all” might later prove incomplete is a correctness concern, not a circularity reduction. With no derivation chain available to inspect, no circular step can be quoted, so the score is 0 and the steps list is empty.

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

Abstract-only review. The construction rests on standard definitions of Wronskians, SH-Lie (L_infty) algebras, and polynomial rings; no free parameters appear. Completeness of the classification is the main unproved (here invisible) load-bearing step. No new physical entities are postulated.

assumptions (3)

domain assumption The complete generalized Wronskian W_d^k of differential order k in d variables defines an N-ary bracket with N=binom(d+k,d) that satisfies the SH-Lie (strong homotopy / Filippov-type) identities on suitable function spaces.
Invoked throughout the abstract as the bracket; standard in the Wronskian SH-Lie literature but not re-proved in the abstract.
ad hoc to paper Polynomial subspaces closed under this bracket and finite-dimensional must lie between the degree-≤k truncated polynomials and the full polynomial ring in a way that admits an exhaustive list.
This is the completeness premise needed for the word "all"; its justification is not visible without the full text.
standard math Standard multilinear algebra and determinant identities for (generalized) Wronskians and Vandermonde matrices over R or C.
Used to extract structure constants; classical.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Explicit class of finite-dimensional polynomial algebras with Wronskians over $\mathbb{R}^d$ as $N$-ary Lie brackets: beyond $\mathfrak{sl}(2)$." pith.science (2026). https://pith.science/paper/GJMOJKLH

@misc{pith2026260527305,
  author       = {Pith},
  title        = {Pith review of: Explicit class of finite-dimensional polynomial algebras with Wronskians over $\mathbbR^d$ as $N$-ary Lie brackets: beyond $\mathfraksl(2)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GJMOJKLH}},
  note         = {Machine review of arXiv:2605.27305}
}

abstract

Lie algebra $\mathfrak{sl}(2)$ can be realised by vector fields on $\mathbb{R}^1\ni x$ with polynomial coefficients $1$, $-2x$, $-x^2$; their Wronskian determinants yield the Lie bracket. Likewise, the monomials $1$, $\ldots$, $x^k/k!$, $\ldots$, $x^N/N!$ span finite-dimensional strong homotopy (SH) Lie algebras with the Wronskians $\mathbf{1} \wedge \partial_x \wedge \ldots \wedge \partial_x^{N-1}$ as the $N$-ary brackets. Over dimension $d=2$ with $\mathbb{R}^2\ni(x,y)$ and for the complete generalised Wronskian $W_{d=2}^{k=1}=\mathbf{1}\wedge \partial_x \wedge \partial_y$ of differential order $k=1$ as the ternary bracket, the finite-dimensional polynomial SH-Lie algebras are spanned by $\langle 1$, $x$, $y$, $p\rangle$ with $p\in\{x^2$, $xy$, $y^2\}$. We explicitly describe all finite-dimensional polynomial SH-Lie algebras $\Bbbk_k[{\boldsymbol{x}}]\subseteq \mathcal{A} \subseteq \Bbbk[x^1,\ldots,x^d]$ (over $\Bbbk=\mathbb{R}$ or $\mathbb{C}$) with the complete generalised Wronskians $W_{d\geqslant 1}^{k\geqslant 1}$ of order $k$ as $N$-ary brackets: $N=\binom{d+k}{d}$. We obtain a factorisation formula for the generalised Vandermonde determinants which show up in the structure constants of the polynomial algebras $\mathcal{A}$.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Iterate Wronskians over $\mathbb{R}^d$ as $N$-ary brackets on $\mathbb{R}[x^1,\ldots,x^d]$: the $N$-bonacci numbers bound the highest total degrees
math.RA 2026-07 reject novelty 4.0 of 10

The claimed N-bonacci upper bound on degree growth under iterated Wronskians is false: closing under all pairwise Wronskians from x^2,x^3 yields degrees 2^n+2.

Reference graph

Works this paper leans on

15 extracted references · 1 canonical work pages · cited by 1 Pith paper

[1]

W.J.\ LeVeque (1956) `` Topics in number theory ''. Vol. 2 . Addison\/--\/Wesley Publ.\ Co., Reading MA, pp.128--134

1956
[2]

Lect.\ Notes in Math

W.M.\ Schmidt (1980) `` Diophantine approximation ''. Lect.\ Notes in Math. vol. 785 . Springer, Berlin, pp.114--150

1980
[3]

Linear Algebra Appl

K.\ Wolsson (1989) Linear dependence of a function set of m variables with vanishing generalized Wronskians. Linear Algebra Appl. 117 , 73--80 \\ DOI: https://doi.org/10.1016/0024-3795(89)90548-X https://doi.org/10.1016/0024-3795(89)90548-X

doi:10.1016/0024-3795(89)90548-x 1989
[4]

(2025) Jacobi identities for Wronskian determinants over multidimension, Bulgarian J

Kiselev A.\,V. (2025) Jacobi identities for Wronskian determinants over multidimension, Bulgarian J. Phys. 52 -s1 Quantum Theory & Symmetries , 102--107.\ ( Preprint arXiv:2511.03848 [math.RA])

arXiv 2025
[5]

A.V.\ Kiselev (2007) On associative Schlessinger\/--\/Stasheff algebras and Wronskian determinants. J. Math.\ Sci. 141 1, 1016--1030\\ DOI: https://doi.org/10.1007/s10958-007-0028-2 https://doi.org/10.1007/s10958-007-0028-2. ( Preprint https://arxiv.org/abs/math/0410185 arXiv:math.RA/0410185 )

arXiv doi:10.1007/s10958-007-0028-2 2007
[6]

Wronskians as n-Lie multiplications

A.S.\ Dzhumadil'daev (2005) n -Lie structures generated by Wronskians. Siberian Math. J. 46 4 601--612 DOI: https://doi.org/10.1007/s11202-005-0061-7 https://doi.org/10.1007/s11202-005-0061-7. (Preprint https://arxiv.org/abs/math/0202043 arXiv:math.RA/0202043 )

work page Pith review arXiv doi:10.1007/s11202-005-0061-7 2005
[7]

Algebra 678 253-278 DOI: https://doi.org/10.1016/j.jalgebra.2025.03.040 https://doi.org/10.1016/j.jalgebra.2025.03.040

F.\ Brown (2025) Multivariable Vandermonde determinants, amalgams of matrices and Specht modules J. Algebra 678 253-278 DOI: https://doi.org/10.1016/j.jalgebra.2025.03.040 https://doi.org/10.1016/j.jalgebra.2025.03.040

doi:10.1016/j.jalgebra.2025.03.040 2025
[8]

(1983) The growth of the Lie algebra generated by two generic vector fields on the line, Vestnik Moskov.\ Univ.\ Ser

Kirillov A.\,A., Kontsevich M.\,L. (1983) The growth of the Lie algebra generated by two generic vector fields on the line, Vestnik Moskov.\ Univ.\ Ser. I Mat.\ Mekh. , no. 4, 15--20

1983

Show all 15 references

[9]

(1983) Algebras of intermediate growth

Kirillov A.\,A., Kontsevich M.\,L., Molev A.\,I. (1983) Algebras of intermediate growth. Akad.\ Nauk SSSR Inst.\ Prikl.\ Mat.\ Preprint 1983 , no. 39, 19 pp. (Transl.\ in: Selecta Math.\ Soviet. (1990) 9 :2, 137--153.)

1983
[10]

Internat.\ J

J.\ Stasheff, T.\ Lada (1993) Introduction to SH Lie algebras for physicists. Internat.\ J. Theoret.\ Phys. 32 7 1087--1103 DOI: https://doi.org/10.1007/BF00671791 https://doi.org/10.1007/BF00671791. (Preprint https://arxiv.org/abs/hep-th/9209099 arXiv:hep-th/9209099 )

1993 doi arXiv
[11]

J.\ Stasheff (2019) L-infinity and A-infinity structures, Higher Structures 3 1 292--326 DOI: https://doi.org/10.21136/HS.2019.07 https://doi.org/10.21136/HS.2019.07

2019 doi
[12]

from Russian), Publications Mathématiques de l'IHÉS 31 5--19

I.\,M.\,Gel'fand, A.\,A.\,Kirillov (1966) Sur les corps li\'es aux alg\`ebres enveloppantes des alg\`ebres de Lie (transl. from Russian), Publications Mathématiques de l'IHÉS 31 5--19 . Available at URL: http://eudml.org/doc/103872 http://eudml.org/doc/103872

1966
[13]

(2025) Wronskians as N -ary brackets in finite\/-\/dimensional analogues of sl (2) , J

Kiselev A.\,V. (2025) Wronskians as N -ary brackets in finite\/-\/dimensional analogues of sl (2) , J. Phys. : \ Conf. Ser. 3152 Proc.\ XXIX Int.\ conf. `Integrable Systems & Quantum Symmetries' (7--11 July 2025, CVUT Prague, Czech Republic), Paper 012044. --- 8\,p.\ Preprint ...

2025 arXiv
[14]

(2026) The alternating compositions of weighted differential operators yield the weights' Wronskian with which constant\,? Preprint arXiv:2605.11137 [math.CO], 8 p

Shah K.\,C., Kiselev A.\,V. (2026) The alternating compositions of weighted differential operators yield the weights' Wronskian with which constant\,? Preprint arXiv:2605.11137 [math.CO], 8 p

2026 arXiv
[15]

Nambu (1973) Generalized Hamiltonian dynamics

Y. Nambu (1973) Generalized Hamiltonian dynamics. Phys.\ Rev. D 7 2405--2412 DOI: https://doi.org/10.1103/PhysRevD.7.2405 https://doi.org/10.1103/PhysRevD.7.2405. tikz-visualisations.tex0000664000000000000000000001116015205346142014335 0ustar rootroot tikzpicture [x=1.7cm,y=0....

1973 doi

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.

[1] [1]

W.J.\ LeVeque (1956) `` Topics in number theory ''. Vol. 2 . Addison\/--\/Wesley Publ.\ Co., Reading MA, pp.128--134

1956

[2] [2]

Lect.\ Notes in Math

W.M.\ Schmidt (1980) `` Diophantine approximation ''. Lect.\ Notes in Math. vol. 785 . Springer, Berlin, pp.114--150

1980

[3] [3]

Linear Algebra Appl

K.\ Wolsson (1989) Linear dependence of a function set of m variables with vanishing generalized Wronskians. Linear Algebra Appl. 117 , 73--80 \\ DOI: https://doi.org/10.1016/0024-3795(89)90548-X https://doi.org/10.1016/0024-3795(89)90548-X

doi:10.1016/0024-3795(89)90548-x 1989

[4] [4]

(2025) Jacobi identities for Wronskian determinants over multidimension, Bulgarian J

Kiselev A.\,V. (2025) Jacobi identities for Wronskian determinants over multidimension, Bulgarian J. Phys. 52 -s1 Quantum Theory & Symmetries , 102--107.\ ( Preprint arXiv:2511.03848 [math.RA])

arXiv 2025

[5] [5]

A.V.\ Kiselev (2007) On associative Schlessinger\/--\/Stasheff algebras and Wronskian determinants. J. Math.\ Sci. 141 1, 1016--1030\\ DOI: https://doi.org/10.1007/s10958-007-0028-2 https://doi.org/10.1007/s10958-007-0028-2. ( Preprint https://arxiv.org/abs/math/0410185 arXiv:math.RA/0410185 )

arXiv doi:10.1007/s10958-007-0028-2 2007

[6] [6]

Wronskians as n-Lie multiplications

A.S.\ Dzhumadil'daev (2005) n -Lie structures generated by Wronskians. Siberian Math. J. 46 4 601--612 DOI: https://doi.org/10.1007/s11202-005-0061-7 https://doi.org/10.1007/s11202-005-0061-7. (Preprint https://arxiv.org/abs/math/0202043 arXiv:math.RA/0202043 )

work page Pith review arXiv doi:10.1007/s11202-005-0061-7 2005

[7] [7]

Algebra 678 253-278 DOI: https://doi.org/10.1016/j.jalgebra.2025.03.040 https://doi.org/10.1016/j.jalgebra.2025.03.040

F.\ Brown (2025) Multivariable Vandermonde determinants, amalgams of matrices and Specht modules J. Algebra 678 253-278 DOI: https://doi.org/10.1016/j.jalgebra.2025.03.040 https://doi.org/10.1016/j.jalgebra.2025.03.040

doi:10.1016/j.jalgebra.2025.03.040 2025

[8] [8]

(1983) The growth of the Lie algebra generated by two generic vector fields on the line, Vestnik Moskov.\ Univ.\ Ser

Kirillov A.\,A., Kontsevich M.\,L. (1983) The growth of the Lie algebra generated by two generic vector fields on the line, Vestnik Moskov.\ Univ.\ Ser. I Mat.\ Mekh. , no. 4, 15--20

1983