---
title: Almost Tridendriform Poisson Algebras
url: https://www.emergentmind.com/topics/almost-tridendriform-poisson-algebras
type: topic
---

# Almost Tridendriform Poisson Algebras

Searching arXiv for the cited paper to ground the article and verify metadata.
Almost tridendriform Poisson algebras are algebraic structures introduced in "D-bialgebras, dendrification and embeddings into AWB of almost Poisson algebras" [2604.15346] as a dendrified form of almost Poisson algebras. They combine a commutative associative product, a skew-symmetric Leibniz-type bracket, a dendriform splitting of the product, and a pre-bracket operation whose antisymmetrization contributes to the induced almost Poisson bracket. The defining point is that the split operations reconstruct an associated almost Poisson algebra through a sub-adjacent commutative product and an associated skew-symmetric bracket, while also arising canonically from weighted relative Rota–Baxter operators [2604.15346].

## 1. Definition within the almost Poisson and AWB framework

An almost Poisson algebra is a triple $(A,[\cdot,\cdot],\cdot)$ in which $(A,\cdot)$ is a commutative associative algebra, $[\cdot,\cdot]$ is a bilinear skew-symmetric bracket, and the bracket satisfies the Leibniz rule
$$
[x,y\cdot z]=[x,y]\cdot z+y\cdot [x,z],
$$
for all $x,y,z\in A$. No Jacobi identity is assumed, so the bracket need not be a Lie bracket [2604.15346].

This places almost Poisson algebras in direct relation to algebras with bracket (AWB). An AWB is a triple $(A,\cdot,\{\cdot,\cdot\})$ where $(A,\cdot)$ is associative, not necessarily commutative, and the bracket satisfies the left Leibniz-type compatibility
$$
\{x,y\cdot z\}=\{x,y\}\cdot z+y\cdot \{x,z\}.
$$
When the product is commutative and the bracket is skew-symmetric, an AWB reduces to an almost Poisson algebra [2604.15346].

The notion of almost tridendriform Poisson algebra is built precisely in this relaxed Leibniz setting. The qualifier “almost” indicates that the Jacobi identity is not part of the definition. This distinguishes the structure from genuinely Poisson variants while preserving the derivation property that governs interaction between bracket and product [2604.15346].

## 2. Algebraic structure and defining identities

The construction begins with a commutative dendriform trialgebra in the two-operation presentation used in the paper. This is a vector space $A$ equipped with bilinear operations $\cdot$ and $\triangleright$ such that $(A,\cdot)$ is a commutative associative algebra and
$$
(x\cdot y)\triangleright z=x\triangleright (y\triangleright z), \qquad
(x\triangleright y)\cdot z=x\triangleright (y\cdot z),
$$
for all $x,y,z\in A$ [2604.15346].

These identities ensure that the sub-adjacent product
$$
x\circ y:=x\triangleright y+y\triangleright x+x\cdot y
$$
is commutative and associative. This sub-adjacent algebra is denoted $A^C$ in the paper [2604.15346].

An almost tridendriform Poisson algebra is then a quintuple
$$
(A,[\cdot,\cdot],\diamond,\cdot,\triangleright)
$$
such that:

1. $(A,[\cdot,\cdot],\cdot)$ is an almost Poisson algebra;
2. $(A,\cdot,\triangleright)$ is a commutative dendriform trialgebra;
3. with
   $$
   x\circ y:=x\triangleright y+y\triangleright x+x\cdot y,
   \qquad
   \{x,y\}:=x\diamond y-y\diamond x+[x,y],
   $$
   the following compatibilities hold for all $x,y,z\in A$:
   $$
   \text{(ATdP-1)}\quad x\diamond (y\circ z)=(x\diamond y)\circ z+y\circ (x\diamond z),
   $$
   $$
   \text{(ATdP-2)}\quad [x,z\triangleright y]=z\triangleright [x,y]-y\circ (z\diamond x),
   $$
   $$
   \text{(ATdP-3)}\quad (y\circ z)\diamond x=z\triangleright (y\diamond x)+y\triangleright (z\diamond x),
   $$
   $$
   \text{(ATdP-4)}\quad \{x,z\}\triangleright y=x\diamond (z\triangleright y)-z\triangleright (x\diamond y).
   $$
