Khovanov Skein Lasagna Modules for 4-Manifolds

• Khovanov skein lasagna modules are 4D invariants defined via functorial link homology and lasagna formalism that encode embedded surfaces in smooth compact 4-manifolds.
• They are computed using explicit handle decompositions, cabled constructions, and colimit formulations that transform topological data into concrete algebraic invariants.
• Recent refinements, including stable homotopy enhancements and equivariant deformations, provide deeper insights into exotic smooth structures and surface genus bounds in four dimensions.

Searching arXiv for 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$ (Kauffman et al., 13 Feb 2026). 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 (Sullivan, 4 Apr 2025, Morrison et al., 2024).

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

$X$0

is the skein lasagna module in the original sense (Manolescu et al., 2020). Its generators are lasagna fillings: properly embedded framed oriented surfaces in $X$1 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 (Manolescu et al., 2020).

A later and now standard formulation packages the same idea through a skein category. For a smooth compact oriented 4-manifold $X$2 and a framed oriented link $X$3, a skein $X$4 in $X$5 is a properly embedded oriented framed surface in

$X$6

whose boundary on $X$7 is $X$8, and whose boundary on each input sphere $X$9 is a framed link $L$0. The category $L$1 has such skeins as objects and embedded surface cobordisms between them as morphisms. Given a functorial link homology theory

$L$2

one obtains a functor

$L$3

by sending $L$4 to $L$5, and a morphism $L$6 to the induced map $L$7. The skein lasagna module is then the colimit

$L$8

equivalently the quotient of pairs $L$9 by linearity and the relations $X$0 (Kauffman et al., 13 Feb 2026).

For the Khovanov specialization, the literature commonly works with $X$1 or, after the known grading shift

$X$2

with a shifted ordinary Khovanov theory denoted $X$3 (Kauffman et al., 13 Feb 2026). 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 $X$4 is obtained from $X$5 by attaching 2-handles along a framed link $X$6, then for each $X$7 there is a natural bi-graded isomorphism

$X$8

where $X$9 is a cabled Khovanov–Rozansky object built from all cables $L$0, modulo braid-action and band relations coming from annular cobordisms with dots (Manolescu et al., 2020). 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

$L$1

with $L$2 the 1-handlebody, $L$3 obtained by attaching 2-handles, $L$4 by attaching 3-handles, and $L$5 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 $L$6, the 3-handle step by quotienting by sphere-evaluation relations, and the 4-handle step leaves the invariant unchanged (Manolescu et al., 2022, Martin et al., 19 Feb 2026).

The most conceptual gluing statement uses triples $L$7, where $L$8 is a distinguished 3-manifold in $L$9 and $\mathfrak{gl}_N$0 is a tangle on the complementary boundary. One defines a module $\mathfrak{gl}_N$1 over the algebra $\mathfrak{gl}_N$2, and for a gluing

$\mathfrak{gl}_N$3

one obtains

$\mathfrak{gl}_N$4

In the Khovanov or $\mathfrak{gl}_N$5 specialization, this furnishes a uniform explanation of the earlier 1-, 2-, and 3-handle formulas (Martin et al., 19 Feb 2026).

The 1-dimensional-input version introduced later replaces 4-ball inputs by embedded 4-dimensional 1-handlebodies and replaces $\mathfrak{gl}_N$6 on $\mathfrak{gl}_N$7 by Rozansky–Willis homology for links in $\mathfrak{gl}_N$8. 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 (Montague et al., 28 Jun 2026). 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 $\mathfrak{gl}_N$9. For $$S(W;L)=\bigoplus_{b\in\mathbb Z}\bigoplus_{i,j\in\mathbb Z} S_{b,i,j}(W;L),$$0, the blob-degree-zero module is supported in homological degree $$S(W;L)=\bigoplus_{b\in\mathbb Z}\bigoplus_{i,j\in\mathbb Z} S_{b,i,j}(W;L),$$1 and carries a natural commutative ring structure. The computation gives

$$S(W;L)=\bigoplus_{b\in\mathbb Z}\bigoplus_{i,j\in\mathbb Z} S_{b,i,j}(W;L),$$2

with $$S(W;L)=\bigoplus_{b\in\mathbb Z}\bigoplus_{i,j\in\mathbb Z} S_{b,i,j}(W;L),$$3 of quantum degree $$S(W;L)=\bigoplus_{b\in\mathbb Z}\bigoplus_{i,j\in\mathbb Z} S_{b,i,j}(W;L),$$4; for $$S(W;L)=\bigoplus_{b\in\mathbb Z}\bigoplus_{i,j\in\mathbb Z} S_{b,i,j}(W;L),$$5, each fixed homology class $$S(W;L)=\bigoplus_{b\in\mathbb Z}\bigoplus_{i,j\in\mathbb Z} S_{b,i,j}(W;L),$$6 contributes a copy of $$S(W;L)=\bigoplus_{b\in\mathbb Z}\bigoplus_{i,j\in\mathbb Z} S_{b,i,j}(W;L),$$7 in each quantum degree $$S(W;L)=\bigoplus_{b\in\mathbb Z}\bigoplus_{i,j\in\mathbb Z} S_{b,i,j}(W;L),$$8, $$S(W;L)=\bigoplus_{b\in\mathbb Z}\bigoplus_{i,j\in\mathbb Z} S_{b,i,j}(W;L),$$9 (Manolescu et al., 2020). In the 1-dimensional-input theory over $b$0, the corresponding result simplifies to

$b$1

with one-dimensional skein-degree pieces concentrated in $b$2 (Montague et al., 28 Jun 2026). The contrast shows that changing the input theory can dramatically alter the size and finiteness properties of the module.

