In the present paper, we construct the Khovanov homology theory for virtual links. Besides the direct approach with Z_{2} coefficients we also describe the Khovanov homology for framed links and the Khovanov homology using ``double cover''. The latter two approaches are based on the notion of ``atom''.
We define a second Steenrod square for virtual links, which is stronger than Khovanov homology for virtual links, toward constructing Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links. This induces the first meaningful nontrivial example of the second Steenrod square operator on the Khovanov homology for links in a 3-manifold other than the 3-sphere.
We construct explicitly the Khovanov homology theory for virtual links with arbitrary coefficients by using the twisted coefficients method. This method also works for constructing Khovanov homology for ``non-oriented virtual knots'' in the sense of Viro, in particular, for knots in ${\bf R}P^{3}$.
The Jones polynomial and Khovanov homology of a classical link are invariants that depend upon an initial choice of orientation for the link. In this paper, we give a Khovanov homology theory for unoriented virtual links. The graded Euler characteristic of this homology is proportional to a similarly-defined unoriented Jones polynomial for virtual links, which is a new invariant in the category of non-classical virtual links. The unoriented Jones polynomial continues to satisfy an important property of the usual one: for classical or even virtual links, the unoriented Jones polynomial evaluate…
We extend the cobordism based categorification of the virtual Jones polynomial to virtual tangles. This extension is combinatorial and has semi-local properties. We use the semi-local property to prove an applications, i.e. we give a discussion of Lee's degeneration of virtual homology.
By adding or removing appropriate structures to Gauss diagram, one can create useful objects related to virtual links. In this paper few objects of this kind are studied: twisted virtual links generalizing virtual links; signed chord diagrams staying halfway between twisted virtual links and Kauffman bracket / Khovanov homology; alternatable virtual links intermediate between virtual and classical links. The most profound role here belongs to a structure that we dare to call orientation of chord diagram. Khovanov homology is generalized to oriented signed chord diagrams and links in oriented t…
In this paper, we study the Khovanov homology of an alternating virtual link $L$ and show that it is supported on $g+2$ diagonal lines, where $g$ equals the virtual genus of $L$. Specifically, we show that $Kh^{i,j}(L)$ is supported on the lines $j=2i-σ_ξ+2k-1$ for $0\leq k\leq g+1$ where $σ_{ξ^*}(L)+2g= σ_ξ(L)$ are the signatures of $L$ for a checkerboard coloring $ξ$ and its dual $ξ^*$. Of course, for classical links, the two signatures are equal and this recovers Lee's $H$-thinness result for $Kh^{*,*}(L)$. Our result applies more generally to give an upper bound for the homological width o…
The paper contains an essentially self-contained treatment of Khovanov homology, Khovanov-Lee homology as well as the Rasmussen invariant for virtual knots and virtual knot cobordisms which directly applies to classical knot and classical knot cobordisms. To do so, we give an alternate formulation for the Manturov definition of Khovanov homology for virtual knots and links with arbitrary coefficients. This approach uses cut loci on the knot diagram to induce a conjugation operator in the Frobenius algebra. We then discuss the implications of the maps induced in the aforementioned theory to the…
We define a homology theory of virtual links built out of the direct sum of the standard Khovanov complex with itself, motivating the name doubled Khovanov homology. We demonstrate that it can be used to show that some virtual links are non-classical, and that it yields a condition on a virtual knot being the connect sum of two unknots. Further, we show that doubled Khovanov homology possesses a perturbation analogous to that defined by Lee in the classical case and define a doubled Rasmussen invariant. This invariant is used to obtain various cobordism obstructions; in particular it is an obs…
Khovanov homology is a bigraded Z-module that categorifies the Jones polynomial. The support of Khovanov homology lies on a finite number of slope two lines with respect to the bigrading. The Khovanov width is essentially the largest horizontal distance between two such lines. We show that it is possible to generate infinite families of links with the same Khovanov width from link diagrams satisfying certain conditions. Consequently, we compute the Khovanov width for all closed 3-braids.
We prove that any link in $S^3$ whose Khovanov homology is the same as that of a Hopf link must be isotopic to that Hopf link. This holds for both reduced and unreduced Khovanov homology, and with coefficients in either $\mathbb{Z}$ or $\mathbb{Z}/2\mathbb{Z}$.
We introduce a version of Khovanov homology for alternating links with marking data, $ω$, inspired by instanton theory. We show that the analogue of the spectral sequence from Khovanov homology to singular instanton homology introduced in \cite{KM_unknot} for this marked Khovanov homology collapses on the $E_2$ page for alternating links. We moreover show that for non-split links the Khovanov homology we introduce for alternating links does not depend on $ω$; thus, the instanton homology also does not depend on $ω$ for non-split alternating links. Finally, we study a version of binary dihedral…
We classify all links whose Khovanov homology have ranks no greater than 8, and all three-component links whose Khovanov homology have ranks no greater than 12, where the coefficient ring is Z/2. The classification is based on the previous results of Kronheimer-Mrowka, Batson-Seed, Baldwin-Sivek, and the authors.
The purpose of this paper is to construct and study equivariant Khovanov homology - a version of Khovanov homology theory for periodic links. Since our construction works regardless of the characteristic of the coefficient ring it generalizes a previous construction by Chbili. We establish invariance under equivariant isotopies of links and study algebraic properties of integral and rational version of the homology theory. Moreover, we construct a skein spectral sequence converging to equivariant Khovanov homology and use this spectral sequence to compute, as an example, equivariant Khovanov h…
For an $m$-periodic link $L$, we show that the Khovanov-Rozansky $\mathfrak{sl}_N$-homology carries an action of the group $\mathbb{Z}_m$. As an example of applications, we prove an analog of the periodicity criterion of Borodzik--Politarczyk using $\mathfrak{sl}_N$-homology instead of Khovanov homology.
The 3-strand pretzel knots and links are a well-studied source of examples in knot theory. However, while there have been computations of the Khovanov homology of some sub-families of 3-strand pretzel knots, no general formula has been given for all of them. We give a general formula for the unreduced Khovanov homology of all 3-strand pretzel links, over the rational numbers.
Given an $m$-periodic link $L\subset S^3$, we show that the Khovanov spectrum $\mathcal{X}_L$ constructed by Lipshitz and Sarkar admits a homology group action. We relate the Borel cohomology of $\mathcal{X}_L$ to the equivariant Khovanov homology of $L$ constructed by the second author. The action of Steenrod algebra on the cohomology of $\mathcal{X}_L$ gives an extra structure of the periodic link. Another consequence of our construction is an alternative proof of the localization formula for Khovanov homology, obtained first by Stoffregen and Zhang. By applying Dwyer-Wilkerson theorem we ex…
In this paper, we study the Khovanov homology of cable links. We first estimate the maximal homological degree term of the Khovanov homology of the ($2k+1$, $(2k+1)n$)-torus link and give a lower bound of its homological thickness. Specifically, we show that the homological thickness of the ($2k+1$, $(2k+1)n$)-torus link is greater than or equal to $k^{2}n+2$. Next, we study the maximal homological degree of the Khovanov homology of the ($p$, $pn$)-cabling of any knot with sufficiently large $n$. Furthermore, we compute the maximal homological degree term of the Khovanov homology of such a lin…
The structure of the Khovanov homology of $(n,m)$ torus links has been extensively studied. In particular, Marko Stosic proved that the homology groups stabilize as $m\rightarrow\infty$. We show that the Khovanov homotopy types of $(n,m)$ torus links, as constructed by Robert Lipshitz and Sucharit Sarkar, also become stably homotopy equivalent as $m\rightarrow\infty$. We provide an explicit bound on values of $m$ beyond which the stabilization begins. As an application, we give new examples of torus links with non-trivial $Sq^2$ action.
We discuss links in thickened surfaces. We define the Khovanov-Lipshitz-Sarkar stable homotopy type and the Steenrod square for the homotopical Khovanov homology of links in thickened surfaces with genus$>1$. A surface means a closed oriented surface unless otherwise stated. Of course, a surface may or may not be the sphere. A thickened surface means a product manifold of a surface and the interval. A link in a thickened surface (respectively, a 3-manifold) means a submanifold of a thickened surface (respectively, a 3-manifold) which is diffeomorphic to a disjoint collection of circles. Our Kh…
If L is an oriented link with $n$ components, then the rank of its Khovanov homology is at least $2^n$. We classify all the links whose Khovanov homology with Z/2-coefficients achieves this lower bound, and show that such links can be obtained by iterated connected sums and disjoint unions of Hopf links and unknots. This gives a positive answer to a question asked by Batson and Seed.
C. Armond, S. Garoufalidis and T.Le have shown that a unicolored Jones polynomial of a B-adequate link has a stable tail at large colors. We categorify this tail by showing that Khovanov homology of a unicolored link also has a stable tail, whose graded Euler characteristic coincides with the tail of the Jones polynomial.
Khovanov homology of a link and chromatic graph homology are known to be isomorphic in a range of homological gradings that depend on the girth of a graph. We discuss patterns shared by these two homology theories. In particular, we improve the bounds for the homological span of chromatic homology by Helme-Guizon, Przytycki and Rong. An explicit formula for the rank of the third chromatic homology group on the main diagonal is given and used to compute the corresponding Khovanov homology group and the fourth coefficient of the Jones polynomial for links with certain diagrams.
Based on the results of the second author, we define an equivariant version of Lee and Bar-Natan homology for periodic links and show that there exists an equivariant spectral sequence from the equivariant Khovanov homology to equivariant Lee homology. As a result we obtain new obstructions for a link to be periodic. These obstructions generalize previous results of Przytycki and of the second author.
Ozsvath, Rasmussen and Szabo constructed odd Khovanov homology. It is a link invariant which has the same reduction modulo 2 as (even) Khovanov homology. Szabo introduced a spectral sequence with mod 2 coefficients from mod 2 Khovanov homology to another link homology. He got his spectral sequence from a chain complex with a filtration. We give an integral lift of Szabo's complex, that provides a spectral sequence from odd Khovanov homology to a link homology, from which one can get Szabo's link homology with the Universal Coefficient Theorem. Szabo has constructed such a lift independently, b…
In this paper, we study the (in)sensitivity of the Khovanov functor to four-dimensional linking of surfaces. We prove that if $L$ and $L'$ are split links, and $C$ is a cobordism between $L$ and $L'$ that is the union of disjoint (but possibly linked) cobordisms between the components of $L$ and the components of $L'$, then the map on Khovanov homology induced by $C$ is completely determined by the maps induced by the individual components of $C$ and does not detect the linking between the components. As a corollary, we prove that a strongly homotopy-ribbon concordance (i.e., a concordance who…
Ozsváth, Rasmussen and Szabó constructed odd Khovanov homology. It is a link invariant which has the same reduction modulo 2 as (even) Khovanov homology. Szabó introduced a spectral sequence with mod 2 coefficients from mod 2 Khovanov homology to another link homology. He got his spectral sequence from a chain complex with a filtration. We give an integral lift of Szabó's complex that provides a spectral sequence from odd Khovanov homology to a link homology, from which one can get Szabó's link homology with the Universal Coefficient Theorem. Szabó has constructed such a lift independently (un…
We extend Bar-Natan's cobordism based categorification of the Jones polynomial to virtual links. Our topological complex allows a direct extension of the classical Khovanov complex ($h=t=0$), the variant of Lee ($h=0,t=1$) and other classical link homologies. We show that our construction allows, over rings of characteristic two, extensions with no classical analogon, e.g. Bar-Natan's $\mathbb{Z}/2$-link homology can be extended in two non-equivalent ways. Our construction is computable in the sense that one can write a computer program to perform calculations, e.g. we have written a Mathemati…
We modify the definition of the Khovanov complex for oriented links in a thickening of an oriented surface to obtain a triply graded homological link invariant with a new homotopical grading.
The family of negative torus links $T_{p,q}$ over a fixed number of strands $p$ admits a stable limit in reduced Khovanov homology as $q$ grows to infinity. In this paper, we endow this stable space with a bi-graded commutative algebra structure. We describe these algebras explicitly for $p=2,3,4$. As an application, we compute the homology of two families of links, and produce a lower bound for the width of the homology of any $4$-stranded torus link.
Let $Δ$ be a trivial knot in the three-sphere. For every finite cyclic group $G$ of odd order, we construct a $G$-equivariant Khovanov homology with coefficients in the filed $\F_{2}$. This homology is an invariant of links up to isotopy in $(S^{3},Δ)$. Another interpretation is given using the categorification of the Kauffman bracket skein module of the solid torus. Our techniques apply in the case of graphs as well to define an equivariant version of the graph homology which categorifies the chromatic polynomial. Keywords: Khovanov homology, group action, equivariant Jones polynomial, skein …
We show a spectral sequence for the rational Khovanov homology of an oriented link in terms of the rational Khovanov complexes and homologies of the link surgeries along an admissible cut. As a non trivial corollary, we give an explicit splitting formula for the Jones polynomial.
The Turaev genus of a link can be thought of as a way of measuring how non-alternating a link is. A link is Turaev genus zero if and only if it is alternating, and in this viewpoint, links with large Turaev genus are very non-alternating. In this paper, we study Turaev genus one links, a class of links which includes almost alternating links. We prove that the Khovanov homology of a Turaev genus one link is isomorphic to $\mathbb{Z}$ in at least one of its extremal quantum gradings. As an application, we compute or nearly compute the maximal Thurston Bennequin number of a Turaev genus one link…
We give asymptotically sharp upper bounds for the Khovanov width and the dealternation number of positive braid links, in terms of their crossing number. The same braid-theoretic technique, combined with Ozsváth, Stipsicz, and Szabó's Upsilon invariant, allows us to determine the exact cobordism distance between torus knots with braid index two and six.
We give some new link detection results for link Floer homology, Khovanov homology and annular Khovanov homology. The links we detect arise via different closure operations on $3$-braids. Examples of our results include that link Floer homology detects the Mazur link, that annular Khovanov homology detects the Mazur pattern, and that Khovanov homology detects L6a2 and L9n15. The Mazur pattern detection result depends on a new bound on the rank of the annular Khovanov homology of certain links.
A well-known conjecture states that for any $l$-component link $L$ in $S^3$, the rank of the knot Floer homology of $L$ (over any field) is less than or equal to $2^{l-1}$ times the rank of the reduced Khovanov homology of $L$. In this paper, we describe a framework that might be used to prove this conjecture. We construct a modified version of Khovanov homology for links with multiple basepoints and show that it mimics the behavior of knot Floer homology. We also introduce a new spectral sequence converging to knot Floer homology whose $E_1$ page is conjecturally isomorphic to our new version…
We prove that the length of any gap in the differential grading of the Khovanov homology of any quasi-alternating link is one. As a consequence, we obtain that the length of any gap in the Jones polynomial of any such link is one. This establishes a weaker version of Conjecture 2.3 in [5]. Moreover, we obtain a lower bound for the determinant of any such link in terms of the breadth of its Jones polynomial. This establishes a weaker version of Conjecture 3.8 in [17]. The main tool in obtaining this result is establishing the Knight Move Conjecture [2,Conjecture 1] for the class of quasi-altern…
We introduce Khovanov homology for ribbon graphs and show that the Khovanov homology of a certain ribbon graph embedded on the Turaev surface of a link is isomorphic to the Khovanov homology of the link (after a grading shift). We also present a spanning quasi-tree model for the Khovanov homology of a ribbon graph.
Khovanov homology is a categorification of the Jones polynomial, so it may be seen as a kind of quantum invariant of knots and links. Although polynomial quantum invariants are deeply involved with Vassiliev (aka. finite type) invariants, the relation remains unclear in case of Khovanov homology. Aiming at it, in this paper, we discuss a categorified version of Vassiliev skein relation on Khovanov homology. More precisely, we will show that the "genus-one" operation gives rise to a crossing change on Khovanov complexes. Invariance under Reidemeister moves turns out, and it enables us to extend…
Let L be a null homologous link in $\mathbb{RP}^3$. We define Khovanov-type homologies of L which depend on an extra input $α= (V_0,V_1,f,g)$ consisting of two graded vectors spaces and two maps between them. With some specific choice of $α= α_{APS}$, we recover the categorification of the Kauffman bracket due to Asaeda-Przytycki-Sikora. With another choice of $α= α_{HF}$, we construct a spectral sequence from our theory converging to the Heegaard Floer homology of the even branched double cover of $\mathbb{RP}^3$.
Anstee, Przyticki and Rolfsen introduced the idea of rotants, pairs of links related by a generalised form of link mutation. We exhibit infinitely many pairs of rotants which can be distinguished by Khovanov homology, but not by the Jones polynomial.
We generalize the Khovanov-Rozansky cohomology for n=2 by means of a homogeneous potential that depends on two parameters, to obtain the universal Khovanov-Rozansky sl(2) link cohomology. This theory is equivalent to the universal foam sl(2) link cohomology, after tensoring both theories with appropriate rings.
We use a special kind of 2-dimensional extended Topological Quantum Field Theories (TQFTs), so-called open-closed TQFTs, in order to extend Khovanov homology from links to arbitrary tangles, not necessarily even. For every plane diagram of an oriented tangle, we construct a chain complex whose homology is invariant under Reidemeister moves. The terms of this chain complex are modules of a suitable algebra A such that there is one action of A or A^op for every boundary point of the tangle. We give examples of such algebras A for which our tangle homology theory reduces to the link homology theo…
We determine the algebraic structure underlying the geometric complex associated to a link in Bar-Natan's geometric formalism of Khovanov's link homology theory (n=2). We find an isomorphism of complexes which reduces the complex to one in a simpler category. This reduction enables us to specify exactly the amount of information held within the geometric complex and thus state precisely its universality properties for link homology theories. We also determine its strength as a link invariant relative to the different topological quantum field theories (TQFTs) used to create link homology. We i…
Khovanov-Floer theories are a class of homological link invariants which admit spectral sequences from Khovanov homology. They include Khovanov homology, Szab{ó}'s geometric link homology, singular instanton homology, and various Floer theories applied to branched double covers. In this short note we show that certain strong Khovanov-Floer theories, including Szab{ó} homology and singular instanton homology, are invariant under Conway mutation. This confirms conjectures of Seed and Lambert-Cole. Along the way we prove two other conjectures about the structure of Szab{ó} homology.
We describe a strategy for constructing reduced Khovanov homology for links in lens spaces by generalizing a symplectic interpretation of reduced Khovanov homology for links in $S^3$ due to Hedden, Herald, Hogancamp, and Kirk. The strategy relies on a partly conjectural description of the Fukaya category of the traceless $SU(2)$ character variety of the 2-torus with two punctures. From a diagram of a 1-tangle in a solid torus, we construct a corresponding object $(X,δ)$ in the $A_\infty$ category of twisted complexes over this Fukaya category. The homotopy type of $(X,δ)$ is an isotopy invaria…
We define a variation of Khovanov homology with an explicit description in terms of the spanning trees of a link projection. We prove that this new theory is a link invariant and describe some of its properties. Finally, we provide some the results of some computer computations of the invariant.
In the Khovanov homology of links, presence of $\mathbb{Z}_2$-torsion is a very common phenomenon. Finite number of examples of knots with $\mathbb{Z}_n$-torsion for $n>2$ were also known, none for $n>8$. In this paper, we prove that there are infinite families of links whose Khovanov homology contains $\mathbb{Z}_n$-torsion for $2 < n < 9$ and $\mathbb{Z}_{2^s}$-torsion for $s < 24$. We also introduce $4$-braid links with $\mathbb{Z}_3$-torsion which are counterexamples to the PS braid conjecture. We also provide an infinite family of knots with $\mathbb{Z}_5$-torsion in reduced Khovanov homo…