Functoriality of Khovanov Homology

• Functoriality of Khovanov homology is a framework that assigns consistent chain maps to oriented link cobordisms by addressing inherent sign ambiguities.
• It employs explicit sign corrections, oriented foam models, and cap–cup conjugations to ensure that chain maps compose strictly under movie move analysis.
• This refined approach unifies various quantum invariants and topological techniques, bridging the classical cube-of-resolutions with modern homotopical methods.

Searching arXiv for recent and foundational papers on functoriality of Khovanov homology. Functoriality of Khovanov homology is the problem of assigning to an oriented link cobordism $S\colon L_0\to L_1$ a morphism on Khovanov-type complexes or homology groups in a way compatible with isotopy and composition. In the classical Bar–Natan formalism, a movie of Reidemeister and Morse moves produces a chain map $BN(S)$, but the map is only well defined up to an overall sign; equivalently, the induced map on homology is defined only up to $\pm$. A central theme of the subject is therefore the elimination, control, or reinterpretation of this ambiguity. The resulting literature contains several distinct outcomes: strict functoriality on the chain level, functoriality only up to sign, functoriality up to global invertible scalars, and functoriality only after passage to homotopy or spectra (Sano, 2020, Blanchet, 2014, Migdail et al., 2024, Lawson et al., 2021).

1. Classical formulation and the source of the sign ambiguity

For an oriented link diagram $D$ with $n$ crossings, the ordinary Khovanov complex is built from the cube of resolutions. Each vertex $I\in\{0,1\}^n$ determines a smoothing with $k(I)$ circles, and one sets

$C^i(D)=\bigoplus_{|I|=i+n_-} A^{\otimes k(I)},$

where $A=R[X]/(X^2-hX-t)$ is the chosen Frobenius algebra. The differential is the sum over cube edges $I\to I'$ of multiplication $BN(S)$0 when two circles merge and comultiplication $BN(S)$1 when one circle splits. To force $BN(S)$2, one chooses an ordering of the crossings, which produces the usual edge-signs $BN(S)$3. These signs are harmless for the homology of a fixed diagram, but they are the source of the familiar “up to sign” behavior for cobordism maps (Sano, 2020).

Bar–Natan’s formalism assigns to each elementary cobordism $BN(S)$4 — a Reidemeister move or a Morse critical point — a chain map $BN(S)$5. By the movie-move argument, these satisfy

$BN(S)$6

so the induced map on homology is well defined only up to an overall sign. This point is often obscured by the phrase “functoriality of Khovanov homology”: in the original $BN(S)$7 theory, the issue is not invariance of the homology groups, but the nonuniqueness of the cobordism maps. The anomaly appears already in movie moves involving Reidemeister moves and persists until additional structure or explicit sign corrections are introduced (Sano, 2020, Clark, 2008).

2. Movie moves, elementary cobordisms, and what strict functoriality means

A link cobordism in $BN(S)$8 is represented by a movie consisting of planar isotopies, Reidemeister moves, births, deaths, and saddles. Carter–Saito movie moves generate isotopies of movies, so functoriality reduces to checking that two movies related by these local moves induce the same chain map. In the classical setting, the check typically yields equality only up to sign. A strict theory is one in which every movie-move relation becomes an exact equality of chain maps, not merely equality up to $BN(S)$9 or up to homotopy with a residual sign (Sano, 2020).

This distinction is visible across the literature. Blanchet’s oriented model produces a chain map $\pm$0 of bidegree $\pm$1 and proves

$\pm$2

in $\pm$3, with no sign ambiguity. By contrast, the generalized bracket of Migdail–Wehrli yields a pseudo-functor in which

$\pm$4

where $\pm$5, and strict functoriality appears only after quotienting by these units. At the stable-homotopy level, Khovanov spectra are functorial only up to pointed homotopy and sign. The phrase “functoriality” therefore refers to a family of progressively stronger statements rather than a single theorem (Blanchet, 2014, Migdail et al., 2024, Lawson et al., 2021).

3. Explicit sign correction in the classical Bar–Natan setup

A particularly direct resolution of the sign problem stays inside the ordinary Khovanov complex and modifies only the signs of the elementary cobordism maps. For a Reidemeister move $\pm$6, write $\pm$7 for the writhe, $\pm$8 for the number of Seifert circles, set

$\pm$9

and let $D$0. On canonical Lee-style generators, the standard Bar–Natan map sends

$D$1

with the two signs differing by $D$2. The corrected Reidemeister map is defined by

$D$3

equivalently $D$4, with $D$5 and the $D$6 and $D$7 signs given by $D$8. After correction, one has

$D$9

with no leftover $n$0 (Sano, 2020).

