Lie Algebra of Biderivations

• Lie algebra biderivations are defined as bilinear maps acting as derivations in each argument; in finite-dimensional simple algebras, every biderivation is inner.
• The methodology employs Cartan decompositions and derivation identities to classify symmetric and skew-symmetric forms, resulting in strong rigidity and vanishing theorems in semisimple and perfect settings.
• Extensions to non-simple and infinite-dimensional contexts reveal non-inner biderivations (often symmetric) and introduce Lie algebra structures on one-sided biderivation spaces.

Searching arXiv for recent and foundational papers on Lie-algebra biderivations to ground the article in published work. A biderivation on a Lie algebra is a bilinear map that is a derivation in each argument separately. In the adjoint-valued case, if $L$ is a Lie algebra and $D:L\times L\to L$, this means

$$D([x,y],z)=[D(x,z),y]+[x,D(y,z)],\qquad D(x,[y,z])=[D(x,y),z]+[y,D(x,z)].$$

The subject has developed along two main lines: structural classification of biderivations on specific Lie algebras and analysis of the algebraic structures they induce, including commuting maps, commutative post-Lie or ABD-structures, and, more recently, Lie brackets on suitable spaces of one-sided biderivations. For finite-dimensional complex simple Lie algebras, the central result is a rigidity theorem: every biderivation is inner, i.e. a scalar multiple of the Lie bracket, with no skew-symmetry assumption required (Tang, 2016). Subsequent work extended this picture to semisimple and complete Lie algebras (Bartolo et al., 2023), clarified the vanishing of symmetric biderivations in semisimple and perfect settings (Shiyuan et al., 2024, Bajo et al., 17 Mar 2025), and identified families of non-inner, often symmetric, biderivations in non-simple, infinite-dimensional, or centrally extended contexts such as $\mathfrak{gl}_n$, Schrödinger–Virasoro algebras, and $W(a,b)$ (Tang, 2016, Tang, 2016, Tang, 2017).

1. Definition and formal framework

A biderivation of a Lie algebra $L$ over a field is a bilinear map whose partial maps are derivations. In module-valued form, if $M$ is an $L$-module and $\phi:L\times L\to M$, then $\phi$ is a biderivation when

$D:L\times L\to L$0

For the adjoint module $D:L\times L\to L$1, these identities become

$D:L\times L\to L$2

which is the formulation used throughout the Lie-algebra literature on the topic (Bajo et al., 17 Mar 2025, Shiyuan et al., 2024).

Two symmetry types are standard. A biderivation is symmetric if $D:L\times L\to L$3, and skew-symmetric if $D:L\times L\to L$4. Much of the earlier literature concentrated on the skew-symmetric case, especially because of its relationship with centroidal maps and commuting mappings on perfect centerless Lie algebras (Brešar et al., 2018). Later work removed the skew-symmetry restriction in several important settings, most notably for finite-dimensional complex simple Lie algebras (Tang, 2016).

For complete Lie algebras, meaning $D:L\times L\to L$5 and $D:L\times L\to L$6, any biderivation can be written in “inner-in-each-slot” form

$D:L\times L\to L$7

for suitable endomorphisms $D:L\times L\to L$8 (Bartolo et al., 2023). In the simple case this representation collapses further because the centroid is $D:L\times L\to L$9, forcing scalar multiples of the bracket (Tang, 2016).

A distinct but related development considers right and left biderivations separately. A right biderivation requires only the derivation identity in the first variable, and a left biderivation only in the second. Two-sided biderivations are precisely the intersection of these classes (Bartolo et al., 16 Jul 2025). This one-sided perspective is the setting in which an explicit Lie bracket on spaces of biderivations has recently been introduced (Bartolo et al., 16 Jul 2025).

2. Rigidity on simple, semisimple, and complete Lie algebras

The foundational rigidity theorem is due to Tang: if $$D([x,y],z)=[D(x,z),y]+[x,D(y,z)],\qquad D(x,[y,z])=[D(x,y),z]+[y,D(x,z)].$$0 is a finite-dimensional complex simple Lie algebra, then every biderivation $$D([x,y],z)=[D(x,z),y]+[x,D(y,z)],\qquad D(x,[y,z])=[D(x,y),z]+[y,D(x,z)].$$1 of $$D([x,y],z)=[D(x,z),y]+[x,D(y,z)],\qquad D(x,[y,z])=[D(x,y),z]+[y,D(x,z)].$$2 is inner in the sense

