Transposed Poisson Structures: Theory & Mutation

• Transposed Poisson structures are compatibility frameworks on vector spaces that combine a commutative associative product with a Lie bracket via a transposed Leibniz rule.
• They utilize ½-derivation criteria and mutation mechanisms to generate non-trivial structures in various Lie families, such as Witt-type and Zassenhaus algebras.
• Their classification reveals rigidity in finite-dimensional, modular, and deformed settings while extending naturally to n-ary, conformal, and super variations.

Transposed Poisson structures are compatibility structures on a vector space carrying both a commutative associative multiplication and a Lie bracket, with the defining rule

$2\,z\cdot [x,y]=[z\cdot x,y]+[x,z\cdot y].$

They are the “transposed” counterparts of ordinary Poisson structures, in the sense that the Leibniz interaction between the two operations is reversed. Across the recent literature, the subject has developed along three linked lines: an operator-theoretic reformulation in terms of $\tfrac12$-derivations, classification on specific Lie families, and a widening circle of extensions to $n$-Lie, conformal, super, and $\delta$-deformed settings (Bai et al., 2020, Beites et al., 2022, Ouaridi, 28 Apr 2026).

1. Definition, operator reformulation, and basic identities

A transposed Poisson algebra over a field of characteristic different from two consists of a commutative associative product and a Lie bracket satisfying the transposed Leibniz rule above. The standard comparison point is the ordinary Poisson identity

$[x,y\cdot z]=[x,y]\cdot z+y\cdot [x,z],$

whereas in the transposed setting the multiplication acts on the bracket instead of the bracket acting as a derivation of the product (Bai et al., 2020, Ouaridi, 28 Apr 2026).

The central reduction used throughout the classification theory is that left multiplication by any element must be a $\tfrac12$-derivation of the underlying Lie algebra. Several papers use the label “$2$-derivation” for the same condition, so the notation is not uniform across the literature. In the common formulation, a linear map $D$ satisfies

$D([x,y])=\frac12\big([D(x),y]+[x,D(y)]\big),$

and a commutative associative product defines a transposed Poisson structure exactly when every multiplication operator $L_z:x\mapsto z\cdot x$ satisfies this identity (Kaygorodov et al., 2022, Yang et al., 2023, Lin et al., 1 Dec 2025). A basic consequence is the standard obstruction principle: if the Lie algebra has no non-trivial $\tfrac12$0-derivations, then it has no non-trivial transposed Poisson structures (Beites et al., 2022).

The theory also has a rich identity calculus. Among the identities proved for transposed Poisson algebras are

$\tfrac12$1

$\tfrac12$2

and

$\tfrac12$3

together with higher mixed identities that are repeatedly used in structure theory and in $\tfrac12$4-Lie constructions (Bai et al., 2020). In the unital case, the bracket is forced to come from a derivation of the associative algebra: $\tfrac12$5 which places unital transposed Poisson algebras close to generalized Poisson brackets and Jordan brackets (Beites et al., 2022).

A further rigidity statement concerns coexistence with ordinary Poisson compatibility. One source proves that if the same commutative associative product and Lie bracket satisfy both the Poisson and transposed Poisson identities, then

$\tfrac12$6

and the conformal and $\tfrac12$7-ary analogues exhibit the same degeneracy phenomenon (Bai et al., 2020, Yuan et al., 16 Mar 2026).

2. Global structure theory and simple finite-dimensional algebras

A major structural advance is the finite-dimensional decomposition theorem over an algebraically closed field. Every finite-dimensional transposed Poisson algebra decomposes as

$\tfrac12$8

where $\tfrac12$9 is unital and $n$0 is nilpotent. Moreover,

$n$1

with each $n$2 an ideal such that every multiplication operator $n$3 has a unique eigenvalue, and generalized eigenspaces of multiplication operators are ideals (Ouaridi, 28 Apr 2026). This makes the associative side of the theory highly spectral.

The same paper derives strong consequences for simplicity. If a finite-dimensional transposed Poisson algebra is simple, then its underlying Lie algebra is simple and the associative product is either unital or nilpotent. In characteristic $n$4, the simple case is trivial because simple Lie algebras admit no non-trivial $n$5-derivations in that setting (Ouaridi, 28 Apr 2026).

In characteristic $n$6, the situation is sharply different. Every simple finite-dimensional non-trivial transposed Poisson algebra over an algebraically closed field has underlying Lie algebra a Zassenhaus algebra $n$7, and every such algebra is isomorphic to some member of the family

$n$8

obtained by mutating a natural commutative associative structure on $n$9 (Ouaridi, 28 Apr 2026). If