These relations encode the simultaneous splitting of the commutative product and the bracket [2604.15346].

A useful interpretation is that $\triangleright$ controls the dendriform decomposition of the product, while $\diamond$ acts as a pre-bracket whose skew-symmetrization, together with the original almost Poisson bracket, produces the associated bracket $\{\cdot,\cdot\}$. This suggests a structural analogy with other splitting constructions in operadic algebra, although the paper states the result specifically in the almost Poisson setting [2604.15346].

## 3. Passage to the associated almost Poisson algebra

A central theorem states that every almost tridendriform Poisson algebra canonically determines an almost Poisson algebra. For an ATdP algebra $(A,[\cdot,\cdot],\diamond,\cdot,\triangleright)$, the sub-adjacent product and associated bracket are
$$
x\circ y:=x\triangleright y+y\triangleright x+x\cdot y,
\qquad
\{x,y\}:=x\diamond y-y\diamond x+[x,y].
$$
Then $(A,\circ)$ is a commutative associative algebra, $\{\cdot,\cdot\}$ is skew-symmetric, and the Leibniz rule
$$
\{x,y\circ z\}=\{x,y\}\circ z+y\circ \{x,z\}
$$
holds for all $x,y,z$ [2604.15346].

The proof strategy described in the paper is an expansion of the defining identities (ATdP-1)–(ATdP-4), together with the dendriform-to-associative reduction for $\circ$ [2604.15346]. In this sense, ATdP structures are not merely enrichments of almost Poisson algebras; they are splittings whose recombination is guaranteed to recover an almost Poisson algebra.

The paper also proves that an ATdP algebra supplies canonical module data over its associated almost Poisson algebra $A^C=(A,\circ,\{\cdot,\cdot\})$. Specifically, the left actions
$$
L_\diamond(x):y\mapsto x\diamond y,
\qquad
L_{\triangleright}(x):y\mapsto x\triangleright y
$$
make $(A,[\cdot,\cdot],\cdot,L_\diamond,L_{\triangleright})$ into an $A^C$-module almost Poisson algebra [2604.15346]. This result situates the internal ATdP operations as representation-theoretic data for the associated algebra.

## 4. Construction from weighted relative Rota–Baxter operators

The main construction of almost tridendriform Poisson algebras is via weighted relative Rota–Baxter operators. Let $(A,[\cdot,\cdot],\cdot)$ be an almost Poisson algebra, and let $(V,[\cdot,\cdot]_V,\cdot_V,\rho,\mu)$ be an $A$-module almost Poisson algebra. Here $\mu:A\to \operatorname{End}(V)$ is a representation of the associative algebra $(A,\cdot)$ satisfying
$$
\mu(x\cdot y)=\mu(x)\mu(y),
$$
and the representation data obey
$$
\rho(x\cdot y)=\mu(y)\rho(x)+\mu(x)\rho(y), \qquad
\mu([x,y])=\rho(x)\mu(y)-\mu(y)\rho(x).
$$
If $V$ itself carries an almost Poisson structure, the module compatibilities are
$$
\rho(x)(a\cdot_V b)=(\rho(x)a)\cdot_V b+a\cdot_V(\rho(x)b),
$$
and
$$
[a,\mu(x)b]_V=-(\rho(x)a)\cdot_V b+\mu(x)[a,b]_V
$$
[2604.15346].

A linear map $R:V\to A$ is a weighted relative Rota–Baxter operator of weight $\lambda\in \mathbb K$ if
$$
R(a)\cdot R(b)=R\big(\mu(R(a))b+\mu(R(b))a+\lambda\, a\cdot_V b\big),
$$
and, in the almost Poisson setting,
$$
[R(a),R(b)]=R\big(\rho(R(a))b-\rho(R(b))a+\lambda [a,b]_V\big)
$$
for all $a,b\in V$ [2604.15346].

