We construct a stable homotopy refinement of quantum annular homology, a link homology theory introduced by Beliakova, Putyra and Wehrli. For each $r\geq 2$ we associate to an annular link $L$ a naive $\mathbb{Z}/r\mathbb{Z}$-equivariant spectrum whose cohomology is isomorphic to the quantum annular homology of $L$ as modules over $\mathbb{Z}[\mathbb{Z}/r\mathbb{Z}]$. The construction relies on an equivariant version of the Burnside category approach of Lawson, Lipshitz and Sarkar. The quotient under the cyclic group action is shown to recover the stable homotopy refinement of annular Khovanov homology. We study spectrum level lifts of structural properties of quantum annular homology.
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 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.
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$.
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 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 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…
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…
Let L be a link in a thickened annulus. We show that its sutured annular Khovanov homology carries an action of the exterior current algebra of the Lie algebra sl_2. When L is an m-framed n-cable of a knot K in the three-sphere, its sutured annular Khovanov homology carries a commuting action of the symmetric group S_n. One therefore obtains a "knotted" Schur-Weyl representation that agrees with classical sl_2 Schur-Weyl duality when K is the Seifert-framed unknot.
We use categorical annular evaluation to give a uniform construction of both $\mathfrak{sl}_n$ and HOMFLYPT Khovanov-Rozansky link homology, as well as annular versions of these theories. Variations on our construction yield $\mathfrak{gl}_{-n}$ link homology, i.e. a link homology theory associated to the Lie superalgebra $\mathfrak{gl}_{0|n}$, both for links in $S^3$ and in the thickened annulus. In the $n=2$ case, this produces a categorification of the Jones polynomial that we show is distinct from Khovanov homology, and gives a finite-dimensional categorification of the colored Jones polyn…
Let $L$ be a link in a thickened annulus. Grigsby-Licata-Wehrli showed that the annular Khovanov homology of $L$ is equipped with an action of $sl_2(\wedge)$, the exterior current algebra of the Lie algebra $sl_2$. In this paper, we upgrade this result to the setting of $L_\infty$-algebras and modules. That is, we show that $sl_2(\wedge)$ is an $L_\infty$-algebra and that the annular Khovanov homology of $L$ is an $L_\infty$-module over $sl_2(\wedge)$. Up to $L_\infty$-quasi-isomorphism, this structure is invariant under Reidemeister moves. Finally, we include explicit formulas to compute the …
We prove that the Khovanov-Lee complex of an oriented link, L, in a thickened annulus, A x I, has the structure of a bifiltered complex whose filtered chain homotopy type is an invariant of the isotopy class of L in A x I. Using ideas of Ozsvath-Stipsicz-Szabo as reinterpreted by Livingston, we use this structure to define a family of annular Rasmussen invariants that yield information about annular and non-annular cobordisms. Focusing on the special case of annular links obtained as braid closures, we use the behavior of the annular Rasmussen invariants to obtain a necessary condition for bra…
We construct a braid conjugacy class invariant $κ$ by refining Plamenevskaya's transverse element $ψ$ in Khovanov homology via the annular grading. While $κ$ is not an invariant of transverse links, it distinguishes some braids whose closures share the same classical invariants but are not transversely isotopic. Using $κ$ we construct an obstruction to negative destabilization (stronger than $ψ$) and a solution to the word problem in braid groups. Also, $κ$ is a lower bound on the length of the spectral sequence from annular Khovanov homology to Khovanov homology, and we obtain concrete exampl…
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.
Beliakova-Putyra-Wehrli studied various kinds of traces, in relation to annular Khovanov homology. In particular, to a graded algebra and a graded bimodule over it, they associate a quantum Hochschild homology of the algebra with coefficients in the bimodule, and use this to obtain a deformation of the annular Khovanov homology of a link. A spectral refinement of the resulting invariant was recently given by Akhmechet-Krushkal-Willis. In this short note we observe that quantum Hochschild homology is a composition of two familiar operations, and give a short proof that it gives an invariant of …
For a 2-periodic link $\tilde L$ in the thickened annulus and its quotient link $L$, we exhibit a spectral sequence with $E^1 \cong AKh(\tilde L) \otimes_{\mathbb{F}_2} \mathbb{F}_2[θ, θ^{-1}] \rightrightarrows E^\infty \cong AKh(L) \otimes_{\mathbb{F}_2} \mathbb{F}_2[θ, θ^{-1}].$ This spectral sequence splits along quantum and $sl_2$ weight space gradings, proving a rank inequality $rank\ AKh^{j,k}(L) \leq rank\ AKh^{2j-k,k} (\tilde L)$ for every pair of quantum and $sl_2$ weight space gradings $(j,k)$. We also present a few decategorified consequences and discuss partial results toward a sim…
Given a link in the thickened annulus, its annular Khovanov homology carries an action of the Lie algebra $\mathfrak{sl}_2$, which is natural with respect to annular link cobordisms. We consider the problem of lifting this action to the stable homotopy refinement of the annular homology. As part of this program, the actions of the standard generators of $\mathfrak{sl}_2$ are lifted to maps of spectra. In particular, it follows that the $\mathfrak{sl}_2$ action on homology commutes with the action of the Steenrod algebra. The main new technical ingredients developed in this paper, which may be …
In this paper, we discuss two topics: first, we show how to convert 1+1-topological quantum field theories valued in symmetric bimonoidal categories into stable homotopical data, using a machinery by Elmendorf and Mandell. Then, we discuss, in this framework, two recent results (independent of each other) on refinements of Khovanov homology: our refinement into a module over the connective k-theory spectrum and a stronger result by Lipshitz and Sarkar refining Khovanov homology into a stable homotopy type.
Lawrence Roberts, extending the work of Ozsvath-Szabo, showed how to associate to a link, L, in the complement of a fixed unknot, B, in S^3, a spectral sequence from the Khovanov homology of a link in a thickened annulus to the knot Floer homology of the preimage of B inside the double-branched cover of L. In a previous paper, we extended Ozsvath-Szabo's spectral sequence in a different direction, constructing for each knot K in S^3 and each positive integer n, a spectral sequence from Khovanov's categorification of the reduced, n-colored Jones polynomial to the sutured Floer homology of a red…
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.
We give some new link detection results for link Floer homology, Khovanov homology and annular Khovanov homology. The links we detect arise via different closure operations on $3$-braids. Examples of our results include that link Floer homology detects the Mazur link, that annular Khovanov homology detects the Mazur pattern, and that Khovanov homology detects L6a2 and L9n15. The Mazur pattern detection result depends on a new bound on the rank of the annular Khovanov homology of certain links.
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.
We give a generalization of Fukaya's Morse homotopy theoretic approach for 2-loop Chern--Simons perturbation theory to 3-valent graphs with arbitrary number of loops at least 2. We construct a sequence of invariants of integral homology 3-spheres with values in a space of 3-valent graphs (Jacobi diagrams or Feynman diagrams) by counting graphs in an integral homology 3-sphere satisfying certain condition described by a set of ordinary differential equations.
Motivated by topology, we develop a general theory of traces and shadows for an endobicategory, which is a~pair: bicategory $\mathbf{C}$ and endobifunctor $Σ\colon \mathbf C \to\mathbf C$. For a graded linear bicategory and a fixed invertible parameter $q$, we quantize this theory by using the endofunctor $Σ_q$ such that $Σ_q α:=q^{-°α}Σα$ for any 2-morphism $α$ and coincides with $Σ$ otherwise. Applying the quantized trace to the~bicategory of Chen-Khovanov bimodules we get a new triply graded link homology theory called quantum annular link homology. If $q=1$ we reproduce Asaeda-Przytycki-Si…
Linear upper bounds are provided for the size of the torsion homology of negatively curved manifolds of finite volume in all dimensions $d\ne 3$. This extends a classical theorem by Gromov. In dimension $3$, as opposed to the Betti numbers, the size of torsion homology is unbounded in terms of the volume. Moreover, there is a sequence of $3$-dimensional hyperbolic manifolds that converges to $\mathbb{H}^3$ in the Benjamini--Schramm topology while its normalized torsion in the first homology is dense in $[0,\infty]$. In dimension $d\geq 4$ a somewhat precise estimate is given for the number of …
Recent work of M. Yoshinaga shows that in some instances certain higher homotopy groups of arrangements map onto non-resonant homology. This is in contrast to the usual Hurewicz map to untwisted homology, which is always the zero homomorphism in degree greater than one. In this work we examine this dichotomy, generalizing both results.
Let M be a closed, oriented, n -manifold, and LM its free loop space. Chas and Sullivan defined a commutative algebra structure in the homology of LM, and a Lie algebra structure in its equivariant homology. These structures are known as the string topology loop product and string bracket, respectively. In this paper we prove that these structures are homotopy invariants in the following sense. Let f : M_1 \to M_2 be a homotopy equivalence of closed, oriented n -manifolds. Then the induced equivalence, Lf : LM_1 \to LM_2 induces a ring isomorphism in homology, and an isomorphism of Lie algebra…
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.
Using contact homology, we reobtain some recent results of Geiges and Gonzalo about the fundamental group of the space of contact structures on some 3-manifolds. We show that our techniques can be used to study higher dimensional contact manifolds and higher order homotopy groups.
For a closed oriented 3-manifold Y, we define an absolute grading on the Heegaard Floer homology groups of Y by homotopy classes of oriented 2-plane fields. We show that this absolute grading refines the relative one and that it is compatible with the maps induced by cobordisms. We also prove that if ξ is a contact structure on Y, then the grading of the contact invariant c(ξ) is the homotopy class of ξ.
For a link in a thickened annulus $A \times I$, we define a $\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}$ filtration on Sarkar-Seed-Szabó's perturbation of the geometric spectral sequence. The filtered chain homotopy type is an invariant of the isotopy class of the annular link. From this, we define a two-dimensional family of annular link invariants and study their behavior under cobordisms. In the case of annular links obtained from braid closures, we obtain a necessary condition for braid quasipositivity and a sufficient condition for right-veeringness, as well as Bennequin-type inequali…
We introduce a framework, twisted parametrized stable homotopy theory, for describing semi-infinite homotopy types. A twisted parametrized spectrum is a section of a bundle whose fibre is the category of spectra. We define these bundles in terms of modules over a stack of parametrized spectra and in terms of diagrams of simplicial categories. We present a classification of bundles of categories of spectra and of the associated twisted parametrized spectra. Though twisted parametrized spectra do not have global homotopy types and therefore do not have generalized homology invariants in the usua…
We prove that independence complex of a bipartite circle graph is homotopy equivalent to a wedge of spheres, resolving a conjecture posed by Przytycki and Silvero. As a corollary, we obtain that extreme Khovanov spectrum, $\mathcal{X}_{j_{extreme}}$ is homotopy equivalent to a wedge of spheres. In particular, the extreme Khovanov homology has no torsion.
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…
In this article, we derive a topological obstruction to the removal of a isolated degenerate complex tangent to an embedding of a 3-manifold into $\mathbb{C}^3$ (without affecting the structure of the remaining complex tangents). We demonstrate how the vanishing of this obstruction is both a necessary and sufficient condition for the (local) removal of the isolated complex tangent. The obstruction is a certain homotopy class of the space $\mathbb{Y}$ consisting of totally real 3-planes in the Grassmanian of real 3-planes in $\mathbb{C}^3$ (=$\mathbb{R}^6$). We further compute additional homoto…
For an orbifold M we define a homology group, called t-singular homology group t-H_q(M), which depends not only on the topological structure of the underlying space of M, but also on the orbifold structure of M. We prove that it is a b-homotopy invariant of orbifolds. If M is a manifold, t-H_q(M) coincides with the usual singular homology group. We calculate the t-singular homology groups with Z-coefficients of several orbifolds. The t-singular homology group with rational coefficients of an orbifold M is isomorphic to the singular homology group with rational coefficients of M (and to that of…
We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups, although diagram groups are as a rule non-Abelian. Part of the paper is a review of the previous results from this point of view. In particular, we show that the so called rigidity of the R.Thompson's group $F$ and some other groups is similar to the flat torus theorem. We find several finitely presented diagram groups (even of type F_\infty) each of which contain…
In 1995 the author, Jones, and Segal introduced the notion of "Floer homotopy theory". The proposal was to attach a (stable) homotopy type to the geometric data given in a version of Floer homology. More to the point, the question was asked, "When is the Floer homology isomorphic to the (singular) homology of a naturally occuring (pro)spectrum defined from the properties of the moduli spaces inherent in the Floer theory?". A proposal for how to construct such a spectrum was given in terms of a "framed flow category", and some rather simple examples were described. Years passed before this noti…
We define a second Steenrod square for virtual links, which is stronger than Khovanov homology for virtual links, toward constructing Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links. This induces the first meaningful nontrivial example of the second Steenrod square operator on the Khovanov homology for links in a 3-manifold other than the 3-sphere.
Given an $m$-periodic link $L\subset S^3$, we show that the Khovanov spectrum $\mathcal{X}_L$ constructed by Lipshitz and Sarkar admits a homology group action. We relate the Borel cohomology of $\mathcal{X}_L$ to the equivariant Khovanov homology of $L$ constructed by the second author. The action of Steenrod algebra on the cohomology of $\mathcal{X}_L$ gives an extra structure of the periodic link. Another consequence of our construction is an alternative proof of the localization formula for Khovanov homology, obtained first by Stoffregen and Zhang. By applying Dwyer-Wilkerson theorem we ex…
The structure of the Khovanov homology of $(n,m)$ torus links has been extensively studied. In particular, Marko Stosic proved that the homology groups stabilize as $m\rightarrow\infty$. We show that the Khovanov homotopy types of $(n,m)$ torus links, as constructed by Robert Lipshitz and Sucharit Sarkar, also become stably homotopy equivalent as $m\rightarrow\infty$. We provide an explicit bound on values of $m$ beyond which the stabilization begins. As an application, we give new examples of torus links with non-trivial $Sq^2$ action.