$\delta$0

then for $\delta$1 the mutated product is

$\delta$2

This gives a complete classification of simple finite-dimensional non-trivial transposed Poisson algebras in that modular range, with

$\delta$3

The same work also solves the isomorphism problem for $\delta$4 up to a precise automorphism criterion and classifies irreducible finite-dimensional representations in the unital case (Ouaridi, 28 Apr 2026).

This structure theory reinforces a general theme already visible in earlier classification papers: when non-trivial transposed Poisson products exist, they are often not arbitrary deformations but mutations of a small number of natural commutative associative products.

3. Mutation and rigidity on Witt-type, Block-type, and $\delta$5-deformed algebras

The mutation paradigm is particularly explicit for Witt-type Lie algebras. For the algebras $\delta$6 with basis $\delta$7 and bracket

$\delta$8

the classification depends on the size of $\delta$9. If $[x,y\cdot z]=[x,y]\cdot z+y\cdot [x,z],$0, every transposed Poisson structure is a mutation of the group-algebra product

$[x,y\cdot z]=[x,y]\cdot z+y\cdot [x,z],$1

namely

$[x,y\cdot z]=[x,y]\cdot z+y\cdot [x,z],$2

for a fixed element $[x,y\cdot z]=[x,y]\cdot z+y\cdot [x,z],$3. If $[x,y\cdot z]=[x,y]\cdot z+y\cdot [x,z],$4, the algebra decomposes into a $[x,y\cdot z]=[x,y]\cdot z+y\cdot [x,z],$5-graded direct sum, and each homogeneous component carries its own mutated product. If $[x,y\cdot z]=[x,y]\cdot z+y\cdot [x,z],$6, the product still comes from mutation, but the multiplication of two elements from the nonzero part is forced to vanish (Kaygorodov et al., 2022). The same paper also notes that the resulting nonzero $[x,y\cdot z]=[x,y]\cdot z+y\cdot [x,z],$7-derivations yield new Hom-Lie structures.

Generalized Witt algebras $[x,y\cdot z]=[x,y]\cdot z+y\cdot [x,z],$8 display a sharp dichotomy. If $[x,y\cdot z]=[x,y]\cdot z+y\cdot [x,z],$9, all transposed Poisson structures are trivial. If $\tfrac12$0, they are, up to isomorphism, mutations of the natural group algebra structure on $\tfrac12$1 (Kaygorodov et al., 2023). Block Lie algebras $\tfrac12$2 behave differently: their transposed Poisson structures are in one-to-one correspondence with commutative associative products defined on a complement of the derived algebra and taking values in the center, and in particular all such structures are ordinary Poisson structures as well (Kaygorodov et al., 2023).

For the classical Block families $\tfrac12$3 and $\tfrac12$4, the dependence on parameters is rigid and arithmetic. On $\tfrac12$5, all transposed Poisson structures are trivial when $\tfrac12$6, while for each $\tfrac12$7 there is exactly one non-trivial structure up to isomorphism, given by

$\tfrac12$8

On the superalgebras $\tfrac12$9, all structures are trivial for $2$0, whereas $2$1 has two non-isomorphic non-trivial transposed Poisson superalgebra structures (Kaygorodov et al., 2022).

The $2$2-deformed picture is equally selective. For the $2$3-analog Virasoro-like algebra, generic $2$4 gives no non-trivial $2$5-derivations and hence no non-trivial transposed Poisson structures. At a primitive root of unity, non-trivial $2$6-derivations and non-trivial transposed Poisson structures do appear. By contrast, the $2$7-quantum torus Lie algebra has non-trivial $2$8-derivations in both generic and root-of-unity cases, yet still has no non-trivial transposed Poisson structure (Lin et al., 1 Dec 2025). This is one of the clearest demonstrations that non-trivial $2$9-derivations are necessary but not sufficient.

A related Witt-type object, $D$0, is itself equipped with a commutative associative product

$D$1

compatible with the Lie bracket, hence forming a transposed Poisson algebra. Its subsequent study shows that non-trivial $D$2-derivations occur only for $D$3 and $D$4, that automorphisms are sharply constrained, and that its known Novikov structures are universally compatible with the associative product (Lubkov et al., 12 May 2026).

4. Finite-dimensional matrix, incidence, solvable, and exceptional Lie algebras

For upper triangular matrix Lie algebras $D$5 in characteristic $D$6, the classification is nearly complete. If $D$7, every transposed Poisson structure is either of Poisson type or the orthogonal sum of a Poisson-type structure with a fixed non-Poisson structure

$D$8

