On $q$-pre-Lie algebras

Chengyang Lu; Yanyong Hong

On $q$-pre-Lie algebras

T0 review · 0 major / 4 minor · reviewed 2026-07-10 · grok-4.5

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

Pith's one-line read A single parameter q unifies pre-Lie and anti-pre-Lie algebras and restricts them sharply on classical Lie algebras.

desk verdict Clean, natural q-parameter that unifies pre-Lie and anti-pre-Lie, with sharp classifications on Witt/Virasoro and root-graded simples; the math holds up. read the letter →

arxiv 2607.08389 v1 pith:4ECYBSEO submitted 2026-07-09 math.RA

Chengyang Lu , Yanyong Hong This is my paper

classification math.RA MSC 17A3017B6517A6017D25

keywords q-pre-Liealgebraanti-pre-Lieq-O-operatorq-NovikovWittVirasororoot-gradedstructuresl2

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 defines q-pre-Lie algebras so that the ordinary commutator is a Lie bracket while the left multiplications, scaled by a fixed scalar q, form a representation of that Lie algebra. The definition recovers ordinary pre-Lie algebras when q equals 1 and anti-pre-Lie algebras when q equals -1, and it produces a continuous family of intermediate structures. The authors show that such multiplications exist on the Witt algebra precisely when they are given by a one-parameter family of graded products, that none exist on the Virasoro algebra once q differs from 1, and that among all finite-dimensional complex simple Lie algebras only sl2 admits root-graded examples, and then only for the two values q=2 and q=-1. Parallel notions of q-O-operators and q-Novikov algebras are introduced and shown to be interchangeable with q-pre-Lie structures under natural invertibility or algebraic conditions. The resulting classification theorems therefore pin down exactly when a classical Lie algebra can carry a compatible “scaled” left-symmetric product.

What carries the argument

The representation condition qL∘: the requirement that the left multiplications of the new product, scaled by the fixed scalar q, intertwine the commutator Lie bracket. This single identity simultaneously generalizes the classical pre-Lie and anti-pre-Lie axioms and supplies the module-theoretic language used to classify graded and root-graded structures.

What would settle it

Exhibit either a graded q-pre-Lie product on the Witt algebra that is not of the stated one-parameter form, or a root-graded q-pre-Lie product on a simple Lie algebra other than sl2 for some q other than 2 or -1.

Watch

Extended reading notes

Core claim

A binary operation on a vector space is a q-pre-Lie algebra if and only if its commutator is a Lie bracket and the scaled left multiplications qL form a representation of that Lie algebra. On the Witt algebra every graded structure of this kind is of the explicit form Wn∘Wm=(1/q)(λ+m+(1-q)n)Wm+n for a single complex parameter λ; no graded structure exists on the Virasoro algebra when q≠1; and among finite-dimensional complex simple Lie algebras only sl2 admits a root-graded example, and only for the two values q=2 and q=-1.

Load-bearing premise

The exhaustive classification of graded products on the Witt algebra rests on a classical list of all indecomposable weight modules with one-dimensional weight spaces; if that list is incomplete for the modules that arise from q-pre-Lie multiplications, the case analysis fails.

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 real news is the representation-theoretic definition of q-pre-Lie algebras (commutator is Lie, q times left multiplications is a representation) and the sharp existence results that follow: every graded structure on the Witt algebra for q eq 0,1 is the explicit one-parameter family Wn ◦ Wm = (1/q)(λ + m + (1-q)n) Wm+n, none exist on Virasoro when q ≠ 1, and root-graded ones exist on simple Lie algebras only for sl2 and only for q=2 or -1 (with the multiplications written down).

