REVIEW 5 major objections 5 minor 29 references
Biderivations, local and 2-local derivation and automorphism of simple $\omega$-Lie algebras
T0 review · 5 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read For finite-dimensional simple ω-Lie algebras, local and 2-local derivations are global and the same rigidity holds for automorphisms, biderivations, and 1/2-derivations.
desk verdict The paper's central biderivation theorem is false for the non-Lie simple ω-Lie algebras, contradicting the paper's own cited classification; the 4-dimensional table and 1/2-derivation computations are worth preserving but the paper as written needs major revision. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The working object is the ω-Lie algebra: a vector space with a skew-symmetric bilinear bracket and a skew-symmetric bilinear form ω satisfying the ω-Jacobi identity $$[[x,y],z]+[[y,z],x]+[[z,x],y]=\omega(x,y)z+\omega(y,z)x+\omega(z,x)y.$$ The proof machinery is low-dimensional classification plus explicit matrix control: the 3- and 4-dimensional ω-Lie algebras are known up to isomorphism, and their derivations and automorphisms are written out as parameterized matrices. A local or 2-local map is matched against these matrices point by point, and the matching forces the map's own matrix to have exactly the global form. Biderivations are treated by splitting into symmetric and skew-symmetric parts, converting the symmetric part into an anti-commuting linear map and the skew-symmetric part into a commuting map in the centroid; the non-Lie simple cases A_α, B, and C_α are handled by direct coefficient comparison. For 1/2-derivations the same direct comparison on those simple algebras shows that only scalar matrices survive.
What would settle it
Evaluate the first biderivation equation for δ(x,y)=[x,y] in A_α at (e_1,e_2,e_3). The left side is [e_1,e_3]=e_1+e_2, while the right side is [e_1,[e_2,e_3]]+[[e_1,e_3],e_2]=(e_1+e_2)+e_1=2e_1+e_2; these differ by -e_1, which is exactly ω(e_2,e_3)e_1 with ω(e_2,e_3)=-1. Thus the bracket itself is not a biderivation of A_α, so the claimed characterization cannot hold for that algebra as stated.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that pointwise data determine global algebraic structure for finite-dimensional complex ω-Lie algebras. A local derivation, meaning a map that agrees with some derivation on each element, must itself be a derivation; a 2-local derivation, which agrees with a possibly different derivation on each pair, must also be a derivation. The analogous statement for automorphisms is that a local automorphism is an automorphism or an anti-automorphism, and a 2-local automorphism is an automorphism. For biderivations the claimed description is δ(x,y)=λ[x,y] for a fixed scalar λ, and for 1/2-derivations it is Δ(x)=λx. In the 4-dimensional case the paper gives explicit parameter lists for all symmetric biderivations and proves that skew-symmetric biderivations vanish.
Load-bearing premise
The biderivation theorem for non-Lie simple ω-Lie algebras assumes that the map (x,y)↦λ[x,y] satisfies the biderivation equations, which would require the bracket to obey the ordinary Jacobi identity instead of the ω-corrected identity that actually defines these algebras.
Editorial extensions
If this is right
- For any finite-dimensional semisimple complex ω-Lie algebra, the local and 2-local derivation spaces coincide with the ordinary derivation algebra, so no new pointwise-defined derivations appear outside Der(g).
- On finite-dimensional simple ω-Lie algebras, biderivations form a one-dimensional space spanned by the bracket; in particular, the only symmetric biderivations of a simple Lie algebra are zero.
- Every 2-local automorphism of such an algebra is an automorphism, while every local automorphism is an automorphism or an anti-automorphism, so local data cannot distinguish the automorphism group from its anti-involutive counterpart.
- The explicit table of symmetric biderivations for the 4-dimensional complex ω-Lie algebras, together with the vanishing of skew-symmetric biderivations, gives a full description of BDer(g) in dimension four.
- Every 1/2-derivation of a finite-dimensional simple complex ω-Lie algebra is multiplication by a scalar, and every local or 2-local 1/2-derivation is the same global scalar map.
Reading between the lines
- Editorial extension: the coefficient-comparison method used in Section 7 could be run on every algebra in the 4-dimensional classification, yielding a complete table of 1/2-derivations that the paper leaves implicit.
- Editorial extension: because Theorem 3.3 reduces semisimple ω-Lie algebras to the Lie case and dimension at most four, an automated implementation of the matrix-matching argument is a natural next step and would make the local/2-local rigidity check routine for dimension five and above.
- Editorial extension: the closing question on transposed Poisson structures for ω-Lie algebras points to a testable consequence—if 1/2-derivations are only scalar maps, any reasonable ω-analogue of a transposed Poisson structure would also be scalar, so new structure would have to come from the 2-form itself rather than from linear maps.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies finite-dimensional complex simple ω-Lie algebras. It claims that every local and 2-local derivation is a derivation, every local automorphism is an automorphism or anti-automorphism, every 2-local automorphism is an automorphism, that biderivations are exactly the multiples λ[x,y] of the bracket, and that all ½-derivations are scalar multiples of the identity. The arguments are computational and rely on classifications of 3- and 4-dimensional ω-Lie algebras and on the author's previous paper [23]. The main asserted results are presented for all finite-dimensional simple ω-Lie algebras, with special attention to the low-dimensional non-Lie examples.
Significance. If correct, these results would extend the classical theory of local and 2-local maps and of biderivations from simple Lie algebras to ω-Lie algebras, which appear in geometric contexts. The claimed characterization of biderivations and of ½-derivations would be a useful contribution. However, the central biderivation theorem is false for non-Lie simple ω-Lie algebras, and several proofs are incomplete or assume linearity. The paper also relies substantially on the author's own earlier work [23] for the 3-dimensional cases, without providing independent verification. These issues undermine the validity of the main claims.
major comments (5)
- [Theorem 6.3] Theorem 6.3 is false as stated: the bilinear map δ(x,y)=λ[x,y] is not a biderivation on non-Lie simple ω-Lie algebras for λ≠0. Substituting δ=λ[·,·] into the first identity of Definition 6.1 reduces the condition to the Jacobi identity [[x,y],z]+[[y,z],x]+[[z,x],y]=0, while Definition 3.1 replaces this by the ω-corrected identity whose right-hand side is generally nonzero. For example, take the algebra B of Theorem 3.1(4) with [e2,e3]=e1 and ω(e2,e3)=2. Then for x=e2, y=e3, z=e1, the left side of the first biderivation identity is λ[[e2,e3],e1]=0, while the right side is λ([e2,[e3,e1]]+[[e2,e1],e3])=-2λe1. Hence the claimed equivalence fails already in dimension 3. The paper itself states immediately before Theorem 6.3 that the biderivations of Aα, B, and Cα are zero, so the theorem also contradicts its own cited result [23].
- [Theorem 4.1, proof] The proof of Theorem 4.1 assumes without justification that the local derivation Δ is linear: it writes Δ(x)=B x̄ for a single matrix B and then compares Δ(x) with D_x(x). A local derivation is defined pointwise, with a possibly different derivation D_x for each x, and linearity is not given. The coefficient equations derived from this comparison therefore presuppose what needs to be proved. The same issue appears in the proofs of Theorems 5.1 and 5.3 for local and 2-local automorphisms, where a global matrix B is introduced before linearity or even well-definedness of the map as a single linear transformation is established.
- [Theorems 4.2, 4.4, 5.1, 5.3, 6.1, 6.2] Several theorems are stated for broad classes of algebras but are proven only for one or a few algebras, with the remaining cases dismissed by 'similar arguments' or 'analogously'. For example, Theorem 4.2 claims every local derivation of any 4-dimensional ω-Lie algebra is a derivation, but only L1,1 is treated; Theorem 6.1 claims no nontrivial skew-symmetric biderivations for all 4-dimensional ω-Lie algebras but only L1,6 is shown; and Theorem 6.2 claims a full description of symmetric biderivations on L1,1 but does not verify that the displayed formula actually satisfies the biderivation identities. Since the central theorems for simple algebras (Theorems 4.3, 4.5, 5.2, 5.4) rely on these case-by-case results, the omitted cases are load-bearing and the proofs are incomplete.
- [Theorem 7.1, equations (7.1)–(7.9)] The proof of Theorem 7.1 contains concrete computational errors. For the algebra Aα, equation (7.1) states 2a11 = a11 −αa31 + a22, but direct computation of [Δ(e1),e2]+[e1,Δ(e2)] yields an additional term a32 in the coefficient of e1; the omitted term affects the conclusion. Similarly, for the algebra B, equation (7.4) states 2a11 = −a31, whereas the coefficient of e1 in 2Δ(e2) is 2a12, so the displayed equation should be 2a12 = −a31. Thus the system of equations used to derive Δ=λI is not correctly written, and the conclusion is not established by the given argument.
- [Section 6, decomposition of BDer(g)] The paper asserts without proof that for any biderivation δ the symmetric part δ+ and skew-symmetric part δ− are again biderivations, so that BDer(g)=BDer+(g)⊕BDer−(g). For Lie algebras this follows from the Jacobi identity, but for a general ω-Lie algebra the map δ^T(x,y)=δ(y,x) need not satisfy the two identities of Definition 6.1. This decomposition is used to reduce the biderivation problem to symmetric and skew-symmetric cases, so the missing justification is a gap in the method; the later counterexample to Theorem 6.3 shows the danger of transferring Lie-algebra facts to ω-Lie algebras.
minor comments (5)
- [Throughout] There are numerous typos and grammatical errors, e.g., 'automorphis', 'qutomorphism', 'bideivation', 'Tble', 'that it' for 'that is', and 'similary' variants. These should be corrected.
- [Sections 4–5] References to 'Theorem ??' in Section 7 and to 'Table.4 in [10]' without a table number in the reference list make it hard for the reader to verify the cited derivation and automorphism classifications.
- [Section 4, equation (4.3)] The line 'b11 = b12 = b21 = b22 = b31 = b32 = b41 = b42' appears to be a typographical error; the coefficient comparison actually forces these entries to be zero, not merely equal to one another.
- [Theorem 5.3, proof] In the proof for L2,3, the maps ψ_{x,e4} are called 'derivations' but should be 'automorphisms'; this is a terminology slip that does not affect the argument.
- [Section 1, Introduction] The introduction contains an incomplete sentence: 'In [23], we give a description of local (2-local) derivations and automorphisms and biderivations of three dimensional complex ω-Lie algebras in this paper we give similar result for four dimensional complexω-Lie algebras' — this needs to be split and clarified.
Circularity Check
No circular reduction by construction; the only mild concern is reliance on the author's own prior 3D classification, which is a self-citation dependency rather than an input-output equivalence.
full rationale
The paper's original 4D computations are direct matrix arguments: Theorems 4.1, 4.4, 5.1, 5.3 and the biderivation calculations in Section 6 substitute the derivation/automorphism matrices from the external tables in [10] and read off the required form of the local map, so the conclusions are not assumed in the setup. The Lie-algebra cases are cited to external theorems ([2], [3], [9], [12], [26]). The 3-dimensional non-Lie simple cases are cited to the author's own earlier paper [23]. This is a genuine self-citation and it is load-bearing for the 3D part of the simple-algebra statements, but it is not a circularity in the sense of this review: it is a reference to a separate published classification, not a fitted parameter renamed as a prediction, and no equation is made true by definition. There are also omitted proofs for many 4D cases and missing reference markers such as 'Theorem ??' in Theorem 7.2, but those are completeness defects, not circularity. Finally, Theorem 6.3 is mathematically overbroad: for non-Lie simple omega-Lie algebras such as B the map lambda[.,.] with lambda != 0 is not a biderivation because the ordinary Jacobi identity fails, so the 'if' direction is false. That is a correctness defect in the inference from [23]'s zero-biderivation statement, not a circular input-output identity.
Assumptions & free parameters
assumptions (5)
- domain assumption The classifications of 3- and 4-dimensional complex omega-Lie algebras given in [8] and [7] are correct.
- domain assumption The derivation and automorphism tables for 4-dimensional omega-Lie algebras from [10] are complete and correct.
- domain assumption Known results that local and 2-local derivations/automorphisms of finite-dimensional simple Lie algebras are global ([2], [3], [9], [12]).
- domain assumption The author's earlier paper [23] correctly proves the 3-dimensional omega-Lie algebra analogues.
- domain assumption Proposition 1.5 of [7]: every derivation of a 4-dimensional omega-Lie algebra except L1,6 and L1,8 is an omega-derivation.
Cite this review
Pith. "Pith review of Biderivations, local and 2-local derivation and automorphism of simple $\omega$-Lie algebras." pith.science (2026). https://pith.science/paper/WNVXWTDG
@misc{pith2026250500436,
author = {Pith},
title = {Pith review of: Biderivations, local and 2-local derivation and automorphism of simple $\omega$-Lie algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/WNVXWTDG}},
note = {Machine review of arXiv:2505.00436}
}
abstract
Given a finite-dimensional complex simple $\omega$-Lie algebras $\mathfrak{}$ over $\mathbb{C}$. We prove that every local ,$2-$local derivation is a derivation and every local (resp. 2-local) automorphisms are automorphisms or an anti-automorphis (resp. automorphism). We characterize also biderivation, $\frac{1}{2}$-derivation and local (2-local) $\frac{1}{2}$-derivation of $\mathfrak{g}$.
Reference graph
Works this paper leans on
-
[23]
Oubba, H. (2024). Local (2-Local) derivations and auto morphisms and biderivations of complex ω-Lie algebras. Le Matematiche, 79(1), 135-150
work page 2024
-
[1]
Ayupov, Sh. Kudaybergenov, K. 2-Local automorphisms on finite-dimensional Lie algebras. Linear Algebra and its Applications 507 (2016) 121 −131
work page 2016
-
[2]
Ayupov, Sh. Kudaybergenov, K. Local derivations on finit e-dimensional Lie algebras. Linear Algebra and its Ap- plications 493 (2016) 381 −398
work page 2016
-
[3]
Ayupov, Shavkat, Karimbergen Kudaybergenov, and Isami ddin Rakhimov. ”2-Local derivations on finite- dimensional Lie algebras.” Linear Algebra and its Applicat ions 474 (2015): 1-11
work page 2015
-
[4]
Breˇ sar, M., Martindale 3rd, W.S., Miers, C.R.: Central izing maps in prime rings with involution. J. Algebra. 161, (1993) 342−357
work page 1993
-
[5]
Breˇ sar, M., Zhao, K.: Biderivations and commuting Line ar maps on Lie algebras. J. Lie Theory. 28, (1018) 885−900. 17
-
[6]
Breˇ sar, M.: Commuting maps: A survey. Taiwanese J. Math . 8, (2004)361−397
work page 2004
-
[7]
Chen Y ., Zhang R., Simple ω-Lie algebras and 4-dimensional ω-Lie algebras over C. To appear in Bull. Malays
Show all 29 references
-
[8]
Chen Y ., Liu C., Zhang R., Classification of three dimensi onal complex ω-Lie algebras. Port. Math. (EMS) 71 (2014) 97 − 108
2014
-
[9]
”2-Local automorphis ms of finite-dimensional simple Lie algebras.” Linear Algebra and its Applications 486 (2015): 335-344
Chen, Zhengxin, and Dengyin Wang. ”2-Local automorphis ms of finite-dimensional simple Lie algebras.” Linear Algebra and its Applications 486 (2015): 335-344
2015
-
[10]
Chen Y ., Zhang, Z., Zhang, R., Zhuang, R.: Derivations, Automorphisms, and Representations of Complex ω-Lie algebras. Commun. Algebra, 46(2),(2018) 708 − 726
2018
-
[11]
”Simple ω-Lie algebras and 4-dimensionalω-Lie algebras over C.” Bulletin of the Malaysian Mathematical Sciences Society 40.3 (2017): 1377 -1390
Chen, Yin, and Runxuan Zhang. ”Simple ω-Lie algebras and 4-dimensionalω-Lie algebras over C.” Bulletin of the Malaysian Mathematical Sciences Society 40.3 (2017): 1377 -1390
2017
-
[12]
”Local automorphisms of finite dime nsional simple Lie algebras.” Linear Algebra and its Ap- plications 562 (2019): 123-134
Costantini, Mauro. ”Local automorphisms of finite dime nsional simple Lie algebras.” Linear Algebra and its Ap- plications 562 (2019): 123-134
2019
-
[13]
Farkas d., Letzter G., Ring theory from symplectic geom etry. J. Pure Appl. Algebra 125 (1998), no. 1 −3, 155−190
1998
-
[14]
” 1 2 -derivations of Lie algebras and transposed Poisson algebras.” Revista de la Real Academia d e Ciencias Exactas, F´ ısicas y Naturales
Ferreira, Bruno Leonardo Macedo, Ivan Kaygorodov, and Viktor Lopatkin. ” 1 2 -derivations of Lie algebras and transposed Poisson algebras.” Revista de la Real Academia d e Ciencias Exactas, F´ ısicas y Naturales. Serie A. Matem´ aticas 115.3 (2021): 142
2021
-
[15]
Filippov V ., δ-Derivations of prime Lie algebras, Siberian Mathematical Journal, 40 (1999), 1, 174–184
1999
-
[16]
Gleason A., A characterization of maximal ideals J. Ana l. Math., 19 (1967), pp. 171 − 172
1967
-
[17]
Algebra, 130 (1990), p p
Kadison R., Local derivations J. Algebra, 130 (1990), p p. 494 − 509
1990
-
[18]
Math., 29 (1968), pp
Kahane J., Zelazko W., A characterization of maximal id eals in commutative Banach algebras Stud. Math., 29 (1968), pp. 339 − 343
1968
-
[19]
Glasnik Mat
Maksa Gy., A remark on symmetric biadditive functions h aving nonnegative diagonalization. Glasnik Mat. Ser. III 15 (1980), no. 2, 279 − 282
1980
-
[20]
Nurowski P ., Deforming a Lie algebra by means of a 2-form . J. Geom. Phys. 57 (2007) 1325 − 1329
2007
-
[21]
, Distinguished dimensions for special Rie mannian geometries
Nurowski P . , Distinguished dimensions for special Rie mannian geometries. J. Geom. Phys. 58 (2008) 1148 − 1170
2008
-
[22]
Oubba H., Generalized quaternion algebras, Rendicont i del Circolo Matematico di Palermo Series 2 V olume 72,(2023), pages 4239 − 4250
2023
-
[24]
Local automorphisms and derivations on Proc
ˇSemrl P . Local automorphisms and derivations on Proc. Am. Math. Soc., 125 (1997), pp. 2677 − 2680
1997
-
[25]
Trudy Inst
Skosyrskii V ., Strongly prime noncommutative Jordan a lgebras (Russian). Trudy Inst. Mat. (Novosibirsk) 16 (1989), 131 − 164, 198 − 199
1989
-
[26]
”Biderivations of finite-dimensional c omplex simple Lie algebras.” Linear and Multilinear Algebr a 66.2 (2018): 250-259
Tang, Xiaomin. ”Biderivations of finite-dimensional c omplex simple Lie algebras.” Linear and Multilinear Algebr a 66.2 (2018): 250-259
2018
-
[27]
Aequationes Math
Vukman J., Symmetric bi-derivations on prime and semi- prime rings. Aequationes Math. 38 (1989), no. 2 − 3, 245 − 254
1989
-
[28]
Zusmanovich, P .: ω-Lie algebras. J. Geom. Phys. 60, 1028–1044 (2010)
2010
-
[29]
Wang, D., Y u, X., Chen, Z.: Biderivations of the parabol ic subalgebra of simple Lie algebras, Comm. Algebra. 39, (2011) 4097−4104 18
2011
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.