For an elementary Morse cobordism $n$1, let $n$2 and $n$3 be the Euler characteristic of the surface piece. Then

$n$4

and one defines $n$5. In particular, the correction is specified separately for births, deaths, and saddles. The claim is then checked case by case, or by Sano’s movie-move analysis: with these $n$6-factors inserted, every Carter–Saito movie move becomes an exact equality of chain maps. Consequently,

$n$7

defines a genuine functor

$n$8

and after applying the TQFT $n$9 and taking homology, one obtains for every variant $I\in\{0,1\}^n$0 of Khovanov homology a strictly functorial cobordism map without sign ambiguity (Sano, 2020).

The significance of this construction is methodological. Earlier fixes typically changed the algebraic or foam-theoretic framework. Here the classical cube-of-resolutions model is retained, and strict functoriality is recovered by an explicit normalization of the Reidemeister and Morse maps. This suggests that, in the ordinary rank-two setting, the obstruction can be packaged as a finite combinatorial sign bookkeeping problem rather than as a defect of the entire theory.

4. Oriented and rank-two models with strict functoriality

A different line of resolution replaces the unoriented surface formalism by an oriented one. Blanchet gives an oriented $I\in\{0,1\}^n$1 state model over $I\in\{0,1\}^n$2, with chain groups

$I\in\{0,1\}^n$3

and differential

$I\in\{0,1\}^n$4

where $I\in\{0,1\}^n$5 is the usual Koszul sign and $I\in\{0,1\}^n$6 is exterior multiplication or contraction depending on the crossing type. The boundary operator is defined as a twisted TQFT action on trivalent graphs and oriented trivalent cobordisms, and the resulting theory is strictly functorial over integers (Blanchet, 2014).

In this oriented framework, local relations for bubbles, bands, and tubes encode the signs intrinsically, rather than correcting them afterward. A later exposition formulates the theory in a foam category $I\in\{0,1\}^n$7 of blue-red oriented trivalent graphs and decorated foams, with a tautological functor $I\in\{0,1\}^n$8, an oriented differential

$I\in\{0,1\}^n$9

and a strict functor from the category $k(I)$0 of tangle cobordisms to chain complexes. The proof uses the fact that pairings are “Kh-simple”: any degree-zero endomorphism is homotopic to $k(I)$1, while the foam relations force $k(I)$2 on the nose. The same exposition also outlines an extension to immersed cobordisms with finitely many transverse double-point curves by adding singular local movies and chain maps $k(I)$3 of degrees $k(I)$4 and $k(I)$5 (Hamza, 28 Jan 2026).

Vogel establishes another strict approach for every Khovanov homology associated to a rank-two Frobenius algebra. The construction modifies the ordinary theory by conjugating elementary cobordism maps with cap–cup operators $k(I)$6 attached to regular points of the diagram. Strict functoriality is then reduced to algebraic consistency conditions on units

$k(I)$7

the “Khovanov data,” which are parametrized by four families of units $k(I)$8. The outcome is a strict monoidal functor from oriented link cobordisms to the homotopy category of complexes, extending beyond the original Frobenius algebra $k(I)$9 (Vogel, 2015).

These models address a common misconception. The sign anomaly is not an unavoidable feature of all $C^i(D)=\bigoplus_{|I|=i+n_-} A^{\otimes k(I)},$0-categorifications; it is a feature of specific presentations. Oriented foam models, cap–cup normalizations, and explicit sign-corrected Bar–Natan maps all produce strict functors, but they do so by packaging the same local compatibility data in markedly different ways.

5. Variants, contrasts, and generalizations

The contrast between $C^i(D)=\bigoplus_{|I|=i+n_-} A^{\otimes k(I)},$1 and $C^i(D)=\bigoplus_{|I|=i+n_-} A^{\otimes k(I)},$2 is particularly instructive. In the $C^i(D)=\bigoplus_{|I|=i+n_-} A^{\otimes k(I)},$3 theory of Morrison–Nieh, functoriality with respect to tangle cobordisms can be proved by explicit chain maps for all eight variants of the third Reidemeister move and a movie-move analysis modeled on Bar–Natan and Clark–Morrison–Walker. The underlying explanation offered in that work is representation-theoretic: in the $C^i(D)=\bigoplus_{|I|=i+n_-} A^{\otimes k(I)},$4 theory a sign anomaly appears because the fundamental $C^i(D)=\bigoplus_{|I|=i+n_-} A^{\otimes k(I)},$5-representation is antisymmetrically self-dual, whereas for $C^i(D)=\bigoplus_{|I|=i+n_-} A^{\otimes k(I)},$6 the fundamental $C^i(D)=\bigoplus_{|I|=i+n_-} A^{\otimes k(I)},$7 is not self-dual, so no hidden $C^i(D)=\bigoplus_{|I|=i+n_-} A^{\otimes k(I)},$8 signs arise in the foam category. The only extra normalization is a single $C^i(D)=\bigoplus_{|I|=i+n_-} A^{\otimes k(I)},$9 factor in the antiparallel $A=R[X]/(X^2-hX-t)$0-map (Clark, 2008).

