---
title: Transposed Poisson Algebra
url: https://www.emergentmind.com/topics/transposed-poisson-algebra
type: topic
---

# Transposed Poisson Algebra

A transposed Poisson algebra is a vector space \(A\) equipped with a commutative associative product \(\cdot\) and a Lie bracket \([\ ,\ ]\) such that
\[
2z\cdot [x,y]=[z\cdot x,y]+[x,z\cdot y]
\qquad \text{for all }x,y,z\in A.
\]
This compatibility is the transposed analogue of the usual Poisson Leibniz rule: in an ordinary Poisson algebra the bracket acts as a derivation of the product, whereas here multiplication by \(z\) acts on the Lie bracket as a \(\tfrac12\)-derivation. The notion was introduced as a dual version of Poisson algebra and has since been connected with weak Leibniz algebras, Novikov-Poisson algebras, nilpotency theory, operadic structures, quantization by Novikov deformations, and noncommutative double analogues [2005.01110] [2308.15018] [2604.25586] [2607.01066].

## 1. Definition and basic viewpoints

The defining data of a transposed Poisson algebra are standard on each side: \((A,\cdot)\) is a commutative associative algebra, \((A,[\ ,\ ])\) is a Lie algebra, and the mixed identity is
\[
2z\cdot [x,y]=[z\cdot x,y]+[x,z\cdot y].
\]
Many papers formulate this as a statement about multiplication operators. If \(M_z(x)=z\cdot x\), then the compatibility is equivalent to requiring that every \(M_z\) be a \(\tfrac12\)-derivation of the Lie algebra:
\[
M_z([x,y])=\frac12\big([M_z(x),y]+[x,M_z(y)]\big).
\]
In finite-dimensional structure theory, the same idea is encoded by operators \(P_x(y)=x\cdot y\) and \(Q_x(y)=[x,y]\), with the equivalent identity
\[
Q_xP_y=2P_yQ_x-Q_{x\cdot y}.
\]
This operator form is central in Engel-type arguments and in classifications by \(\tfrac12\)-derivations [2210.00217] [2604.25586].

The literature also treats transposed Poisson algebras as a special kind of dialgebra: a vector space with two binary operations. In that language, a subalgebra \(A\subseteq P\) satisfies \(A\cdot A+[A,A]\subseteq A\), and an ideal \(I\subseteq P\) satisfies \(I\cdot P+P\cdot I+[I,P]+[P,I]\subseteq I\). Some works call the structure trivial when either the associative product or the Lie bracket is trivial. Characteristic restrictions depend on the context: the general dialgebra definition is usually stated over fields of characteristic \(\neq 2\), while polarization arguments impose additional restrictions [2604.25586] [2308.15018].

## 2. Polarization and the weak Leibniz origin

A major structural characterization identifies transposed Poisson algebras as the polarized form of weak Leibniz algebras. A weak Leibniz algebra is a one-product nonassociative algebra \((A,\times)\) satisfying
\[
[a,b]c=2a(bc)-2b(ac),\qquad a[b,c]=2(ab)c-2(ac)b,
\]
where \([a,b]=ab-ba\). No associativity, commutativity, anti-commutativity, or Lie identity is assumed for the single product. Every Leibniz algebra is weak Leibniz, but not conversely [2308.15018].

The passage to transposed Poisson structure is by polarization. If \((A,\times)\) is a one-product algebra, set
\[
a\circ b=\frac12(a\times b-b\times a),\qquad a\cdot b=\frac12(a\times b+b\times a).
\]
Conversely, if \((A,\circ,\cdot)\) is a dialgebra, its depolarization is the one-product algebra with
\[
a\times b=a\circ b+a\cdot b.
\]
The main equivalence theorem states that if \((A,\times)\) is weak Leibniz over a field of characteristic \(p\neq 2,3\), then its polarization is a transposed Poisson algebra; conversely, if \((A,\circ,\cdot)\) is transposed Poisson over a field of characteristic \(p\neq 2\), then its depolarization is weak Leibniz. Hence, in characteristic \(p\neq 2,3\), an algebra is weak Leibniz if and only if its polarization is transposed Poisson [2308.15018].

This characterization explains the internal decomposition of the weak Leibniz product. The skew part becomes a Lie bracket, the symmetric part becomes a commutative associative product, and the weak Leibniz identities polarize to
\[
2 a \cdot (b\circ c) - (a\cdot b)\circ c - b\circ (a\cdot c)=0.
\]
The same paper also proves that the weak Leibniz operad is self-dual and not Koszul. Since transposed Poisson algebras arise from polarization of weak Leibniz algebras, this operadic behavior informs the one-product operadic background of the theory [2308.15018].

