---
title: Moerdijk Hopf Algebra
url: https://www.emergentmind.com/topics/moerdijk-hopf-algebra
type: topic
---

# Moerdijk Hopf Algebra

The Moerdijk Hopf algebra is a rooted-tree Hopf algebra governed by a symmetric Hochschild \(1\)-cocycle condition for grafting. In the formulation developed for decorated planar rooted forests, the underlying objects are planar rooted forests whose internal vertices are decorated by \(\Omega\) and whose leaves are decorated by \(X\sqcup \Omega\); the product is noncommutative concatenation, and the coproduct is determined recursively by grafting operators \(B^+_\omega\). For \(\lambda=0\), this construction yields a connected, graded, cocommutative Hopf algebra, recovering the classical Moerdijk algebra in the undecorated planar case and extending it to a free \(\Omega\)-cocycle Hopf algebra framework [2508.18658].

## 1. Position within rooted-tree Hopf algebras

Rooted-tree Hopf algebras encode recursive and combinatorial structures of trees and forests and play central roles in renormalization, numerical analysis through Butcher’s \(B\)-series, operads, and pre-Lie algebras. Within this landscape, the Moerdijk Hopf algebra is one of several classical families, alongside the Connes–Kreimer and Grossman–Larson constructions [2508.18658].

| Algebra | Forest type and product | Coalgebra/cocycle profile |
|---|---|---|
| Connes–Kreimer | non-planar; commutative concatenation | admissible cuts; asymmetric \(1\)-cocycle |
| Grossman–Larson | rooted trees; grafting-type product | noncommutative and cocommutative |
| Moerdijk | planar forests; noncommutative concatenation | symmetric \(1\)-cocycle |

The decisive distinction is the cocycle identity. In Connes–Kreimer, the grafting operator satisfies the asymmetric condition
\[
\Delta B^+=B^+\otimes 1+(\mathrm{id}\otimes B^+)\Delta.
\]
By contrast, the Moerdijk-type construction uses the symmetric identity
\[
\Delta\circ B^+_\omega=(B^+_\omega\otimes \mathrm{id}+\mathrm{id}\otimes B^+_\omega)\circ \Delta,
\]
which is specialized in the decorated planar setting to each grafting operator \(B^+_\omega\) [2508.18658].

A common conflation is to treat the Moerdijk algebra as merely a planar variant of Connes–Kreimer. The comparison given in the literature is sharper: the Moerdijk construction differs simultaneously in planarity, in the noncommutativity of the concatenation product, and in the replacement of the asymmetric Hochschild \(1\)-cocycle by a symmetric one [2508.18658]. A related but distinct line of work, associated with Moerdijk’s universal characterization of rooted-tree Hopf algebras via cocycle operators, was developed systematically for decorated forests and cocycle Hopf algebras by Gao, Guo, and Zhang [1605.09531].

## 2. Decorated planar rooted forests and the underlying algebra

Fix disjoint sets \(X\) and \(\Omega\). A planar rooted tree is a rooted tree with a fixed planar embedding. The set of decorated planar rooted trees, denoted \(\mathcal T(X,\Omega)\), consists of trees whose internal vertices are decorated by \(\Omega\) and whose leaves are decorated by \(X\sqcup \Omega\). Forests are words of trees in the free monoid
\[
M(\mathcal T(X,\Omega))=:\mathcal F(X,\Omega),
\]
with unit \(1\); the breadth \(\operatorname{bre}(F)\) is the number of trees in the forest \(F\) [2508.18658].

The underlying vector space is the free \(\mathbf{k}\)-module
\[
\mathcal H_{\mathrm{RT}(X,\Omega)}:=\mathbf{k}\,\mathcal F(X,\Omega),
\]
graded by the number of vertices:
\[
\mathcal H_{\mathrm{RT}(X,\Omega)}=\bigoplus_{n\ge 0}\mathcal H_{\mathrm{RT}(X,\Omega),n}.
\]
This grading is the weight grading and is fundamental for the Hopf-theoretic consequences at \(\lambda=0\) [2508.18658].

The multiplication \(m\) is the noncommutative concatenation of planar forests, written by juxtaposition:
\[
F_1F_2.
\]
Its unit is the empty forest \(1\). The noncommutativity is not incidental: it reflects the left-to-right order inherent in planar forests and separates the Moerdijk framework from commutative rooted-tree Hopf algebras [2508.18658].