That is solid, self-contained work. The definition is the natural interpolation between the classical pre-Lie case (q=1) and the anti-pre-Lie case (q=-1) that the authors and others have already studied; they correctly flag the difference from the δ-pre-Lie literature. The constructions via q-derivations, symmetric forms, and admissible pairs are clean, the link to q-O-operators and q-Novikov algebras is standard but useful, and the classification arguments are direct expansions plus the usual weight-module analysis. The stress-test note is right: the Kaplansky–Santharoubane list is only applied after the paper has already proved indecomposability by hand and written down the only surviving candidate, so incompleteness of the classical list would not break the result. The same holds for the bn embeddings used to kill root-graded structures on the other simples.

Soft spots are minor and proportional. Occasional “similar to our earlier anti-pre-Lie paper” citations are background lemmas, not load-bearing for the q-dependent cases. The paper is pure algebra, so there is no data or code to check; the proofs are elementary enough that a careful reader can verify them. Citation pattern is normal for the subfield.

This is for people who work on nonassociative algebras, O-operators, or graded structures on Witt/Virasoro/simple Lie algebras. It deserves a serious referee and should be accepted after ordinary polishing. I would bring it to reading group if we are doing infinite-dimensional or nonassociative stuff this term, and I would cite the Witt family and the sl2 existence statement if I needed them.

Referee Report

0 major / 4 minor

Summary. The paper introduces q-pre-Lie algebras: a binary operation whose commutator is a Lie bracket and for which the scaled left multiplications q L_◦ form a representation of that Lie algebra. This unifies ordinary pre-Lie algebras (q=1) and anti-pre-Lie algebras (q=-1). The authors develop the basic theory (characterization via representations, invariant bilinear forms, constructions from q-derivations and symmetric forms), introduce the companion notions of q-O-operators and q-Novikov algebras, and relate them by p-algebra constructions. They then classify all graded q-pre-Lie structures on the Witt algebra (none for q=0; a one-parameter family for q eq0,1) and prove non-existence on the Virasoro algebra when q eq1. Finally they show that a compatible root-graded q-pre-Lie structure exists on a finite-dimensional complex simple Lie algebra if and only if the algebra is sl2(C) and q=2 or q=-1, with explicit multiplications supplied.

Significance. The work supplies a clean, representation-theoretic one-parameter interpolation between two well-studied classes of Lie-admissible algebras and carries out complete classifications on the classical infinite-dimensional algebras (Witt, Virasoro) and on all finite-dimensional complex simple Lie algebras. The classifications rest on direct coefficient matching and the classical list of weight modules, and the non-existence statements for Virasoro (q eq1) and for simple algebras other than sl2 are sharp. The constructions via q-derivations, admissible pairs and invertible q-O-operators give a usable supply of examples. These results are of clear interest to researchers working on pre-Lie, Novikov and related non-associative structures.

minor comments (4)

Several proofs in §§3–4 are abbreviated by “similar to [1]” or “similar to [2]”. While the arguments are standard, a short self-contained sketch (or an explicit pointer to the precise lemma being reused) would improve readability for readers who do not have those papers at hand.
In Definition 2.1 the second identity is written with a factor (q-1); when q=1 it is vacuous, which is correct, but a parenthetical remark that the identity is automatic for q=1 would prevent momentary confusion.
Typographical slips: “CHENGY ANG LU”, “Y ANYONG HONG”, “q,1” for “q eq1”, and occasional missing spaces around “q-pre-Lie”. These are easily corrected in production.
The relation of the present definition to the δ-pre-Lie algebras of [15] is stated only briefly in Remark 2.2; a one-sentence comparison of the two scaling conventions would help readers familiar with that preprint.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: definitions free-standing, classifications reduce to direct coefficient matching and classical weight-module lists that are not defined in terms of the target multiplications.

full rationale

