Pith. sign in

REVIEW 2 major objections 3 minor 50 references

Quasi-derivations of Witt and related algebras

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

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

Pith's one-line read The paper proves that every quasi-derivation of the Witt algebra is a derivation plus a 1/2-derivation, obtains the same decomposition for Virasoro, and completely describes the quasi-derivations of the two-parameter family W(a,b).

desk verdict Useful classification paper with a real gap in the W(a,b) proof: the b=0 case in Step σ1 does not follow from the displayed equations. read the letter →

arxiv 2508.14914 v2 pith:D3Z42EPO submitted 2025-08-14 math.RA

Ivan Kaygorodov , Abror Khudoyberdiyev , Zarina Shermatova This is my paper
classification math.RA MSC 17B6817A3017B40
keywords quasi-derivationWittalgebraVirasoroW(ab)algebrasdelta-derivationtransposeddelta-Poissonstructurebiderivationgeneralizedderivation
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

This paper computes the quasi-derivations of three families of infinite-dimensional Lie algebras: the Witt algebra, its central extension the Virasoro algebra, and the two-parameter family $W(a,b)$. The main structural result is clean for the first two: every quasi-derivation is a sum of an ordinary derivation and a $\frac{1}{2}$-derivation. For $W(a,b)$ the paper gives a complete list, with no interesting new quasi-derivations in the case $b=-1$ and genuinely new ones when $b\neq -1$. From that list it derives explicit nontrivial transposed $\frac{1}{1-b}$-Poisson structures on every $W(a,b)$. If the completeness proof is correct, the quasi-derivation algebra of each of these Lie algebras is now fully known.

What carries the argument

The machinery is a coefficient-comparison argument on a graded basis. Writing a quasi-derivation $f$, defined by the existence of auxiliary maps with $[f(x),y]+[x,f(y)]=f''[x,y]$, as coefficient arrays relative to the basis $\{L_i, I_i\}$, the defining identity becomes linear recurrences such as $(i+a+b(k-i))\sigma_{j,k-i}-(j+a+b(k-j))\sigma_{i,k-j}=0$ and $(k-i+a+bi)\gamma_{j,k-i}=(j+a+bi)\gamma'_{i+j,k}$. Stepping through indices forces all coefficient arrays to vanish except the pieces already recognized as derivations and $\frac{1}{2}$-derivations. The delicate points are the parameter values where a recurrence loses its leading coefficient—$b\in\{-1,0,1,2\}$, $bi=-a$, $bk=-a$, $k=-1$, $

What would settle it

Directly compute the quasi-derivations of $W(a,b)$ at a parameter pair where a displayed denominator vanishes but which the case split does not explicitly exclude—for example $(a,b)=(-3,3)$, where $a+bi=0$ and $a+bk=0$ for $i=k=1$—and compare the resulting coefficient families with the paper's list. Any extra nonzero coefficient beyond derivations and $\frac{1}{2}$-derivations would falsify the completeness theorem.

Watch

Extended reading notes

Core claim

On the paper's own terms, the contribution is a complete computation of the quasi-derivation space of the Witt algebra, of the Virasoro algebra, and of every Lie algebra $W(a,b)$. For the Witt and Virasoro algebras the answer is a decomposition theorem: each quasi-derivation $f$ can be written as $f=d+h$, where $d$ is a derivation and $h$ is a $\frac{1}{2}$-derivation. For $W(a,b)$ the computation is a case analysis in the parameters $(a,b)$: when $b=-1$ the quasi-derivations reduce to known derivation-type maps, while for $b\neq -1$ genuinely new terms appear. As a corollary, Corollary 24 states that each $W(a,b)$ admits a nontrivial transposed $\delta$-Poisson structure: for $b\notin\{-1,1

Load-bearing premise

The description is complete only if the case split covers every parameter pair $(a,b)$ and every index where a denominator such as $a+bi$, $a+bk$, $k+a$, $k+1$, or $k-2$ vanishes, with no silent division by zero; it also depends on the completeness of the previously known classifications of $\frac{1}{2}$-derivations and biderivations that are imported as building blocks.

