We disprove the conjecture of M. Khovanov (math.QA/9908171) on the functoriality of his link homology with polynomial coefficients. This is in contrast to the case of integer coefficients, where functoriality was proved in math.GT/0206303 .
We exhibit infinite families of annular links for which the maximum non-zero annular Khovanov grading grows infinitely large but the maximum non-zero annular Floer-theoretic gradings are bounded. We also show this phenomenon exists at the decategorified level for some of the infinite families. Our computations provide further evidence for the wrapping conjecture of Hoste-Przytycki and its categorified analogue. Additionally, we show that certain satellite operations cannot be used to construct counterexamples to the categorified wrapping conjecture. We also extend the Batson-Seed link splittin…
Szabó recently introduced a combinatorially-defined spectral sequence in Khovanov homology. After reviewing its construction and explaining our methodology for computing it, we present results of computations of the spectral sequence. Based on these computations, we make a number of conjectures concerning the structure of the spectral sequence, and towards those conjectures, we prove some propositions.
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.
Khovanov homology ist a new link invariant, discovered by M. Khovanov, and used by J. Rasmussen to give a combinatorial proof of the Milnor conjecture. In this thesis, we give examples of mutant links with different Khovanov homology. We prove that Khovanov's chain complex retracts to a subcomplex, whose generators are related to spanning trees of the Tait graph, and we exploit this result to investigate the structure of Khovanov homology for alternating knots. Further, we extend Rasmussen's invariant to links. Finally, we generalize Khovanov's categorifications of the colored Jones polynomial…
In [Duke Math. J. 101 (1999) 359-426], Mikhail Khovanov constructed a homology theory for oriented links, whose graded Euler characteristic is the Jones polynomial. He also explained how every link cobordism between two links induces a homomorphism between their homology groups, and he conjectured the invariance (up to sign) of this homomorphism under ambient isotopy of the link cobordism. In this paper we prove this conjecture, after having made a necessary improvement on its statement. We also introduce polynomial Lefschetz numbers of cobordisms from a link to itself such that the Lefschetz …
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…
A well-known conjecture of Rasmussen states that for any knot $K$ in $S^{3}$, the rank of the reduced Khovanov homology of $K$ is greater than or equal to the rank of the reduced knot Floer homology of $K$. This rank inequality is supposed to arise as the result of a spectral sequence from Khovanov homology to knot Floer homology. Using an oriented cube of resolutions construction for a homology theory related to knot Floer homology, we prove this conjecture.
There is a one-to-one correspondence between strong inversions on knots in the three-sphere and a special class of four-ended tangles. We compute the reduced Khovanov homology of such tangles for all strong inversions on knots with up to 9 crossings, and discuss these computations in the context of earlier work by the second author. In particular, we provide a counterexample to [Conjecture 29, arXiv:1311.1085] as well as a refinement of and additional evidence for [Conjecture 28, arXiv:1311.1085].
The Knight Move Conjecture claims that the Khovanov homology of any knot decomposes as direct sums of some "knight move" pairs and a single "pawn move" pair. This is true for instance whenever the Lee spectral sequence from Khovanov homology to Q^2 converges on the second page, as it does for all alternating knots and knots with unknotting number at most 2. We present a counterexample to the Knight Move Conjecture. For this knot, the Lee spectral sequence admits a nontrivial differential of bidegree (1,8).
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 construct an algebra of non-trivial homological operations on Khovanov homology with coefficients in $\mathbb Z_2$ generated by two Bockstein operations. We use the unified Khovanov homology theory developed by the first author to lift this algebra to integral Khovanov homology. We conjecture that these two algebras are infinite and present evidence in support of our conjectures. Finally, we list examples of knots that have the same even and odd Khovanov homology, but different actions of these homological operations. This confirms that the unified theory is a finer knot invariant than the …
This short note resolves the most important part of the PS braid conjecture while introducing the first known examples of knots and links with odd torsion of order 9, 27, 81, and 25 in their even Khovanov homology.
We show that perturbing the definition of sl(n) Khovanov-Rozansky link homology gives a lower bound on the slice genus of a knot. As a corollary this yields another proof of Milnor's conjecture on the slice genus of torus knots.
We give a simple recursion which computes the triply graded Khovanov-Rozansky homology of several infinite families of knots and links, including the $(n,nm\pm 1)$ and $(n,nm)$ torus links for $n,m\geq 1$. We interpret our results in terms of Catalan combinatorics, proving a conjecture of Gorsky's. Our computations agree with predictions coming from Hilbert schemes and rational DAHA, which also proves the Gorsky-Oblomkov-Rasmussen-Shende conjectures in these cases. Additionally, our results suggest a topological interpretation of the symmetric functions which appear in the context of the $m$-s…
Symplectic Khovanov homology is an invariant of oriented links defined by Seidel and Smith and conjectured to be isomorphic to Khovanov homology. I define morphisms (up to a global sign ambiguity) between symplectic Khovanov homology groups, corresponding to isotopy classes of smooth link cobordisms in 4D between a fixed pair of links. These morphisms define a functor from the category of links and such cobordisms to the category of abelian groups and group homomorphisms up to a sign ambiguity. This provides an extra structure for symplectic Khovanov homology and more generally an isotopy inva…
In this paper, we compute the Khovanov homology over \Q for (p,-p,q) pretzel knots for odd values of p from 3 to 15 and arbitrarily large q. We provide a conjecture for the general form of the Khovanov homology of (p,-p,q) pretzel knots. These computations reveal that these knots have thin Khovanov homology (over \Q and \Z). Because Greene has shown that these knots are not quasi-alternating, this provides an infinite class of non-quasi-alternating knots with thin Khovanov homology.
The (untwisted) oriented cube of resolutions for knot Floer homology assigns a complex $C_{F}(S)$ to a singular resolution $S$ of a knot $K$. Manolescu conjectured that when $S$ is in braid position, the homology $H_{*}(C_{F}(S))$ is isomorphic to the HOMFLY-PT homology of $S$. Together with a naturality condition on the induced edge maps, this conjecture would prove the spectral sequence from HOMFLY-PT homology to knot Floer homology. Using a basepoint filtration on $C_{F}(S)$, a recursion formula for HOMFLY-PT homology, and additional $sl_{n}$-like differentials on $C_{F}(S)$, we prove this …
We construct a supercategory that can be seen as a skew version of (thickened) KLR algebras for the type $A$ quiver. We use our supercategory to construct homological invariants of tangles and show that for every link our invariant gives a link homology theory supercategorifying the Jones polynomial. Our homology is distinct from even Khovanov homology and we present evidence supporting the conjecture that it is isomorphic to odd Khovanov homology. We also show that cyclotomic quotients of our supercategory give supercategorifications of irreducible finite-dimensional representations of $\math…
For every oriented surface of finite type, we construct a functorial Khovanov homology for links in a thickening of the surface, which takes values in a categorification of the corresponding gl(2) skein module. The latter is a mild refinement of the Kauffman bracket skein algebra, and its categorification is constructed using a category of gl(2) foams that admits an interesting non-negative grading. We expect that the natural algebra structure on the gl(2) skein module can be categorified by a tensor product that makes the surface link homology functor monoidal. We construct a candidate bifunc…
We conjecture a relation between the sl(N) knot homology, recently introduced by Khovanov and Rozansky, and the spectrum of BPS states captured by open topological strings. This conjecture leads to new regularities among the sl(N) knot homology groups and suggests that they can be interpreted directly in topological string theory. We use this approach in various examples to predict the sl(N) knot homology groups for all values of N. We verify that our predictions pass some non-trivial checks.
We explain how to compute the Jones polynomial of a link from one of its grid diagrams and we observe a connection between Bigelow's homological definition of the Jones polynomial and Kauffman's definition of the Jones polynomial. Consequently, we prove that the Maslov grading on the Seidel-Smith symplectic link invariant coincides with the difference between the homological grading on Khovanov homology and the Jones grading on Khovanov homology. We give some evidence for the truth of the Seidel-Smith conjecture.
We conjecture that the stable Khovanov homology of torus knots can be described as the Koszul homology of an explicit non-regular sequence of quadratic polynomials. The corresponding Poincare series turns out to be related to the Rogers-Ramanujan identity.
We prove that every $\mathbb{Z}_2$H-thin link has no $2^k$-torsion for $k>1$ in its Khovanov homology. Together with previous results by Eun Soo Lee and the author, this implies that integer Khovanov homology of non-split alternating links is completely determined by the Jones polynomial and signature. Our proof is based on establishing an algebraic relation between Bockstein and Turner differentials on Khovanov homology over $\mathbb{Z}_2$. We conjecture that a similar relation exists between the corresponding spectral sequences.
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…
We partially solve the conjecture by A.Shumakovitch about torsion in the Khovanov homology of prime, non-split links in S^3. We give a size restriction on the Khovanov homology of almost alternating links. We relate the Khovanov homology of the connected sum of a link diagram and the Hopf link with the Khovanov homology of the diagram via a short exact sequence of homology which splits. Finally we show that our results can be adapted to reduced Khovanov homology and we show that there is a long exact sequence connecting reduced Khovanov homology with unreduced homology.
We consider colored operads and their actions on categories. As a special example we construct a cobordism category with a colored operad action arising from oriented planar arc diagrams. This is used to construct an invariant of oriented tangle diagrams with values in the homotopy category attached to the cobordism category. Motivated by Bar-Natan's categorification of the Jones polynomial, it categorifies the quantum $sl_n$ quantum invariants and is adapted to the categorification of the $sl_n$ quantum invariants by Khovanov and Rozansky using matrix factorizations. We conjecture to exist th…
Khovanov homology is a recently introduced invariant of oriented links in $\mathbb{R}^3$. It categorifies the Jones polynomial in the sense that the (graded) Euler characteristic of the Khovanov homology is a version of the Jones polynomial for links. In this paper we study torsion of the Khovanov homology. Based on our calculations, we formulate several conjectures about the torsion and prove weaker versions of the first two of them. In particular, we prove that all non-split alternating links have their integer Khovanov homology almost determined by the Jones polynomial and signature. The on…
We construct a categorification of the maximal commutative subalgebra of the type $A$ Hecke algebra. Specifically, we propose a monoidal functor from the (symmetric) monoidal category of coherent sheaves on the flag Hilbert scheme to the (non-symmetric) monoidal category of Soergel bimodules. The adjoint of this functor allows one to match the Hochschild homology of any braid with the Euler characteristic of a sheaf on the flag Hilbert scheme. The categorified Jones-Wenzl projectors studied by Abel, Elias and Hogancamp are idempotents in the category of Soergel bimodules, and they correspond t…
We show that Khovanov homology and Hochschild homology theories share common structure. In fact they overlap: Khovanov homology of a $(2,n)$-torus link can be interpreted as a Hochschild homology of the algebra underlining the Khovanov homology. In the classical case of Khovanov homology we prove the concrete connection. In the general case of Khovanov-Rozansky, $sl(n)$, homology and their deformations we conjecture the connection. The best framework to explore our ideas is to use a comultiplication-free version of Khovanov homology for graphs developed by L. Helme-Guizon and Y. Rong and exten…
We study Khovanov homology over the Frobenius algebra $\mathbb{F}[U,V,X]/((X-U)(X-V))$, or $U(1) \times U(1)$-equivariant Khovanov homology, and extract two families of concordance invariants using the algebraic $U$-power and $V$-power filtrations on the chain complex. We also further develop the reduced version of the theory and study its behavior under mirroring.
It was proven by González-Meneses, Manchón and Silvero that the extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex obtained from a bipartite circle graph constructed from the diagram. In this paper we conjecture that this simplicial complex is always homotopy equivalent to a wedge of spheres. In particular, its homotopy type, if not contractible, would be a link invariant and it would imply that the extreme Khovanov homology of any link diagram does not contain torsion. We prove the conjecture in many special cases and f…
We describe an invariant of links in the three-sphere which is closely related to Khovanov's Jones polynomial homology. Our construction replaces the symmetric algebra appearing in Khovanov's definition with an exterior algebra. The two invariants have the same reduction modulo 2, but differ over the rationals. There is a reduced version which is a link invariant whose graded Euler characteristic is the normalized Jones polynomial.
We establish an isomorphism between the Khovanov-Rozansky triply graded link homology and the geometric triply graded homology due to the authors. Hence we provide an interpretation of the Khovanov-Rozansky homology of the closure of a braid $β$ as the space of derived sections of a $\mathbb{C}^*\times \mathbb{C}^*$- equivariant sheaf $Tr(β)$ on the Hilbert scheme $Hilb_n(\mathbb{C}^2)$, thus proving a version of Gorsky-Negut-Rasmussen conjecture \cite{GorskyNegutRasmussen16}. As a consequence we prove that Khovanov-Rozansky homology of knots satisfies the $q\to t/q$ symmetry conjectured by Du…
This paper realises the Khovanov homology of a link in the 3-sphere as a Lagrangian Floer cohomology group, establishing a conjecture of Seidel and the second author. The starting point is the previously established formality theorem for the symplectic arc algebra over a field k of characteristic zero. Here we prove the symplectic cup and cap bimodules which relate different symplectic arc algebras are themselves formal over k, and construct a long exact triangle for symplectic Khovanov cohomology. We then prove the symplectic and combinatorial arc algebras are isomorphic over the integers in …
The papers math.QA/0403527 and math.QA/0409414 v.1 are now merged together. The final version is available at math.QA/0409414 v.2. To avoid duplication of papers, math.QA/0403527 is now removed.
We introduce a multi-parameter deformation of the triply-graded Khovanov--Rozansky homology of links colored by one-column Young diagrams, generalizing the "$y$-ified" link homology of Gorsky--Hogancamp and work of Cautis--Lauda--Sussan. For each link component, the natural set of deformation parameters corresponds to interpolation coordinates on the Hilbert scheme of the plane. We extend our deformed link homology theory to braids by introducing a monoidal dg 2-category of curved complexes of type $A$ singular Soergel bimodules. Using this framework, we promote to the curved setting the categ…
We define a family of formal Khovanov brackets of a colored link depending on two parameters. The isomorphism classes of these brackets are invariants of framed colored links. The Bar-Natan functors applied to these brackets produce Khovanov and Lee homology theories categorifying the colored Jones polynomial. Further, we study conditions under which framed colored link cobordisms induce chain transformations between our formal brackets. We conjecture that, for special choice of parameters, Khovanov and Lee homology theories of colored links are functorial (up to sign). Finally, we extend the …
The Lipshitz-Sarkar stable homotopy link invariant defines Steenrod squares on the Khovanov cohomology of a link. Lipshitz-Sarkar constructed an algorithm for computing the first two Steenrod squares. We develop a new algorithm which implements the flow category simplification techniques previously defined by the authors and Dan Jones. We give a purely combinatorial approach to calculating the second Steenrod square and Bockstein homomorphisms in Khovanov cohomology, and flow categories in general. The new method has been implemented in a computer program by the third author and applied to lar…
We show that the generalized Khovanov homology, defined by the second author in the framework of chronological cobordisms, admits a grading by the group $\mathbb{Z}\times\mathbb{Z}_2$, in which all homogeneous summands are isomorphic to the unified Khovanov homology defined over the ring $\mathbb{Z}_π:=\mathbb{Z}[π]/(π^2-1)$ (here, setting $π$ to $\pm 1$ results either in even or odd Khovanov homology). The generalized homology has $\Bbbk := \mathbb{Z}[X,Y,Z^{\pm 1}]/(X^2=Y^2=1)$ as coefficients, and the above implies that most of automorphisms of $\Bbbk$ fix the isomorphism class of the gener…
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, …
In this paper we introduce a chain complex $C_{1 \pm 1}(D)$ where D is a plat braid diagram for a knot K. This complex is inspired by knot Floer homology, but it the construction is purely algebraic. It is constructed as an oriented cube of resolutions with differential d=d_0+d_1. We show that the E_2 page of the associated spectral sequence is isomorphic to the Khovanov homology of K, and that the total homology is a link invariant which we conjecture is isomorphic to δ-graded knot Floer homology. The complex can be refined to a tangle invariant for braids on 2n strands, where the associated …
We reconsider the su(3) link homology theory defined by Khovanov in math.QA/0304375 and generalized by Mackaay and Vaz in math.GT/0603307. With some slight modifications, we describe the theory as a map from the planar algebra of tangles to a planar algebra of (complexes of) `cobordisms with seams' (actually, a `canopolis'), making it local in the sense of Bar-Natan's local su(2) theory of math.GT/0410495. We show that this `seamed cobordism canopolis' decategorifies to give precisely what you'd both hope for and expect: Kuperberg's su(3) spider defined in q-alg/9712003. We conjecture an answe…
We define a deformation of the triply graded Khovanov-Rozansky homology of a link $L$ depending on a choice of parameters $y_c$ for each component of $L$, which satisfies link-splitting properties similar to the Batson-Seed invariant. Keeping the $y_c$ as formal variables yields a link homology valued in triply graded modules over $\mathbb{Q}[x_c,y_c]_{c\in π_0(L)}$. We conjecture that this invariant restores the missing $Q\leftrightarrow TQ^{-1}$ symmetry of the triply graded Khovanov-Rozansky homology, and in addition satisfies a number of predictions coming from a conjectural connection wit…