---
title: Jacobi Diagrams in Handlebodies
url: https://www.emergentmind.com/topics/jacobi-diagrams-in-handlebodies
type: topic
---

# Jacobi Diagrams in Handlebodies

Jacobi diagrams in handlebodies are diagrammatic objects that combine the usual Jacobi-diagram calculus of uni-trivalent graphs with the topology of a genus-\(m\) handlebody. In the Habiro–Massuyeau framework, they form a \(\Bbbk\)-linear category \(\mathbf A\) (also denoted \(\mathbb A\) in part of the literature) whose objects are nonnegative integers and whose morphisms are Jacobi diagrams on oriented arc systems, enriched by free-group data recording how the diagram runs through the handles. The subject lies at the intersection of finite-type topology, free-group functor theory, and PROP-based algebra: \(\mathbf A\) is the universal symmetric monoidal category generated by a Casimir Hopf algebra, its degree-zero part identifies with \(\Bbbk\mathbf{gr}^{op}\), its degree-completion receives an extension of the Kontsevich integral for bottom tangles in handlebodies, and its module theory connects it to the PROP for Casimir Lie algebras and to explicit \(Aut(F_n)\)- and \(IA_n\)-modules built from low-degree diagram spaces [1702.00830], [2202.10907], [2509.16230], [2510.09625], [2312.10428].

## 1. Diagrammatic definition and ambient topology

For \(m\ge 0\), let \(V_m\) or \(U_m\) denote the genus-\(m\) handlebody obtained from a cube by attaching \(m\) handles, and let \(F_m\cong \pi_1(V_m,\ell)\) be the free group generated by the stretched handle cores. For \(n\ge 0\), let \(X_n\) be the oriented \(1\)-manifold consisting of \(n\) oriented arc components. A Jacobi diagram on \(X_n\) is a uni-trivalent graph whose trivalent vertices carry cyclic orientations, whose univalent vertices are attached to the interior of \(X_n\), and whose connected components each meet the support \(X_n\). Two such diagrams are identified when there is a homeomorphism respecting the cyclic orientations and isotopic to the identity on the support [1702.00830], [2509.16230].

The handlebody enhancement enters in two equivalent ways. In the topological description, a morphism \(m\to n\) is a Jacobi diagram on \(X_n\) together with a homotopy class, relative to the boundary, of maps into the genus-\(m\) handlebody. In the colored or beaded description, the same object is encoded by a Jacobi diagram on \(X_n\) whose oriented dashed edges, and in some formulations also the support arcs, carry labels in \(F_m\). The resulting morphism space is written
\[
\mathbb A(m,n)=\mathcal A(X_n,F_m)
\]
or equivalently \(\mathbf A(m,n)\), depending on notation [1702.00830], [2202.10907].

The bead calculus expresses the ambient fundamental-group information through local relations. Two consecutive beads \(w\) and \(x\) on an oriented segment are equivalent to a single bead \(wx\); a bead labelled by the unit is deleted; reversing the orientation of an edge changes a bead \(w\) to \(w^{-1}\); and there are compatibility moves at trivalent vertices. These relations are imposed together with the STU relation. In this setting, STU implies AS and IHX, so the usual Jacobi-diagram identities remain valid after incorporating the handlebody labels [2202.10907], [2509.16230].

A recurring point in the literature is that the handlebody is not a passive support. The source object \(m\) records the ambient genus, while the target object \(n\) records the number of bottom arcs. Consequently, a morphism is not merely a graph attached to a one-manifold; it is a graph considered up to homotopy inside a \(3\)-dimensional handlebody, with the free-group labels serving as the algebraic shadow of that homotopy data [2509.16230].

## 2. The category \(\mathbf A\) as a symmetric monoidal PROP

The category of Jacobi diagrams in handlebodies has
\[
\operatorname{Ob}(\mathbf A)=\mathbb N.
\]
Its monoidal structure is strict, with tensor product on objects given by addition,
\[
m\otimes n=m+n,
\]
and tensor product on morphisms given by horizontal juxtaposition. Symmetry is realized by the obvious permutations of tensor factors, written \(P_{1,1}\) in arity \(2\) and \(P_\sigma\) for general \(\sigma\in S_m\) [1702.00830], [2510.09625].