$$D([x,y],z)=[D(x,z),y]+[x,D(y,z)],\qquad D(x,[y,z])=[D(x,y),z]+[y,D(x,z)].$$3

and no skew-symmetry assumption is needed (Tang, 2016). The proof proceeds by fixing one variable, observing that each partial map is a derivation, and using $$D([x,y],z)=[D(x,z),y]+[x,D(y,z)],\qquad D(x,[y,z])=[D(x,y),z]+[y,D(x,z)].$$4 to obtain linear maps $$D([x,y],z)=[D(x,z),y]+[x,D(y,z)],\qquad D(x,[y,z])=[D(x,y),z]+[y,D(x,z)].$$5 with

$$D([x,y],z)=[D(x,z),y]+[x,D(y,z)],\qquad D(x,[y,z])=[D(x,y),z]+[y,D(x,z)].$$6

A Cartan subalgebra and root-space decomposition then force $$D([x,y],z)=[D(x,z),y]+[x,D(y,z)],\qquad D(x,[y,z])=[D(x,y),z]+[y,D(x,z)].$$7 and $$D([x,y],z)=[D(x,z),y]+[x,D(y,z)],\qquad D(x,[y,z])=[D(x,y),z]+[y,D(x,z)].$$8 to be scalar on each root space; connectivity of the root system shows the scalar is constant across all roots; and the Cartan part follows by comparing brackets with root vectors (Tang, 2016). The result applies uniformly to all finite-dimensional complex simple Lie algebras, including classical and exceptional types (Tang, 2016).

This theorem admits a direct semisimple extension. If

$$D([x,y],z)=[D(x,z),y]+[x,D(y,z)],\qquad D(x,[y,z])=[D(x,y),z]+[y,D(x,z)].$$9

is a finite-dimensional complex semisimple Lie algebra with simple ideals $\mathfrak{gl}_n$0, then every biderivation is of the form

$\mathfrak{gl}_n$1

where $\mathfrak{gl}_n$2, $\mathfrak{gl}_n$3, and each $\mathfrak{gl}_n$4 acts on a simple summand (Bartolo et al., 2023). In this sense,

$\mathfrak{gl}_n$5

for semisimple $\mathfrak{gl}_n$6 (Bartolo et al., 2023).

The same paper places these results in the broader context of complete Lie algebras. For complete $\mathfrak{gl}_n$7, every biderivation is governed by endomorphisms $\mathfrak{gl}_n$8 satisfying $\mathfrak{gl}_n$9, and a matrix formalism expresses this through relations

$W(a,b)$0

for the structure matrices $W(a,b)$1 of $W(a,b)$2 (Bartolo et al., 2023). In semisimple cases this collapses to scalar block-diagonal solutions and reproduces the classification above (Bartolo et al., 2023).

A parallel route to rigidity comes from the skew-symmetric theory of Brešar and Zhao. If $W(a,b)$3 is perfect and centerless, then every skew-symmetric biderivation is of the form

$W(a,b)$4

for some $W(a,b)$5 (Brešar et al., 2018). On simple Lie algebras the centroid is scalar, so this again yields $W(a,b)$6 (Brešar et al., 2018). Tang’s theorem strengthens this in the simple case by showing that the same conclusion holds even without skew-symmetry (Tang, 2016).

3. Symmetric biderivations and vanishing theorems

Symmetric biderivations behave very differently from skew-symmetric ones. On finite-dimensional complex semisimple Lie algebras and finite-dimensional modules, they vanish identically. Liu, Liu, and Zhao proved that if $W(a,b)$7 is finite-dimensional complex semisimple and $W(a,b)$8 is a finite-dimensional $W(a,b)$9-module, then every symmetric biderivation

$L$0

is trivial (Shiyuan et al., 2024). In particular, symmetric adjoint-valued biderivations on semisimple Lie algebras are zero (Shiyuan et al., 2024).