Editorial extensions

If this is right

  • For the Witt algebra, every quasi-derivation is now a known explicit object: a concrete derivation plus a concrete $\frac{1}{2}$-derivation.
  • The same decomposition holds for the Virasoro algebra, so its quasi-derivation algebra is fully determined as well.
  • For $W(a,b)$ with $b=-1$, no interesting new quasi-derivations exist; for $b\neq -1$, the complete list includes genuinely new quasi-derivations.
  • Corollary 24 supplies explicit nontrivial transposed $\delta$-Poisson structures on every $W(a,b)$: for $b\notin\{-1,1\}$, $\delta=\frac{1}{1-b}$ and $L_i\cdot L_j=\sum_k \mu_k I_{i+j+k}$, with analogous formulas in the cases $b=1$ and $b=-1$.
  • The corollaries give the derivations and quasi-derivations of the Novikov-Witt and admissible Novikov-Witt algebras.

Reading between the lines

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

  • Beyond the paper: the same coefficient-recurrence strategy should apply to other graded centerless Lie algebras built on a Witt-type basis, as long as the two building blocks—derivations and $\frac{1}{2}$-derivations—are already classified.
  • Beyond the paper: the formulas in Corollary 24 describe a family of brackets parameterized by $b$, which suggests that the transposed $\delta$-Poisson structures may deform into one another as $b$ varies; the paper does not explore this deformation picture.
  • Beyond the paper: the completeness claim can be checked mechanically for small parameter values by implementing the recurrences in a computer algebra system and comparing the computed quasi-derivation space with the paper's list at exceptional pairs.
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

2 major / 3 minor

Summary. The paper determines quasi-derivations of the Witt and Virasoro algebras and claims a complete description of quasi-derivations of the generalized Witt algebras W(a,b). For W(a,b), the proof splits according to the parameters (a,b) and reduces the quasi-derivation equations to coefficient recurrences (25)-(27). It also derives transposed δ-Poisson structures, in particular a nontrivial 1/(1-b)-structure for b≠-1. The main novelty is the complete description of QDer(W(a,b)) and the corollary on transposed δ-Poisson structures.

Significance. If fully established, the result gives an exact description of the quasi-derivation algebra for three central infinite-dimensional Lie algebras and supplies new transposed δ-Poisson structures. The coefficient-comparison strategy is natural, the visible recurrences spot-check correctly, and the use of independent classifications (biderivations in [44], 1/2-derivations in [16]) is legitimate. The paper would be a useful reference for the generalized-derivation theory of Witt-type algebras. However, the claimed completeness for all W(a,b) currently fails for the family b=0, a≠0, so the central claim is not yet fully supported.

major comments (2)
  1. [§4, Step σ, case (σ1), Eq. (34)] Case (σ1) covers all (a,b) ≠ (0,0) with b ≠ 1, hence it includes b=0, a≠0. Substituting (33) into (25) gives (34), whose left-hand side contains the explicit factor b. For b=0 the equation is identically 0=0, so the conclusion σ_{0,k-i-j}=0 does not follow. Equation (33) is valid in this range (a≠0), so it gives no contradiction either. Consequently the subsequent assertions 'it gives σ_{i,k}=0' and 'then by (26) it implies σ'_{i,k}=0' are unsupported for b=0,a≠0. The completeness theorem for W(a,b) therefore has a gap for this whole parameter family; a separate argument for b=0 is required.
  2. [Corollary 24 / Abstract] The b=0 gap is load-bearing for the advertised conclusions. Corollary 24(1) includes b=0 (δ=1) among the cases with a nontrivial transposed 1/(1-b)-Poisson structure, and the abstract claims a complete description of quasi-derivations for all W(a,b). Until Step σ is repaired, these statements are not established for W(a,0) with a≠0.
