Khovanov Skein Homology

• Khovanov Skein Homology is a categorification framework that replaces classical polynomial skein relations with chain complexes, exact sequences, and spectral sequences.
• It supports diverse models—including gauge-theoretic, foam, and annular formulations—that yield bigraded or trigraded invariants closely related to the Jones polynomial.
• The theory underpins advances in computing link homologies, skein modules, and 4-manifold invariants, and it extends to colored variants and lasagna modules.

Searching arXiv for recent and foundational papers on “Khovanov skein homology” and related formulations. Khovanov skein homology denotes a family of skein-theoretic formulations, extensions, and refinements of Khovanov homology in which local crossing changes, surface skein relations, or handle attachments are promoted from polynomial identities to chain complexes, exact triangles, spectral sequences, stable homotopy types, or 4-dimensional modules. In the literature, the phrase is not confined to a single construction: it can refer to gauge-theoretic categorifications of the Jones skein relation, surface-link homologies categorifying skein modules, filtered algebraic models whose $E_2$-page is ordinary Khovanov homology, annular and equivariant variants, and skein lasagna modules for 4-manifolds (Witten, 2011, Xie et al., 2020, Alishahi et al., 2019, Queffelec et al., 2018, Ren et al., 2024).

1. Scope and defining features

The common core is the replacement of a skein relation by homological data. At the decategorified level, the Jones polynomial or the Kauffman bracket satisfies local linear relations under crossing change or smoothing. In Khovanov skein homology, those relations are lifted to mapping-cone descriptions, long exact sequences, filtrations by resolution height, or functorial cobordism maps. The resulting objects are typically bigraded or trigraded, with homological grading recording resolution height or Morse index, quantum grading recovering the decategorified polynomial, and, in surface or annular settings, an additional grading recording essential curve classes or annular homotopy data (Witten, 2011, Xie et al., 2020, Alishahi et al., 2019, Queffelec et al., 2018).

A recurrent source of confusion is terminological rather than mathematical. Some authors use the phrase for the Asaeda–Przytycki–Sikora surface-link theory in $I$-bundles, where the graded Euler characteristic lands in a surface skein module. Others use it for filtered chain-level constructions whose $E_2$-page is ordinary Khovanov homology, or for gauge-theoretic and 4-dimensional formulations that recover skein exact triangles only after substantial analytic or categorical input. The shared point is not a single model, but a skein-to-homology paradigm.

Framework	Ambient setting	Output
Gauge-theoretic	$W\times \mathbb R_+$, 4D/5D KW equations	Doubly graded homology categorifying the Jones polynomial
APS surface theory	$I\times F$	Homology categorifying the Kauffman bracket skein module of $F$
Filtered DA-bimodules	Open braids and plat closures	Filtered complex with $E_2\cong Kh(L)$
Foam/surface theory	Thickened surfaces $S\times[0,1]$	Functorial surface-link homology valued in $K(SFoam)$
Lasagna modules	4-manifolds	Skein-theoretic 4-manifold invariants from $KhR_2$ or related inputs

2. Chain-level skein constructions

In the framed, enhanced-state version, Khovanov homology is built directly from the Kauffman bracket. For a diagram $I$0, enhanced Kauffman states $I$1 determine bigradings $I$2 and $I$3, and chain groups $I$4. Resolving a distinguished crossing $I$5 yields a short exact sequence of complexes

$I$6

hence a long exact sequence in homology. In this sense, the categorified skein relation is already built into the cube of resolutions. The same framework supports explicit inductive computations, such as the closed-form calculation of $I$7, where the groups lie on two diagonals and $I$8-torsion appears on one of them (Montoya-Vega, 2023).

A more explicitly local skein package appears in filtered DA-bimodule models for tangles. For a crossing one has mapping-cone descriptions

$I$9

and for a closed plat diagram $E_2$0 the global filtered complex is

$E_2$1

Its cube filtration has $E_2$2, while $E_2$3 is a link invariant. After forgetting the filtration, these bimodules are homotopy equivalent to Ozsváth–Szabó bimodules, and the crossing cones induce oriented skein exact triangles and an oriented cube of resolutions (Alishahi et al., 2019).

Several papers replace the usual smoothing triangle by a crossing-change or singular-link triangle. One construction uses a genus-one chain map $E_2$4 of bidegree $E_2$5, defines the singular complex by $E_2$6, and obtains a long exact sequence

$E_2$7

whose graded Euler characteristic gives the Vassiliev skein relation for the unnormalized Jones polynomial. A related spectral-sequence construction produces a generalized skein relation with a defect term computed from $E_2$8-page data rather than a strictly local triangle. For singular links with one double point, the “crux complex” reduces the first Vassiliev derivative to the cone of an endomorphism on a smaller complex, and this reduction is applied to twist knots (Ito et al., 2019, Chlouveraki et al., 2019, Yoshida, 2020).

3. Gauge-theoretic formulation

