Dendriform Yang–Baxter Equation

• Dendriform Yang–Baxter Equation is a tensor equation that extends the classical YBE by encoding compatibility conditions in dendriform, pre-Lie, and Leibniz-dendriform algebras.
• Its symmetric solutions facilitate the construction of triangular and quasi-triangular bialgebra structures, establishing links with Lie and associative bialgebras.
• The equation underpins the role of O–operators and Rota–Baxter operators, supporting classification and explicit construction of algebraic objects in both low-dimensional and affine settings.

The dendriform Yang–Baxter equation (DYBE) is a tensor equation arising from the operadic splitting of associative algebra structures. It generalizes the classical Yang–Baxter equation to the context of dendriform and related algebraic systems, thereby encoding compatibility conditions for bialgebraic and quantum-type structures. DYBE is central to the correspondence between dendriform bialgebras and their associated Lie, associative, or pre-Lie bialgebras, as well as for the analysis of $\mathcal O$-operators and the structural interplay with Rota–Baxter operators. Its symmetric solutions are intricately linked to the construction of triangular bialgebra structures, while its generalizations accommodate a range of quasi-triangular and factorizable algebraic objects (Hou, 24 Jan 2026, Sun et al., 19 Oct 2025, Bai et al., 2011, Hounkonnou et al., 2015, Hounkonnou et al., 2017).

1. Dendriform Algebras and Bialgebra Structures

A dendriform algebra is a vector space $D$ with two bilinear operations $\prec,\,\succ : D \otimes D \rightarrow D$ satisfying the axioms: $$(x\prec y)\prec z = x\prec(y\prec z) + x\prec(y\succ z), \quad (x\succ y)\prec z = x\succ(y\prec z), \quad x\succ(y\succ z) = (x\prec y)\succ z + (x\succ y)\succ z.$$ The split products guarantee that the total product $x*y := x\prec y + x\succ y$ is associative, and $x\diamond y := x\succ y - y\prec x$ is pre-Lie.

A dendriform $D$-bialgebra is a quintuple $(D,\prec,\succ,\,\theta_{\prec},\,\theta_{\succ})$ where $$\theta_{\prec},\,\theta_{\succ} : D \rightarrow D\otimes D$$ endow $D$ with a compatible dendriform coalgebra structure, subject to a set of six compatibility conditions (D-BI1)–(D-BI6) involving the actions of left and right multiplications in the split algebra (Hou, 24 Jan 2026). These conditions generalize the compatibility between multiplication and comultiplication in associative and Lie bialgebras to the dendriform setting.

2. The Dendriform Yang–Baxter Equation: Definition and Core Properties

The DYBE in a dendriform algebra $(D,\prec,\succ)$ is, for $r\in D\otimes D$,

$$\boxed{ \mathbf{D}_r = r_{12}\prec r_{13} + r_{12}\succ r_{13} - r_{13}\prec r_{23} - r_{23}\succ r_{12} = 0 }$$

with tensor "leg" notation, e.g., $$r_{12}\prec r_{13} = \sum_{i,j}(x_i\prec x_j)\otimes y_i\otimes y_j$$ for $r = \sum_i x_i\otimes y_i$.

Symmetric solutions are those with $r = \tau(r)$, i.e., $r$ is invariant under interchange of tensor components. The equation can be specialized to variants such as the $D$-equation in low-dimensional settings (Hounkonnou et al., 2015, Hounkonnou et al., 2017): $$r_{12}\prec r_{13} = r_{13}\prec r_{23} + r_{23}\succ r_{12}$$ which, upon solving for explicit coefficients, yields all possible symmetric solutions for small dimensional algebras. Symmetric solutions correspond to triangular dendriform $D$-bialgebra structures via explicit co-multiplication formulae (Hou, 24 Jan 2026).

3. Triangular, Quasi-Triangular, and Factorizable Structures

A symmetric solution $r$ to DYBE induces a triangular dendriform $D$-bialgebra $(D, \prec, \succ, \theta_\prec, \theta_\succ)$, where $\theta_\prec$ and $\theta_\succ$ are constructed explicitly from $r$ and its tensor flip $\tau(r)$. This forms the algebraic foundation for "triangular" bialgebras, paralleling the role of classical $r$-matrices in Lie bialgebras.

Quasi-triangular and factorizable generalizations arise naturally in Leibniz-dendriform contexts. For Leibniz-dendriform bialgebras, the LD-YBE takes the form (Sun et al., 19 Oct 2025): $$S(r) = r_{23}\circ r_{13} - r_{12}\odot r_{23} - r_{12}\succ r_{13} = 0$$ where operations $\circ$ and $\odot$ blend the dendriform products to accommodate non-skew-symmetric $r$ with invariant symmetric parts. The factorizable case corresponds to invertible $r$ under a map constructed from a quadratic invariant form, yielding a full equivalence between quadratic Rota–Baxter Leibniz-dendriform algebras and factorizable bialgebras.

4. Correspondence with Classical Yang–Baxter Equation and Induced Structures