minor comments (3)
  1. [§4, footnote after case (γ3)] 'non-perfectless of W(0,1)' should read 'non-perfectness of W(0,1)' or 'the fact that W(0,1) is not perfect.' The sentence would also benefit from a brief explanation of why this creates an 'exceptional quasi-derivation f=0 with related f' ≠ 0.'
  2. [§4, Eq. (27) and subsequent case splits] The local denominator restrictions (e.g., a+bk≠0, bi≠-a, k≠-1) are asserted as they appear, but the theorem statement does not summarize the complete case split. Adding a table of the (a,b) cases and the resulting coefficient support would make the exhaustiveness of the proof easier to verify.
  3. [General notation] The sentence 'for 0 ∉ {j,k}' after (29) is mathematically readable but slightly unusual; 'for j,k ≠ 0' would be clearer.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the quasi-derivation classifications are obtained by direct coefficient comparison; the self-citations used are independent published classifications, not assumed conclusions.

full rationale

The core results are derived by a direct linear-algebra computation: the quasi-derivation condition from Definition 2 is expanded in a basis and coefficients are compared, producing recurrences such as eqs. (25)-(27), which are then solved case-by-case. No fitted parameter is renamed as a prediction, and no target result is used as an input. The imported building blocks — the 1/2-derivation classification [16] and the biderivation classification [44] — are independent published results: [16] includes one of the present authors but is an external classification with its own stated assumptions and is used only to identify the 1/2-derivation constituent, not to force the conclusion; [44] is not authored by the present authors. Corollary 24 follows from the δ-derivation classification (Theorem 23) together with [16, Theorem 25], which is the standard way transposed δ-Poisson structures are obtained from δ-derivations; this is an application, not a circular definition. The completeness concern for b=0 raised by a reader (Eq. (34) has a factor b) is a potential gap in the case split, not a circularity: it concerns whether all parameter pairs are covered, not whether an input is disguised as an output. Overall, the derivation chain is self-contained apart from normal reliance on prior classifications, so the circularity score is low.

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

No fitted constants or invented entities: the classifying families {mu_k}, {nu_k} in Corollary 24 parameterize solution spaces rather than being tuned to match data. The paper's real burden is imported completeness ([16] for 1/2-derivations, [44] for biderivations, [34] for the framework) plus the internal obligation to cover every (a,b) and every zero-denominator index in the Section 4 recurrences.

assumptions (5)
  • standard math Leger-Luks framework for generalized/quasi-derivations, quasi-centroid, and the identity GDer = QDer + QC ([34]); the commuting-map result QC = C for the relevant algebras ([10]).
    Section 1 (Preliminaries) builds on this framework; Definition 2 and the chain Der subset Der^delta subset QDer subset GDer subset gl(L) are imported from [34].
  • domain assumption The 1/2-derivation classifications of the Witt and Virasoro algebras from [16] are complete; the decomposition QDer = Der + (1/2)Der inherits that list.
    The headline claim names 1/2-derivations as the non-derivation summand, and [16] is cited for 1/2-derivations in the introduction. The supplied text does not show whether Section 2 re-derives the list.
  • domain assumption The biderivation classification of W(a,b) from [44] is complete.
    Corollary 24's proof opens with 'The description of all biderivations of W(a,b) is given in [44]' and builds the transposed delta-Poisson products on that input.
  • ad hoc to paper The Section 4 case split covers all (a,b) in C^2 with every zero-denominator index handled (b not in {-1,0,1,2}; bi not equal to -a; k not equal to -1; a not equal to -bk; k+a not equal to 0).
    The recurrences (22), (30), (31), (33) divide by parameter-dependent expressions; the exclusions are asserted case by case in the visible text without a closing argument establishing exhaustiveness.
  • standard math Ground field C and the standard definitions of the Witt, Virasoro, and W(a,b) algebras from [26] and [36].
    Section 1 fixes the field; the bracket relations of W(a,b) are imported from Kac-Raina [26] and Mathieu [36].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quasi-derivations of Witt and related algebras." pith.science (2026). https://pith.science/paper/D3Z42EPO