For each \(\omega\in\Omega\), the grafting operator
\[
B^+_\omega:\mathcal H_{\mathrm{RT}(X,\Omega)}\to \mathcal H_{\mathrm{RT}(X,\Omega)}
\]
grafts all trees of a forest onto a new root decorated by \(\omega\), with
\[
B^+_\omega(1)=\bullet_\omega.
\]
These operators make \(\mathcal H_{\mathrm{RT}(X,\Omega)}\) into an \(\Omega\)-operated algebra, free on \(X\) [2508.18658].

The counit is
\[
\varepsilon(F)=
\begin{cases}
1_{\mathbf{k}},&F=1,\\
0,&F\neq 1.
\end{cases}
\]
This is the standard rooted-forest counit, but in the present setting it is paired with a coproduct adapted to the symmetric cocycle identity rather than the Connes–Kreimer cut coproduct [2508.18658].

## 3. Symmetric cocycle coproduct and its combinatorics

For a fixed \(\lambda\in\mathbf{k}\), the coproduct \(\Delta_\lambda\) is defined recursively by depth and breadth. On depth \(0\), namely forests of leaves in \(X\),
\[
\Delta_\lambda(1)=1\otimes 1,\qquad
\Delta_\lambda(\bullet_x)=\bullet_x\otimes 1+1\otimes \bullet_x+\lambda\,\bullet_x\otimes \bullet_x.
\]
On breadth \(1\), the defining rule is the symmetric cocycle identity
\[
\Delta_\lambda\bigl(B^+_\omega(\bar F)\bigr)
=\bigl(B^+_\omega\otimes \mathrm{id}+\mathrm{id}\otimes B^+_\omega\bigr)\Delta_\lambda(\bar F).
\]
On breadth at least \(2\), the coproduct is multiplicative:
\[
\Delta_\lambda(T_1\cdots T_m)=\Delta_\lambda(T_1)\cdots \Delta_\lambda(T_m).
\]
These rules endow \(\mathcal H_{\mathrm{RT}(X,\Omega)}\) with a coalgebra structure, and \(\Delta_\lambda\) is an algebra morphism, so the full structure is a bialgebra [2508.18658].

The same coproduct admits a combinatorial description in terms of induced subforests. For a decorated planar forest \(F\) with vertex set \(V(F)\), and a subset \(I\subseteq V(F)\), the induced subforest \(F_I\) is formed by retaining the vertices in \(I\), connecting each retained vertex to its nearest ancestor in \(I\), and arranging the resulting components in the natural planar order. Then
\[
\Delta_\lambda(F)=
\sum_{\substack{V(F)=I\cup J\\ I\cap J\subseteq V_X(F)}}
\lambda^{|I\cap J|}\,F_I\otimes F_J,
\]
where \(V_X(F)\) is the set of vertices decorated by elements of \(X\) [2508.18658].

In the Moerdijk case \(\lambda=0\), this simplifies to
\[
\Delta(F)=\sum_{I\subseteq V(F)}F_I\otimes F_{V(F)\setminus I}.
\]
The paper describes this as a planar admissible-cuts formula: one chooses any subset of vertices and splits the forest into the induced subforest and its complement, while retaining the planar order and the decoration data [2508.18658].

Small examples illustrate the rule. For a single-node tree \(\bullet_\alpha\) with \(\alpha\in\Omega\),
\[
\Delta(\bullet_\alpha)=\bullet_\alpha\otimes 1+1\otimes \bullet_\alpha.
\]
For a two-root forest \(\bullet_x\,\bullet_y\) with \(\lambda=0\),
\[
\Delta(\bullet_x\,\bullet_y)
=\Delta(\bullet_x)\Delta(\bullet_y)
=\bullet_x\bullet_y\otimes 1+\bullet_x\otimes \bullet_y+\bullet_y\otimes \bullet_x+1\otimes \bullet_x\bullet_y.
\]
The recursive and induced-subforest formulations are equivalent, and the latter makes the dependence on planarity and leaf-overlap weighting explicit [2508.18658].

## 4. Hopf structure, antipode, and the role of \(\lambda\)