From such an operator the paper derives ATdP structure in two steps. First, the associative identity yields a commutative dendriform trialgebra on $V$ by
$$
a\cdot b:=\lambda\, a\cdot_V b, \qquad a\triangleright b:=\mu(R(a))b.
$$
Second, after including the bracket identity, one defines
$$
\{a,b\}:=\lambda[a,b]_V,\qquad
a\diamond b:=\rho(R(a))b,\qquad
a\cdot b:=\lambda a\cdot_V b,\qquad
a\triangleright b:=\mu(R(a))b.
$$
The resulting structure $(V,\{\cdot,\cdot\},\diamond,\cdot,\triangleright)$ is an almost tridendriform Poisson algebra [2604.15346].

The same theorem states that the operator $R$ is a homomorphism from the associated almost Poisson algebra $(V,\circ,\{\cdot,\cdot\})$ to $(A,\cdot,[\cdot,\cdot])$:
$$
R(a\circ b)=R(a)\cdot R(b), \qquad
R(\{a,b\})=[R(a),R(b)].
$$
This identifies ATdP algebras as dendrifications of almost Poisson algebras arising from relative Rota–Baxter operators [2604.15346].

## 5. Canonical examples and special cases

A distinguished special case occurs when $V=A$, $\mu=L$ is left multiplication, and $\rho=\operatorname{ad}$ is the adjoint action for the bracket. Then a weighted Rota–Baxter operator $R:A\to A$ of weight $\lambda$ on the almost Poisson algebra $(A,\cdot,[\cdot,\cdot])$ yields the ATdP operations
$$
\{x,y\}=\lambda [x,y],\qquad
x\diamond y=[R(x),y],\qquad
x\cdot y=\lambda x\cdot y,\qquad
x\triangleright y=R(x)\cdot y
$$
[2604.15346].

The paper gives a concrete example with $R=\operatorname{id}_A$ and $\lambda=-1$. In that case the Rota–Baxter identities hold both for the commutative product and the bracket, and the induced operations become
$$
\{x,y\}=-[x,y],\qquad
x\diamond y=[x,y],\qquad
x\cdot y=-x\cdot y,\qquad
x\triangleright y=x\cdot y.
$$
The sub-adjacent product is
$$
x\circ y=x\triangleright y+y\triangleright x+x\cdot y=x\cdot y
$$
because the product is commutative, and the associated almost Poisson bracket is $-\,[x,y]$, which still satisfies the Leibniz rule because $[\cdot,\cdot]$ does [2604.15346].

The paper also verifies one of the ATdP axioms explicitly in this example. Condition (ATdP-4),
$$
\{x,z\}\triangleright y=x\diamond (z\triangleright y)-z\triangleright (x\diamond y),
$$
reduces to
$$
-[x,z]\cdot y=[x,z\cdot y]-z\cdot [x,y],
$$
which is exactly the Leibniz rule for the original bracket [2604.15346]. This example clarifies that the ATdP formalism does not require exotic input; even the identity map at weight $-1$ produces a nontrivial splitting.

## 6. Embeddings into AWB and relation to D-bialgebra theory

The paper places almost tridendriform Poisson algebras alongside two broader constructions: embeddings into AWB and almost Poisson $D$-bialgebras [2604.15346].

For embeddings, let $(A,\cdot,[\cdot,\cdot])$ be an almost Poisson algebra and $(V,\mu,\rho)$ a representation. The hemisemi-direct sum $A\oplus V$ becomes an AWB, denoted $A\oplus_{\mu,\rho}V$, with product and bracket
$$
(x+u)\cdot (y+v)=x\cdot y+\mu(x)v,
$$
$$
\{x+u,y+v\}=[x,y]+\rho(x)v,
$$
for all $x,y\in A$ and $u,v\in V$ [2604.15346].