@misc{pith2026250814914,
  author       = {Pith},
  title        = {Pith review of: Quasi-derivations of Witt and related algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D3Z42EPO}},
  note         = {Machine review of arXiv:2508.14914}
}
abstract

In the present work, we compute quasi-derivations of the Witt algebra and some algebras well-related to the Witt algebra. Namely, we prove that each quasi-derivation of the Witt algebra is a sum of a derivation and a $\frac{1}{2}$-derivation; a similar result is obtained for the Virasoro algebra. A different situation appears for Lie algebras ${\mathcal W}(a,b):$ in the case of $b=-1,$ they do not have interesting examples of quasi-derivations, but the case of $b\neq-1$ provides some new non-trivial examples of quasi-derivations. We also completely describe all quasi-derivations of ${\mathcal W}(a,b).$ As a corollary, we describe the derivations and quasi-derivations of the Novikov-Witt and admissible Novikov-Witt algebras previously constructed by Bai and his co-authors; and $\delta$-derivations and transposed $\delta$-Poisson structures on cited Lie algebras. In particular, we proved that each ${\mathcal W}(a,b)$ admits a nontrivial transposed $\frac 1{1-b}$-Poisson structure.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

50 extracted references · 48 canonical work pages

  1. [16]

    Ferreira B. L. M., Kaygorodov I., Lopatkin V., 1 2-derivations of Lie algebras and transposed Poisson algebras, Revista de la Real Academia de Ciencias Exactas, Físi- cas y Naturales. Serie A. Matemáticas, 115 (2021), 3, 142. 22

    work page 2021

  2. [44]

    Tang X., Biderivations and commutative post-Lie algebra structures on the Lie al- gebra W (a,b), Taiwanese Journal of Mathematics, 22 (2018), 6, 1347–1366

    work page 2018

  3. [1]

    Abdelwahab H., Kaygorodov I., Sartayev B., δ-Poisson and transposed δ-Poisson algebras, arXiv:2411.05490

    arXiv

  4. [2]

    Abdurasulov K., Adashev J., Eshmeteva S., Transposed Poisson structures on solv- able Lie algebras with filiform nilradical, Communications in Mathematics, 32 (2024), 3, 441–483

    work page 2024

  5. [3]

    Alhussein H., Kolesnikov P., Lopatkin V., Hochschild cohomology of the universal associative conformal envelope of the Virasoro Lie conformal algebra with coeffi- cients in all finite modules, Communications in Mathematics, 33 (2025), 3, 7

    work page 2025

  6. [4]

    Andruszkiewicz R., Brzezi ´nski T., Radziszewski K., Lie affgebras vis-à-vis Lie alge- bras, Results in Mathematics, 80 (2025), 2, 61

    work page 2025

  7. [5]

    Azizov M., Anti-Rota-Baxter operators on Witt and Virasoro algebras, Uzbek Math- ematical Journal, 68 (2024), 4, 26–36

    work page 2024

  8. [6]

    Bai C., Gao D., Graded anti-pre-Lie algebraic structures on Witt and Virasoro alge- bras, Journal of Geometry and Physics, 214 (2025), 105525

    work page 2025

