---
title: Khovanov Skein Lasagna Modules for 4-Manifolds
url: https://www.emergentmind.com/topics/khovanov-skein-lasagna-modules
type: topic
---

# Khovanov Skein Lasagna Modules for 4-Manifolds

Searching arXiv for recent papers on skein lasagna modules and related Khovanov constructions.
arxiv_search: query="skein lasagna Khovanov", max_results=10, sort_by="submittedDate"
Khovanov skein lasagna modules are 4-dimensional analogues of skein modules obtained by feeding a functorial link homology theory—most often \(\mathfrak{gl}_2\) Khovanov–Rozansky homology, or an equivalent grading-shifted form of ordinary Khovanov homology—into the Morrison–Walker–Wedrich lasagna formalism. For a smooth compact oriented 4-manifold \(X\) with a framed oriented boundary link \(L\), they encode embedded surfaces, input 4-balls, and link-homological labels modulo local cobordism relations; in the standard categorical formulation, the resulting invariant is a colimit over a skein category of surfaces in \(X\) rel \(L\) [2602.13462]. Across the literature, the phrase also encompasses closely related variants built from Bar–Natan, equivariant and deformed \(\mathfrak{gl}_N\) theories, Rozansky–Willis homology, and stable-homotopy refinements, so the subject is best understood as a family of Khovanov-type 4-manifold invariants rather than a single rigid construction [2504.03968] [2401.06600].

## 1. Foundational definition and categorical formulation

Historically, the skein lasagna module appears as the blob-degree-zero part of the Morrison–Walker–Wedrich invariant
\[
S(W;L)=\bigoplus_{b\in\mathbb Z}\bigoplus_{i,j\in\mathbb Z} S_{b,i,j}(W;L),
\]
where \(b\) is the blob grading and \((i,j)\) are the usual homological and quantum gradings from \(KhR_N\). The degree-zero piece
\[
S_0(W;L)=\bigoplus_{i,j} S_{0,i,j}(W;L)
\]
is the skein lasagna module in the original sense [2009.08520]. Its generators are lasagna fillings: properly embedded framed oriented surfaces in \(W\) with finitely many interior input balls, each ball carrying a boundary link and a homogeneous label in the chosen link homology theory, modulo multilinearity and local replacement relations induced by 4-ball cobordism evaluations [2009.08520].