The paper's core objects (q-pre-Lie algebras via Def. 2.1 eqs. (1)–(2), q-O-operators, q-Novikov algebras) are introduced by explicit bilinear identities; the representation-theoretic characterization (Prop. 2.4) is an if-and-only-if equivalence proved by direct expansion, not a redefinition of the target. Explicit constructions (Props. 2.8–2.12, 2.29–2.31) are verified by substitution into those identities. Graded structures on the Witt algebra are obtained by writing the most general graded product (17), extracting the functional equations (18)–(19), proving indecomposability of the associated weight module by a self-contained combinatorial argument on supports (Prop. 3.6 Claims 1–6), identifying candidates via the classical Kaplansky–Santharoubane list (Thm. 3.1, external), eliminating all but one family by direct action formulas (Lem. 3.7), and verifying that the surviving one-parameter family (28) satisfies (18)–(19). Non-existence on Virasoro (Thm. 3.13) and on simple Lie algebras other than sl2 (Thms. 4.6, 4.13) likewise proceeds by writing general root-graded multiplications, equating coefficients, and obtaining contradictions; the embeddings of bn and the coefficient lists are computed inside the paper. Citations to prior anti-pre-Lie work ([1],[2],[19]) and to the generalized-splitting framework ([3]) supply background lemmas that are independently stated and do not force the new q-parameter results. No parameter is fitted to data and then re-predicted; no uniqueness theorem is imported from the present authors; no ansatz is smuggled. The derivation chain is therefore self-contained algebraic computation.

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

The paper works entirely inside classical Lie theory over a field of characteristic zero (C in the classification sections). No free numerical parameters are fitted; q is an arbitrary scalar and λ is a free complex parameter that labels isomorphism classes. The only external inputs are standard facts about weight modules of the Witt algebra and the root-space decomposition of simple Lie algebras.

assumptions (3)

standard math Every indecomposable weight module of the Witt algebra with one-dimensional weight spaces is isomorphic to one of Vα, Vβ or Vα,β (Kaplansky–Santharoubane).
Invoked as Theorem 3.1; the entire graded classification on Witt reduces to checking which of these three families can arise from a q-pre-Lie multiplication.
standard math Finite-dimensional representations of sl2(C) are completely reducible and the irreducibles are the modules V(m) of highest weight m.
Used throughout §4 to analyse the possible weights of left multiplications on root-graded structures.
standard math The root-space decomposition of a finite-dimensional complex simple Lie algebra is unique up to conjugacy of Cartan subalgebras.
Definition 4.1 of root-graded multiplications presupposes this decomposition.

invented entities (3)

q-pre-Lie algebra
purpose: One-parameter family interpolating pre-Lie (q=1) and anti-pre-Lie (q=-1) via the condition that qL∘ is a representation of the commutator Lie algebra.
Defined in Definition 2.1; all subsequent constructions and classifications are relative to this new object.
q-O-operator
purpose: Linear map T:V→g satisfying a scaled O-operator identity; strong q-O-operators induce q-pre-Lie structures on V.
Definition 2.13; used to characterise the existence of compatible q-pre-Lie structures on a given Lie algebra.
q-Novikov algebra
purpose: Subclass of q-pre-Lie algebras satisfying an additional right-symmetry identity scaled by q; linked to ordinary Novikov algebras by the p-algebra construction.
Definition 2.18; supplies further examples and a correspondence with infinite-dimensional Lie algebras.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On $q$-pre-Lie algebras." pith.science (2026). https://pith.science/paper/4ECYBSEO

@misc{pith2026260708389,
  author       = {Pith},
  title        = {Pith review of: On $q$-pre-Lie algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4ECYBSEO}},
  note         = {Machine review of arXiv:2607.08389}
}

abstract