Show all 50 references
  1. [7]

    Billig Y., Iohara K., Classification of simple cuspidal modules over a lattice Lie al- gebra of Witt type, Canadian Journal of Mathematics, 73 (2021), 2, 417–440

    2021

  2. [8]

    Bre ˇsar M., Near-derivations in Lie algebras, Journal of Algebra, 320 (2008), 10, 3765–3772

    2008

  3. [9]

    Bre ˇsar M., Jordan{g,h}-derivations on tensor products of algebras, Linear and Mul- tilinear Algebra, 64 (2016), 11, 2199–2207

    2016

  4. [10]

    Bre ˇsar M., Zhao K., Biderivations and commuting linear maps on Lie algebras, Journal of Lie Theory, 28 (2018), 3, 885–900

    2018

  5. [11]

    Burde D., Dekimpe K., Post-Lie algebra structures and generalized derivations of semisimple Lie algebras, Moscow Mathematical Journal, 13 (2013), 1, 1–18

    2013

  6. [12]

    Buzaglo L., Derivations, extensions, and rigidity of subalgebras of the Witt algebra, Journal of Algebra, 647 (2024), 230–276

    2024

  7. [13]

    Chen Y., Zhao K., Zhao Y., Local and 2-local automorphisms of simple generalized Witt algebras, Arkiv för Matematik, 59 (2021), 1, 1–10

    2021

  8. [14]

    Daukeyeva N., Eraliyeva M., Toshtemirova F., Transposed δ-Poisson algebra struc- tures on null-filiform associative algebras, arXiv:2507.10554

    arXiv

  9. [15]

    Ecker J., Schlichenmaier M., The low-dimensional algebraic cohomology of the Witt and the Virasoro algebra with values in natural modules, Homotopy algebras, defor- mation theory and quantization, 141–174, Banach Center Publ., 123, Polish Acad. Sci. Inst. Math., Warsaw, 2021

    2021

  10. [17]

    Filippov V., On Lie algebras that satisfy an identity of degree 5 , Algebra and Logic, 34 (1995), 6, 379–394

    1995

  11. [18]

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

    1998

  12. [19]

    Gao Sh., Jiang C., Pei Y., Low-dimensional cohomology groups of the Lie algebras W (a,b), Communications in Algebra, 39 (2011), 2, 397–423

    2011

  13. [20]

    Gao X., Liu M., Bai C., Jing N., Rota-Baxter operators on Witt and Virasoro alge- bras, Journal of Geometry and Physics, 108 (2016), 1–20

    2016

  14. [21]

    Guo X., Zhao K., Irreducible weight modules over Witt algebras, Proceedings of the American Mathematical Society, 139 (2011), 7, 2367–2373

    2011

  15. [22]

    Han X., Wang D., Xia C., Linear commuting maps and biderivations on the Lie algebras W (a,b), Journal of Lie Theory, 26 (2016), 3, 777–786

    2016

  16. [23]

    Herstein I., Jordan derivations of prime rings, Proceedings of the American Mathe- matical Society, 8 (1957), 1104–1110

    1957

  17. [24]

    M., Ternary derivations of generalized Cayley-Dickson algebras, Communications in Algebra, 31 (2003), 10, 5071–5094

    Jiménez-Gestal C., Pérez-Izquierdo J. M., Ternary derivations of generalized Cayley-Dickson algebras, Communications in Algebra, 31 (2003), 10, 5071–5094

    2003

  18. [25]

    M., Ternary derivations of finite-dimensional real division algebras, Linear Algebra and its Applications, 428 (2008), 8-9, 2192– 2219

    Jiménez-Gestal C., Pérez-Izquierdo J. M., Ternary derivations of finite-dimensional real division algebras, Linear Algebra and its Applications, 428 (2008), 8-9, 2192– 2219

    2008

  19. [26]

    Kac V., Raina A., Bombay Lectures on Highest Weight Representations of Infinite- Dimensional Lie Algebras, Advanced Series in Mathematical Physics, World Scien- tific Publishing Co., Inc., Teaneck 2 (1987), xii+145

    1987

  20. [27]

    Kaygorodov I., δ-superderivations of semisimple finite-dimensional Jordan super- algebras, Mathematical Notes, 91 (2012), 1–2, 187–197

    2012

  21. [28]

    Kaygorodov I., Non-associative algebraic structures: classification and structure, Communications in Mathematics, 32 (2024), 3, 1–62

    2024

  22. [29]

    Kaygorodov I., Khrypchenko M., Transposed Poisson structures on Witt-type alge- bras, Linear Algebra and its Applications, 665 (2023), 196–210

    2023

  23. [30]

    Kaygorodov I., Khrypchenko M., Transposed Poisson structures on generalized Witt algebras and Block Lie algebras, Results in Mathematics, 78 (2023), 5, 186

    2023

  24. [31]

    Kaygorodov I., Khudoyberdiyev A., Shermatova Z., Transposed Poisson structures on not-finitely graded Witt-type algebras, Boletín de la Sociedad Matemática Mexi- cana, 31 (2025), 1, 22

    2025

  25. [32]

    Kaygorodov I., Popov Y., Generalized derivations of (color) n-ary algebras, Linear and Multilinear Algebra, 64 (2016), 6, 1086–1106

    2016

  26. [33]

    Kong X., Chen H., Bai C., Classification of graded left-symmetric algebraic struc- tures on Witt and Virasoro algebras, International Journal of Mathematics, 22 (2011), 2, 201–222. 23

    2011

  27. [34]

    Leger G., Luks E., Generalized derivations of Lie algebras, Journal of Algebra, 228 (2000), 1, 165–203

    2000

  28. [35]

    Martín Barquero D., Martín González C., Sánchez-Ortega J., Vandeyar M., Ternary mappings of triangular algebras, Aequationes mathematicae, 95 (2021), 5, 841–865

    2021

  29. [36]

    Kac: la classification de certaines algèbres de Lie graduées simples, Journal of Algebra, 86 (1986), 2, 505–536

    Mathieu O., Sur un problème de V.G. Kac: la classification de certaines algèbres de Lie graduées simples, Journal of Algebra, 86 (1986), 2, 505–536

    1986

  30. [37]

    Mazorchuk V., Zhao K., Supports of weight modules over Witt algebras, Proceedings of the Royal Society of Edinburgh Section A, 141 (2011), 1, 155–170

    2011

  31. [38]

    Sam S., Snowden A., Tosteson P., Polynomial representations of the Witt Lie alge- bra, International Mathematics Research Notices IMRN, 2024, 16, 11688–11710

    2024

  32. [39]

    Sartayev B., Some generalizations of the variety of transposed Poisson algebras, Communications in Mathematics, 32 (2024), 2, 55–62

    2024

  33. [40]

    Sierra S., Petukhov A., The Poisson spectrum of the symmetric algebra of the Vira- soro algebra, Compositio Mathematica, 159 (2023), 5, 933–984

    2023

  34. [41]

    Sierra S., Walton C., The universal enveloping algebra of the Witt algebra is not noetherian, Advances in Mathematics, 262 (2014), 239–260

    2014

  35. [42]

    Shestakov A., Ternary derivations of separable associative and Jordan algebras, Siberian Mathematical Journal, 53 (2012), 5, 943–956

    2012

  36. [43]

    Tang X., 2-local derivations on the W-algebra W(2,2), Journal of Algebra and its Applications, 20 (2021), 12, 2150237

    2021

  37. [45]

    Tang X., Bai C., A class of non-graded left-symmetric algebraic structures on the Witt algebra, Mathematische Nachrichten, 285 (2012), 7, 922–935

    2012

  38. [46]

    Xia C., Dong X., Ma T., 2-local derivations of Heisenberg-Virasoro type Lie algebras, Journal of Algebra and its Applications, 24 (2025), 11, 2550261

    2025

  39. [47]

    Xue Y., Wang Y., Tensor modules over Witt superalgebras, Science China Mathe- matics, 66 (2023), 7, 1429–1448

    2023

  40. [48]

    Yao Y., Zhao K., Local properties of Jacobson-Witt algebras, Journal of Algebra, 586 (2021), 1110–1121

    2021

  41. [49]

    Zohrabi A., Zusmanovich P., A δ-first Whitehead lemma for Jordan algebras, Com- munications in Mathematics, 33 (2025), 1, 2

    2025

  42. [50]

    Zusmanovich P., On δ-derivations of Lie algebras and superalgebras, Journal of Algebra, 324 (2010), 12, 3470–3486. 24

    2010

Pith tools

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