---
title: 4-Ended Tangle Khovanov Theory
url: https://www.emergentmind.com/topics/4-ended-tangle-khovanov-theory
type: topic
---

# 4-Ended Tangle Khovanov Theory

4-ended tangle Khovanov theory is the collection of bordered, categorical, and geometric formalisms that assign invariants to tangles with four boundary points and recover ordinary Khovanov-type link homology after gluing complementary tangles. In its original bordered form, a tangle properly embedded in a half-space is assigned a type D structure over a differential bigraded boundary algebra, and the complementary tangle carries a type A structure whose box tensor reconstructs the bigraded Khovanov chain complex of the closed link obtained by gluing [1304.0463, 1304.0465]. Subsequent developments re-expressed the same four-ended theory in terms of modules over arc algebras, immersed multicurves with local systems in the 4-punctured sphere, and twisted complexes in wrapped Fukaya categories, yielding equivalent tangle invariants and new applications to mutation, Floer-theoretic pairings, and categorical operations [1509.07174, 1910.14584, 2004.01619].

## 1. Foundational setting

A 4-ended tangle is a properly embedded \(1\)-manifold with four boundary points. In the Fukaya-categorical formulation, a pointed 4-ended tangle is such a tangle together with a distinguished end, conventionally the top-left one, marked by \(\ast\), and removing the four endpoints from \(\partial D^3\) gives the 4-punctured sphere \((S^2,4)\), which serves as the boundary condition for the wrapped Fukaya category [2004.01619]. In the bordered combinatorial formulation, one fixes four boundary points on the \(y\)-axis and encodes boundary data by decorated cleaved links transverse to that axis [1304.0463].

The basic algebraic input is a boundary algebra. In Roberts’ construction this algebra is \(\mathcal B\Gamma_2\), generated by idempotents corresponding to decorated cleaved links, bridge generators associated to surgery arcs, and decoration generators that flip a \(+\)-decoration to \(-\) [1304.0463, 1304.0465]. The algebra carries a bigrading and a differential of bidegree \((1,0)\). The geometric input is the cube of resolutions of a tangle diagram together with decorations on the resulting circles, exactly as in Khovanov’s original construction, but now retaining the boundary pattern rather than closing the diagram immediately [1304.0463].

A recurrent point of terminology is that several equivalent-looking theories use different choices of boundary presentation. Roberts works with half-space tangles and cleaved-link algebras; Kotelskiy–Watson–Zibrowius formulate pointed 4-ended tangles in the 3-ball and the 4-punctured sphere; Manion relates the bordered algebra to Khovanov’s arc algebra \(H^2\) [1509.07174]. These are not independent theories of unrelated objects. Rather, they are distinct models for the same four-ended cut-and-paste phenomenon, with different emphases on combinatorics, algebra, or symplectic geometry.

## 2. Bordered algebraic model

Roberts’ type D construction begins with a graded left module \(M\) over the idempotent ring \(I\subset A\), where \(A=\mathcal B\Gamma_2\), together with a structure map
$$
\delta^1\colon M\longto (A\otimes_I M)[1]
$$
of bidegree \((1,0)\) satisfying the curvature-zero relation
\[
(\mu\otimes\Id)\circ(\Id\otimes\delta^1)\circ\delta^1
\;+\;
(d\otimes\vert\Id\vert)\circ\delta^1
\;=\;0.
\]
Here \(\mu\) is multiplication in \(A\), \(d\) is the differential on \(A\), and \(|\Id|\) is the sign twist coming from the internal \(\mathbb Z/2\mathbb Z\)-grading [1304.0463].

For a generic 4-ended tangle \(T\), the module \(M(T)\) is freely generated over \(\mathbb Z\) by states \((r,m;\sigma)\), where \(r\) is a \(0/1\)-resolution of the crossings, \(m\) is a left matching closing the four loose ends, and \(\sigma\) decorates each resulting circle by \(+\) or \(-\) [1304.0463]. The structure map \(\delta^1\) is assembled from three types of terms: interior contributions coming from the usual Khovanov merge/split rules, boundary terms recording surgeries along right-bridges in the closure matching, and decoration terms associated to cleaved circles carrying \(+\)-labels. The construction is explicitly modeled on bordered Heegaard Floer homology, but uses only combinatorial and diagrammatic methods [1304.0463].

The complementary type A theory assigns to an inside tangle a strictly unital right \(A_\infty\)-module \((M,m_1,m_2,m_3)\) over the same algebra. The differential \(m_1\) is the Asaeda–Przytycki–Sikora differential restricted to the inside region, \(m_2\) gives the right action of idempotents, decoration generators, and bridge generators, and \(m_3\) appears when successive boundary changes interact through special relations in the algebra; one has \(m_n=0\) for \(n\ge 4\) [1304.0465]. This asymmetry between type D and type A is intrinsic to the bordered formalism rather than an artifact of notation.