In this paper, we introduce the notion of $q$-pre-Lie algebras from the perspective of representations of Lie algebras, providing a parametrized generalization that unifies pre-Lie algebras and anti-pre-Lie algebras. For a $q$-pre-Lie algebra $(A,\circ)$, the commutator of $\circ$ is a Lie bracket and the left multiplication operator scaled by $q$ gives a representation of the associated commutator Lie algebra. We also introduce the notions of $q$-$\mathcal{O}$-operators and $q$-Novikov algebras, and investigate their relationships with $q$-pre-Lie algebras. Several explicit constructions of $q$-pre-Lie algebras are provided. Moreover, we give a complete classification of graded $q$-pre-Lie algebra structures on the Witt algebra and prove the nonexistence of such structures on the Virasoro algebra when $q\neq 1$. Finally, for finite-dimensional complex simple Lie algebras, we show that compatible root-graded $q$-pre-Lie algebras exist on $\mathfrak{sl}_2(\mathbb{C})$ precisely when $q=2$ or $q=-1$, and do not exist on any other simple Lie algebra.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

[1]

Bai and D

C. Bai and D. Gao, Graded anti-pre-Lie algebraic structures on Witt and Virasoro algebras, J. Geom. Phys. 214(2025), 105525. 3, 13, 14, 16, 17

work page 2025
[2]

Bai and D

C. Bai and D. Gao, Compatible root graded anti-pre-Lie algebraic structures on finite-dimensional complex simple Lie algebras, Int. J. Geom. Methods Mod. Phys.23(2026), 2540039. 3, 17, 19, 22, 24

work page 2026
[3]

C. Bai, L. Guo, G. Liu and Q. Zhao, Generalized splitting of algebras with applications to a bialgebra structure of Leibniz algebras induced from averaging Lie bialgebras, arXiv: 2509.14137v1. 2, 5, 8

work page arXiv
[4]

Bakalov, V

B. Bakalov, V . Kac, Field algebras, Int. Math. Res. Not.3(2003), 123-159. 1

work page 2003
[5]

C. Bai, H. Li and Y . Pei,ϕ ϵ-coordinated modules for vertex algebras, J. Algebra,246(2015), 211-242. 1 25

work page 2015
[6]

Balinskii and S.P

A.A. Balinskii and S.P. Novikov, Poisson brackets of hydrodynamic type, Frobenius algebras and Lie alge- bras, Soviet Math. Dokl.32(1985), 228-231. 2, 3, 11

work page 1985
[7]

Cartan, Les groupes de transformations continus, infinis, simples (French), Ann

E. Cartan, Les groupes de transformations continus, infinis, simples (French), Ann. Sci. ´Ec. Norm. Sup´er.26 (1909), 93–161. 12, 16

work page 1909
[8]

Carter, Lie algebras of finite and affine type, Cambridge studies in advanced mathematics, 96

R. Carter, Lie algebras of finite and affine type, Cambridge studies in advanced mathematics, 96. (Cambridge University Press, 2005). 17

work page 2005

Show all 21 references

[9]

Dzhumadil’daev, Algebras with skew-symmetric identity of degree 3, J

A. Dzhumadil’daev, Algebras with skew-symmetric identity of degree 3, J. Math. Sci.161(2009), 11-30. 2, 9

2009
[10]

Filippov,δ-derivations of Lie algebras, Siberian Mathematical Journal,39(1998), 6, 1218-1230

V . Filippov,δ-derivations of Lie algebras, Siberian Mathematical Journal,39(1998), 6, 1218-1230. 7

1998
[11]

Gerstenhaber, The cohomology structure of an associative ring, Ann

M. Gerstenhaber, The cohomology structure of an associative ring, Ann. Math.78(1963), 267-288. 1

1963
[12]

Gelfand and I

I. Gelfand and I. Dorfman, Hamiltonian operators and algebraic structures related to them, Funct. Anal. Appl. 13(1979), 248-262. 2

1979
[13]

Gelfand and I

I. Gelfand and I. Dorfman, Hamiltonian operators and infinite dimensional Lie algebras, Funct. Anal. Appl. 15(1981), 173-187. 2

1981
[14]

Humphreys, Introduction to Lie algebras and representation theory, Third printing, revised

J. Humphreys, Introduction to Lie algebras and representation theory, Third printing, revised. Graduate Texts in Mathematics, 9. (Springer-Verlag, New York-Berlin, 1980). 17, 18

1980
[15]