For \(\lambda=0\), the bialgebra is connected, graded, and cocommutative, hence a Hopf algebra. This is the Moerdijk Hopf algebra of decorated planar rooted forests in the sense established in the 2025 construction [2508.18658].

Its antipode has an explicit inclusion–exclusion formula. For \(F\neq 1\),
\[
S(F)=\sum_{I_1\sqcup\cdots\sqcup I_k=V(F)}(-1)^k\,F_{I_1}\cdots F_{I_k},
\]
where the sum runs over all partitions of the vertex set into disjoint subsets, and the corresponding induced subforests are multiplied in planar order. The proof proceeds through the reduced coproduct \(\widetilde{\Delta}\) and Takeuchi’s antipode formula. Computationally, one enumerates all set partitions of \(V(F)\), forms the induced subforests, multiplies them in the planar order, and sums with sign \((-1)^k\) [2508.18658].

The parameter \(\lambda\) controls a deformation of the leaf behavior. The term
\[
\lambda\,\bullet_x\otimes \bullet_x
\]
in \(\Delta_\lambda(\bullet_x)\) permits overlaps only on vertices decorated by \(X\), as reflected in the condition \(I\cap J\subseteq V_X(F)\) in the combinatorial formula. In the decorated setting this has a structural consequence: when \(X\neq\emptyset\), \(\lambda\neq 0\) breaks Hopfness because of the non-invertible group-like element \(1+\lambda\bullet_x\) [2508.18658].

This distinction is mathematically significant. It isolates the classical Moerdijk Hopf algebra as the \(\lambda=0\) specialization while retaining, for general \(\lambda\), a broader bialgebraic family. The \(\lambda\)-deformation is therefore not merely a formal perturbation; it changes the existence of an antipode in the decorated case [2508.18658].

## 5. Operated-algebra formulation and the symmetric cocycle principle

The grafting operators \(\{B^+_\omega\}_{\omega\in\Omega}\) place the construction in the framework of operated algebras. The symmetric Hochschild \(1\)-cocycle condition for a coalgebra endomorphism \(L\) is
\[
\Delta\circ L=(L\otimes \mathrm{id})\circ \Delta+(\mathrm{id}\otimes L)\circ \Delta.
\]
Specializing \(L\) to \(B^+_\omega\) gives the defining identity for the Moerdijk-type coproduct [2508.18658].

This leads to the notion of an \(\Omega\)-cocycle bialgebra: an \(\Omega\)-operated bialgebra
\[
(H,m,1,\Delta,\varepsilon,\{P_\omega\})
\]
satisfying
\[
\Delta P_\omega=(P_\omega\otimes \mathrm{id}+\mathrm{id}\otimes P_\omega)\Delta,\qquad \forall \omega\in\Omega.
\]
Each image \(P_\omega(H)\) is then a coideal. In this formulation, the Moerdijk Hopf algebra is not just a specific combinatorial object but the paradigmatic example of a symmetric cocycle Hopf algebra [2508.18658].

The operated viewpoint also clarifies the relation to earlier cocycle theories. Gao–Guo–Zhang formalized cocycle bialgebras and cocycle Hopf algebras in the context of rooted forests equipped with grafting operators satisfying Hochschild \(1\)-cocycle identities, and used this to establish universal properties and to transport forest coalgebra structures to free Rota–Baxter algebras [1605.09531]. The 2025 Moerdijk construction refines that general perspective by replacing the asymmetric cocycle pattern with the symmetric identity appropriate to Moerdijk’s class [2508.18658].

One common misconception is that “cocycle Hopf algebra” automatically means the Connes–Kreimer-type identity. The two settings are parallel but distinct: Connes–Kreimer uses
\[
\Delta B^+=B^+\otimes 1+(\mathrm{id}\otimes B^+)\Delta,
\]
whereas the Moerdijk construction uses the symmetric version with \(B^+\) on both tensor legs. The difference affects the coproduct formula, the combinatorics of cuts, and the universal properties that the resulting Hopf algebra satisfies [2508.18658].

## 6. Dual structures, matrix encoding, and universal properties