For $D$9, there is one additional family. For the full matrix Lie algebra $D([x,y])=\frac12\big([D(x),y]+[x,D(y)]\big),$0, there is, up to isomorphism, only one non-trivial transposed Poisson structure, and it is of Poisson type: $D([x,y])=\frac12\big([D(x),y]+[x,D(y)]\big),$1 These results show that on matrix Lie algebras the associative product is forced to be sparse and largely controlled by the center and the derived algebra (Kaygorodov et al., 2023).

Lie incidence algebras exhibit a more combinatorial decomposition. For a finite connected poset $D([x,y])=\frac12\big([D(x),y]+[x,D(y)]\big),$2, every transposed Poisson structure on the Lie algebra $D([x,y])=\frac12\big([D(x),y]+[x,D(y)]\big),$3 is the sum of three pieces: a structure of Poisson type, a mutational structure, and a $D([x,y])=\frac12\big([D(x),y]+[x,D(y)]\big),$4-structure supported on

$D([x,y])=\frac12\big([D(x),y]+[x,D(y)]\big),$5

The corresponding classification of $D([x,y])=\frac12\big([D(x),y]+[x,D(y)]\big),$6-derivations splits them into a central-valued part, an inner part, and a part controlled by a function $D([x,y])=\frac12\big([D(x),y]+[x,D(y)]\big),$7 that is constant on chains and cycles (Kaygorodov et al., 2023). This places the transposed Poisson problem in direct contact with poset combinatorics.

Solvable Lie algebras provide a broad supply of positive examples. One paper proves that every complex finite-dimensional solvable Lie algebra admits a non-trivial transposed Poisson structure and a non-trivial Hom-Lie structure (Kaygorodov et al., 2022). Later work refines this broad existence statement by explicitly classifying structures on oscillator Lie algebras, solvable extensions of Heisenberg algebras, solvable Lie algebras with naturally graded filiform nilradical, and quasi-filiform Lie algebras of maximum length (Kaygorodov et al., 2023, Abdurasulov et al., 2024, Abdurasulov et al., 2024). In many of these classifications, the nonzero products are concentrated in highest-degree or central basis elements.

At the same time, perfect and semisimple-adjacent examples show the limits of the derivation criterion. The algebra

$D([x,y])=\frac12\big([D(x),y]+[x,D(y)]\big),$8

has non-trivial $D([x,y])=\frac12\big([D(x),y]+[x,D(y)]\big),$9-derivations but no non-trivial transposed Poisson structures, giving an explicit negative answer to the question whether the existence of non-trivial $L_z:x\mapsto z\cdot x$0-derivations guarantees a non-trivial transposed Poisson product (Kaygorodov et al., 2023).

Several families display extreme rigidity with isolated exceptions. For the Schrödinger algebra $L_z:x\mapsto z\cdot x$1, all transposed Poisson structures are trivial when $L_z:x\mapsto z\cdot x$2, while $L_z:x\mapsto z\cdot x$3 has, up to isomorphism, a unique non-trivial structure,

$L_z:x\mapsto z\cdot x$4

The same exceptional case also yields a non-trivial Hom-Lie structure (Yang et al., 2023). For extended Schrödinger–Virasoro algebras, there are no non-trivial $L_z:x\mapsto z\cdot x$5-derivations and no non-trivial transposed Poisson structures, whereas the original deformative Schrödinger–Virasoro algebras $L_z:x\mapsto z\cdot x$6 do have non-trivial $L_z:x\mapsto z\cdot x$7-derivations and corresponding non-trivial products (Shermatova, 2024). Galilean and conformal Galilean families likewise tend to be transposed-Poisson rigid (Kaygorodov et al., 2022).

5. Higher-arity, $L_z:x\mapsto z\cdot x$8-deformed, and conformal generalizations

The transposed Leibniz idea extends naturally to $L_z:x\mapsto z\cdot x$9-Lie brackets. A transposed Poisson $\tfrac12$00-Lie algebra has a commutative associative product and an $\tfrac12$01-Lie bracket satisfying

$\tfrac12$02

The survey records that every nilpotent $\tfrac12$03-dimensional $\tfrac12$04-Lie algebra with $\tfrac12$05 admits a non-trivial transposed Poisson $\tfrac12$06-Lie structure (Beites et al., 2022). The binary theory also feeds directly into $\tfrac12$07-Lie constructions: if $\tfrac12$08 is a derivation of a transposed Poisson algebra, then

$\tfrac12$09

defines a $\tfrac12$10-Lie bracket, and the “strongness” condition required in earlier Poisson-based constructions becomes automatic because it is one of the general identities satisfied by transposed Poisson algebras (Bai et al., 2020).

