Dual Pre-Poisson Algebras Overview

• Dual pre-Poisson algebras are defined by a permutative product and a Leibniz bracket linked with compatibility identities that generalize classical Poisson algebras.
• Operadic duality shows that dual pre-Poisson algebras are the Koszul dual of pre-Poisson algebras, offering insights into deformation quantization and bialgebra frameworks.
• Diassociative deformations, O-operators, and Hom-algebra extensions illustrate their practical role in extending Yang–Baxter theory and noncommutative geometry.

A dual pre-Poisson algebra is an algebraic structure formed by a permutative algebra and a Leibniz algebra linked via compatibility conditions that generalize the usual Poisson algebra. This concept arises as the Koszul dual of the pre-Poisson algebra, which couples Zinbiel and pre-Lie structures; thus, dual pre-Poisson algebras naturally belong to the operadic duality context and serve as "dual" objects to pre-Poisson algebras in deformation theory and bialgebra theory (Lu, 16 Jan 2026).

1. Algebraic Structure and Defining Axioms

A dual pre-Poisson algebra is defined on a vector space $A$ equipped with two operations: a permutative product $\circ$ and a Leibniz bracket $[\,,\,]$. The permutative product satisfies

$x\circ(y\circ z) = (y \circ x)\circ z$

for all $x, y, z \in A$, encapsulating the essence of permutative operads. The Leibniz bracket satisfies

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

for all $x,y,z \in A$, adhering to the right Leibniz law.

These two operations are coupled by mixed identities: $[x, y\circ z] = [x, y]\circ z + y\circ[x, z]$

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

$$(x\circ y)\circ z = (y\circ x)\circ z,\qquad [x, y]\circ z = - [y,x]\circ z$$

which ensure full compatibility and guarantee that the construction generalizes the classical Poisson algebra (commutative associative product and a Lie bracket satisfying the Leibniz rule). These axioms define the precise categorical and operadic content of dual pre-Poisson algebras (Lu, 16 Jan 2026).

2. Operadic Duality and Structural Properties

In operad theory, the dual pre-Poisson operad $\circ$0 is the Koszul dual of the pre-Poisson operad $\circ$1, itself known to be Koszul. The dual pre-Poisson operad is thus Koszul, and its Hilbert–Poincaré series is

$\circ$2

indicating that

$\circ$3

for all $\circ$4, reflecting maximal noncommutativity and intricate shuffle symmetries in the underlying tensor structure (Lu, 16 Jan 2026).

3. Deformation Quantizations and Semi-Classical Limits

A central methodology for constructing dual pre-Poisson algebras is via diassociative formal deformations of permutative algebras: $\circ$5

$\circ$6

giving rise to a dialgebra structure on $\circ$7. The semi-classical limit (as $\circ$8) yields the dual pre-Poisson bracket

$\circ$9

and it can be systematically verified that the triple $[\,,\,]$0 satisfies all dual pre-Poisson axioms. This result establishes a direct algebraic correspondence between deformation quantization on dialgebras and dual pre-Poisson structures (Lu, 16 Jan 2026), analogous to how associative deformations yield pre-Poisson in the Koszul counterpart.

4. Dual Pre-Poisson Bialgebras, Manin Triples, and Matched Pairs

A dual pre-Poisson bialgebra is a sextuple $[\,,\,]$1 where the coalgebra structures $[\,,\,]$2 (permutative) and $[\,,\,]$3 (Leibniz) intermesh via dualized versions of the algebraic compatibility relations. Three equivalent characterizations arise:

• Manin triples: The quadratic dual pre-Poisson algebra $[\,,\,]$4, with $[\,,\,]$5, and $[\,,\,]$6 and $[\,,\,]$7 isotropic subalgebras.
• Matched pairs: Two dual pre-Poisson algebras $[\,,\,]$8 with eight linear maps $[\,,\,]$9 acting mutually and satisfying sixteen quadratic relations; the bicrossed product $x\circ(y\circ z) = (y \circ x)\circ z$0 then forms the dual pre-Poisson algebra.
• Coproduct definition: Explicit compatibility relations between the coalgebra maps $x\circ(y\circ z) = (y \circ x)\circ z$1, $x\circ(y\circ z) = (y \circ x)\circ z$2 and the algebra structure (Lu, 16 Jan 2026).