The gauge-theoretic construction starts from the Kapustin–Witten equations on an oriented Riemannian $E_2$9-manifold $W\times \mathbb R_+$0. For a compact simple Lie group $W\times \mathbb R_+$1, a connection $W\times \mathbb R_+$2 on a principal $W\times \mathbb R_+$3-bundle, and $W\times \mathbb R_+$4, the equations at $W\times \mathbb R_+$5 are

$W\times \mathbb R_+$6

More generally, the $W\times \mathbb R_+$7-deformed system is

$W\times \mathbb R_+$8

These are elliptic modulo gauge and arise from the complex Chern–Simons functional. Their five-dimensional lift is a gradient-flow system on $W\times \mathbb R_+$9, with the differential defined by counting finite-energy trajectories between time-independent solutions (Witten, 2011).

For link invariants one takes $I\times F$0, with a Nahm pole-type boundary condition at $I\times F$1 and asymptotics to a flat $I\times F$2-connection as $I\times F$3. Away from the link, the Nahm pole has local model

$I\times F$4

for an $I\times F$5-triple $I\times F$6. Along a link $I\times F$7, the boundary condition is modified by oper-type singularities labeled by representations $I\times F$8 of the Langlands dual group $I\times F$9. Time-independent solutions of the four-dimensional equations give generators of a doubly graded chain complex $F$0; the differential counts five-dimensional flows. The homological grading is the Morse index or spectral flow, and the $F$1-grading is the instanton number

$F$2

For $F$3, $F$4 or $F$5, and the fundamental representation, the graded Euler characteristic equals the Jones polynomial: $F$6 The skein structure appears through local wall-crossing analysis at a crossing, giving

$F$7

and hence a skein-type long exact sequence on homology (Witten, 2011).

This gauge picture also interfaces with Floer-theoretic spectral sequences. For the Kronheimer–Mrowka spectral sequence to instanton knot Floer homology and the Ozsváth–Szabó spectral sequence to Heegaard Floer homology of the branched double cover, compositions of elementary $F$8-handle movie moves induce morphisms of spectral sequences. In particular, higher differentials in both theories necessarily lower the $F$9-grading for pretzel knots, and the method constrains filtrations and differentials for examples such as $E_2\cong Kh(L)$0 and $E_2\cong Kh(L)$1 (Lobb et al., 2013).

4. Surface, annular, and periodic versions

For links in $E_2\cong Kh(L)$2-bundles over surfaces, Asaeda–Przytycki–Sikora homology extends Khovanov’s construction by assigning to a resolution $E_2\cong Kh(L)$3 a tensor product

$E_2\cong Kh(L)$4

where $E_2\cong Kh(L)$5. Trivial circles have degree $E_2\cong Kh(L)$6, while essential circles contribute $E_2\cong Kh(L)$7, with $E_2\cong Kh(L)$8 the set of isotopy classes of essential unoriented simple closed curves in the surface. The total differential is the signed sum of merge and split maps, and the homology $E_2\cong Kh(L)$9 is a $S\times[0,1]$0-graded invariant categorifying the Kauffman bracket skein module. On $S\times[0,1]$1, this grading becomes a geometric detector: $S\times[0,1]$2 if and only if $S\times[0,1]$3 is isotopic to a single essential simple closed curve in a central torus slice, and support in $S\times[0,1]$4 is equivalent to disjointness from the annulus $S\times[0,1]$5 (Xie et al., 2020).

A functorial surface version using $S\times[0,1]$6 foams assigns

$S\times[0,1]$7

with $S\times[0,1]$8, the $S\times[0,1]$9 skein module of the surface. This theory is properly functorial under oriented link cobordisms, supported in the correct $K(SFoam)$0-degree, and admits a non-negative essential grading for $K(SFoam)$1. The construction recovers a variant of Asaeda–Przytycki–Sikora homology and yields spectral sequences under surface embeddings $K(SFoam)$2, reflecting the passage between skein theories of different surfaces (Queffelec et al., 2018).

For periodic links, equivariant Khovanov homology incorporates the $K(SFoam)$3-action by defining

$K(SFoam)$4

Resolving an orbit $K(SFoam)$5 of crossings produces an equivariant skein spectral sequence whose $K(SFoam)$6-page is a direct sum of equivariant homologies of periodic resolutions, with induction and sign-twist factors determined by stabilizers. This yields explicit computations for torus links $K(SFoam)$7; over $K(SFoam)$8, the 2-periodic equivariant homology of $K(SFoam)$9 lies entirely in the trivial isotypic component, while for $KhR_2$0 the top class $KhR_2$1 lies in the sign representation (Politarczyk, 2015).

5. Higher-categorical and space-level refinements

