We define an invariant of transverse links in the standard contact 3-sphere as a distinguished element of the Khovanov homology of the link. The quantum grading of this invariant is the self-linking number of the link. For knots, this gives a bound on the self-linking number in terms of Rasmussen's invariant s(K). We prove that our invariant vanishes for transverse knot stabilizations, and that it is non-zero for quasipositive braids. We also discuss a connection to Heegaard Floer invariants.
Using the relation between Khovanov homology and the Heegaard Floer homology of branched double covers, we show how Khovanov homology can be used to establish tightness of branched double covers of certain transverse knots. We give examples of several infinite families of knots whose branched covers are tight for Khovanov-homological reasons, and show that some of these branched covers are not Stein fillable.
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…
We prove that Khovanov homology detects the trefoils. Our proof incorporates an array of ideas in Floer homology and contact geometry. It uses open books; the contact invariants we defined in the instanton Floer setting; a bypass exact triangle in sutured instanton homology, proven here; and Kronheimer and Mrowka's spectral sequence relating Khovanov homology with singular instanton knot homology. As a byproduct, we also strengthen a result of Kronheimer and Mrowka on $SU(2)$ representations of the knot group.
We use the spanning tree model for Khovanov homology to study Legendrian links. This leads to an alternative proof for Ng's Khovanov bound for the Thurston-Bennequin number and to both a necessary and a sufficient condition for this bound to be sharp.
We define the reduced Khovanov homology of an open book (S,h), and we identify a distinguished "contact element" in this group which may be used to establish the tightness or non-fillability of contact structures compatible with (S,h). Our construction generalizes the relationship between the reduced Khovanov homology of a link and the Heegaard Floer homology of its branched double cover. As an application, we give combinatorial proofs of tightness for several contact structures which are not Stein-fillable. Lastly, we investigate a comultiplication structure on the reduced Khovanov homology o…
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.
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.
Using Dowlin's spectral sequence from Khovanov homology to knot Floer homology, we prove that reduced Khovanov homology (over $\mathbb{Q}$) detects the figure-eight knot.
We show if $L$ is any link in $S^3$ whose Khovanov homology is isomorphic to the Khovanov homology of $T(2,6)$ then $L$ is isotopic to $T(2,6)$. We show this for unreduced Khovanov homology with $\mathbb{Z}$ coefficients.
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.
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.
We offer an alternative construction of Roberts' totally twisted Khovanov homology and prove that it agrees with delta-graded reduced characteristic-2 Khovanov homology.
We exhibit an infinite family of knots with isomorphic knot Heegaard Floer homology. Each knot in this infinite family admits a nontrivial genus two mutant which shares the same total dimension in both knot Floer homology and Khovanov homology. Each knot is distinguished from its genus two mutant by both knot Floer homology and Khovanov homology as bigraded groups. Additionally, for both knot Heegaard Floer homology and Khovanov homology, the genus two mutation interchanges the groups in $δ$-gradings $k$ and $-k$.
We define a link homology theory that is readily seen to be both isomorphic to reduced odd Khovanov homology and fully determined by data impervious to Conway mutation. This gives an elementary proof that odd Khovanov homology is mutation invariant, and therefore that mod 2 Khovanov homology is mutation invariant. We also establish mutation invariance for the entire Ozsvath-Szabo spectral sequence from reduced Khovanov homology to the Heegaard Floer homology of the branched double cover.
In this note, we show that if there is a knot in $S^3$ having $\mathbb{Z}_m$ torsion in its Khovanov homology, then there are infinitely many hyperbolic knots and infinitely many prime satellite knots having $\mathbb{Z}_m$ torsion in their Khovanov homology. As an application, we give the first known examples of hyperbolic knots and links with odd (and other non-$\mathbb{Z}_2$ torsion) in their Khovanov homology.
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 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.
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…
We give a recipe for constructing families of distinct knots that have identical Khovanov homology and give examples of pairs of prime knots, as well as infinite families, with this property.
In this note we present an explicit isomorphism between Khovanov-Rozansky $sl_2$-homology and ordinary Khovanov homology. This result was originally stated in Khovanov and Rozansky's paper \cite{KRI}, though the details have yet to appear in the literature. The main missing detail is providing a coherent choice of signs when identifying variables in the $sl_2$-homology. Along with the behavior of the signs and local orientations in the $sl_2$-homology, both theories behave differently when we try to extend their definitions to virtual links, which seemed to suggest that the $sl_2$-homology may…
This paper establishes that sutured annular Khovanov homology is not invariant for braid closures under axis-preserving mutations. This follows from an explicit relationship between sutured annular Khovanov homology and the classical Burau representation for braid closures.
In this paper, we introduce the annular instanton Floer homology which is defined for links in a thickened annulus. It is an analogue of the annular Khovanov homology. A spectral sequence whose second page is the annular Khovanov homology and which converges to the annular instanton Floer homology is constructed. As an application of this spectral sequence, we prove that the annular Khovanov homology detects the unlink in the thickened annulus (assuming all the components are null-homologous). Another application is a new proof of Grigsby and Ni's result that tangle Khovanov homology distingui…
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…
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.
In this paper we compute the signature for a family of knots $W(k,n)$, the weaving knots of type $(k,n)$. By work of E.~S.~Lee the signature calculation implies a vanishing theorem for the Khovanov homology of weaving knots. Specializing to knots $W(3,n)$, we develop recursion relations that enable us to compute the Jones polynomial of $W(3,n)$. Using additional results of Lee, we compute the ranks of the Khovanov Homology of these knots. At the end we provide evidence for our conjecture that, asymptotically, the ranks of Khovanov Homology of $W(3,n)$ are {\it normally distributed}.
In the first few homological gradings, there is an isomorphism between the Khovanov homology of a link and the categorification of the chromatic polynomial of a graph related to the link. In this article, we show that the categorification of the chromatic polynomial only contains torsion of order two, and hence Khovanov homology only contains torsion of order two in the gradings where the isomorphism is defined. We also prove that odd Khovanov homology is torsion-free in its first few homological gradings.
Ozsvath and Szabo have established an algebraic relationship, in the form of a spectral sequence, between the reduced Khovanov homology of (the mirror of) a link L in S^3 and the Heegaard Floer homology of its double-branched cover. This relationship has since been recast by the authors as a specific instance of a broader connection between Khovanov- and Heegaard Floer-type homology theories, using a version of Heegaard Floer homology for sutured manifolds developed by Juhasz. In the present work we prove the naturality of the spectral sequence under certain elementary TQFT operations, using a…
This paper is an introduction to Khovanov homology, starting with the Kauffman bracket state summation, emphasizing the Bar-Natan Canopoloy and tangle cobordism approach. The paper discusses a simplicial approach to Khovanov homology and a quantum model for it so that the graded Euler characteristic that produces the Jones polynomial from Khovanov homology becomes the trace of a unitary transformation on a Hilbert space associated with the Khovanov Homology.
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}$.
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…
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.
We prove the existence of a knot whose braid index the Morton-Franks-Williams inequality fails to detect but a related inequality (KR-MFW inequality), which uses new information of Khovanov-Rozansky homology, detects. We also prove, by examples, that there exists infinitely many knots for which the KR-MFW inequality fails to detect the braid indices.
We lift the characteristic-2 totally twisted Khovanov homology of Roberts and Jaeger to a theory with integer coefficients. The result is a complex computing reduced odd Khovanov homology for knots. This complex is equivalent to a spanning-tree complex whose differential is explicit modulo a sign ambiguity coming from the need to choose a sign assignment in the definition of odd Khovanov homology.
We determine when certain state cycles represent nontrivial Khovanov homology classes by analyzing features of the state graph. Using this method, we are able to produce hyperbolic knots with arbitrarily many diagonals containing nontrivial state cycle homology classes. This gives lower bounds on the Khovanov width of knots whose complexity precludes computation of the full homology.
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.
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.
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 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…
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.
X.S. Lin and O. Dasbach proved that the sum of the absolute value of the second and penultimate coefficients of the Jones polynomial of an alternating knot is equal to the twist number of the knot. In this paper we give a new proof of their result using Khovanov homology. The proof is by induction on the number of crossings using the long exact sequence in Khovanov homology corresponding to the Kauffman bracket skein relation.
Examples of knots and links distinguished by the total rank of their Khovanov homology but sharing the same two-fold branched cover are given. As a result, Khovanov homology does not yield an invariant of two-fold branched covers.
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 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.
We introduce a local algorithm for Khovanov Homology computations - that is, we explain how it is possible to "cancel" terms in the Khovanov complex associated with a ("local") tangle, hence canceling the many associated "global" terms in one swoosh early on. This leads to a dramatic improvement in computational efficiency. Thus our program can rapidly compute certain Khovanov homology groups that otherwise would have taken centuries to evaluate.
