Permutative-Leibniz Yang-Baxter Equation

• The PLYBE is a higher-arity generalization of the Yang-Baxter equation that combines permutative and Leibniz operations to construct dual pre-Poisson bialgebras.
• It provides a structured framework integrating deformation quantization with n-Leibniz and self-distributive algebraic systems, facilitating explicit tensor constructions.
• Methodologies using O-operators and symmetric tensor solutions ensure compatibility conditions that yield consistent algebraic and coalgebraic structures.

The Permutative-Leibniz Yang-Baxter Equation (PLYBE) is a generalized Yang-Baxter equation that emerges at the intersection of the theory of dual pre-Poisson algebras and $n$-Leibniz algebra structures. By combining permutative and Leibniz algebraic operations, the PLYBE encodes the compatibility conditions required for the construction of dual pre-Poisson bialgebras and their deformation quantizations. Furthermore, it affords a higher-arity perspective on the classical Yang-Baxter equation, vital for understanding algebraic, bialgebraic, and categorical structures in both low and high arity settings (Lu, 16 Jan 2026, Das et al., 9 Aug 2025).

1. Algebraic Framework: Dual Pre-Poisson and $n$-Leibniz Structures

A dual pre-Poisson algebra $(A, \odot, [\ ,\ ])$ concurrently supports a permutative algebra structure $(A, \odot)$ and a Leibniz algebra structure $(A, [\ ,\ ])$, linked by a set of compatibility relations:

• $(A, \odot)$ is permutative: $$x \odot (y \odot z) = (x \odot y) \odot z = (y \odot x) \odot z$$.
• $(A, [\ ,\ ])$ is Leibniz: $[x,[y,z]] = [[x,y],z] + [y,[x,z]]$.
• Compatibility: $[x, y\odot z] = [x, y] \odot z + y \odot [x, z]$; $[x \odot y, z] = x \odot [y, z] + y \odot [x, z]$; $[x, y] \odot z = -[y, x] \odot z$.

In the higher ($n$-ary) setting, an $n$-Leibniz algebra $\mathcal{L}$ is a vector space with an $n$-linear bracket $$[\ , \ldots, \ ]:\mathcal{L}^{\otimes n} \to \mathcal{L}$$ subject to the fundamental (Leibniz) identity,

$$[[x_1, ..., x_n], y_1, ..., y_{n-1}] = \sum_{i=1}^{n} [x_1,...,x_{i-1}, [x_i,y_1,...,y_{n-1}], x_{i+1},...,x_n].$$

A bracket is permutative if it intertwines naturally with the permutation symmetry of the inputs, specifically so that the derived rack operation (defined via exponentiation of internal derivations) permutes the first argument into the last slot (Das et al., 9 Aug 2025).

2. Definition of the PLYBE

Given a dual pre-Poisson algebra $(A, \odot, [\ ,\ ])$ and a tensor $r = \sum_k a_k \otimes b_k \in A \otimes A$, the PLYBE is defined through two Yang–Baxter-type expressions in $A \otimes A \otimes A$:

• Permutative component: $$P(r) := r_{13} \odot r_{23} - r_{12} \odot r_{23} + r_{13} \boxminus r_{12},$$ where $a \boxminus b := a \odot b - b \odot a$.
• Leibniz component: $$L(r) := [r_{13}, r_{23}] + [r_{12}, r_{23}] - r_{12} \square r_{13},$$ where $a \square b := [a, b] + [b, a]$.

Explicitly, these tensorial operations are constructed as:

• $$r_{13} \odot r_{23} = \sum_{i,j} (a_i \otimes a_j \otimes b_i \odot b_j)$$,
• $$r_{12} \odot r_{23} = \sum_{i,j} (a_i \otimes b_i \odot a_j \otimes b_j)$$,
• $$r_{13} \boxminus r_{12} = \sum_{i,j} ((a_i \boxminus a_j) \otimes b_j \otimes b_i)$$,
• $$[r_{13}, r_{23}] = \sum_{i,j} (a_i \otimes a_j \otimes [b_i, b_j])$$,
• $$[r_{12}, r_{23}] = \sum_{i,j} (a_i \otimes [b_i, a_j] \otimes b_j)$$,
• $$r_{12} \square r_{13} = \sum_{i,j} ((a_i \square a_j) \otimes b_i \otimes b_j)$$.

A tensor $r$ is a solution to the PLYBE if $P(r)=0$ and $L(r)=0$ (Lu, 16 Jan 2026).

For the general $n$-ary setting, an invertible operator $S:V^{\otimes n} \to V^{\otimes n}$ is an $n$-Yang–Baxter operator if it satisfies the higher braid relation,

$$(S \otimes \operatorname{Id}^{\otimes n-1})\, (\operatorname{Id} \otimes S \otimes \operatorname{Id}^{\otimes n-2})\, \ldots\, (\operatorname{Id}^{\otimes n-1} \otimes S)\, (S \otimes \operatorname{Id}^{\otimes n-1}) = \text{mirror image}.$$

The PLYBE encodes this as a higher-arity generalization (Das et al., 9 Aug 2025).

3. Origin: Bialgebraic and Deformation-Theoretic Underpinnings

The PLYBE originates in the construction of dual pre-Poisson bialgebras. Here, $A$ is furnished with coproducts $\delta_{\odot}$ (making $(A, \delta_{\odot})$ a permutative coalgebra) and $\delta_{[\ ,\ ]}$ (making $(A, \delta_{[\ ,\ ]})$ a Leibniz coalgebra), subject to compatibilities that mirror the original algebraic ones. In the coboundary case, one writes $\delta_{\odot}(x) = E(x) \cdot r$ and $\delta_{[\ ,\ ]}(x) = F(x) \cdot r$, where $E, F$ are determined by left/right actions of $\boxminus$, $\odot$, and $[\ ,\ ]$. The requirement that the mixed compatibility relations vanish is equivalent to $P(r)=0$ and $L(r)=0$ (Lu, 16 Jan 2026).