Kaygorodov,δ-Novikov andδ-Novikov-Poisson algebras, arXiv: 2505.08043v1

I. Kaygorodov,δ-Novikov andδ-Novikov-Poisson algebras, arXiv: 2505.08043v1. 2, 4, 7

arXiv
[16]

Koszul, Domaines bornes homogenes et orbites de groupes de transformations affines, Bull

J. Koszul, Domaines bornes homogenes et orbites de groupes de transformations affines, Bull. Soc. Math. France,89(1961), 515-533. 1

1961
[17]

X. Kong, H. Chen and C. Bai, Classification of graded left-symmetric algebra structures on Witt and Virasoro algebras, Int. J. Math.22(2011), 201-222. 3, 16, 17

2011
[18]

Kaplansky and L

I. Kaplansky and L. Santharoubane, Harish-Chandra modules over the Virasoro algebra, Infinite-dimensional groups with applications, Math. Sci. Res. Inst. Publ.4(1985), 217-231. 12

1985
[19]

Liu and C

G. Liu and C. Bai, Anti-pre-Lie algebras, Novikov algebras and commutative 2-cocycles on Lie algebras, J. Algebra,609(2022), 337-379. 2, 4, 8, 11, 12, 18

2022
[20]

Mazorchuk, Lectures onsl 2(C)-modules, (Imperial College Press, 2010)

V . Mazorchuk, Lectures onsl 2(C)-modules, (Imperial College Press, 2010). 18

2010
[21]

Vinberg, Convex homogeneous cones, Transl

E. Vinberg, Convex homogeneous cones, Transl. of Moscow Math. Soc.12(1963), 340-403. 1 School ofMathematics, HangzhouNormalUniversity, Hangzhou311121, PR China Email address:2024111029011@stu.hznu.edu.cn School ofMathematics, HangzhouNormalUniversity, Hangzhou311121, PR China ...

1963

Pith tools

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

[1] [1]

Bai and D

C. Bai and D. Gao, Graded anti-pre-Lie algebraic structures on Witt and Virasoro algebras, J. Geom. Phys. 214(2025), 105525. 3, 13, 14, 16, 17

work page 2025

[2] [2]

Bai and D

C. Bai and D. Gao, Compatible root graded anti-pre-Lie algebraic structures on finite-dimensional complex simple Lie algebras, Int. J. Geom. Methods Mod. Phys.23(2026), 2540039. 3, 17, 19, 22, 24

work page 2026

[3] [3]

C. Bai, L. Guo, G. Liu and Q. Zhao, Generalized splitting of algebras with applications to a bialgebra structure of Leibniz algebras induced from averaging Lie bialgebras, arXiv: 2509.14137v1. 2, 5, 8

work page arXiv

[4] [4]

Bakalov, V

B. Bakalov, V . Kac, Field algebras, Int. Math. Res. Not.3(2003), 123-159. 1

work page 2003

[5] [5]

C. Bai, H. Li and Y . Pei,ϕ ϵ-coordinated modules for vertex algebras, J. Algebra,246(2015), 211-242. 1 25

work page 2015

[6] [6]

Balinskii and S.P

A.A. Balinskii and S.P. Novikov, Poisson brackets of hydrodynamic type, Frobenius algebras and Lie alge- bras, Soviet Math. Dokl.32(1985), 228-231. 2, 3, 11

work page 1985

[7] [7]

Cartan, Les groupes de transformations continus, infinis, simples (French), Ann

E. Cartan, Les groupes de transformations continus, infinis, simples (French), Ann. Sci. ´Ec. Norm. Sup´er.26 (1909), 93–161. 12, 16

work page 1909

[8] [8]

Carter, Lie algebras of finite and affine type, Cambridge studies in advanced mathematics, 96

R. Carter, Lie algebras of finite and affine type, Cambridge studies in advanced mathematics, 96. (Cambridge University Press, 2005). 17

work page 2005