If $K:V\to A$ is a relative averaging operator for $(A,\cdot,[\cdot,\cdot])$ with respect to $(V,\mu,\rho)$, then the graph
$$
\operatorname{Gr}(K)=\{K(u)+u\mid u\in V\}\subset A\oplus_{\mu,\rho}V
$$
is an AWB subalgebra. The graph characterization theorem states that $K$ is a relative averaging operator if and only if $\operatorname{Gr}(K)$ is an AWB subalgebra [2604.15346]. In the case $V=A$ with the adjoint representation, an averaging operator embeds the almost Poisson algebra into an AWB and induces operations
$$
u\cdot_K v:=\mu(K(u))v,\qquad
\{u,v\}_K:=\rho(K(u))v.
$$

The $D$-bialgebra direction is conceptually parallel but structurally distinct. The paper defines almost Poisson $D$-bialgebras as objects $(A,[\cdot,\cdot],\cdot,\Delta,\delta)$ combining an almost Poisson algebra structure, an almost Poisson coalgebra structure, a commutative infinitesimal $D$-bialgebra structure, and additional compatibility axioms [2604.15346]. It proves the equivalence between:

| Object | Equivalent formulation |
|---|---|
| Almost Poisson $D$-bialgebra | Matched pair |
| Almost Poisson $D$-bialgebra | Standard Manin triple |
| Matched pair | Standard Manin triple |

More precisely, the equivalence is between almost Poisson $D$-bialgebras, matched pairs $(A,A^*,ad_{A^*}^*,-L_A^*,ad_A^*,-L_{A^*}^*)$, and standard Manin triples $(A\oplus A^*,A,A^*)$ with canonical pairing
$$
\omega_d(x+\xi,y+\eta)=\langle x,\eta\rangle+\langle \xi,y\rangle
$$
invariant for both operations [2604.15346].

The paper explicitly presents both $D$-bialgebras and ATdP algebras as manifestations of “splitting” or “doubling” principles: $D$-bialgebras through matched pairs and Manin triples, and ATdP algebras through relative Rota–Baxter dendrification, where both the product and the bracket are decomposed into pre-operations [2604.15346]. A plausible implication is that ATdP theory should be read not as an isolated definition, but as one component of a broader program for almost Poisson analogues of classical Poisson and Lie-theoretic constructions.

## 7. Scope, conventions, and conceptual significance

The framework is formulated over a field $\mathbb K$ of characteristic $0$, and all vector spaces and algebras under consideration are finite-dimensional. The paper uses $\tau$ for the tensor flip, Sweedler notation for coproducts and cobrackets, $L$ for left multiplication, and $\operatorname{ad}$ for the left action induced by the bracket [2604.15346].

Within this setting, almost tridendriform Poisson algebras serve as the split counterparts of almost Poisson algebras. The product splitting is encoded by $\triangleright$ together with the commutative associative operation $\cdot$, while the bracket splitting is encoded by $\diamond$ together with the original bracket $[\cdot,\cdot]$. Their recombination yields the associated operations $\circ$ and $\{\cdot,\cdot\}$, which satisfy the almost Poisson axioms [2604.15346].

A common misconception would be to treat “almost” as a minor technical caveat. In fact, it marks a substantive relaxation: the Jacobi identity is absent throughout the ATdP definition and throughout the underlying almost Poisson theory. What remains essential is the Leibniz derivation property of the bracket with respect to the product [2604.15346]. Another possible misunderstanding is to identify ATdP algebras with arbitrary product splittings; the paper’s results are sharper than that, since the principal characterization ties them specifically to weighted relative Rota–Baxter operators and module almost Poisson data [2604.15346].

In the formulation developed there, ATdP algebras occupy a precise place among noncommutative and Leibniz-type generalizations of Poisson structures. They arise from operator-theoretic input, produce associated almost Poisson algebras functorially through sub-adjacent operations, and coexist with a parallel Drinfel'd-type theory of almost Poisson $D$-bialgebras, matched pairs, and Manin triples [2604.15346].

Source: https://www.emergentmind.com/topics/almost-tridendriform-poisson-algebras