Manion gave an alternate construction in the language of Khovanov’s modules over \(H^2\), the four-point arc algebra generated by the two crossingless matchings \(a=\{(1,2),(3,4)\}\) and \(b=\{(1,4),(2,3)\}\) [1509.07174]. In that reformulation, the dg module \([T]^{Kh}\) of a 4-ended tangle is equivalent to a type D structure over \(H^2\), and Roberts’ bordered modules arise from the same data viewed over the smaller algebra \(B\Gamma_2\) [1509.07174].

## 3. Gluing theorem and isotopy invariance

The central structural statement is the pairing theorem. If \(M_A\) is the type A structure for an inside tangle and \(M_T\) is the type D structure for the complementary outside tangle, then one forms the box tensor
$$
C^{\bullet}(L)\;=\;M_A\;\boxtimes_A\;M_T,
$$
whose differential combines the \(A_\infty\)-operations on the type A side, the type D operation \(\delta^1\), and multiplication in the boundary algebra. Roberts proves that this glued complex is canonically isomorphic, up to the overall shift \(( -n_-, n_+-2n_-)\), to the usual bigraded Khovanov chain complex of the closed link \(L\) obtained by gluing the two tangles [1304.0463]. In the type A paper the same statement is written as
\[
\operatorname{CKh}(L)\;\simeq\;M^A\boxtimes D^A,
\]
with chain homotopy equivalence of \((1,0)\)-graded differentials [1304.0465].