The proof uses Whitehead’s lemma, complete reducibility, and systematic reduction to $L$1-subalgebras. A key device is a proposition asserting that if $L$2 is a bilinear map that is a module homomorphism in one slot and a derivation in the other, then $L$3 must vanish when $L$4 is semisimple and $L$5 is finite-dimensional (Shiyuan et al., 2024). This mechanism underlies the vanishing theorem and its applications to Takiff algebras, symplectic oscillator algebras, Schrödinger algebras, and certain Lie superalgebras (Shiyuan et al., 2024).

This semisimple vanishing result was sharpened in the perfect case. In 2025, it was shown that there are no nonzero symmetric biderivations on finite-dimensional perfect Lie algebras over a field of characteristic zero, even for values in arbitrary finite-dimensional modules (Bajo et al., 17 Mar 2025). Equivalently, every symmetric biderivation

$L$6

on a finite-dimensional perfect Lie algebra $L$7 with values in a finite-dimensional $L$8-module $L$9 is identically zero (Bajo et al., 17 Mar 2025). This resolves an open question posed by Brešar and Zhao (Bajo et al., 17 Mar 2025).

The proof is formulated through ABD-structures: commutative products $M$0 such that each left multiplication is a derivation of the Lie bracket. Symmetric adjoint-valued biderivations are exactly ABD-structures (Bajo et al., 17 Mar 2025). The argument reduces via Levi decomposition to the case of an abelian radical, then rules out nontrivial products using $M$1-module analysis, Whitehead’s lemma, and the Jacobson–Morozov theorem (Bajo et al., 17 Mar 2025).

These vanishing theorems delimit the settings in which symmetric biderivations can occur. They disappear on finite-dimensional semisimple and, more generally, perfect Lie algebras in characteristic zero (Shiyuan et al., 2024, Bajo et al., 17 Mar 2025), but survive in non-perfect, solvable, or infinite-dimensional contexts, as several explicit classifications show.

4. Non-inner and non-skew biderivations beyond the simple case

The archetypal finite-dimensional non-simple example is $M$2. Using the decomposition

$M$3

Tang proved that a bilinear map $M$4 is a biderivation if and only if

$M$5

for some $M$6 (Tang, 2016). The space of biderivations is therefore two-dimensional, spanned by the bracket and the symmetric central trace term (Tang, 2016). When $M$7, this yields explicit biderivations that are non-inner and non-skew-symmetric (Tang, 2016). The phenomenon reflects the nontrivial center $M$8, absent in simple Lie algebras (Tang, 2016).

Infinite-dimensional Lie algebras exhibit a broader range of non-inner behavior. For the Schrödinger–Virasoro algebra $M$9, Tang obtained a complete classification: $L$0 where $L$1 is supported only on $L$2-pairs and takes values in the $L$3-sector through a finite-support family $L$4 (Tang, 2016). These $L$5 are symmetric, non-inner, and non-skew-symmetric whenever $L$6 (Tang, 2016). In contrast, every skew-symmetric biderivation on $L$7 is inner (Tang, 2016).

A similar parameter-sensitive classification appears for the Lie algebras $L$8. Every biderivation of $L$9 has one of the following forms: $\phi:L\times L\to M$0

$\phi:L\times L\to M$1

$\phi:L\times L\to M$2

and otherwise only the inner term survives (Tang, 2017). Here $\phi:L\times L\to M$3 and $\phi:L\times L\to M$4 are symmetric non-inner families, while $\phi:L\times L\to M$5 is skew-symmetric and non-inner (Tang, 2017). This shows that non-inner symmetric biderivations exist precisely for $\phi:L\times L\to M$6, whereas non-inner skew-symmetric ones occur in the resonant case $\phi:L\times L\to M$7, $\phi:L\times L\to M$8 (Tang, 2017).

The deformative Schrödinger–Virasoro Lie algebras $\phi:L\times L\to M$9 provide another infinite-dimensional family. In the skew-symmetric category, every biderivation is inner except when $\phi$0 and $\phi$1, where two explicitly constructed non-inner families $\phi$2 and $\phi$3 appear (Fan et al., 2016). In those special regimes, the vector space of skew-symmetric biderivations has dimension two or three depending on the arithmetic condition on $\phi$4 (Fan et al., 2016).

These examples show a common pattern. Rigidity dominates in perfect centerless settings, but nontrivial center, solvable extensions, or infinite-dimensional grading structures create room for extra central or module-valued components. This suggests that failures of perfectness or centerlessness are the primary sources of non-inner biderivations, a conclusion made explicit in several classifications (Tang, 2016, Tang, 2017, Tang, 2016).