From a deformation-theory perspective, a dialgebra deformation of a permutative algebra $(A, \odot)$ involves two $\hbar$-dependent products whose first-order terms define a Leibniz bracket. The order-$\hbar^2$ constraints in the associativity expansion yield exactly the PLYBE for the leading deformation tensor $r$ (Lu, 16 Jan 2026).

In the $n$-ary context, every finite-dimensional $n$-Leibniz algebra induces an $n$-rack structure via the exponential of (right) adjoint derivations. This $n$-rack operation defines a self-distributive system, and the induced $n$-Yang–Baxter operator expresses the higher-arity self-distributivity as a braid relation—that is, as the PLYBE (Das et al., 9 Aug 2025).

4. Algebraic Properties and Construction via $\mathcal{O}$-Operators

Key algebraic properties of PLYBE solutions include:

• Symmetry: Typically, symmetric solutions $r=r^{T}$ (i.e., $r_{12} = r_{21}$) are preferred, as they ensure the tensor calculus underlying bialgebra constructions is well-behaved.
• Compatibility and $\mathcal{O}$-operators: For symmetric $r$, the dual map $\widetilde{r}:A^* \to A$ is an $\mathcal{O}$-operator for the coregular representation of $A$. That is, if $T:V \to A$ is an $\mathcal{O}$-operator associated to a representation $$(V;\ell_{\odot}, r_{\odot}, \ell_{[\ ,\ ]}, r_{[\ ,\ ]})$$, it satisfies the split compatibility conditions:

$$T(u)\odot T(v) = T(\ell_{\odot}(T(u))v + r_{\odot}(T(v))u), \qquad [T(u), T(v)] = T(\ell_{[\ ,\ ]}(T(u))v + r_{[\ ,\ ]}(T(v))u).$$

The image $T(V)$ then inherits a canonical pre-dual pre-Poisson algebra structure with four bilinear operations $$(\blacktriangleright, \blacktriangleleft, \triangleright, \triangleleft)$$ satisfying twelve splitting axioms (Lu, 16 Jan 2026).

• Bialgebra construction: For symmetric $r$, dual pre-Poisson bialgebra structures are defined via

$$\delta_{\odot}(x) = (R_{\boxminus}(x) \otimes \operatorname{Id} + \operatorname{Id} \otimes R_{\odot}(x))r,\qquad \delta_{[\ ,\ ]}(x) = (L_{\square}(x) \otimes \operatorname{Id} - \operatorname{Id} \otimes R_{[\ ,\ ]}(x))r$$

These yield respective permutative and Leibniz coproducts compatible precisely when $r$ satisfies the PLYBE (Lu, 16 Jan 2026).

5. Higher-Ary and Set-Theoretical PLYBE

In higher arity ($n>2$), the PLYBE describes the higher braid relation obeyed by $n$-Yang–Baxter operators. For every finite-dimensional $n$-Leibniz algebra,

$$S(u_1 \otimes \cdots \otimes u_n) = u_2 \otimes \cdots \otimes u_n \otimes \langle u_1, u_2, ..., u_n \rangle,$$

where $\langle \cdot \rangle$ is the $n$-rack operation, is invertible and satisfies the higher braid (PLYBE) relation: $$\langle \langle u_1, ..., u_n \rangle, v_1, ..., v_{n-1} \rangle = \langle \langle u_1, v_1, ..., v_{n-1} \rangle, ..., \langle u_n, v_1, ..., v_{n-1} \rangle \rangle,$$ encoding $n$-ary self-distributivity (Das et al., 9 Aug 2025).

In the set-theoretic field, an $n$-set-solution $s: X^n \to X^n$ is a bijection satisfying the analogous string equation. Here, the $n$-rack operation directly produces a permutative set-theoretic solution to the PLYBE.

6. Illustrative Example and Explicit Constructions

Consider the two-dimensional algebra $A$ with basis $\{e_1, e_2\}$ and operations $e_2 \odot e_2 = [e_2, e_2] = e_1$. The map $P(e_1) = \frac{1}{2} e_1$, $P(e_2) = e_2$ defines a Rota–Baxter operator. The induced pre-dual pre-Poisson structure on $A$ features all four products nonzero and equal to $e_1$. In the doubled algebra $A \ltimes A^*$, the symmetric tensor $$r = e_1 \otimes e_1^* + e_1^* \otimes e_1 + e_2 \otimes e_2^* + e_2^* \otimes e_2$$ solves the PLYBE and yields explicit dual pre-Poisson bialgebra coproducts via $\delta_{\odot}(x) = E(x) \cdot r$, $\delta_{[\ ,\ ]}(x) = F(x) \cdot r$ (Lu, 16 Jan 2026).

7. Significance, Connections, and Further Context

The PLYBE encapsulates an overview of Yang-Baxter theory, pre-Poisson algebra deformation, coalgebraic structures, and higher rack/Leibniz algebra theory. Its appearance ensures the compatibility required for dual pre-Poisson bialgebras, the construction of Manin triples, and the operation of $\mathcal{O}$-operators—tools crucial for the systematic generation of bialgebras and their symmetric solutions. In the $n$-ary regime, it generalizes the classical braid-type constraints, providing a unified formalism for both binary and higher-arity integrable systems, categorifications, and homological algebraic structures (Lu, 16 Jan 2026, Das et al., 9 Aug 2025).