For the disk bundle $b$3 of Euler number $b$4, the $b$5 computation distinguishes signs sharply. In blob degree zero and homology class $b$6,

$b$7

while for $b$8,

$b$9

In particular,

$(i,j)$0

for $(i,j)$1 (Manolescu et al., 2020). This orientation sensitivity has been repeatedly emphasized in the subject because it is incompatible with the behavior of unitary 4-dimensional TQFTs.

The pair $(i,j)$2 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 $(i,j)$3 skein lasagna modules in terms of categorified projectors. For the geometrically essential $(i,j)$4-component link $(i,j)$5, the result is

$(i,j)$6

if $(i,j)$7 or $(i,j)$8 is odd, while for even $(i,j)$9 and even $KhR_N$0,

$KhR_N$1

This identifies a direct relationship with the dual Rozansky projector and hence with the Rozansky–Willis invariant for nullhomologous links in $KhR_N$2 (Sullivan et al., 2024).

A particularly striking vanishing theorem is the triviality of the $KhR_N$3 skein lasagna module of $KhR_N$4: $KhR_N$5 for all $KhR_N$6, confirming a conjecture of Manolescu (Sullivan et al., 2024). 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 $KhR_N$7 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 (Merkl, 6 May 2025). 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 $KhR_N$8, and physics-motivated formulas often use Khovanov’s cochain complexes. Over characteristic zero, these become interchangeable.

The computational backbone is the cable formula

$KhR_N$9

together with its inverse in terms of Catalan-triangle numbers (Merkl, 6 May 2025). Applying this to the 1-framed unknot $X$00, the paper studies

$X$01

and observes for $X$02 a three-term recursion

$X$03

with total dimensions governed by shifted Tribonacci numbers. The conjecture is that this recursion holds for all $X$04 (Merkl, 6 May 2025).

This is relevant because the rational skein lasagna module of $X$05 is described as a colimit of colored Khovanov homologies of the 1-framed unknot under dotted annulus maps, equivalently by inclusions

$X$06

after grading adjustment. Assuming the recursion, the paper derives conjectural stable-limit formulas

$X$07

$X$08

and also gives explicit $X$09-Pochhammer series for both limits (Merkl, 6 May 2025). The same discussion ties the successive quotients in the direct system to Khovanov homology of torus knots $X$10, 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 $X$11 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

$X$12

is defined by substituting the Lipshitz–Sarkar Khovanov spectrum for $X$13 and taking a homotopy colimit rather than an ordinary colimit. Its reduced cohomology recovers the Khovanov skein lasagna module,

$X$14

so it is not weaker; moreover it canonically endows $X$15 with Steenrod squares, and for nonempty boundary link it is strictly stronger than the module invariant (Kauffman et al., 13 Feb 2026).

The equivariant $X$16 theory introduces further algebraic structure. For

$X$17

the equivariant skein lasagna module $X$18 is built from equivariant Khovanov–Rozansky homology $X$19. By twisting the foam-level $X$20-action with green dots and imposing the corresponding compatibility conditions on components of a cobordism, one obtains a canonical $X$21-module structure on $X$22 (Qi et al., 3 Apr 2026). In the $X$23 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

$X$24

is an $X$25-module obtained by importing the Bar–Natan Frobenius package. In this setting, multiplication by $X$26 is interpreted topologically as internal stabilization of the surface, and the theory is used to define $X$27-torsion order and primitive fillings (Sullivan, 4 Apr 2025). Equivariant and deformed $X$28 skein lasagna modules, in turn, support generalized Khovanov–Jacobsson classes and Rasmussen-type bounds through the function $X$29; the paper establishing this also proves non-vanishing modulo torsion for homologically diverse surfaces in the equivariant module (Morrison et al., 2024).

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

Variant	Defining feature	Consequence
$X$30	Colimit of $X$31-valued skein functor	Standard Khovanov skein lasagna module
$X$32	Homotopy colimit of Khovanov spectra	Recovers $X$33, adds Steenrod squares
$X$34	Bar–Natan $X$35-valued input	$X$36 acts as internal stabilization
$X$37	Equivariant $X$38 over $X$39	Carries canonical $X$40-action
$X$41	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

$X$42

and a finite signed set $X$43, one associates a bimodule

$X$44

If

$X$45

then gluing along $X$46 gives

$X$47

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 (Blackwell et al., 5 Dec 2025). In parallel, 3-manifolds with boundary acquire module structures over a bicategory $X$48 of surface tangles and lasagna 2-morphisms, with a corresponding gluing theorem

$X$49

(Blackwell et al., 5 Dec 2025).

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 (Kauffman et al., 13 Feb 2026). The Bar–Natan variant goes further in a different direction: under a non-vanishing hypothesis, primitive fillings in $X$50 allow Hayden-type exotic surfaces in $X$51 to be transported into more general 4-manifolds, and the resulting exotic pairs remain non-isotopic after one internal stabilization (Sullivan, 4 Apr 2025).

A second application concerns surfaces in fixed homology classes. Using equivariant and deformed $X$52 skein lasagna modules, one obtains analogues of Khovanov–Jacobsson classes and Rasmussen-type genus bounds for surfaces in arbitrary smooth oriented 4-manifolds. If $X$53 is a homologically diverse surface with $X$54, its lasagna class has

$X$55

and non-vanishing modulo torsion yields bounds in terms of $X$56 (Morrison et al., 2024). 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 (Chen, 2022). This suggests that the Khovanov case is best viewed as one distinguished member of a broader family of link-homology-valued 4-manifold invariants.