We extend the covering of even and odd Khovanov link homology to tangles, using arc algebras. For this, we develop the theory of quasi-associative algebras and bimodules graded over a category with a 3-cocycle. Furthermore, we show that a covering version of a level 2 cyclotomic half 2-Kac--Moody algebra acts on the bicategory of quasi-associative bimodules over the covering arc algebras, relating our work to a construction of Vaz.
We further study the symplectic Khovanov homology of Seidel and Smith and its generalization to even tangles. This homology theory is a conjectural geometric model for Khovanov homology. In this paper we uncover structures on symplectic Khovanov homology which have analogues in Khovanov homology. To each elementary (as well as minimal) cobordism between two tangles we associate a homomorphism between the symplectic Khovanov homology groups of the two tangles. We define the symplectic analogues $H_{s}^m$ of Khovanov's arc algebras and equip the symplectic Khovanov homology of an $(m,n)$-tangle …
We show that the Khovanov complex of a rational tangle has a very simple representative whose backbone of non-zero morphisms forms a zig-zag. Furthermore, this minimal complex can be computed quickly by an inductive algorithm. (For example, we calculate $Kh(8_2)$ by hand.) We find that the bigradings of the subobjects in these minimal complexes can be described by matrix actions, which after a change of basis is the reduced Burau representation of $B_3$.
We show that the sutured Khovanov homology of a balanced tangle in the product sutured manifold D x I has rank 1 if and only if the tangle is isotopic to a braid.
We give a fresh introduction to the Khovanov Homology theory for knots and links, with special emphasis on its extension to tangles, cobordisms and 2-knots. By staying within a world of topological pictures a little longer than in other articles on the subject, the required extension becomes essentially tautological. And then a simple application of an appropriate functor (a `TQFT') to our pictures takes them to the familiar realm of complexes of (graded) vector spaces and ordinary homological invariants.
Given a pointed 4-ended tangle $T \subset D^3$, there are two Khovanov theoretic tangle invariants, $\unicode{1044}_1(T)$ from [arXiv:1910.1458] and $L_T$ from [arXiv:1808.06957], which are twisted complexes over the Fukaya category of the boundary 4-punctured sphere $(S^2,4\text{pt})=\partial (D^3, T)$. We prove that these two invariants are the same.
In this paper we solve one open problem from \cite{pat} and give some generalizations. Namely, we prove that the first homology group of positive braid knot is trivial. Also, we show that the same is true for the Khovanov-Rozansky homology \cite{kovroz} ($sl(n)$ link homology) for any positive integer $n$.
We calculated the rational Khovanov homology of some class of pretzel knots, by using the spectral sequence constructed by P. Turner. Moreover, we determined the Rasmussen's s-invariant of almost of pretzel knots with three pretzels.
We generalize our previous work on categorification of Kauffman bracket skein module of surfaces, by extending our homology to tangles in cylinders over surfaces, F x [0,1]. Our homology of 0-tangles and 1-tangles in D^3 coincides (up to normalization) with Khovanov link homology and the reduced Khovanov link homology. We prove the basic properties of our homology. In particular, the short exact sequence of homologies of skein related tangles and the Kunneth formula for the tensor product of tangles.
We determine a wide class of knots, which includes unknotting number one knots, within which Khovanov homology detects the unknot. A corollary is that the Khovanov homology of many satellite knots, including the Whitehead double, detects the unknot.
We prove that the Khovanov homology of the 2-cable detects the unknot. A corollary is that Khovanov's categorification of the 2-colored Jones polynomial detects the unknot.
We present an easy example of mutant links with different Khovanov homology. The existence of such an example is important because it shows that Khovanov homology cannot be defined with a skein rule similar to the skein relation for the Jones polynomial.
We construct an equivariant version of annular Khovanov homology via the Frobenius algebra associated with $U(1) \times U(1)$-equivariant cohomology of $\mathbb{CP}^1$. Motivated by the relationship between the Temperley-Lieb algebra and annular Khovanov homology, we also introduce an equivariant analogue of the Temperley-Lieb algebra.
We investigate the Khovanov-Rozansky invariant of a certain tangle and its compositions. Surprisingly the complexes we encounter reduce to ones that are very simple. Furthermore, we discuss a "local" algorithm for computing Khovanov-Rozansky homology and compare our results with those for the "foam" version of sl_3-homology.
Khovanov homology extends to singular links via a categorified analogue of Vassiliev skein relation. In view of Vassiliev theory, the extended Khovanov homology can be seen as Vassiliev derivatives of Khovanov homology. In this paper, we develop a new method to compute the first derivative. Namely, we introduce a complex, called a crux complex, and prove that the Khovanov homologies of singular links with unique double points are homotopic to cofibers of endomorphisms on crux complexes. Since crux complexes are actually small for some links, the result enables a direct computation of the first…
We define a variant of Khovanov homology for links in thickened disks with multiple punctures. This theory is distinct from the one previously defined by Asaeda, Przytycki, and Sikora, but is related to it by a spectral sequence. Additionally, we show that there are spectral sequences induced by embeddings of thickened surfaces, which recover the spectral sequence from annular Khovanov homology to Khovanov homology as a special case.
We define a third grading on Khovanov homology, which is an invariant of annular links but changes by $\pm 1$ under stabilization. We illustrate the use of our computer implementation, and give some example calculations.
As Oleg Viro describes in his paper, the most fundamental property of the Khovanov homology group is their invariance under Reidemeister moves. Viro constructes Khovanov complex and homology consisting of Jordan curves with sign and also gives a proof for the only case of first Reidemeister move by using his definition of Khovanov homology groups. In this paper, homotopy maps are obtained explicitly for the other Reidemeister moves, i.e. second and third.
We define a wall-crossing morphism for Khovanov-Rozansky homology; that is, a map between the KR homology of knots related by a crossing change. Using this map, we extend KR homology to an invariant of singular knots categorifying the Vasilliev derivative of the HOMFLY polynomial, and of $\mathfrak{sl}_n$ quantum invariants.
In analogy with a recursive formula for the HOMFLY-PT polynomial of links given by Jaeger, we give a recursive formula for the graph polynomial introduced by Kauffman and Vogel. We show how this formula extends to the Khovanov-Rozansky graph 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 previous work we introduced a Khovanov multicurve invariant $\operatorname{\widetilde{Kh}}$ associated with Conway tangles. Applying ideas from homological mirror symmetry we show that $\operatorname{\widetilde{Kh}}$ is subject to strong geography restrictions: Every component of the invariant is linear, in the sense that it admits a lift to a curve homotopic to a straight line in an appropriate planar cover of the tangle boundary.
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.
We give chain homotopy maps of Khovanov-type link homology of a universal differential. The universal differential, discussed by Mikhail Khovanov, Marco Mackaay, Paul Turner and Pedro Vaz, contains the original Khovanov's differential and Lee's differential. We also consider the conditions of any differential ensuring the Reidemeister invariance for the chain homotopy maps.
These lecture notes, which were designed for the Summer School "Heegaard-Floer Homology and Khovanov Homology" in Marseilles, 29th May - 2nd June, 2006, provide an elementary introduction to Khovanov homology. The intended audience is graduate students with some minimal background in low-dimensional and algebraic topology. The lectures cover the basic definitions, important properties, a number of variants and some applications. At the end of each lecture the reader is referred to the relevant literature for further reading.
Let $\widetilde{K}$ be a two-periodic braid and let $K$ be its quotient. In this paper we show there is a spectral sequence from the next-to-top winding number grading of the sutured annular Khovanov homology of the closure of $\widetilde{K}$ to the next-to-top winding number grading of the sutured annular Khovanov homology of the closure of $K$.
The aim of this paper is to introduce and study a geometric spectral sequence in Khovanov homology. The construction was motivated by a similar spectral sequence from Khovanov homology to Heegaard Floer homology.
We compute the reduced version of Khovanov and Rozansky's sl(N) homology for two-bridge knots and links. The answer is expressed in terms of the HOMFLY polynomial and signature.
We study the relationship between the HOMFLY and sl(N) knot homologies introduced by Khovanov and Rozansky. For each N>0, we show there is a spectral sequence which starts at the HOMFLY homology and converges to the sl(N) homology. As an application, we determine the KR-homology of knots with 9 crossings or fewer.
We construct a new spectral sequence beginning at the Khovanov homology of a link and converging to the Khovanov homology of the disjoint union of its components. The page at which the sequence collapses gives a lower bound on the splitting number of the link, the minimum number of times its components must be passed through one another in order to completely separate them. In addition, we build on work of Kronheimer-Mrowka and Hedden-Ni to show that Khovanov homology detects the unlink.
In 2001, Khovanov and Seidel constructed a faithful action of the (m+1)-strand braid group on the derived category of left modules over a quiver algebra, A_m. We interpret the Hochschild homology of the Khovanov-Seidel braid invariant as a direct summand of the sutured Khovanov homology of the annular braid closure.
The Temperley-Lieb algebra is a fundamental component of SU(2) topological quantum field theories. We construct chain complexes corresponding to minimal idempotents in the Temperley-Lieb algebra. Our results apply to the framework which determines Khovanov homology. Consequences of our work include semi-orthogonal decompositions of categorifications of Temperley-Lieb algebras and Postnikov decompositions of all Khovanov tangle invariants.
We use Lee's work on the Khovanov homology to define a knot invariant s. We show that s(K) is a concordance invariant and that it provides a lower bound for the slice genus of K. As a corollary, we give a purely combinatorial proof of the Milnor conjecture.
We show that the information contained in the associated graded vector space to Gornik's version of Khovanov-Rozansky knot homology is equivalent to a single even integer s_n(K). Furthermore we show that s_n is a homomorphism from the smooth knot concordance group to the integers. This is in analogy with Rasmussen's invariant coming from a perturbation of Khovanov homology.
We investigate Bar-Natan's characteristic two Khovanov link homology theory studying both the filtered and bi-graded theories. The filtered theory is computed explicitly and the bi-graded theory analysed by setting up a family of spectral sequences. The E_2-pages can be described in terms of groups arising from the action of a certain endomorphism on mod 2 Khovanov homology. Some simple consequences are discussed.
In this article, we give an elementary construction of homological invariants of links presented by braid closures. The Euler characteristic of this complex is equal to quantum polynomial invariant of link.
We show that the unnormalised Khovanov homology of an oriented link can be identified with the derived functors of the inverse limit. This leads to a homotopy theoretic interpretation of Khovanov homology.
Mikhail Khovanov in math.QA/9908171 defined, for a diagram of an oriented classical link, a collection of groups numerated by pairs of integers. These groups were constructed as homology groups of certain chain complexes. The Euler characteristics of these complexes are coefficients of the Jones polynomial of the link. The goal of this note is to rewrite this construction in terms more friendly to topologists. A version of Khovanov homology for framed links is introduced. For framed links whose Kauffman brackets are involved in a skein relation, these homology groups are related by an exact se…
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.
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].
These notes from the 2014 summer school Quantum Topology at the CIRM in Luminy attempt to provide a rough guide to a selection of developments in Khovanov homology over the last fifteen years.
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.
We discuss generalizations of Ozsvath-Szabo's spectral sequence relating Khovanov homology and Heegaard Floer homology, focusing attention on an explicit relationship between natural Z (resp., 1/2 Z) gradings appearing in the two theories. These two gradings have simple representation-theoretic (resp., geometric) interpretations, which we also review.
The Jones polynomial can be expressed in terms of spanning trees of the graph obtained by checkerboard coloring a knot diagram. We show there exists a complex generated by these spanning trees whose homology is the reduced Khovanov homology. The spanning trees provide a filtration on the reduced Khovanov complex and a spectral sequence that converges to its homology. For alternating links, all differentials on the spanning tree complex are zero and the reduced Khovanov homology is determined by the Jones polynomial and signature. We prove some analogous theorems for (unreduced) Khovanov homolo…
We define an annular version of odd Khovanov homology and prove that it carries an action of the Lie superalgebra $\mathfrak{gl}(1|1)$ which is preserved under annular Reidemeister moves.
We investigate properties of the odd Khovanov homology, compare and contrast them with those of the original (even) Khovanov homology, and discuss applications of the odd Khovanov homology to other areas of knot theory and low-dimensional topology. We show that it provides an effective upper bound on the Thurston-Bennequin number of Legendrian links and can be used to detect quasi-alternating knots. A potential application to detecting transversely non-simple knots is also mentioned.
We introduce an sl(n) homology theory for knots and links in the thickened annulus. To do so, we first give a fresh perspective on sutured annular Khovanov homology, showing that its definition follows naturally from trace decategorifications of enhanced sl(2) foams and categorified quantum gl(m), via classical skew Howe duality. This framework then extends to give our annular sl(n) link homology theory, which we call sutured annular Khovanov-Rozansky homology. We show that the sl(n) sutured annular Khovanov-Rozansky homology of an annular link carries an action of the Lie algebra sl(n), which…
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…