This equivalence gives rise to a robust framework for generalizing bialgebra theory beyond the classical (Lie, associative, Poisson) context.

5. The Permutative–Leibniz Yang–Baxter Equation (PLYBE)

Dual pre-Poisson bialgebras admit a Yang–Baxter theory governed by the permutative–Leibniz Yang–Baxter equation. For $x\circ(y\circ z) = (y \circ x)\circ z$3,

$x\circ(y\circ z) = (y \circ x)\circ z$4

$x\circ(y\circ z) = (y \circ x)\circ z$5

with $x\circ(y\circ z) = (y \circ x)\circ z$6 and $x\circ(y\circ z) = (y \circ x)\circ z$7. Symmetric solutions $x\circ(y\circ z) = (y \circ x)\circ z$8 to $x\circ(y\circ z) = (y \circ x)\circ z$9, $x, y, z \in A$0 systematically yield dual pre-Poisson bialgebra structures, paralleling the role of the classical Yang–Baxter equation in Lie bialgebra theory (Lu, 16 Jan 2026).

6. $x, y, z \in A$1-Operators and Pre-Dual Pre-Poisson Algebras

An $x, y, z \in A$2-operator for a dual pre-Poisson algebra $x, y, z \in A$3 with respect to a module $x, y, z \in A$4 is a map $x, y, z \in A$5 satisfying

$x, y, z \in A$6

$x, y, z \in A$7

Such operators induce a pre-dual pre-Poisson structure on $x, y, z \in A$8 via

$x, y, z \in A$9

$[x,[y,z]] = [[x,y],z] + [y,[x,z]]$0

Splittings via Rota–Baxter operators induce pre-dual pre-Poisson structures, and invertible $[x,[y,z]] = [[x,y],z] + [y,[x,z]]$1-operators yield canonical dual structures.

Examples include the canonical 2-dimensional case with $[x,[y,z]] = [[x,y],z] + [y,[x,z]]$2, exhibiting a nontrivial Rota–Baxter splitting, and semidirect sums presenting explicit symmetric solutions to the PLYBE. This provides a systematic construction for dual pre-Poisson bialgebras from representation-theoretic data (Lu, 16 Jan 2026).

7. Dual–Hom–Pre–Poisson Extensions

In Hom-algebraic settings, a dual–Hom–pre–Poisson algebra $[x,[y,z]] = [[x,y],z] + [y,[x,z]]$3 imposes Hom-permutativity, Hom-Leibniz, and Hom-derivation among its operations and a twisting linear map $[x,[y,z]] = [[x,y],z] + [y,[x,z]]$4. The compatibility inherits all defining relations with each variable multiplied by an application of $[x,[y,z]] = [[x,y],z] + [y,[x,z]]$5 or $[x,[y,z]] = [[x,y],z] + [y,[x,z]]$6, mirroring the classical dual pre-Poisson but generalizing to Hom-structures (Liu et al., 2021).

Such algebras can be constructed from Hom–Poisson algebras equipped with a Hom-average-operator, leading to new Hom-dual-pre-Poisson structures and functorial connections between Hom–Poisson and dual–Hom–pre–Poisson categories. These objects capture inherently twisted deformation-theoretic phenomena.

Summary Table: Core Dual Pre-Poisson Structures

Structure	Defining Operation(s)	Key Identity/Compatibility
Permutative algebra	$[x,[y,z]] = [[x,y],z] + [y,[x,z]]$7	$[x,[y,z]] = [[x,y],z] + [y,[x,z]]$8
Leibniz algebra	$[x,[y,z]] = [[x,y],z] + [y,[x,z]]$9	$x,y,z \in A$0
Dual pre-Poisson algebra	$x,y,z \in A$1, $x,y,z \in A$2	(mixed compatibilities above)
Dual pre-Poisson bialg.	$x,y,z \in A$3	(bialgebra & Manin triple equivalence)
PLYBE (Yang–Baxter)	$x,y,z \in A$4	$x,y,z \in A$5

Dual pre-Poisson algebras and bialgebras provide a foundational algebraic formalism for addressing generalized Yang–Baxter equations, deformation quantizations, and bialgebra structures beyond the classical Lie and Poisson realms, with significant implications in operad theory, quantum algebra, and noncommutative geometry (Lu, 16 Jan 2026, Liu et al., 2021).