5. Commuting maps, post-Lie structures, and related constructions

Biderivations are closely linked to commuting linear maps. A linear map $\phi$5 is commuting if

$\phi$6

If $\phi$7 is commuting, then

$\phi$8

is a biderivation; conversely, biderivations of this special form recover commuting maps (Tang, 2016). On finite-dimensional complex simple Lie algebras, commuting maps are exactly scalar multiples of the identity: $\phi$9 (Tang, 2016). On $D:L\times L\to L$00, they have the form

$D:L\times L\to L$01

for a linear functional $D:L\times L\to L$02 and a scalar $D:L\times L\to L$03 (Tang, 2016).

Brešar and Zhao established a complementary module-valued rigidity statement: if $D:L\times L\to L$04 is a Lie algebra and $D:L\times L\to L$05 an $D:L\times L\to L$06-module with $D:L\times L\to L$07, every commuting linear map $D:L\times L\to L$08 lies in the centroid $D:L\times L\to L$09 (Brešar et al., 2018). In the adjoint case, under the mild condition $D:L\times L\to L$10, commuting maps $D:L\times L\to L$11 are centroidal (Brešar et al., 2018).

Symmetric biderivations also control commutative post-Lie algebra structures. A commutative post-Lie product $D:L\times L\to L$12 is symmetric and satisfies

$D:L\times L\to L$13

The bilinear map $D:L\times L\to L$14 is then a symmetric biderivation (Tang, 2016, Tang, 2017, Chen et al., 2024). As a consequence, vanishing theorems for symmetric biderivations imply triviality of commutative post-Lie structures in many rigid settings. This yields triviality on finite-dimensional complex semisimple Lie algebras (Shiyuan et al., 2024), on finite-dimensional perfect Lie algebras in characteristic zero via ABD-structure nonexistence (Bajo et al., 17 Mar 2025), on Schrödinger–Virasoro algebras (Tang, 2016), on $D:L\times L\to L$15 (Tang, 2017), and on affine-Virasoro Lie algebras (Chakraborty et al., 21 Aug 2025).

The affine-Virasoro case is especially strong. For the affine-Virasoro Lie algebra $D:L\times L\to L$16 associated to a finite-dimensional complex simple $D:L\times L\to L$17, every derivation is inner, every skew-symmetric biderivation is inner, every symmetric biderivation is trivial, and hence every biderivation is inner (Chakraborty et al., 21 Aug 2025). The same rigidity then forces every commutative post-Lie algebra structure on $D:L\times L\to L$18 to be trivial (Chakraborty et al., 21 Aug 2025).

These relationships place biderivations at the intersection of derivation theory, centroid theory, and compatible algebraic structures. In many papers, commuting maps and post-Lie structures are not separate topics but direct corollaries of biderivation classifications (Tang, 2016, Tang, 2017, Tang, 2016, Chakraborty et al., 21 Aug 2025).

6. The space of biderivations as an algebraic object

For classical two-sided Lie biderivations, the literature has largely treated $D:L\times L\to L$19 as a vector space subject to classification rather than as a Lie algebra in its own right. Recent work changes this perspective by introducing Lie brackets on spaces of right and left biderivations (Bartolo et al., 16 Jul 2025).

A right biderivation is a bilinear map $D:L\times L\to L$20 that is linear in the first argument and satisfies

$D:L\times L\to L$21

For $D:L\times L\to L$22, the bracket

$D:L\times L\to L$23

makes $D:L\times L\to L$24 into a Lie algebra (Bartolo et al., 16 Jul 2025). Fiberwise, for fixed $D:L\times L\to L$25, this is the commutator of derivations $D:L\times L\to L$26 (Bartolo et al., 16 Jul 2025). Dually, left biderivations carry a Lie bracket

$D:L\times L\to L$27

and the corresponding space is likewise a Lie algebra (Bartolo et al., 16 Jul 2025).

For symmetric or skew-symmetric right biderivations, left and right notions coincide; such maps are automatically two-sided (Bartolo et al., 16 Jul 2025). The two Lie brackets are then related by transpose: $D:L\times L\to L$28 (Bartolo et al., 16 Jul 2025). However, even when $D:L\times L\to L$29 and $D:L\times L\to L$30 are symmetric, their right bracket need not remain symmetric or left-sided, as explicit computations on the Heisenberg algebra show (Bartolo et al., 16 Jul 2025).

