Khovanov homology is functorial up to sign with respect to link cobordisms. The sign indeterminacy has been fixed by several authors, by extending the original theory both conceptually and algebraically. In this paper we propose an alternative approach: we stay in the classical setup and fix the functoriality by simply adjusting the signs of the morphisms associated to the Reidemeister moves and the Morse moves.
We provide a unified framework for proving Reidemeister-invariance and functoriality for a wide range of link homology theories. These include Lee homology, Heegaard Floer homology of branched double covers, singular instanton homology, and \Szabo's geometric link homology theory. We follow Baldwin, Hedden, and Lobb (arXiv:1509.04691) in leveraging the relationships between these theories and Khovanov homology. We obtain stronger functoriality results by avoiding spectral sequences and instead showing that each theory factors through Bar-Natan's cobordism-theoretic link homology theory.
In this paper we prove that every Khovanov homology associated to a Frobenius algebra of rank $2$ can be modified in such a way as to produce a TQFT on oriented links, that is a monoidal functor from the category of cobordisms of oriented links to the homotopy category of complexes.
We introduce the notion of a Khovanov-Floer theory. Roughly, such a theory assigns a filtered chain complex over Z/2 to a link diagram such that (1) the E_2 page of the resulting spectral sequence is naturally isomorphic to the Khovanov homology of the link; (2) this filtered complex behaves nicely under planar isotopy, disjoint union, and 1-handle addition; and (3) the spectral sequence collapses at the E_2 page for any diagram of the unlink. We prove that a Khovanov-Floer theory naturally yields a functor from the link cobordism category to the category of spectral sequences. In particular, …
We prove full functoriality of Khovanov homology for tangled framed gl2 webs. We use this functoriality result to prove a strong positivity result for (orientable) surface skein algebras. The argument goes categorical and consists in proving that so-called linear complexes are stable under superposition.
A homological invariant of 3-manifolds is defined, using abelian Yang-Mills gauge theory. It is shown that the construction, in an appropriate sense, is functorial with respect to the families of 4-dimensional cobordisms. This construction and its functoriality are used to define several link invariants. The strongest version of these invariants has the form of a filtered chain complex that can recover Khovanov homology of the mirror image as a bi-graded group.
We construct a Kirby color in the setting of Khovanov homology: an ind-object of the annular Bar-Natan category that is equipped with a natural handle slide isomorphism. Using functoriality and cabling properties of Khovanov homology, we define a Kirby-colored Khovanov homology that is invariant under the handle slide Kirby move, up to isomorphism. Via the Manolescu--Neithalath 2-handle formula, Kirby-colored Khovanov homology agrees with the $\mathfrak{gl}_{2}$ skein lasagna module, hence is an invariant of $4$-dimensional $2$-handlebodies.
Blanchet introduced certain singular cobordisms to fix the functoriality of Khovanov homology. In this paper we introduce graded algebras consisting of such singular cobordisms à la Blanchet. As the main result we give algebraic versions of these algebras using the combinatorics of arc diagrams.
The singular instanton Floer homology was defined by Kronheimer and Mrowka in connection with their proof that the Khovanov homology is an unknot detector. We study this theory for knots and two-component links using equivariant gauge theory on their double branched covers. We show that the special generator in the singular instanton Floer homology of a knot is graded by the knot signature mod 4, thereby providing a purely topological way of fixing the absolute grading in the theory. Our approach also results in explicit computations of the generators and gradings of the singular instanton Flo…