## 3. Standard constructions and sources

The basic explicit construction starts from a commutative associative algebra \((A,\cdot)\) with a derivation \(D\). Then
\[
[x,y]=x\cdot D(y)-D(x)\cdot y
\]
defines a Lie bracket, and \((A,\cdot,[\ ,\ ])\) is a transposed Poisson algebra. In polynomial algebras this yields brackets of the form
\[
[g,h]=\sum_i f_i\big(g\,\partial_{x_i}(h)-h\,\partial_{x_i}(g)\big),
\]
with \(D=\sum_i f_i\partial_{x_i}\) [2005.01110].

A second major source is Novikov-Poisson theory. If \((A,\cdot,\circ)\) is a Novikov-Poisson algebra, then the commutator
\[
[x,y]=x\circ y-y\circ x
\]
turns \((A,\cdot,[\ ,\ ])\) into a transposed Poisson algebra. More generally, transposed Novikov-Poisson algebras were introduced so that their affinization \(A[t,t^{-1}]\) is transposed Poisson. For a transposed Novikov-Poisson algebra \((A,\cdot,\circ)\), the loop algebra carries
\[
(xt^m)\cdot(yt^n)=(x\cdot y)t^{m+n},
\]
\[
[xt^m,yt^n]=m(x\circ y)t^{m+n-1}-n(y\circ x)t^{m+n-1},
\]
and this is transposed Poisson if and only if \((A,\cdot,\circ)\) satisfies the transposed Novikov-Poisson identities. The same paper gives a tensor-product construction with a right differential Novikov-Poisson algebra and proves that tensor products of transposed Novikov-Poisson algebras remain in the same class [2602.12519].

Transposed Poisson algebras are also closed under tensor products in the purely transposed Poisson category. If \((P_1,\cdot_1,[\ ,\ ]_1)\) and \((P_2,\cdot_2,[\ ,\ ]_2)\) are transposed Poisson algebras, then \(P_1\otimes P_2\) becomes one under
\[
(x_1\otimes x_2)\cdot (y_1\otimes y_2)=x_1\cdot_1 y_1\otimes x_2\cdot_2 y_2,
\]
\[
[x_1\otimes x_2,\ y_1\otimes y_2]=[x_1,y_1]_1\otimes x_2\cdot_2 y_2+x_1\cdot_1 y_1\otimes [x_2,y_2]_2.
\]
In the nilpotent/solvable setting, tensor products preserve nilpotency and solvability when one factor has the corresponding property [2005.01110] [2604.25586].

Quantization enters through Novikov deformations. If a commutative associative algebra is deformed into a Novikov algebra \(x\cdot_h y=x\cdot y+h\,\phi_1(x,y)+\cdots\), then the classical limit bracket
\[
[x,y]=\phi_1(x,y)-\phi_1(y,x)
\]
is transposed Poisson. All transposed Poisson algebras of Novikov-Poisson type, including all unital transposed Poisson algebras, are quantizable in this sense [2410.16056].

## 4. Classifications on major Lie families

Several concrete Lie algebras admit explicit classifications of their transposed Poisson structures. The results are sharply rigidity-sensitive: some families admit only mutations or Poisson-type structures, while others allow one or a few exceptional non-Poisson classes.

| Lie algebra family | Classification pattern | Source |
|---|---|---|
| Witt type \(V(f)\) | Mutations of the group algebra product when \(|f(\Gamma)|\ge 4\); three-summand or piecewise mutation forms when \(|f(\Gamma)|=3\) or \(2\) | [2210.00217] |
| Generalized Witt \(W(A,V,\langle\cdot,\cdot\rangle)\) | Trivial if \(\dim(V)>1\); mutations of the group algebra structure on \(FA\) if \(\dim(V)=1\) | [2302.00403] |
| Block \(L(A,g,f)\) | In bijection with commutative associative products on a complement of \([L,L]\) with values in \(Z(L)\); all are usual Poisson structures | [2302.00403] |
| Block \(\mathcal B(q)\) | Trivial for \(q\notin \mathbb Z\); one nontrivial isomorphism class for \(q\in \mathbb Z\) | [2208.00648] |
| Upper triangular \(T_n(F)\) | For \(n>2\): Poisson type, or orthogonal sum with a fixed non-Poisson structure; for \(n=2\): one extra class | [2305.00727] |
| Full matrix \(M_n(F)\) | Up to isomorphism, one non-trivial structure, of Poisson type | [2305.00727] |
| Incidence Lie algebra \(I(X,K)\) | Sum of a Poisson-type part, a mutational part, and a \(\lambda\)-part supported on extreme pairs \(X_e^2\) | [2309.00332] |