Composition is geometric and is defined by cabling and gluing. If \(D:m\to n\) and \(D':n\to p\), the bead words of \(D'\) specify how copies of \(D\) are cabled and inserted, and the result is a well-defined morphism \(D'\circ D:m\to p\). This composition is associative, and the identity morphism \(\operatorname{id}_n\) is represented by the \(n\) support arcs with the canonical free-group labels [1702.00830]. The same geometric composition is emphasized in later work as natural topologically but difficult to control directly in algebraic form, which motivates functorial and module-theoretic reformulations [2202.10907].

A central structural theorem identifies \(\mathbf A\) as the \(\Bbbk\)-linear PROP freely generated by a Casimir Hopf algebra
\[
(H=1,\mu,\eta,\Delta,\varepsilon,S,\tilde c).
\]
Here \(1\) is the generating object, \(\mu\) and \(\eta\) are multiplication and unit, \(\Delta\) and \(\varepsilon\) are comultiplication and counit, \(S\) is the antipode, and \(\tilde c:0\to 2\) is a symmetric primitive ad-invariant Casimir tensor. In the PROP language, every object \(n\) is \(1^{\otimes n}\), and every morphism is generated from these structure maps and the symmetric monoidal operations [1702.00830], [2510.09625].

This universal property yields an explicit normal form. Any element of \(\mathbf A_d(m,n)\) is a linear combination of morphisms of the form
\[
\mu^{[p_1,\cdots,p_n]}P_{\sigma}(S^{e_1}\otimes\cdots\otimes S^{e_s}\otimes id_{2d})(\Delta^{[q_1,\cdots,q_m]}\otimes \tilde{c}^{\otimes d}),
\]
where
\[
s=p_1+\cdots+p_n-2d=q_1+\cdots+q_m,
\]
\(\sigma\in S_{s+2d}\), and each \(e_i\in\{0,1\}\) [2510.09625]. This formula isolates the degree \(d\) contribution as the number of inserted Casimir tensors and is one of the key tools in the later study of modules and extensions.

The category is also enriched over cocommutative coalgebras, with comultiplication given by splitting a diagram into disjoint unions. In the completed setting this makes sense of group-like morphisms, a point that becomes fundamental in the construction of the handlebody Kontsevich integral [1702.00830].

## 3. Gradings, free-group functoriality, and beaded open diagrams

Two gradings organize the internal structure of \(\mathbf A\). The first is the degree grading
\[
\mathbf A(m,n)=\bigoplus_{d\ge 0}\mathbf A_d(m,n),
\]
where degree is the usual Jacobi-diagram degree, equivalently half the total number of vertices. Composition is additive in degree. In the PROP formulation this grading is also the number of copies of the Casimir tensor \(\tilde c\) [2202.10907], [2510.09625].

The second grading is by homotopy class. For a morphism \(D\in \mathbf A(m,n)\), the bead labels along the \(j\)-th support arc determine a word in \(F_m\), hence a homomorphism
\[
h(D):F_n\to F_m.
\]
Accordingly,
\[
\mathbf A(m,n)=\bigoplus_{f\in gr^{op}(m,n)}\mathbf A(m,n)_f.
\]
The \(\mathbf 0\)-summand corresponds to the trivial homomorphism; a morphism lies in \(\mathbf A(n,m)_{\mathbf 0}\) precisely when it can be represented with no beads on the support \(X_m\), so all bead data is carried only by the dashed graph [2202.10907].

The degree-zero piece is especially important:
\[
\mathbf A_0\simeq \Bbbk\,gr^{op}.
\]
Thus the category of finitely generated free groups appears as the degree-zero skeleton of the handlebody diagram category. Fixing \(n\), the representable module \(\mathbf A(n,-)\) therefore restricts to a contravariant functor on \(gr\), and each degree piece \(\mathbf A_d(n,-)\) becomes a contravariant functor \(gr^{op}\to K\) [2202.10907], [2510.09625].

Vespa showed that the full degree-\(d\) functors are almost never polynomial:
\[
\mathbf A_d(n,-)\text{ is polynomial if and only if }n=0.
\]
The correct polynomial replacement is the null-homotopy part
\[
\mathbf A_d(n,-)_{\mathbf 0}\subset \mathbf A_d(n,-).
\]
To describe it, the paper introduces \(G\)-beaded open Jacobi diagrams: uni-trivalent graphs with free labelled legs, no ambient support manifold, and edge labels in a group \(G\), modulo the bead moves together with AS and IHX. Their degree-\(d\) spaces are denoted \(J_d^G(Z)\) [2202.10907].

The crucial translation uses Powell’s equivalence between analytic functors on \(gr^{op}\) and \(\Bbbk\)-linear functors on the Lie PROP \(Cat\mathcal{L}ie\). Under this equivalence,
\[
\alpha^{-1}(\mathbf A_d(n,-)_{\mathbf 0})\simeq J_d^{F_n}.
\]
This identifies the null-homotopy sector of handlebody composition with a much simpler combinatorial model of \(F_n\)-beaded open Jacobi diagrams. It also makes polynomial degree transparent:
\[
\mathbf A_d(n,-)_{\mathbf 0}\text{ is polynomial of degree }2d,
\]
and the polynomial filtration is given intrinsically by the number of trivalent vertices,
\[
\mathbf p_{2d-t}(\mathbf A_d(n,-)_{\mathbf 0})=\mathbf A_d^t(n,-)_{\mathbf 0}.
\]
In degree \(1\),
\[
\mathbf A_1(n,-)_{\mathbf 0}\simeq \mathcal P_2^\#\otimes_{\mathfrak S_2}\Bbbk[F_n],
\]
where \(\mathcal P_2(G)=IG/(IG)^3\) is the second Passi functor [2202.10907].

The same framework resolves the outer-functor question. The null-homotopy functor \(\mathbf A_d(n,-)_{\mathbf 0}\) is outer if and only if \(n=0\) or \(d=0\). For \(n\ge 1\) and \(d\ge 1\), nontrivial bead labels survive the relevant \(\mu\)-operation and create a genuine conjugation-sensitive defect. In this sense, handlebody bead data remembers inner-automorphism information that disappears in the trivial-source case \(n=0\) [2202.10907].

## 4. Module theory, adjunctions, and extension classes

An \(\mathbf A\)-module is a covariant \(\Bbbk\)-linear functor
\[
M:\mathbf A\to \mathbf{Vect}_{\Bbbk}.
\]
The category \(\mathbf A\text{-Mod}\) is abelian with enough projectives. Because \(\mathbf A_0\cong \Bbbk\mathbf{gr}^{op}\), there is an exact forgetful functor
\[
U:\mathbf A\text{-Mod}\to \Bbbk\mathbf{gr}^{op}\text{-Mod}
\]
and a fully faithful exact functor
\[
T:\Bbbk\mathbf{gr}^{op}\text{-Mod}\to \mathbf A\text{-Mod}
\]
induced by projection to degree \(0\), with \(U\circ T=id\). On \(T(N)\), every positive-degree morphism of \(\mathbf A\) acts by zero [2510.09625].

Katada enlarged \(\mathbf A\) to a mixed category \(\mathbf A^L\) whose objects are tensor words in two generators \(H\) and \(L\). It contains \(\mathbf A\) and the PROP \(\mathbf C\) for Casimir Lie algebras as full graded subcategories. The mixed hom-spaces \(\mathbf A^L(L^{\otimes m},H^{\otimes n})\) are represented by extended Jacobi diagrams in handlebodies, with univalent vertices allowed on the upper line as well as on the support arcs. The category is generated by the Hopf algebra structure on \(H\), the Lie algebra structure and Casimir \(c\) on \(L\), together with maps \(i:L\to H\) and \(ad_L:H\otimes L\to L\), and the original handlebody Casimir tensor is recovered by
\[
\tilde c=i^{\otimes 2}c.
\]
A key basis theorem identifies the degree-zero mixed hom-space \(\mathbf A^L_0(L^{\otimes m},H^{\otimes n})\) with chord diagrams running from the upper line to the bottom support [2509.16230].

From composition in \(\mathbf A^L\) one obtains an \((\mathbf A,\mathbf C)\)-bimodule
\[
\mathbf A^L(L^{\otimes -},H^{\otimes -}),
\]
and therefore an adjunction
\[
\mathbf A^L(L^{\otimes -},H^{\otimes -})\otimes_{\mathbf C}- \;:\; \mathbf C\text{-Mod}\rightleftarrows \mathbf A\text{-Mod} \;:\; \operatorname{Hom}_{\mathbf A}(\mathbf A^L(L^{\otimes -},H^{\otimes -}),-).
\]
This generalizes Powell’s adjunction for analytic functors on free groups. On the analytic subcategory \(\mathbf A\text{-Mod}^{\omega}\), defined by requiring \(U(M)\) to be analytic in Powell’s sense, the restricted adjunction is the mechanism by which module-theoretic information is transferred between the handlebody PROP and the PROP for Casimir Lie algebras; the paper notes that Minkyu Kim independently proved that this restricted adjunction is an equivalence [2509.16230]. The same bridge underlies the later computation of Ext-groups [2510.09625].

Day convolution endows \(gr\text{-Mod}\), \(\mathbf A\text{-Mod}\), and \(\mathbf C\text{-Mod}\) with symmetric monoidal structures. In this setting, the graded algebra \(C=U(C(0,-))\) is quadratic: it is generated in degree \(1\) by the Casimir element \(c\), and its relations are generated by explicit quadratic elements \(r_s\) and \(r_c\). Transporting this structure yields a quadratic presentation of the corresponding graded algebra \(A=U(A(0,-))\), generated by \(\tilde c\), with quadratic relations \(\tilde r_s\) and \(\tilde r_c\); the latter is identified with the \(4T\)-relation [2509.16230].

The representable module
\[
A(0,-):n\mapsto A(0,n)
\]
plays a distinguished role. It is indecomposable, and for \(d\ge 0\) and \(d'\ge d+2\) the finite-degree subquotients
\[
A_{\ge d}(0,-)/A_{\ge d'}(0,-)
\]
are also indecomposable. The degree-\(d\) layer splits as
\[
A_d=A_dP\oplus A_dQ,
\]
with
\[
A_dP\cong S^{2d}\circ \mathfrak a^\#,
\]
and with \(A_dQ\) carrying the nontrivial extension-theoretic complexity. In low degrees,
\[
A_0\cong S^0\circ \mathfrak a^\#,\qquad A_1\cong S^2\circ \mathfrak a^\#,
\]
while \(A_2Q\) has a unique composition series with factors
\[
S^{2^2}\circ \mathfrak a^\#,\quad S^{1^3}\circ \mathfrak a^\#,\quad S^2\circ \mathfrak a^\#
\]
[2509.16230].

In the category of \(\mathbf A\)-modules, the first Ext-groups between simple modules induced from Schur functors are explicitly known. If \(\lambda,\mu\) are partitions, \(n=|\lambda|\), and \(m=|\mu|\), then
\[
\dim_{\Bbbk}Ext^1_{\mathbf A\text{-Mod}}
\bigl(
T(S^{\lambda}\circ \mathfrak a^{\#}),
T(S^{\mu}\circ \mathfrak a^{\#})
\bigr)
=
\begin{cases}
\displaystyle\sum_{\rho\vdash n-2}LR^{\lambda}_{\rho,1^2}LR^{\mu}_{\rho,1} & \text{if } m=n-1,\\[1ex]
LR^{\mu}_{\lambda,2} & \text{if } m=n+2,\\[1ex]
0 & \text{otherwise.}
\end{cases}
\]
The case \(m=n-1\) is the degree-zero free-group contribution; the case \(m=n+2\) is the genuinely handlebody-specific positive-degree contribution arising from a single Casimir insertion. For one-row partitions this specializes to
\[
Ext^1_{\mathbf A\text{-Mod}}
\bigl(T(S^d\circ\mathfrak a^{\#}),T(S^{d'}\circ\mathfrak a^{\#})\bigr)
\cong
\begin{cases}
\Bbbk & \text{if } d'=d+2,\\
0 & \text{otherwise.}
\end{cases}
\]
By contrast, in the mixed Schur/exterior case no new positive-degree \(\mathbf A\)-extensions appear beyond those already present in degree zero [2510.09625].

## 5. Degree-two arc modules and automorphism-group actions

A complementary direction studies Jacobi diagrams on \(n\)-component oriented arcs as explicit \(Aut(F_n)\)-modules. For \(n\ge 1\), let \(A_d(n)\) be the \(\mathbf Q\)-vector space spanned by degree-\(d\) Jacobi diagrams on \(n\) oriented arcs, modulo STU. In degree \(2\), the descending filtration by the number of trivalent vertices is
\[
A_2(n)\supset A_{2,1}(n)\supset A_{2,2}(n)\supset 0.
\]
This filtration is adapted to handlebody considerations because automorphisms are represented by \(n\)-component arc systems in a genus-\(n\) handlebody, and the action is defined by composition in the category \(A\) of Jacobi diagrams in handlebodies [2312.10428].

If \(f\in Aut(F_n)\) and \(u\in A_d(n)\), the action is
\[
u\cdot f:=Z(f)\circ u,
\]
where \(Z(f)\) is the arc system representing \(f\). The action is explicitly nontrivial: for the Nielsen shear
\[
x_1\mapsto x_1x_2,\qquad x_2\mapsto x_2,\qquad x_3\mapsto x_3,
\]
the paper gives an example in which a basis vector \(u\) is sent to
\[
u\cdot f=u-\frac12\,w_{13}.
\]
At the same time,
\[
Inn(F_n)\text{ acts trivially on }A_d(n),
\]
so the \(Aut(F_n)\)-action factors through \(Out(F_n)\) [2312.10428].

For the IA-subgroup, the action raises the filtration:
\[
[u,f]:=u\cdot f-u\in A_{d,k+1}(n)\qquad (u\in A_{d,k}(n),\ f\in IA_n).
\]
Hence \(IA_n\) acts trivially on the associated graded quotients \(A_{d,k}(n)/A_{d,k+1}(n)\), and the nontriviality is carried by the extension data between successive filtration levels. In degree \(2\), the module splits as
\[
A_2(n)=A'_2(n)\oplus A''_2(n)\qquad (n\ge 3),
\]
where \(A'_2(n)\cong V_{0,4}\) is irreducible and \(A''_2(n)\) is indecomposable with unique composition series
\[
A''_2(n)\supsetneq A_{2,1}(n)\supsetneq A_{2,2}(n)\supsetneq 0,
\]
and factors
\[
A''_2(n)/A_{2,1}(n)\cong V_{0,2^2},\qquad
A_{2,1}(n)/A_{2,2}(n)\cong V_{0,1^3},\qquad
A_{2,2}(n)\cong V_{0,2}.
\]
This separates the degree-\(2\) arc-diagram module into a summand on which \(IA_n\) is trivial and an indecomposable summand governed by the trivalent-vertex filtration [2312.10428].

The first homology of \(IA_n\) with coefficients in the indecomposable summand is computed explicitly:
\[
H_1(IA_n, A''_2(n))\cong
\begin{cases}
V_{1^2,2^21}\oplus V_{1^2,32}\oplus V_{1,21^2}\oplus V_{1,2^2}^{\oplus 2}\oplus V_{1,31}\oplus V_{0,21}^{\oplus 2} & n\ge 5,\\[1mm]
V_{1^2,32}\oplus V_{1,21^2}\oplus V_{1,2^2}^{\oplus 2}\oplus V_{1,31}\oplus V_{0,21}^{\oplus 2} & n=4,\\[1mm]
V_{1,2^2}\oplus V_{1,31}\oplus V_{0,21}^{\oplus 2} & n=3.
\end{cases}
\]
Since \(IA_n\) acts trivially on \(A'_2(n)\cong V_{0,4}\),
\[
H_1(IA_n,A'_2(n))\cong A'_2(n)\otimes H_1(IA_n,\mathbf Q),
\qquad
H_1(IA_n,\mathbf Q)\cong H^*\otimes \bigwedge^2 H,
\]
and therefore
\[
H_1(IA_n,A_2(n))\cong H_1(IA_n,A'_2(n))\oplus H_1(IA_n,A''_2(n)).
\]
The paper also computes the corresponding homology groups for the intermediate subquotients \(A_{2,1}(n)\) and \(A''_2(n)/A_{2,2}(n)\), using explicit boundary maps and, in rank \(3\), explicit \(2\)-cycles built from Day–Putman relators [2312.10428].

In rank \(3\), the indecomposable module \(A''_2(3)\) admits a particularly rigid structure. It has basis
\[
\{v_1,v_2,v_3,v_{12},v_{13},v_{23},u_{123},w_1,w_2,w_3,w_{12},w_{13},w_{23}\},
\]
dimension \(13\), and an \(Aut(F_3)\)-equivariant self-duality
\[
\Phi:A''_2(3)\xrightarrow{\cong} A''_2(3)^*.
\]
The induced quotient-level isomorphism
\[
A''_2(3)/A_{2,2}(3)\xrightarrow{\cong} A_{2,1}(3)^*
\]
identifies the middle stages of the trivalent filtration as dual \(Aut(F_3)\)-modules. The same paper notes that \(A_{2,1}(3)\cong U_3^I\) as an \(Out(F_3)\)-module in the sense of Turchin–Willwacher, and hence
\[
A''_2(3)/A_{2,2}(3)\cong (U_3^I)^*.
\]
[2312.10428]

## 6. Kontsevich integral, finite-type theory, and relation to the LMO functor

The topological source category for the handlebody theory is the category \(\mathcal B\) of bottom tangles in handlebodies. Its objects are nonnegative integers, and a morphism \(m\to n\) is an isotopy class of framed oriented \(n\)-component bottom tangles in the genus-\(m\) handlebody. After non-strictification to \(\mathcal B_q\), Habiro and Massuyeau constructed a functor
\[
Z:\mathcal B_q\to \widehat{\mathbb A},
\]
where \(\widehat{\mathbb A}\) is the degree-completion of the category of Jacobi diagrams in handlebodies. This extends the ordinary Kontsevich integral to the handlebody setting and is modeled on the extension of the Kontsevich integral to tangles in handlebodies due to Andersen, Mattes, and Reshetikhin [1702.00830].

For a bottom \(q\)-tangle \(T\), the construction uses a cube presentation \(U\) together with cabling anomalies \(a_{v_i}\):
\[
Z(T)= Z(U)\circ \bigl(a_{v_1}\otimes \operatorname{id}_{v_1^*}\otimes \cdots \otimes a_{v_m}\otimes \operatorname{id}_{v_m^*}\bigr).
\]
With a chosen Drinfeld associator \(\varphi\), one obtains a braided monoidal functor
\[
Z_q^\varphi:\mathcal B_q\to \widehat{\mathbb A}_q^\varphi.
\]
The image of every bottom tangle is group-like in the completed coalgebra structure and lies in the component determined by its handlebody homotopy class [1702.00830].

The finite-type content is encoded by the identification of filtrations. The Vassiliev–Goussarov filtration on \(\Bbbk\mathcal B_q\) is generated by crossing-change and framing-change plots, while the target degree filtration on \(\mathbb A_q\) is generated by the Casimir element. The associated graded categories are isomorphic:
\[
\operatorname{Gr}\,\Bbbk\mathcal B \cong \mathbb A,
\qquad
\operatorname{Gr}\,\Bbbk\mathcal B_q \cong \mathbb A_q.
\]
Equivalently, Jacobi diagrams in handlebodies are the associated-graded receptacle for finite-type invariants of bottom tangles in handlebodies. In the completed setting, \(Z_q^\varphi\) becomes an isomorphism of filtered braided monoidal categories [1702.00830].

The same paper constructs from any Drinfeld associator a ribbon quasi-Hopf algebra inside \(\widehat{\mathbb A}\). The defining elements are
\[
\varphi=\varphi(c_{12},c_{23}):0\to 3,\qquad
R=\exp_*(c/2):0\to 2,\qquad
\mathbf r=\exp_*(\mu c/2):0\to 1,
\]
together with the associated quasi-antipode data. The resulting quasi-Hopf algebra \(H_\varphi\) is universal in the diagrammatic setting, and the paper proves that the canonical Hopf algebra in \(\mathcal B_q\) is sent by \(Z_q^\varphi\) to the transmutation of \(H_\varphi\) [1702.00830].

Jacobi diagrams in handlebodies also refine the LMO formalism. There is a monoidal “hair” or Magnus functor
\[
\kappa:\widehat{\mathbb A}\to {}^s\mathcal A
\]
obtained by replacing each bead \(x_i\) with the exponential \(\exp(X_i)\). Under the identification of bottom tangles with special Lagrangian cobordisms, the handlebody Kontsevich integral factors through the LMO functor via \(\kappa\). However, for \(m,n\ge 1\), this map is not injective. Thus the handlebody target \(\widehat{\mathbb A}\) retains noncommutative \(\pi_1\)-information that is lost after passage to the hair expansion [1702.00830].

Taken together, these developments place Jacobi diagrams in handlebodies at a precise crossroads. They are simultaneously a geometric encoding of graphs up to homotopy in handlebodies, the universal PROP of Casimir Hopf algebras, the associated graded of handlebody bottom-tangle theory, the source of polynomial and outer-functor phenomena on free groups, and the basis for a module theory whose low degrees are already rich enough to detect indecomposability, nontrivial Ext-classes, and explicit \(IA_n\)-homology [1702.00830], [2202.10907], [2509.16230], [2510.09625], [2312.10428].

Source: https://www.emergentmind.com/topics/jacobi-diagrams-in-handlebodies