Because \(\Delta=\Delta_0\) is homogeneous, it induces a dual product \(\star\) on \(\mathcal H_{\mathrm{RT}(X,\Omega)}\) through the pairing
\[
\langle x\otimes y,\Delta(z)\rangle=\langle x\star y,z\rangle,\qquad
\langle F,G\rangle=\delta_{F,G}.
\]
To describe \(\star\), the construction introduces forest-representable matrices \(\mathcal{FM}(X,\Omega)\). A planar forest \(F\) with \(n\) vertices is encoded by an \(n\times(n+1)\) matrix \(M(F)\): its \(0\)-th column records vertex decorations in the total order obtained by combining the “height” relation with the “right” relation, and its upper triangular part records the relation symbols \(h/r/=\). This gives a bijection \(F\mapsto M(F)\) [2508.18658].

The dual product is then expressed by a shuffle-composition formula:
\[
F\star G
=\sum_{\sigma\in Sh(k,l)}\ \sum_{C\in \mathcal{FM}_\sigma(M(F),M(G))} M^{-1}(C),
\]
where \(k=|V(F)|\) and \(l=|V(G)|\). The examples in the paper show explicitly how shuffles and matrix-compatibility conditions enumerate the summands. For \(\lambda\neq 0\), quasi-shuffles produce a deformed product \(\star_\lambda\) [2508.18658].

Planarity is essential here. The matrix encoding depends on a total order on vertices obtained from ancestor–descendant structure together with left–right position. This is a specifically planar feature; without it, the forest-representable matrix formalism would not take the same form. This suggests that the matrix description is not an auxiliary device but a structural expression of the noncommutative planar setting [2508.18658].

The same paper establishes the universal properties of the construction. The quadruple
\[
(\mathcal F(X,\Omega),m_{\mathrm{RT}},1,\{B^+_\omega\})
\]
is the free \(\Omega\)-operated monoid on \(X\), and
\[
(\mathcal H_{\mathrm{RT}(X,\Omega)},m_{\mathrm{RT}},1,\{B^+_\omega\})
\]
is the free \(\Omega\)-operated algebra on \(X\). More strongly,
\[
(\mathcal H_{\mathrm{RT}(X,\Omega)},m_{\mathrm{RT}},1,\Delta_\lambda,\varepsilon,\{B^+_\omega\})
\]
is the free \(\Omega\)-cocycle bialgebra on \(X\), and for \(\lambda=0\) it is the free \(\Omega\)-cocycle Hopf algebra on \(X\). Concretely, if
\[
(H,m,1,\Delta,\{P_\omega\})
\]
is any \(\Omega\)-cocycle bialgebra and \(f:X\to H\) satisfies
\[
\Delta(f(x))=1\otimes f(x)+f(x)\otimes 1+\lambda f(x)\otimes f(x),
\]
then there is a unique \(\Omega\)-operated bialgebra morphism \(\overline f:\mathcal H_{\mathrm{RT}(X,\Omega)}\to H\) sending \(\bullet_x\mapsto f(x)\) and commuting with grafting [2508.18658].

Taking \(X=\emptyset\), one obtains the initial object in the category of \(\Omega\)-cocycle bialgebras; when \(\Omega\) is a singleton, this recovers the classical Moerdijk Hopf algebra on planar rooted forests. The same universal framework yields functorial morphisms such as the leaf-scaling bialgebra morphism
\[
\phi_\lambda(F)=\lambda^{d_X(F)}F
\]
between different \(\Delta_\mu\) [2508.18658].

A further structural consequence appears at the level of operators. For any cocommutative Hopf algebra, the antipode is a Rota–Baxter operator of weight \(1\) in the sense of Goncharov: a coalgebra homomorphism \(\mathfrak{B}:H\to H\) is Rota–Baxter if
\[
\mathfrak{B}(a)\,\mathfrak{B}(b)=\mathfrak{B}\Big(a_{(1)}\,\mathfrak{B}(a_{(2)})\,b\,S\big(\mathfrak{B}(a_{(3)})\big)\Big),\quad \forall a,b\in H.
\]
Since the Moerdijk Hopf algebra at \(\lambda=0\) is cocommutative, its antipode satisfies this identity. The paper presents this as evidence of operator-theoretic structure intrinsic to the antipode and notes possible functional-analytic and geometric ramifications [2508.18658].

Source: https://www.emergentmind.com/topics/moerdijk-hopf-algebra