Concrete $\tfrac12$11-Lie classifications again show the divide between $\tfrac12$12-derivations and actual transposed Poisson products. For the Nambu $\tfrac12$13-Lie algebra $\tfrac12$14, there are many non-trivial $\tfrac12$15-derivations but only trivial transposed Poisson structures. For $\tfrac12$16, by contrast, non-trivial transposed Poisson structures exist and are explicitly classified by

$\tfrac12$17

and a constrained formula for $\tfrac12$18 involving both $\tfrac12$19- and $\tfrac12$20-components (Jiang et al., 11 Aug 2025).

A different deformation direction is the theory of transposed $\tfrac12$21-Poisson algebras. On null-filiform associative algebras $\tfrac12$22, the transposed $\tfrac12$23-Poisson classification is governed by the polynomial

$\tfrac12$24

The special values $\tfrac12$25 yield larger families, while for $\tfrac12$26 only a three-parameter family survives. In the same setting, all ordinary $\tfrac12$27-Poisson structures are trivial (Daukeyeva et al., 7 Jun 2025). A plausible implication is that the transposed condition can remain non-trivial on nilpotent associative bases even when the ordinary $\tfrac12$28-Poisson condition collapses.

Conformal analogues now form a parallel theory. Transposed Poisson conformal algebras and transposed Poisson conformal superalgebras replace products and brackets by $\tfrac12$29-products and $\tfrac12$30-brackets, and the defining rule becomes

$\tfrac12$31

or equivalently

$\tfrac12$32

These structures are closed under tensor products over $\tfrac12$33, naturally produce Hom-Lie conformal structures, and coexist with Poisson conformal compatibility only in degenerate cases (Yuan et al., 16 Mar 2026, Fang et al., 18 May 2026). The same papers also obtain classifications over the Lie conformal algebras $\tfrac12$34 and over rank $\tfrac12$35 Lie conformal superalgebras.

6. Conceptual relations, recurring mechanisms, and current directions

Several neighboring theories recur throughout the subject. Transposed Poisson algebras arise naturally from Novikov-Poisson algebras by taking the commutator of the Novikov product, and more generally from pre-Lie Poisson and related structures (Bai et al., 2020). The survey places them alongside generalized Poisson brackets, Jordan brackets, Gelfand–Dorfman algebras, quasi-Poisson algebras, and $\tfrac12$36-manifold algebras, and proves that unital transposed Poisson brackets extend to fraction fields (Beites et al., 2022). Recent work on simple finite-dimensional algebras adds applications to Jordan superalgebras, weak-Leibniz algebras, and modular quasi-Poisson examples (Ouaridi, 28 Apr 2026).

Three mechanisms now appear repeatedly across classifications. The first is the $\tfrac12$37-derivation principle: it is the universal first test, but not a sufficient criterion, as shown by the $\tfrac12$38-quantum torus Lie algebra and by $\tfrac12$39 (Lin et al., 1 Dec 2025, Kaygorodov et al., 2023). The second is mutation: many non-trivial products are obtained from a natural commutative associative product by inserting a fixed element, globally or componentwise, as in Witt-type and Zassenhaus-type classifications (Kaygorodov et al., 2022, Ouaridi, 28 Apr 2026). The third is central or top-degree concentration: in matrix, solvable, filiform, and incidence settings, nonzero products often land in the center, in the highest graded piece, or on extreme combinatorial strata (Kaygorodov et al., 2023, Kaygorodov et al., 2023, Abdurasulov et al., 2024).

The cited literature is not uniform on every foundational point. In particular, one paper states that the operad governing transposed Poisson algebras is Koszul self-dual (Bai et al., 2020), whereas the survey reports that the operad $\tfrac12$40 is not Koszul and attributes non-Koszulity to a generating-series obstruction and to an identification with weak Leibniz algebras (Beites et al., 2022). This indicates that the operadic status has been presented differently in the available sources.

The present state of the subject is therefore dual in character. On one side, classifications reveal strong rigidity: many Lie algebras admit only trivial structures, and even when non-trivial products exist they are usually mutation-type, Poisson-type, or supported on tightly constrained subspaces. On the other side, the theory has broadened into modular simple algebras, conformal and super settings, $\tfrac12$41-ary brackets, and $\tfrac12$42-deformations, while the survey literature continues to list open problems on free transposed Poisson algebras, universal enveloping constructions, PI theory in the non-unital case, transposed Poisson bialgebras, double transposed Poisson algebras, and transposed Gerstenhaber-type structures (Beites et al., 2022).