A fundamental property of the DYBE is its correspondence with the classical Yang–Baxter equation (CYBE) in the Lie algebra induced from a dendriform algebra. Given dendriform $D$-bialgebra $(D,\prec,\succ,\theta_\prec,\theta_\succ)$ and a quadratic perm algebra $(B,\cdot,\omega)$, the tensor product $D\otimes B$ acquires a natural commutator bracket $[a,b]=a*b-b*a$, and the induced Lie bialgebra $(D\otimes B, [-,-], \delta)$, with the cobracket $\delta=\Delta-\tau\circ\Delta$, carries a solution $\widehat r$ of CYBE corresponding to the symmetric solution $r$ of DYBE via an explicit tensorization procedure: $$\widehat r = \sum_{i,j}(x_i\otimes e_j)\otimes (y_i\otimes f_j),\quad [\widehat r_{12},\widehat r_{13}] + [\widehat r_{13},\widehat r_{23}] + [\widehat r_{12},\widehat r_{23}] = 0$$ in the induced Lie algebra. This is a precise tensor-level correspondence facilitating the passage between dendriform and classical bialgebraic structures (Hou, 24 Jan 2026).

5. $\mathcal O$-operators and Rota–Baxter-type Correspondence

Solutions of the DYBE are equivalent to the existence of $\mathcal O$-operators for the respective dendriform, associative, pre-Lie, or Lie algebra structures. Explicitly, for dendriform $D$ (Hou, 24 Jan 2026), a symmetric $r$ solves DYBE if and only if

$r^\sharp : D^* \rightarrow D$

is an $\mathcal O$-operator relative to the coregular bimodule $$(D^*, r_\succ^*+r_\prec^*, -l_\prec^*, -r_\succ^*, l_\prec^*+l_\succ^*)$$.

Within Leibniz-dendriform systems, a skew-symmetric solution $r$ yields an $\mathcal O$-operator of weight zero on the underlying product, or a relative Rota–Baxter operator of weight $-1$ on $(A,\succ,\prec)$ when the symmetric part is invariant (Sun et al., 19 Oct 2025). This conceptual linkage is pivotal in classifying and constructing bialgebraic objects (triangular, quasi-triangular, and factorizable) paralleling the classical theory.

6. Affinization and Explicit Low-Dimensional Examples

The affinization procedure utilizes tensor products with infinite-dimensional perm algebras, such as $$B=\Bbbk[x_1^{\pm}, x_2^{\pm}]\partial_1 \oplus \Bbbk[x_1^{\pm},x_2^{\pm}]\partial_2$$, resulting in infinite-dimensional graded perm algebras (Hou, 24 Jan 2026). Tensoring finite-dimensional $D$-bialgebras with $B$ yields completed antisymmetric infinitesimal bialgebras, where dendriform structure passes through affinity functorially.

For concrete illustration, in dimension 2, with $D=\operatorname{span}\{e_1,e_2\}$ and products $e_1\succ e_1=e_1$, $e_2\prec e_1=e_2$, the unique symmetric solution is $r=e_1\otimes e_1$, yielding:

• A triangular dendriform $D$-bialgebra
• An induced finite ASI bialgebra on $D\otimes B$ for quadratic $B$
• The corresponding triangular Lie bialgebra and $\mathcal O$-operators

In the three-dimensional setting, explicit classification of symmetric solutions for the D-equation in the Heisenberg algebra $H$ leads to thirteen distinct solution families parameterized by the underlying dendriform structure and a scalar $\lambda$ (Hounkonnou et al., 2017). These results provide an exhaustive description of all possible solutions for the dendriform Yang–Baxter equation in low dimensions, as summarized in the following table:

Algebra/Setting	Equation Type	Explicit Solution Family
1-, 2-dim. dendriform ($A$)	D-equation (symm. $r$)	$r=a_{11}e_1\otimes e_1$, etc. (Hounkonnou et al., 2015)
Heisenberg ($H$), 3-dim.	D-equation (symm. $r$)	13 families by $\lambda$, $a_{ij}$ (Hounkonnou et al., 2017)
Leibniz-dendriform	LD–YBE (skew/invariant $r$)	Coboundary, quasi-triangular/factorizable (Sun et al., 19 Oct 2025)

7. Relations to L-dendriform and Pre-Lie Structures

L-dendriform algebras admit two products $\triangleright$, $\triangleleft$ whose sum defines a pre-Lie product. The O–operator on L-dendriform algebras corresponds to the regular bimodule and yields a tensor equation analogous to the classical Yang–Baxter equation (Bai et al., 2011): $$r_{13}\triangleright r_{23} + r_{12}\cdot r_{23} - r_{12}\triangleleft r_{13} = 0$$ for $r\in A\otimes A$ skew-symmetric. Many explicit solutions are obtained either by identity O–operators in semi-direct settings or via Rota–Baxter operators in pre-Lie algebras.

Conclusion

The dendriform Yang–Baxter equation organizes the compatibility of split associativity structures in dendriform, pre-Lie, and Leibniz-dendriform contexts. Its symmetric and skew-symmetric solutions classify triangular and quasi-triangular bialgebraic structures, enable explicit construction of quantum-type objects, and underpin functorial correspondences to classical algebraic frameworks via tensor products and affinization procedures. All recent advances have clarified its role and established comprehensive classifications in low-dimensional cases, as well as deep interconnections with O–operators and Rota–Baxter operators (Hou, 24 Jan 2026, Sun et al., 19 Oct 2025, Bai et al., 2011, Hounkonnou et al., 2015, Hounkonnou et al., 2017).