For Witt type Lie algebras \(V(f)\), the classification is controlled by \(\tfrac12\)-derivations. When \(|f(\Gamma)|\ge 4\), all transposed Poisson products are mutations of the group algebra multiplication \(e_\alpha\cdot e_\beta=e_{\alpha+\beta}\). When \(|f(\Gamma)|=3\), the algebra decomposes into three coset summands, each carrying a mutated product and with zero cross-multiplication. When \(|f(\Gamma)|=2\), the product has a piecewise form depending on whether the basis indices lie in \(\Gamma_0=f^{-1}(0)\) [2210.00217].

For the Lie algebra of upper triangular matrices \(T_n(F)\), the central classification is especially explicit. For \(n>2\), every transposed Poisson structure is either of Poisson type or the orthogonal sum of a Poisson-type structure with the fixed multiplication
\[
e_{11}\cdot e_{11}=-\,e_{11}\cdot e_{nn}=e_{nn}\cdot e_{nn}=e_{1n}.
\]
For \(n=2\), there is one more class. The same paper proves that \(M_n(F)\), up to isomorphism, admits only one non-trivial transposed Poisson structure, and it is of Poisson type [2305.00727].

For Lie incidence algebras \(I(X,K)\), the classification is combinatorial. Every transposed Poisson structure is the sum of a Poisson-type structure, a mutational structure, and a \(\lambda\)-structure determined by a map \(\lambda:X_e^2\to K\), where \(X_e^2\) consists of maximal comparable pairs not contained in cycles. The underlying \(\tfrac12\)-derivations decompose into central-valued, inner, and chain/cycle-constant pieces [2309.00332].

## 5. Nilpotency, radicals, and Frattini theory

The finite-dimensional structure theory of transposed Poisson algebras has been developed in detail. For a subalgebra \(A\), the lower central series is defined by
\[
A^0=A,\qquad A^{n+1}=\sum_{i=0}^n\bigl(A^i\cdot A^{n-i}+[A^i,A^{n-i}]\bigr),
\]
and Proposition 2.4 simplifies this to
\[
A^{k+1}=A\cdot A^k+[A,A^k].
\]
The derived series is
\[
A^{(0)}=A,\qquad A^{(n+1)}=A^{(n)}\cdot A^{(n)}+[A^{(n)},A^{(n)}].
\]
These definitions support analogues of Lie- and associative-algebra nilpotency and solvability [2604.25586].

The main structural theorem is an Engel-type criterion:
\[
P \text{ is nilpotent if and only if } P_A \text{ and } P_L \text{ are nilpotent}.
\]
In finite dimension, this is equivalent to the nilpotency of all left multiplication operators \(P_x\) and \(Q_x\). The proof uses the operator identity
\[
Q_xP_y=2P_yQ_x-Q_{x\cdot y}
\]
to reorder words in the operators and force vanishing from the nilpotency of the associative and Lie sides [2604.25586].

The same paper proves that if \(P\) is finite-dimensional and Lie nilpotent, then the derived Lie algebra \([P,P]\) is a nilpotent ideal. From this it deduces that the nilpotent radical \(Nil(P)\) coincides with the associative radical \(Nil_A(P)\) in the Lie-nilpotent case. It also develops a Frattini theory: for finite-dimensional \(P\),
\[
F(P),\phi(P)\subseteq P^1=P\cdot P+[P,P],
\]
the Frattini ideal \(\phi(P)\) is associative nilpotent, and in the nilpotent case
\[
F(P)=\phi(P)=J(P)=P^1.
\]
If \(\phi(P)=0\), then the zero socle coincides with the nilpotent radical, and in the Lie-nilpotent case one obtains decompositions
\[
P=\operatorname{Zsoc}(P)\dot{+}A
\]
and
\[
P=Nil_A(P)\dot{+}U,\qquad [U,U]=0.
\]
These results show that transposed Poisson nilpotency behaves neither as a mere copy of Lie theory nor of commutative associative theory, but through a coupled dialgebra structure [2604.25586].

## 6. Operadic, GD, and splitting perspectives