Higher representation theory supplies a conceptual source for skein behavior. Khovanov homology and its $KhR_2$2 analog can be realized as 2-representations of categorified quantum $KhR_2$3 via categorical skew Howe duality. In this framework, crossings are Rickard-type complexes, webs and foams are images of categorical generators, and Jones–Wenzl projectors arise as Cautis–Rozansky clasps, i.e. limits of infinite twists. Blanchet’s modified $KhR_2$4 foams, and an analogous modified $KhR_2$5 category, appear as the natural targets in which functoriality and signs are controlled integrally. Thus skein relations are interpreted as decategorified shadows of braid-group actions and foamation 2-functors (Lauda et al., 2012).

A space-level annular refinement constructs a framed flow category for annular links and a Cohen–Jones–Segal realization whose reduced cohomology recovers the trigraded annular skein homology. The resulting annular Khovanov skein spectrum decomposes as a wedge over quantum and homotopical gradings, and its reduced cellular cochain complex is identified with the annular skein complex. At extreme annular grading for a closed braid, the extreme wedge summand is the sphere spectrum, and the induced map from the classical Khovanov spectrum to this summand recovers the Lipshitz–Ng–Sarkar stable cohomotopy transverse invariant. In this sense, the annular skein theory is not merely filtered Khovanov homology but a stable homotopy refinement of it (Bhattacharyya et al., 17 Jul 2025).

The handle-slide problem in 4-dimensional skein theory motivates a different categorical refinement. A Kirby color is constructed as an ind-object $KhR_2$6 in the annular Bar–Natan category, equipped with a natural handle-slide isomorphism in the punctured annulus. Evaluating the Khovanov cabling functor on $KhR_2$7-colored components defines Kirby-colored Khovanov homology

$KhR_2$8

which is invariant under handle slides among the components of $KhR_2$9 and agrees with the $I$00 skein lasagna module via the Manolescu–Neithalath 2-handle formula. This identifies a genuinely homological 2-handlebody invariant built from skein-theoretic data (Hogancamp et al., 2022).

6. Four-dimensional, colored, and current frontier developments

Skein lasagna modules extend the skein paradigm from links to 4-manifolds. Given a compact oriented $I$01-manifold $I$02 and boundary link $I$03, one considers properly embedded framed oriented surfaces with deleted input balls and decorates the input boundary links by $I$04-classes. The resulting colimit $I$05 is graded by homological degree, quantum degree, and $I$06. For $I$07 or its Lee deformation, these modules recover link homology when $I$08, admit gluing and handle-attachment formulas, and detect 4-dimensional phenomena unavailable to decategorified skein modules. In particular, the $I$09 skein lasagna module distinguishes the exotic pair of knot traces $I$10 and $I$11, providing an analysis-free proof that they are not diffeomorphic. The same framework defines lasagna analogs of Lee homology and Rasmussen’s $I$12-invariant, gives slice obstructions, sharp shake genus bounds in some cases, and constructs induced Khovanov maps for cobordisms in $I$13 (Ren et al., 2024).

A related development replaces 0-dimensional lasagna inputs by 1-dimensional ones. Here the inputs are Rozansky–Willis homology groups for links in connected sums of $I$14, and functoriality is proved for cobordisms in 4-dimensional relative 1-handlebody complements. The resulting module $I$15 agrees with the renormalized Rozansky–Willis theory on 4-dimensional 1-handlebodies and remains compatible with the classical lasagna formalism via a Sullivan–Zhang isomorphism. The same package yields new results on diffeomorphism groups, Gluck twists, and functoriality of $I$16 foams (Ren et al., 6 Oct 2025).

Colored Khovanov homology adds a further skein-theoretic layer. Over a field of characteristic $I$17, eight finite-dimensional categorifications of the colored Jones polynomial—defined via $I$18-invariants, coinvariants, Temperley–Lieb projectors, kernels, cokernels, and cochain complexes $I$19—are canonically isomorphic. Their Poincaré polynomials satisfy the exact cable formula

$I$20

which is a categorified analogue of the cabling formula for the colored Jones polynomial. The same paper derives conjectural closed formulas for the Poincaré series of the skein lasagna module of $I$21 and emphasizes that the finite-dimensional colored theory, projector constructions, and 4-manifold skein modules belong to a single skein-theoretic ecosystem (Merkl, 6 May 2025).

Several structural questions remain open. A complete proof that the gauge-theoretic construction agrees with combinatorial Khovanov homology at the categorified level is still described as a goal. In the DA-bimodule setting, the conjectural identification of the curved Ozsváth–Szabó complex with $I$22 is not yet proved. In the surface-foam theory, monoidality of the proposed tensor product remains conjectural. For APS homology, the torus rank-$I$23 detection theorem suggests, but does not prove, analogous statements for arbitrary compact oriented surfaces. These unresolved points indicate that “Khovanov skein homology” is best understood not as a finished singular theory, but as an active program linking skein modules, representation theory, gauge theory, stable homotopy, and smooth 4-manifold topology (Witten, 2011, Alishahi et al., 2019, Queffelec et al., 2018, Xie et al., 2020, Merkl, 6 May 2025).