Odd and generalized Khovanov homology exhibit a weaker notion of functoriality. Over the base ring $A=R[X]/(X^2-hX-t)$1, the generalized Khovanov bracket extends to smooth link cobordisms in $A=R[X]/(X^2-hX-t)$2 as a pseudo-functor to $A=R[X]/(X^2-hX-t)$3, canonical up to multiplication by units $A=R[X]/(X^2-hX-t)$4. Specializing $A=R[X]/(X^2-hX-t)$5 recovers the even theory, while $A=R[X]/(X^2-hX-t)$6 yields odd Khovanov homology functorial up to sign in $A=R[X]/(X^2-hX-t)$7. The same work shows that odd Khovanov homology is not functorial for smooth link cobordisms in $A=R[X]/(X^2-hX-t)$8: two ambient-isotopic cobordisms $A=R[X]/(X^2-hX-t)$9 induce maps differing by $I\to I'$0, so they are not related by an overall $I\to I'$1 (Migdail et al., 2024).

Functoriality also extends beyond ordinary links in $I\to I'$2. For links in a thickened surface $I\to I'$3, a functor

$I\to I'$4

is constructed using gl$I\to I'$5-webs and embedded foams modulo local Blanchet relations; strict functoriality is guaranteed by Blanchet’s formalism. A later gl$I\to I'$6 web-and-foam treatment for framed tangled webs in $I\to I'$7 proves full functoriality by choosing signs $I\to I'$8 so that the movie moves become equalities in $I\to I'$9. In the colored $BN(S)$00 setting, the foam complexes of colored tangles extend to a strict $BN(S)$01-functor from the $BN(S)$02-category of colored tangle cobordisms to the homotopy category of bounded bigraded chain complexes (Queffelec et al., 2018, Queffelec, 2022, Ehrig et al., 2017).

The recurrent pattern is that functoriality is governed by the same local mechanisms — crossings, saddles, and movie moves — but the strength of the theorem depends on the algebraic target. In some settings the ambiguity is removed on the chain level; in others it survives as a sign or as a unit in a larger coefficient ring.

6. Homotopical and categorical refinements

Functoriality has also been reformulated in broader homotopical and categorical frameworks. For Khovanov spectra, one associates to a link $BN(S)$03 a spectrum

$BN(S)$04

whose singular chains recover the usual bigraded Khovanov complex, and to a link cobordism $BN(S)$05 a map

$BN(S)$06

The resulting assignment is a projective multifunctor: for composable cobordisms,

$BN(S)$07

The proof combines locality, movie-move analysis, duality, and rigidity statements asserting that the only grading-preserving self-automorphisms of bridge-tangle spectral bimodules are $BN(S)$08 (Lawson et al., 2021).

At the chain level, strong Khovanov–Floer theories provide a unifying mechanism for functoriality. A conic strong theory factors uniquely through Bar–Natan’s cobordism category,

$BN(S)$09

and therefore yields a functor

$BN(S)$10

that is well defined up to filtered homotopy and whose associated graded piece recovers the ordinary Khovanov functor. A weaker framework of Khovanov–Floer theories already implies a functor from the link cobordism category to the category of spectral sequences, with the $BN(S)$11-page map equal to the usual Jacobsson–Khovanov cobordism map (Saltz, 2017, Baldwin et al., 2015).

Recent work on basepoints shows that functoriality can also be enhanced rather than merely repaired. Over $BN(S)$12, a pointed theory

$BN(S)$13

is defined using basepoint actions and a preferred free $BN(S)$14-resolution. Decorated cobordisms with arcs between basepoints induce chain maps, and the construction establishes functoriality for pointed Khovanov homology in the sense of Baldwin–Levine–Sarkar. The same formalism interacts nontrivially with nonorientable summands such as the standard $BN(S)$15 with Euler numbers $BN(S)$16 (Nahm, 8 May 2026).

The modern picture is therefore stratified. Ordinary Khovanov homology began with a projective cobordism theory. Strict functoriality can be achieved by explicit sign correction, by oriented foam models, or by Frobenius-algebra modifications. Related theories may remain projective, become strict only after quotienting by units, or lift to homotopy-theoretic objects where the residual ambiguity is $BN(S)$17. The subject has consequently become a testing ground for how local diagrammatics, TQFT data, and higher-categorical structures encode four-dimensional topology.