Transposed Poisson algebras admit a precise reformulation in the language of Gel'fand-Dorfman theory. The variety of transposed Poisson algebras coincides with the variety of Gelfand-Dorfman algebras in which the Novikov multiplication is commutative. In that form, the transposed Poisson identity can be written as
\[
2[x_1,x_2]x_3=[x_1x_3,x_2]+[x_1,x_2x_3].
\]
The corresponding shuffle-operad Gröbner-Shirshov basis has been computed up to degree \(4\), and the same work proves that every transposed Poisson algebra is an \(F\)-manifold. It also verifies that the known special identities of GD-algebras hold in transposed Poisson algebras and formulates the conjecture that every transposed Poisson algebra is special, meaning embeddable into a differential Poisson algebra [2305.12869].

A different line of work studies splittings of the two operations. Because a transposed Poisson algebra contains both a commutative associative product and a Lie bracket, each can be left unsplit, classically split, or second-split. This yields mixed families interpreted by representations of the transposed Poisson algebra on the space itself and on the dual space. The paper constructs \(8\) structures on the underlying space and another \(8\) on the dual, including TZPO algebras, which are described as “pre-transposed Poisson algebras” and are viewed operadically as successors of the transposed Poisson operad. A decisive difference from the ordinary Poisson case is that for a representation \((\mu,\rho,V)\) of a transposed Poisson algebra, \((-\mu^*,\rho^*,V^*)\) is not automatically again a representation; this failure is precisely why the theory splits into distinct “on the space” and “on the dual space” branches [2310.08299].

## 7. Generalizations and current directions

Several recent extensions broaden the notion far beyond the original commutative-Lie setting. In the super case, a transposed Poisson superalgebra consists of a commutative associative superalgebra, a Lie superalgebra, and the graded compatibility
\[
2z\cdot [x,y]=[z\cdot x,y]+(-1)^{|x||z|}[x,z\cdot y].
\]
Even derivations of commutative superalgebras produce genuine transposed Poisson superalgebras, while odd derivations do not fit the usual parity requirements and instead lead to a new TP-compatible supermodule/Jordan-type structure. The same paper shows that a transposed Poisson superalgebra with an even derivation yields a \(3\)-Lie superalgebra [2503.16900].

Parameterized generalizations also exist. Transposed \(\delta\)-Poisson algebras replace the coefficient \(2\) by \(\delta\):
\[
\delta\, z\cdot [x,y]=[z\cdot x,y]+[x,z\cdot y].
\]
On the null-filiform associative algebra \(\mu_0^n\), the structure theory changes according to the roots of
\[
\delta^3-3\delta^2+2\delta=\delta(\delta-1)(\delta-2),
\]
with \(\delta=2\) recovering ordinary transposed Poisson algebras. The same paper proves that ordinary \(\delta\)-Poisson algebra structures on these null-filiform associative algebras are all trivial [2507.10554].

The quantization problem has a specifically transposed form. Novikov deformations of commutative associative algebras have classical limits that belong to a subclass of transposed Poisson algebras, called those of quantizable type. All transposed Poisson algebras of Novikov-Poisson type, including all unital transposed Poisson algebras, can be quantized; the paper also classifies, up to equivalence, the quantizations of \(2\)-dimensional complex transposed Poisson algebras with non-abelian Lie brackets [2410.16056].

Two further expansions move in different directions. First, the noncommutative analogue is the double transposed Poisson algebra: on a unital associative algebra \(A\), every such structure is governed by a single derivation
\[
A\to A\otimes \operatorname{S}(A/[A,A]),
\]
and it induces a \(\operatorname{GL}_N\)-equivariant transposed Poisson structure on each representation algebra \(A_N=\Bbbk[\operatorname{Rep}_N(A)]\). The same paper introduces \(H_0\)-transposed Poisson structures and uses the trace map to obtain transposed Poisson structures on \(A_N^{\operatorname{GL}_N}\) [2607.01066]. Second, Hopf-module theory has been adapted to the transposed setting: if \(H\) is a Hopf algebra and \(A\) an \(H\)-comodule transposed Poisson algebra, then under a right \(H\)-colinear algebra map \(H\to A^A\) into the transposed Poisson center, the fundamental theorem of transposed Poisson \((A,H)\)-Hopf modules reconstructs every module as
\[
M\cong A\otimes_{A^{AcoH}} M^{AcoH},
\]
and yields relative projectivity in the corresponding module category [2509.08278].

These developments indicate a stable pattern. Transposed Poisson algebra is no longer only a dualized Leibniz rule on a commutative algebra with Lie bracket; it is a node linking weak Leibniz polarization, Novikov and Gel'fand-Dorfman structures, radical and Frattini theory, representation-scheme geometry, and several graded and noncommutative extensions.

Source: https://www.emergentmind.com/topics/transposed-poisson-algebra