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.
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 describe a "concentration on the diagonal" condition on the Khovanov complex of tangles, show that this condition is satisfied by the Khovanov complex of the single crossing tangles, and prove that it is preserved by alternating planar algebra compositions. Hence, this condition is satisfied by the Khovanov complex of all alternating tangles. Finally, in the case of links, our condition is equivalent to a well known result which states that the Khovanov homology of a non-split alternating link is supported on two diagonals. Thus our condition is a generalization of Lee's Theorem to the case…
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.
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…
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.
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].
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 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.
For a diagram of a 2-stranded tangle in the 3-ball we define a twisted complex of compact Lagrangians in the triangulated envelope of the Fukaya category of the smooth locus of the pillowcase. We show that this twisted complex is a functorial invariant of the isotopy class of the tangle, and that it provides a factorization of Bar-Natan's functor from the tangle cobordism category to chain complexes. In particular, the hom set of our invariant with a particular non-compact Lagrangian associated to the trivial tangle is naturally isomorphic to the reduced Khovanov chain complex of the closure o…
Ozsvath and Szabo recently constructed an algebraically defined invariant of tangles which takes the form of a DA bimodule. This invariant is expected to compute knot Floer homology. The authors have a similar construction for open braids and their plat closures which can be viewed as a filtered DA bimodule over the same algebras. For a closed diagram, this invariant computes the Khovanov homology of the knot or link. We show that forgetting the filtration, our DA bimodules are homotopy equivalent to a suitable version of the Ozsvath- Szabo bimodules. In addition to giving a relationship betwe…
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.
Khovanov homology: pro-tangles, derived colimits and spectral sequences
Mathematical Science Research Center, Chongqing University of Technology(重庆理工大学数学科学研究中心);NSF-Simons National Institute for Theory and Mathematics in Biology(NSF-西蒙斯生物理论与数学国家研究所)
We give a geometric interpretation of Bar-Natan's universal invariant for the class of tangles in the 3-ball with four ends: we associate with such 4-ended tangles $T$ multicurves $\widetilde{\operatorname{BN}}(T)$, that is, collections of immersed curves with local systems in the 4-punctured sphere. These multicurves are tangle invariants up to homotopy of the underlying curves and equivalence of the local systems. They satisfy a gluing theorem which recovers the reduced Bar-Natan homology of links in terms of wrapped Lagrangian Floer theory. Furthermore, we use $\widetilde{\operatorname{BN}}…
We provide new evidence that the tangle calculus and "evolution" are applicable to the Khovanov polynomials for families of long braids inside the knot diagram. We show that jumps in evolution, peculiar for superpolynomials, are much less abundant than it was originally expected. Namely, for torus and twist satellites of a fixed companion knot, the main (most complicated) contribution does not jump, all jumps are concentrated in the torus and twist part correspondingly, where these jumps are necessary to make the Khovanov polynomial positive. Among other things, this opens a way to define a ju…
In this paper, we discuss degree 0 crossing change on Khovanov homology in terms of cobordisms. Namely, using Bar-Natan's formalism of Khovanov homology, we introduce a sum of cobordisms that yields a morphism on complexes of two diagrams of crossing change, which we call the "genus-one morphism." It is proved that the morphism is invariant under the moves of double points in tangle diagrams. As a consequence, in the spirit of Vassiliev theory, taking iterated mapping cones, we obtain an invariant for singular tangles that extending sl(2) tangle homology; examples include Lee homology, Bar-Nat…
We construct a bigraded (co)homology theory which depends on a parameter a, and whose graded Euler characteristic is the quantum sl(2) link invariant. We follow Bar-Natan's approach to tangles on one side, and Khovanov's sl(3) theory for foams on the other side. Our theory is properly functorial under tangle cobordisms, and a version of the Khovanov sl(2) invariant (or Lee's modification of it) corresponds to a=0 (or a=1). In particular, our construction naturally resolves the sign ambiguity in the functoriality of Khovanov's sl(2) homology theory.
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.
We give a simple, combinatorial construction of a unital, spherical, non-degenerate $\ast$-planar algebra over the ring $\mathbb{Z}[q^{1/2},q^{-1/2}]$. This planar algebra is similar in spirit to the Temperley-Lieb planar algebra, but computations show that they are different. The construction comes from the combinatorics of the decategorifications of the type A and type D structures in the author's previous work on bordered Khovanov homology. In particular, the construction illustrates how gluing of tangles occurs in his bordered Khovanov homology and its difference from that in Khovanov's ta…
Inspired by bordered Floer homology, we describe a type A structure on a Khovanov homology for a tangle, which complements the type D structure in a previous paper. The type A structure is a differential module over a certain algebra. This can be paired with the type D structure to recover the Khovanov chain complex. The homotopy type of the type A structure is a tangle invariant, and homotopy equivalences of the type A structure result in chain homotopy equivalences on the Khovanov chain complex. We can use this to simplify computations and introduce a modular approach to the computation of K…
We describe the first part of a gluing theory for the bigraded Khovanov homology with integer coefficients. This part associates a type D structure to a tangle properly embedded in a half-space and proves that the homotopy class of the type D structure is an invariant of the isotopy class of the tangle. The construction is modeled off bordered Heegaard-Floer homology, but uses only combinatorial/diagrammatic methods
There are two categorifications of the Jones polynomial: "even" discovered by M.Khovanov in 1999 and "odd" dicovered by P.Ozsvath, J.Rasmussen and Z.Szabo in 2007. The first one can be fully constructed in the category of cobordisms (strictly: in the additive closure of that category), where we can build a complex for a given tangle and show its invariance under Reidemeister moves. The even link homology is given by a monoidal functor from cobordisms into modules. However, odd link homology cannot be obtained in this way. In this paper I fill this gap. I enrich cobordisms with chronologies (pr…
We realise Stroppel's extended arc algebra in the Fukaya-Seidel category of a natural Lefschetz fibration on the generic fiber of the adjoint quotient map on a type $A$ nilpotent slice with two Jordan blocks, and hence obtain a symplectic interpretation of certain parabolic two-block versions of Bernstein-Gelfan'd-Gelfan'd category $\mathcal{O}$. As an application, we give a new geometric construction of the spectral sequence from annular to ordinary Khovanov homology. The heart of the paper is the development of a cylindrical model to compute Fukaya categories of (affine open subsets of) Hilb…
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…
The WRT invariant of a link L in S2xS1 at sufficiently high values of the level r can be expresses as an evaluation of a special polynomial invariant of L at 2r-th root of unity. We categorify this polynomial invariant by associating to L a bigraded homology whose graded Euler characteristic is equal to this polynomial. If L is presented as a closure of a tangle in S2xS1, then the homology of L is defined as the Hochschild homology of the H_n-bimodule associated to the tangle by M. Khovanov. This homology can also be expressed as a stable limit of Khovanov homology of the circular closure of t…
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…
We prove that Morrison and Nieh's categorification of the su(3) quantum knot invariant is functorial with respect to tangle cobordisms. This is in contrast to the categorified su(2) theory, which was not functorial as originally defined. We use methods of Bar-Natan to construct explicit chain maps for each variation of the third Reidemeister move. Then, to show functoriality, we modify arguments used by Clark, Morrison, and Walker to show that induced chain maps are invariant under Carter and Saito's movie moves.
We give a new, elementary proof that Khovanov homology with $\mathbb{Z}/2\mathbb{Z}$--coefficients is invariant under Conway mutation. This proof also gives a strategy to prove Baldwin and Levine's conjecture that $δ$--graded knot Floer homology is mutation--invariant. Using the Clifford module structure on $\widetilde{\text{HFK}}$ induced by basepoint maps, we carry out this strategy for mutations on a large class of tangles. Let $L'$ be a link obtained from $L$ by mutating the tangle $T$. Suppose some rational closure of $T$ corresponding to the mutation is the unlink on any number of compon…
In two previous papers, the author showed how to decompose the Khovanov homology of a link $\mathcal{L}$ into the algebraic pairing of a type D structure and a type A structure (as defined in bordered Floer homology), whenever a diagram for $\mathcal{L}$ is decomposed into the union of two tangles. Since Khovanov homology is the categorification of a version of the Jones polynomial, it is natural to ask what the type A and type D structures categorify, and how their pairing is encoded in the decategorifications. In this paper, the author constructs the decategorifications of these two structur…
We introduce an invariant of tangles in Khovanov homology by considering a natural inverse system of Khovanov homology groups. As application, we derive an invariant of strongly invertible knots; this invariant takes the form of a graded vector space that vanishes if and only if the strongly invertible knot is trivial. While closely tied to Khovanov homology -- and hence the Jones polynomial -- we observe that this new invariant detects non-amphicheirality in subtle cases where Khovanov homology fails to do so. In fact, we exhibit examples of knots that are not distinguished by Khovanov homolo…
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 construct knot invariants categorifying the quantum knot variants for all representations of quantum groups. We show that these invariants coincide with previous invariants defined by Khovanov for sl(2) and sl(3) and by Mazorchuk-Stroppel and Sussan for sl(n). Our technique uses categorifications of the tensor product representations of Kac-Moody algebras and quantum groups, constructed a prequel to this paper. These categories are based on the pictorial approach of Khovanov and Lauda. In this paper, we show that these categories are related by functors corresponding to the braiding and (co…