A later and now standard formulation packages the same idea through a skein category. For a smooth compact oriented 4-manifold \(X\) and a framed oriented link \(L\subset \partial X\), a skein \(\Sigma\) in \((X,L)\) is a properly embedded oriented framed surface in
\[
X\setminus \bigsqcup_i \operatorname{int}(B_i)
\]
whose boundary on \(\partial X\) is \(L\), and whose boundary on each input sphere \(\partial B_i\cong S^3\) is a framed link \(K_i\). The category \(\mathcal C(X;L)\) has such skeins as objects and embedded surface cobordisms between them as morphisms. Given a functorial link homology theory
\[
Z:\mathsf{LinkCob}(S^3)\to \mathbf{Mod}_R,
\]
one obtains a functor
\[
Z:\mathcal C(X;L)\to \mathbf{Mod}_R
\]
by sending \(\Sigma\) to \(Z(l(\Sigma))=\bigotimes_i Z(K_i)\), and a morphism \(S:\Sigma\to \Sigma'\) to the induced map \(Z(S)\). The skein lasagna module is then the colimit
\[
\mathcal S_0^Z(X;L):=\mathrm{colim}\bigl(Z:\mathcal C(X;L)\to \mathbf{Mod}_R\bigr),
\]
equivalently the quotient of pairs \((\Sigma,v)\) by linearity and the relations \((\Sigma,v)\sim (\Sigma',Z([S])(v))\) [2602.13462].

For the Khovanov specialization, the literature commonly works with \(Z=KhR_2\) or, after the known grading shift
\[
KhR_2^{h,q}(L)\cong Kh^{h,-q-w(L)}(-L),
\]
with a shifted ordinary Khovanov theory denoted \(\mathcal S_0^{Kh}(X;L)\) [2602.13462]. A persistent source of terminological confusion is that some papers emphasize the blob-degree-zero origin, whereas others take the colimit construction as primary. Both describe the same degree-zero 4-dimensional skein object.

## 2. Handle decompositions and cabled descriptions

For 2-handlebodies, the skein lasagna module admits a concrete link-homological description. If \(W=W(K)\) is obtained from \(B^4\) by attaching 2-handles along a framed link \(K\subset S^3\), then for each \(\alpha\in H_2(W;\mathbb Z)\cong \mathbb Z^n\) there is a natural bi-graded isomorphism
\[
(K)_\alpha \xrightarrow{\ \cong\ } S(W;\emptyset,\alpha),
\]
where \((K)_\alpha\) is a cabled Khovanov–Rozansky object built from all cables \(K(r-\alpha^-,r+\alpha^+)\), modulo braid-action and band relations coming from annular cobordisms with dots [2009.08520]. This description reduces the blob-degree-zero 4-manifold invariant to explicit algebra on the attaching link.

A more general handle calculus was later developed for arbitrary handle decompositions. For a decomposition
\[
X_1\subset X_2\subset X_3\subset X_4=X,
\]
with \(X_1\) the 1-handlebody, \(X_2\) obtained by attaching 2-handles, \(X_3\) by attaching 3-handles, and \(X_4\) by attaching 4-handles, the skein lasagna module can be reconstructed inductively. The 1-handle step is described by a Hochschild-type construction, the 2-handle step by cabling and quotient relations over the skein algebra of \(S^1\times B^2\), the 3-handle step by quotienting by sphere-evaluation relations, and the 4-handle step leaves the invariant unchanged [2206.04616] [2602.17825].

The most conceptual gluing statement uses triples \((X;Y;T)\), where \(Y\) is a distinguished 3-manifold in \(\partial X\) and \(T\) is a tangle on the complementary boundary. One defines a module \(S^\star(X;Y;T)\) over the algebra \(S^\star(Y;P)\), and for a gluing
\[
X=X_1\cup_Y X_2
\]
one obtains
\[
S^\star(X;T_1\cup_P T_2)\cong S^\star(X_1;Y;T_1)\otimes_{S^\star(Y;P)} S^\star(X_2;Y;T_2).
\]
In the Khovanov or \(KhR_2\) specialization, this furnishes a uniform explanation of the earlier 1-, 2-, and 3-handle formulas [2602.17825].

The 1-dimensional-input version introduced later replaces 4-ball inputs by embedded 4-dimensional 1-handlebodies and replaces \(KhR_2\) on \(S^3\) by Rozansky–Willis homology for links in \(\#^n(S^1\times S^2)\). For 4-manifolds built from 1- and 2-handles, this theory is computed by a cabled colimit of Rozansky–Willis homologies modulo a new lasso relation, which records isotopies specific to the 1-dimensional-input geometry [2606.29452]. This suggests that the classical ball-input formalism is only one layer of a broader handle-sensitive skein-lasagna landscape.

## 3. Model computations and structural behavior for basic 4-manifolds

The first explicit family of computations concerns disk bundles over \(S^2\). For \(S^2\times D^2\), the blob-degree-zero module is supported in homological degree \(0\) and carries a natural commutative ring structure. The computation gives
\[
S_{0,0,*}(S^2\times D^2;\emptyset)\cong \mathbb Z[A_1,\dots,A_{N-1},A_0,A_0^{-1}],
\]
with \(A_k\) of quantum degree \(-2k\); for \(N=2\), each fixed homology class \(\alpha\) contributes a copy of \(\mathbb Z\) in each quantum degree \(-2k\), \(k\ge 0\) [2009.08520]. In the 1-dimensional-input theory over \(\mathbb Q\), the corresponding result simplifies to
\[
\overline{S}_0^{2,O}(S^2\times D^2)\cong \mathbb Q[A_0,A_0^{-1}],\qquad
\overline{S}_0^{2,T}(S^2\times D^2)\cong \mathbb Q[A_0]/(A_0^2-1),
\]
with one-dimensional skein-degree pieces concentrated in \((h,q)=(0,0)\) [2606.29452]. The contrast shows that changing the input theory can dramatically alter the size and finiteness properties of the module.

For the disk bundle \(D(p)\) of Euler number \(p\), the \(N=2\) computation distinguishes signs sharply. In blob degree zero and homology class \(0\),
\[
S_{0,0,*}(D(p);\emptyset,0)=0\quad (p>0),
\]
while for \(p<0\),
\[
S_{0,0,j}(D(p);\emptyset,0)\cong
\begin{cases}
\mathbb Z & j=0,\\
0 & j\neq 0.
\end{cases}
\]
In particular,
\[
S_{0,0,*}(\mathbb{CP}^2;\emptyset,0)=0,\qquad
S_{0,0,0}(\overline{\mathbb{CP}^2};\emptyset,0)\cong \mathbb Z
\]
for \(N=2\) [2009.08520]. This orientation sensitivity has been repeatedly emphasized in the subject because it is incompatible with the behavior of unitary 4-dimensional TQFTs.

The pair \((S^2\times B^2,\widetilde\beta)\) provides another testing ground. By reinterpreting the Manolescu–Neithalath cabling system as a homotopy colimit in a completion of the Bar–Natan category, one obtains formulas for \(\mathrm{KhR}_2\) skein lasagna modules in terms of categorified projectors. For the geometrically essential \(n\)-component link \(\widetilde{1}_n\), the result is
\[
S_0^2(S^2\times B^2;\widetilde{1}_n,\alpha)\cong 0
\]
if \(\alpha\) or \(n\) is odd, while for even \(\alpha\) and even \(n\),
\[
S_0^2(S^2\times B^2;\widetilde{1}_n,\alpha)\cong
\mathbb F_{|\alpha|}[A_0,A_0^{-1},A_1]\otimes KhR_2(Tr(P_{n,0}^\vee)).
\]
This identifies a direct relationship with the dual Rozansky projector and hence with the Rozansky–Willis invariant for nullhomologous links in \(S^2\times S^1\) [2402.01081].

A particularly striking vanishing theorem is the triviality of the \(\mathrm{KhR}_2\) skein lasagna module of \(S^2\times S^2\):
\[
S_0^2(S^2\times S^2;\emptyset,(\alpha_1,\alpha_2))\cong 0
\]
for all \((\alpha_1,\alpha_2)\in H_2(S^2\times S^2)\cong \mathbb Z^2\), confirming a conjecture of Manolescu [2402.01081]. This vanishing is derived by combining the mapping-telescope description with annihilation results for higher projectors wearing Kirby belts.

## 4. Colored Khovanov homology and the \(\overline{\mathbb{CP}^2}\) module

A recent line of work connects Khovanov skein lasagna modules to colored Khovanov homology. The paper "Computing colored Khovanov homology" proves that eight finite-dimensional categorifications of the colored Jones polynomial coincide over a field of characteristic zero, including invariants, coinvariants, cohomological models, kernels and cokernels of annulus differentials, and the image/coimage of the Jones–Wenzl projector [2505.03916]. This matters directly for skein lasagna theory because different constructions in the literature use different models: Manolescu–Neithalath’s 2-handle formulas use coinvariants, projector-based approaches use the image of \(p_n\), and physics-motivated formulas often use Khovanov’s cochain complexes. Over characteristic zero, these become interchangeable.

The computational backbone is the cable formula
\[
\Pol \left({n}(K)\right) = \sum_{k = 0}^{\lfloor \frac{n}{2} \rfloor} (-1)^k \binom{n-k}{k} \Pol \left( \Kh \left( K^{n-2k} \right) \right),
\]
together with its inverse in terms of Catalan-triangle numbers [2505.03916]. Applying this to the 1-framed unknot \(U_1\), the paper studies
\[
P_n=\Pol({n}(U_1))
\]
and observes for \(n\le 8\) a three-term recursion
\[
P_n = t^{-2 \lfloor\frac{n}{2}\rfloor } q^{-\ell(n)}P_{n-1} + q^{-2}P_{n-2} + t^{-2 \lfloor\frac{n}{2}\rfloor +1} q^{-\ell(n)+2} P_{n-3},
\]
with total dimensions governed by shifted Tribonacci numbers. The conjecture is that this recursion holds for all \(n\) [2505.03916].

This is relevant because the rational skein lasagna module of \(\overline{\mathbb{CP}^2}\) is described as a colimit of colored Khovanov homologies of the 1-framed unknot under dotted annulus maps, equivalently by inclusions
\[
{n}(U_1)\hookrightarrow q^2{n+2}(U_1)
\]
after grading adjustment. Assuming the recursion, the paper derives conjectural stable-limit formulas
\[
\Pol\left(\mathcal{S}_0^2(\overline{\mathbb{CP}^2}; 0; \mathbb{Q}) \right)
= \lim_{n \to \infty} q^{-2n}P_{2n}(t,q^{-1}),
\]
\[
\Pol\left(\mathcal{S}_0^2(\overline{\mathbb{CP}^2}; 1; \mathbb{Q}) \right)
= \lim_{n \to \infty} q^{-2n-1}P_{2n+1}(t,q^{-1}),
\]
and also gives explicit \(q\)-Pochhammer series for both limits [2505.03916]. The same discussion ties the successive quotients in the direct system to Khovanov homology of torus knots \(T(n,n-1)\), thereby linking dotted-annulus stabilization, large-color asymptotics, and 4-manifold invariants.

A common misconception is that skein lasagna modules are unrelated to colored link homologies. The \(\overline{\mathbb{CP}^2}\) computation points in the opposite direction: for basic 2-handlebodies, the stable behavior of colored Khovanov homology appears to control the Poincaré series of the 4-dimensional invariant.

## 5. Refinements, deformations, and input-theory variants

The most substantial refinement replaces module-valued skein lasagna by a stable homotopy type. The Khovanov–Lipshitz–Sarkar lasagna homotopy type
\[
\mathcal E_0^{LS}(X;L):=\left[\mathrm{hocolim}\bigl(\mathcal X_{LS}:\mathcal C(X;L)\to \boldsymbol{\Sigma}\bigr)\right]
\]
is defined by substituting the Lipshitz–Sarkar Khovanov spectrum for \(Kh\) and taking a homotopy colimit rather than an ordinary colimit. Its reduced cohomology recovers the Khovanov skein lasagna module,
\[
\widetilde H^{h,q}\bigl(\mathcal E_0^{LS}(X;L)\bigr)\cong \mathcal S_0^{Kh\,h,q}(X;L),
\]
so it is not weaker; moreover it canonically endows \(\mathcal S_0^{Kh}(X;L)\) with Steenrod squares, and for nonempty boundary link it is strictly stronger than the module invariant [2602.13462].

The equivariant \(\mathfrak{gl}_N\) theory introduces further algebraic structure. For
\[
R=\mathbb Z[E_1,\dots,E_N],
\]
the equivariant skein lasagna module \(S_0^N(W,L;R)\) is built from equivariant Khovanov–Rozansky homology \(KR_N(L_i;R)\). By twisting the foam-level \(\mathfrak{sl}_2\)-action with green dots and imposing the corresponding compatibility conditions on components of a cobordism, one obtains a canonical \(\mathfrak{sl}_2\)-module structure on \(S_0^N(W,L;R)\) [2604.02997]. In the \(N=2\) 2-handlebody case, this description is made explicit through an equivariant dotted Temperley–Lieb category and Kirby colors.

Bar–Natan and deformed theories supply additional variations. The Bar–Natan skein lasagna module
\[
S_0^{BN}(X;L)
\]
is an \(\mathbb F_2[H]\)-module obtained by importing the Bar–Natan Frobenius package. In this setting, multiplication by \(H\) is interpreted topologically as internal stabilization of the surface, and the theory is used to define \(H\)-torsion order and primitive fillings [2504.03968]. Equivariant and deformed \(\mathfrak{gl}_N\) skein lasagna modules, in turn, support generalized Khovanov–Jacobsson classes and Rasmussen-type bounds through the function \(q^N_{\min}(W,L,\alpha)\); the paper establishing this also proves non-vanishing modulo torsion for homologically diverse surfaces in the equivariant module [2401.06600].

The following variants are all present in the literature and should not be conflated.

| Variant | Defining feature | Consequence |
|---|---|---|
| \(\mathcal S_0^{Kh}(X;L)\) | Colimit of \(Kh\)-valued skein functor | Standard Khovanov skein lasagna module |
| \(\mathcal E_0^{LS}(X;L)\) | Homotopy colimit of Khovanov spectra | Recovers \(\mathcal S_0^{Kh}\), adds Steenrod squares |
| \(S_0^{BN}(X;L)\) | Bar–Natan \(\mathbb F_2[H]\)-valued input | \(H\) acts as internal stabilization |
| \(S_0^N(W,L;R)\) | Equivariant \(KR_N\) over \(\mathbb Z[E_1,\dots,E_N]\) | Carries canonical \(\mathfrak{sl}_2\)-action |
| \(\overline S_0^{2,\diamond}(X;L)\) | 1-dimensional inputs via Rozansky–Willis homology | Handle formulas with lasso relation |

A plausible implication is that “Khovanov skein lasagna modules” function less as a single invariant than as a framework in which the choice of input theory controls what geometric information is retained.

## 6. Gluing, trisections, and applications to exotic phenomena

The gluing theory has recently been extended to manifolds with corners. For a cornered 4-manifold
\[
\partial X = (-Y_1)\cup_\Sigma Y_2
\]
and a finite signed set \(P\subset \Sigma\), one associates a bimodule
\[
F_{X,P}:\mathcal S(Y_1,P)\times \mathcal S(Y_2,P)^{op}\to \mathcal V,\qquad
F_{X,P}(T_1,T_2)=\mathcal S(X,\phi(-T_1\cup T_2)).
\]
If
\[
\partial X_1=(-Y_1)\cup_\Sigma Y_2,\qquad
\partial X_2=(-Y_2)\cup_\Sigma Y_3,
\]
then gluing along \(Y_2\) gives
\[
F_{X_1,P}\otimes_{\mathcal S(Y_2,P)}F_{X_2,P}\cong F_{X_1\cup_{Y_2}X_2,P}.
\]
Self-gluing is described by Hochschild homology, and this yields a trisection-based presentation of the skein lasagna module of a closed 4-manifold by tensoring the bimodules of the three trisection sectors and then taking a stabilization quotient over point sets on the central surface [2512.05861]. In parallel, 3-manifolds with boundary acquire module structures over a bicategory \(\mathcal S(\Sigma)\) of surface tangles and lasagna 2-morphisms, with a corresponding gluing theorem
\[
\mathcal S_{Y_1\cup_\Sigma Y_2}\cong \mathcal S_{Y_1}\otimes_{\mathcal S(\Sigma)}\mathcal S_{Y_2}
\]
[2512.05861].

The subject’s most publicized applications concern exotic smooth structures and exotic surfaces. Ren–Willis showed that Khovanov and Lee skein lasagna modules detect infinitely many pairs of homeomorphic, non-diffeomorphic smooth 4-manifolds; the KLS stable-homotopy refinement detects these pairs as well because it recovers the Khovanov module in cohomology [2602.13462]. The Bar–Natan variant goes further in a different direction: under a non-vanishing hypothesis, primitive fillings in \(S_0^{BN}(X;L)\) allow Hayden-type exotic surfaces in \(B^4\) to be transported into more general 4-manifolds, and the resulting exotic pairs remain non-isotopic after one internal stabilization [2504.03968].

A second application concerns surfaces in fixed homology classes. Using equivariant and deformed \(\mathfrak{gl}_N\) skein lasagna modules, one obtains analogues of Khovanov–Jacobsson classes and Rasmussen-type genus bounds for surfaces in arbitrary smooth oriented 4-manifolds. If \(S\subset W\) is a homologically diverse surface with \(\partial S=L\), its lasagna class has
\[
\deg_t(S)=[S]\cdot[S],\qquad
\deg_q(S)=(1-N)\chi(S)-N\,[S]\cdot[S],
\]
and non-vanishing modulo torsion yields bounds in terms of \(q^N_{\min}(W,L,\alpha)\) [2401.06600]. This places Khovanov skein lasagna modules within the same broad genus-bound tradition as Rasmussen theory, but now in a genuinely 4-manifold-dependent setting.

Finally, there is a parallel Floer-lasagna construction built from link Floer homology rather than Khovanov–Rozansky homology. It reproduces the same formal pattern—fillings, local cobordism relations, and 2-handlebody descriptions via cabled theories—and thereby clarifies which aspects of lasagna theory are specific to Khovanov input and which belong to a more general 4-dimensional skein formalism [2203.07650]. This suggests that the Khovanov case is best viewed as one distinguished member of a broader family of link-homology-valued 4-manifold invariants.

Source: https://www.emergentmind.com/topics/khovanov-skein-lasagna-modules