This development is distinct from the classical classification results. It does not claim that the traditional space of two-sided biderivations on an arbitrary Lie algebra is itself closed under a natural commutator. Rather, it constructs a Lie algebra structure on the one-sided spaces $D:L\times L\to L$31 and $D:L\times L\to L$32, with the two-sided space appearing as their intersection (Bartolo et al., 16 Jul 2025). A distinguished closed subalgebra consists of maps

$D:L\times L\to L$33

with $D:L\times L\to L$34; these are stable under the right bracket and can be integrated, for simply connected Lie groups, to curves of automorphisms (Bartolo et al., 16 Jul 2025).

A different but related algebraic viewpoint occurs in Leibniz theory, where a biderivation is defined as a pair $D:L\times L\to L$35 of a derivation and an anti-derivation satisfying a compatibility relation, and the resulting space carries a natural right Leibniz algebra structure (Mancini, 2022, Yusupov et al., 24 Jul 2025). In solvable Leibniz algebras with null-filiform or filiform nilradicals, all biderivations are inner and the biderivation algebra is isomorphic to the original algebra via $D:L\times L\to L$36 (Yusupov et al., 24 Jul 2025). This is not a Lie-algebra result in the strict sense, but it underscores that “algebra of biderivations” can mean more than a mere vector space, depending on the ambient nonassociative category.

The recent bracket construction for right and left biderivations suggests an emerging shift from classification alone to internal algebraic structure (Bartolo et al., 16 Jul 2025). A plausible implication is that biderivations may eventually play a role analogous to ordinary derivations in deformation theory and higher-order symmetry analysis, although the current literature mostly develops the formal bracket and its immediate consequences rather than a full cohomological framework (Bartolo et al., 16 Jul 2025).

7. Scope, limitations, and current picture

The current theory is sharply stratified by structural hypotheses.

For finite-dimensional complex simple Lie algebras, the classification is complete: every biderivation is $D:L\times L\to L$37, symmetric biderivations vanish, commuting maps are scalar, and associated commutative post-Lie structures are trivial (Tang, 2016, Shiyuan et al., 2024). For finite-dimensional semisimple Lie algebras, the space of biderivations is identified with the centroid, one scalar per simple summand (Bartolo et al., 2023). For finite-dimensional perfect Lie algebras in characteristic zero, symmetric biderivations vanish even with module values (Bajo et al., 17 Mar 2025).

Beyond that regime, extra phenomena appear systematically. A nontrivial center yields additional symmetric central terms, as in $D:L\times L\to L$38 (Tang, 2016). Infinite-dimensional graded or semidirect-product Lie algebras may admit large families of non-inner symmetric or skew-symmetric biderivations, typically concentrated in abelian or central layers, as in Schrödinger–Virasoro and $D:L\times L\to L$39 (Tang, 2016, Tang, 2017). These examples show that “all biderivations are inner” is not a generic statement but a rigidity phenomenon tied to simplicity, perfectness, and centerlessness.

Characteristic assumptions are essential. Several vanishing and classification theorems rely on Whitehead’s lemma, Levi decomposition, Jacobson–Morozov theory, or root-space arguments requiring characteristic zero or exclusions such as $D:L\times L\to L$40 (Bajo et al., 17 Mar 2025, Chen et al., 2024). The existing results do not claim parallel classifications in positive characteristic, and several proofs are explicitly tied to characteristic-zero representation theory (Bajo et al., 17 Mar 2025).

Finally, the notion of “Lie algebra of biderivations” is still not uniform across the literature. In the classical Lie-algebra setting it often means the classified vector space $D:L\times L\to L$41; in recent work on one-sided biderivations it means an actual Lie algebra under a newly defined bracket (Bartolo et al., 16 Jul 2025); and in Leibniz settings it can mean a right Leibniz algebra of compatible derivation–anti-derivation pairs (Mancini, 2022, Yusupov et al., 24 Jul 2025). The common core across these variants is the same: biderivations encode second-order derivation behavior, and their structure is governed by the tension between rigidity from inner derivations and flexibility from centers, radicals, and grading-induced module effects.