This pairing formalizes a modular computation principle. The tangle pieces can be simplified independently, then recombined without recomputing the full cube of resolutions for the closed link. Roberts emphasizes this in the connect-sum example: the type A structure of the inside tangle for the right-handed trefoil and the type D structure of the outside tangle for the left-handed trefoil pair to recover the bigraded Khovanov homology of \(T_L\#T_R\), including four torsion summands [1304.0465].

Invariance is established at the level of bordered modules. For the type D side, planar isotopy of the endpoints and Reidemeister I–III moves in the interior change the resulting structure only by basis cancellations and homotopy equivalences, so its homotopy class is an invariant of the isotopy class of the tangle [1304.0463]. For the type A side, changing the crossing order yields a strictly isomorphic \(A_\infty\)-module, and Reidemeister moves yield homotopy equivalent \(A_\infty\)-modules [1304.0465]. Manion reproved these invariance and pairing properties in the \(H^2\)-module framework, using explicit generators-and-relations descriptions of \(H^2\) and standard cancellation arguments [1509.07174].

A common misconception is that the bordered package is merely a repackaging of the link complex after closure. The gluing theorem shows the opposite: the bordered objects are genuine tangle invariants, and the closed-link Khovanov complex is recovered only after pairing compatible boundary data.

## 4. Immersed-curve and Fukaya-category reformulations

A major reinterpretation identifies four-ended tangle invariants with immersed multicurves in the 4-punctured sphere. Kotelskiy, Watson, and Zibrowius associate to a 4-ended tangle \(T\) a Bar–Natan multicurve \(\widetilde{\mathrm{BN}}(T)\), defined as the multicurve corresponding to the bounded bigraded type D structure associated to \(T\) under a classification theorem for such modules [1910.14584]. The multicurve consists of immersed curves with local systems, taken up to homotopy of the underlying curves and equivalence of the local systems.

In this language, gluing becomes Floer theory. If a link \(L\) is obtained by gluing two pointed 4-ended tangles \(T_1\) and \(T_2\), then the reduced Bar–Natan homology of \(L\) is computed by the Floer homology of the corresponding multicurves. The same paper defines immersed-curve invariants \(\widetilde{\mathrm{Kh}}(T)\) and \(\mathrm{Kh}(T)\) via mapping cones of the self-action \(H\) on the Bar–Natan object, and their pairings recover reduced and unreduced Khovanov homology of glued links [1910.14584]. The theory also yields mutation statements: Conway mutation preserves reduced Bar–Natan homology over \(\mathbb F_2\), and the reduced Khovanov curve is mutation-invariant; consequently \(\Kh_{\mathrm{red}}(L;\mathbb F_2)\) and Rasmussen’s \(s\)-invariant are mutation-invariants in the sense stated there [1910.14584].

The Fukaya-categorical version places these tangle invariants inside the wrapped Fukaya category \(W=\mathit{Fuk}(S^2,4)\), whose objects are exact, graded, possibly immersed Lagrangians equipped with local systems, and whose morphisms are Floer complexes generated by intersection points, with \(\mu^1\) counting immersed bigons and higher \(\mu^k\) counting \(k\)-gons [2004.01619]. In that setting there are two Khovanov-theoretic tangle invariants for a pointed 4-ended tangle, \(\mathcal D_1(T)\) and \(L_T\), both realized as twisted complexes over \(W\). The main theorem of [2004.01619] proves that they agree after identifying the Bar–Natan algebraic model with a suitable subalgebra of the pillowcase algebra via an explicit \(A_\infty\)-quasi-isomorphism.

This equivalence has two consequences emphasized in the literature. First, it shows that the immersed-curve description is not only heuristic but fully compatible with algebraic Khovanov tangle invariants. Second, it provides a concrete immersed-curve model whose wrapped Floer homology computes reduced Khovanov homology after gluing, and whose explicit nature admits algorithmic implementation [2004.01619].

## 5. Refined theories and alternative algebraic models

Several extensions preserve the four-ended cut-and-paste architecture while changing coefficients or target categories. Naisse and Putyra developed a covering arc algebra \(A_2\) for four boundary points over
\[
R=\mathbb Z[X,Y,Z^{\pm1}]/(X^2=Y^2=1),
\]
together with the theory of quasi-associative algebras and bimodules graded over a category with a \(3\)-cocycle [2003.14290]. For a \((2,2)\)-tangle, the resulting chain complex is a \(G\)-graded dg \(A_2\)-bimodule, and specializations recover the even and odd theories: \(X=Y=Z=1\) gives ordinary Khovanov tangle homology over \(\mathbb Z\), while \(X=Z=1\), \(Y=-1\) gives odd Khovanov tangle homology [2003.14290]. The gluing property is retained at the level stated იქ, and the construction is related to a level \(2\) cyclotomic half \(2\)-Kac–Moody action.

Lawson, Lipshitz, and Sarkar defined stable homotopy refinements of Khovanov’s arc algebras and tangle invariants. In the four-ended case, the arc algebra \(A^4=H^2\) is promoted to a ring spectrum \(H^2\), and a 4-ended tangle \(T\) is assigned an \((H^2,H^2)\)-bimodule spectrum \(X(T)\) whose chain homology recovers the ordinary tangle complex [1706.02346]. Applying a generalized homology theory produces a convergent cube spectral sequence whose \(E_2\)-page is the classical bigraded Khovanov homology of the tangle [1706.02346].

This spectral package extends to Chen–Khovanov platform algebras. The four-point arc algebra \(H^2\) admits a platform quotient \(A^2\), and the corresponding spectral platform algebra \(A_s^2\) and spectral tangle bimodules lift Chen–Khovanov’s invariants to spectra [1909.12994]. Their topological Hochschild homology recovers the classical Hochschild picture for annular Khovanov homology, and the spectrum-level theory carries the additional structure of THH and Steenrod operations in the manner described there [1909.12994].

Another algebraic reformulation uses Ozsváth–Szabó strand algebras and DA bimodules. For four boundary points, Alishahi and Dowlin construct elementary DA bimodules for the identity, crossings, cups, and caps over the once-truncated strands algebra \(A_2=A(2,2)\); iterated box tensor products assemble an oriented cube of resolutions, and forgetting the filtration produces objects homotopy equivalent to suitable Ozsváth–Szabó bimodules [1909.03865]. This places Khovanov-theoretic 4-ended tangle invariants and knot Floer-type tangle invariants in a common bordered framework.

## 6. Extensions and current directions

The Roberts formalism has been extended beyond links in \(S^3\). For links in connected sums of orientable interval bundles over surfaces, cutting along a separating sphere yields type D and type A structures for tangles in the two halves, and gluing them along the common boundary recovers the Khovanov homology of the link [2603.07337]. In the \(n=2\) specialization, this reproduces the same four-ended cleaved-link algebra, type D map, type A module, and box-tensor differential familiar from the \(S^3\) setting [2603.07337].

Recent work also studies operators on the four-ended category itself. Marian defines a 2-cabling operator on pointed framed 4-ended tangles, inducing an endofunctor on the homotopy category of type D structures over the Bar–Natan algebra \(\mathcal B\) and, via the curve correspondence, an operator on the Fukaya category of the 4-punctured sphere [2508.00644]. For cap-trivial tangles, the induced operator factors through the quotient setting \(D_\bullet=0\), and the resulting geography theorem constrains the unique noncompact component of the associated immersed curve to be either the basic trefoil-axis curve or the straight line, up to mirroring and overall framing shift [2508.00644].

Across these developments, one structural theme remains constant. Four-ended tangle Khovanov theory is a gluing theory: local tangle data are encoded as modules, bimodules, twisted complexes, or immersed curves living on the boundary, and closed-link homology is recovered by algebraic tensor product or Floer-theoretic pairing. The coexistence of bordered, quiver-theoretic, immersed-curve, and spectral models does not indicate incompatibility. The established equivalences instead show that the four-ended setting is a particularly rigid and productive interface between Khovanov homology, bordered methods, and symplectic-categorical topology [1304.0463, 2004.01619].

Source: https://www.emergentmind.com/topics/4-ended-tangle-khovanov-theory