A spatial refinement of Bar-Natan homology is given, that is, for any link diagram $D$ we construct a CW-spectrum $\mathcal{X}_{\mathit{BN}}(D)$ whose reduced cellular cochain complex gives the Bar-Natan complex of $D$. The stable homotopy type of $\mathcal{X}_{\mathit{BN}}(D)$ is a link invariant and is described as the wedge sum of the canonical cells. We conjecture that the quantum filtration of Bar-Natan homology also lifts to the spatial level, and that it leads us to a cohomotopical refinement of the $s$-invariant.
We show that the order of torsion homology classes in Bar-Natan deformation of Khovanov homology is a lower bound for the unknotting number. We give examples of knots that this is a better lower bound than |s(K)/2|, where s(K) is the Rasmussen s invariant defined by the Bar-Natan spectral sequence.
We show that over the binary field $\mathbb F_2$, the Bar-Natan perturbation of Khovanov homology splits as the direct sum of its two reduced theories, which we also prove are isomorphic. This extends Shumakovitch's analogous result for ordinary Khovanov homology, without the perturbation.
We prove a lower bound on the ribbon distance via Bar-Natan Homology. This lower bound agrees with Alishahi's lower bound on the unknotting number via Bar-Natan Homology, which furthers a pattern first observed by Sarkar: Sarkar's lower bound on the ribbon distance via Lee Homology agreed with Alishahi and Dowlin's lower bound on the unknotting number via Lee Homology. We also prove a lower bound on the ribbon distance via $α$-homology, a variant of Khovanov homology defined recently by Khovanov and Robert.
We introduce a new skein module for three manifolds based on properly embedded surfaces and their relations introduced by D.Bar-Natan, and modified by M.Khovanov. We compute the structure of the modules for some manifolds, including Seifert fibred manifolds.
The author defined for each (commutative) Frobenius algebra a skein module of surfaces in a $3$-manifold $M$ bounding a closed $1$-manifold $α\subset \partial M$. The surface components are colored by elements of the Frobenius algebra. The modules are called the Bar-Natan modules of $(M,α)$. In this article we show that Bar-Natan modules are colimit modules of functors associated to Frobenius algebras, decoupling topology from algebra. The functors are defined on a category of $3$-dimensional compression bordisms embedded in cylinders over $M$ and take values in a linear category defined from …
A spectral sequence is established, whose $E_{2}$ page is Bar-Natan's variant of Khovanov homology and which abuts to a deformation of instanton homology for knots and links. This spectral sequence arises as a specialization of a spectral sequence whose $E_{2}$ page is a characteristic-2 version of $F_{5}$ homology, in Khovanov's classification.
This paper establishes an isomorphism between the Bar-Natan skein module of the solid torus with a particular boundary curve system and the homology of the (n,n) Springer variety. The results build on Khovanov's work with crossingless matchings and the cohomology of the (n,n) Springer variety. We also give a formula for comultiplication in the Bar-Natan skein module for this specific three-manifold and boundary curve system.
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.
We introduce two monoidal supercategories: the odd dotted Temperley-Lieb category $\mathcal{T\!L}_{o,\bullet}(δ)$, which is a generalization of the odd Temperley-Lieb category studied by Brundan and Ellis, and the odd annular Bar-Natan category $\mathcal{BN}_{\!o}(\mathbb{A})$, which generalizes the odd Bar-Natan category studied by Putyra. We then show there is an equivalence of categories between them if $δ=0$. We use this equivalence to better understand the action of the Lie superalgebra $\mathfrak{gl}(1|1)$ on the odd Khovanov homology of a knot in a thickened annulus found by Grigsby and…
Khovanov introduced a cohomology theory for oriented classical links whose graded Euler characteristic is the Jones polynomial. Since Khovanov's theory is functorial for link cobordisms between classical links, we obtain an invariant of a surface-knot, called the {\it Khovanov-Jacobsson number}, by considering the surface-knot as a link cobordism between empty links. In this paper, we define an invariant of a surface-knot which is a generalization of the Khovanov-Jacobsson number by using Bar-Natan's theory, and prove that any $T^2$-knot has the trivial Khovanov-Jacobsson number.
A spectral sequence is established, from Bar-Natan's variant of Khovanov homology to a deformation of instanton homology for knots and links. This spectral sequence arises as a specialization of a spectral sequence from a characteristic-2 version of $F_5$ homology, in Khovanov'sclassification. Concordance invariants of knots are derived from the corresponding instanton homology groups, including a 1-parameter family of homomorphisms $f_r$ from the concordance group to the reals, having the potential to provide independent bounds on the genus and number of double points for immersed surfaces wi…
Bar-Natan used Chinese characters to show that finite type invariants classify string links up to homotopy. In this paper, I construct the correct spaces of chord diagrams and Chinese characters for links up to homotopy. I use these spaces to show that the only rational finite type invariants of link homotopy are the pairwise linking numbers of the components.
There exists a simplified Bar-Natan Khovanov complex for open 2-braids. The Khovanov cohomology of a knot diagram made by gluing tangles of this type is therefore often amenable to calculation. We lift this idea to the level of the Lipshitz-Sarkar stable homotopy type and use it to make new computations. Similarly, there exists a simplified Khovanov-Rozansky sl_n complex for open 2-braids with oppositely oriented strands and an even number of crossings. Diagrams made by gluing tangles of this type are called matched diagrams, and knots admitting matched diagrams are called bipartite knots. To …
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 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 describe a modification of Khovanov homology (math.QA/9908171), in the spirit of Bar-Natan (math.GT/0410495), which makes the theory properly functorial with respect to link cobordisms. This requires introducing `disorientations' in the category of smoothings and abstract cobordisms between them used in Bar-Natan's definition. Disorientations have `seams' separating oppositely oriented regions, coming with a preferred normal direction. The seams satisfy certain relations (just as the underlying cobordisms satisfy relations such as the neck cutting relation). We construct explicit chain maps…
We explain how rank two Frobenius extensions of commutative rings lead to link homology theories and discuss relations between these theories, Bar-Natan theories, equivariant cohomology and the Rasmussen invariant.
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 discuss a new perspective on Khovanov homology, using categorifications of tensor products. While in many ways more technically demanding than Khovanov's approach (and its extension by Bar-Natan), this has distinct advantage of directly connecting Khovanov homology to a categorification of \$(\mathbb{C}^2)^{\otimes \ell}\$, and admitting a direct generalization to other Lie algebras. While the construction discussed is a special case of that given in previous work of the author, this paper contains new results about the special case of \$\mathfrak{sl}_2\$ showing an explicit connection to B…
Two link diagrams on compact surfaces are strongly equivalent if they are related by Reidemeister moves and orientation preserving homeomorphisms of the surfaces. They are stably equivalent if they are related by the two previous operations and adding or removing handles. Turaev and Turner constructed a link homology for each stable equivalence class by applying an unoriented topological quantum field theory (TQFT) to a geometric chain complex similar to Bar-Natan's one. In this paper, by using an unoriented homotopy quantum field theory (HQFT), we construct a link homology for each strong equ…
We study the relationship between Bar-Natan's perturbation in Khovanov homology and Szabo's geometric spectral sequence, and construct a link invariant that generalizes both into a common theory. We study a few properties of the new invariant, and introduce a family of s-invariants from the new theory in the same spirit as Rasmussen's s-invariant.
We show how to use Bar-Natan's `divide and conquer' approach to computations to efficiently compute the universal sl(2) dotted foam cohomology groups, even for big knots and links. We also describe a purely topological version of the sl(2) foam theory, in the sense that no dots are needed on foams.
We investigate link homology theories for stable equivalence classes of link diagrams on orientable surfaces. We apply (1+1)-dimensional unoriented topological quantum field theories to Bar-Natan's geometric formalism to define new theories for stable equivalence classes.
We define a notion of finite type invariants for links with a fixed linking matrix. We show that Milnor's triple link homotopy invariant is a finite type invariant, of type 1, in this sense. We also generalize the approach to Milnor's higher order homotopy invariants and show that they are also, in a sense, of finite type. Finally, we compare our approach to another approach for defining finite type invariants within linking classes.
Dror Bar-Natan and Ofer Ron have questioned the accuracy of the statement on page 453, line 2 minus of my paper "Groups of Ribbon Knots", Topology Vol 37, No. 2, 441-458, that "It follows from the inductive proof that $\cal{R}_n$ is of index 2." See their article posted on arXiv: math.GT/0309282. We give here full details of how to carry out the inductive step.
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.
We provide a unified framework for proving Reidemeister-invariance and functoriality for a wide range of link homology theories. These include Lee homology, Heegaard Floer homology of branched double covers, singular instanton homology, and \Szabo's geometric link homology theory. We follow Baldwin, Hedden, and Lobb (arXiv:1509.04691) in leveraging the relationships between these theories and Khovanov homology. We obtain stronger functoriality results by avoiding spectral sequences and instead showing that each theory factors through Bar-Natan's cobordism-theoretic link homology theory.
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 adapt Bar-Natan's scanning algorithm for fast computations in (even) Khovanov homology to odd Khovanov homology. We use a mapping cone construction instead of a tensor product, which allows us to deal efficiently with the more complicated sign assignments in the odd theory. The algorithm has been implemented in a computer program. We also use the algorithm to determine the odd Khovanov homology of 3-strand torus links.
Frobenius extensions play a central role in the link homology theories based upon the sl(n) link variants, and each of these Frobenius extensions may be recast geometrically via a category of marked cobordisms in the manner of Bar-Natan. Here we explore a large family of such marked cobordism categories that are relevant to generalized sl(n) link homology theories. We also investigate the skein modules that result from embedding these marked cobordisms within 3-manifolds, and arrive at an explicit presentation for several of these generalized skein modules.
We construct an infinite family of homology theories of framed links in thickened surfaces, as well as a homology theory whose graded Euler characteristic is exactly the Kauffman bracket of the link in the surface. Both theories are based on ideas coming from Asaeda, Przytycki and Sikora's categorification of the Kauffman bracket skein module of I-bundles over surfaces. This is accomplished by borrowing ideas from Bar-Natan's Khovanov homology theory for tangles and cobordisms and using embedded surfaces to generate the chain groups, instead of diagrams.
Two link diagrams are link homotopic if one can be transformed into the other by a sequence of Reidemeister moves and self crossing changes. Milnor introduced invariants under link homotopy called $\barμ$. Nanophrases, introduced by Turaev, generalize links. In this paper, we extend the notion of link homotopy to nanophrases. We also generalize $\barμ$ to the set of those nanophrases that correspond to virtual links.
O. Plamenevskaya associated to each transverse knot K an element of the Khovanov homology of K. In this paper, we give two refinements of Plamenevskaya's invariant, one valued in Bar-Natan's deformation of the Khovanov complex and another as a cohomotopy element of the Khovanov spectrum. We show that the first of these refinements is invariant under negative flypes and SZ moves; this implies that Plamenevskaya's class is also invariant under these moves. We go on to show that for small-crossing transverse knots K, both refinements are determined by the classical invariants of K.
We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong collapse and it is a particular kind of simplicial collapse. The advantage of using strong collapses is the existence and uniqueness of cores and their relationship with the nerves of the complexes. From this theory we derive new results for studying simplicial collapsibility with a different point of view. We analyze vertex-transitive simplicial $G$-actions …
Two welded (respectively virtual) link diagrams are homotopic if one may be transformed into the other by a sequence of extended Reidemeister moves, classical Reidemeister moves, and self crossing changes. In this paper, we extend Milnor's mu and bar mu invariants to welded and virtual links. We conclude this paper with several examples, and compute the mu invariants using the Magnus expansion and Polyak's skein relation for the mu invariants.
We create a framework for odd Khovanov homology in the spirit of Bar-Natan's construction for the ordinary Khovanov homology. Namely, we express the cube of resolutions of a link diagram as a diagram in a certain 2-category of chronological cobordisms and show that it is 2-commutative: the composition of 2-morphisms along any 3-dimensional subcube is trivial. This allows us to create a chain complex, whose homotopy type modulo certain relations is a link invariant. Both the original and the odd Khovanov homology can be recovered from this construction by applying certain strict 2-functors. We …
The theory of link-homotopy, introduced by Milnor, is an important part of the knot theory, with Milnor's mu-bar-invariants being the basic set of link-homotopy invariants. Skein relations for knot and link invariants played a crucial role in the recent developments of knot theory. However, while skein relations for Alexander and Jones invariants are known for quite a while, a similar treatment of Milnor's mu-bar-invariants was missing. We fill this gap by deducing simple skein relations for link-homotopy mu-invariants of string links.
Wall-type stabilization problems investigate the collapse of exotic 4-dimensional phenomena under stabilization operations (e.g., taking connected sums with $S^2 \times S^2$). We propose an elementary approach to these problems, providing a construction of exotic 4-manifolds and knotted surfaces that are candidates to remain exotic after stabilization -- including examples in the setting of closed, simply connected 4-manifolds. As a proof of concept, we show this construction yields exotic surfaces in the 4-ball that remain exotic after (internal) stabilization, detected by the cobordism maps …
