arXiv subjects
Publications and source records attributed to Dirk Schuetz.
We describe an algorithm that can effectively calculate the $s$-invariant of a link as defined by Beliakova and Wehrli. Our computations show that this cannot be done by merely calculating the $E_\infty$-page of the Bar-Natan--Lee--Turner spectral sequence. Our methods also work for $s$-invariants coming from sl(3)-link homology.
We use the Mackaay-Vaz universal $sl(3)$-link homology to deepen the study of $s$-invariants on Khovanov's link homology associated to $sl(3)$. Such $s$-invariants have already been studied by Lobb and Wu in characteristic 0 and we show how to extend this to other characteristics, particularly to $p=3$. We also use Bar-Natan's scanning algorithm for efficient calculations of these invariants, and exhibit more examples of unusual behaviour that has been previously observed by Lewark-Lobb.
We prove the conjecture of Przytycki and Sazdanovic that the Khovanov homology of the closure of a 3-stranded braid only contains torsion of order 2. This conjecture has been known for six out of seven classes in the Murasugi-classification of 3-braids and we show it for the remaining class. Our proof also works for the other classes and relies on Bar-Natan's version of Khovanov homology for tangles as well as his delooping and cancellation techniques, and the reduced integral Bar-Natan--Lee--Turner spectral sequence. We also show that the Knight-move conjecture holds for 3-braids.
We show that the $X$-torsion order of a knot, which is defined in terms of a generalised Lee complex, can be calculated using the reduced Bar-Natan--Lee--Turner spectral sequence. We use this for extensive calculations, including an example of $X$-torsion order $4$.
Inspired by the notions of local equivalence in monopole and Heegaard Floer homology, we introduce a version of local equivalence that combines odd Khovanov homology with equivariant even Khovanov homology into an algebraic package called a local even-odd (LEO) triple. We get a homomorphism from the smooth concordance group $C$ to the resulting local equivalence group $C_{LEO}$ of such triples. We give several versions of the $s$-invariant that descend to $C_{LEO}$, including one that completely determines whether the image of a knot $K$ in $C_{LEO}$ is trivial. We discuss computer experiments illustrating the power of these invariants in obstructing sliceness, both statistically and for some interesting knots studied by Manolescu-Piccirillo. Along the way, we explore several variants of this local equivalence group, including one that is totally ordered.
Recently, Sarkar-Scaduto-Stoffregen constructed a stable homotopy type for odd Khovanov homology, hence obtaining an action of the Steenrod algebra on Khovanov homology with $\mathbb{Z}/2\mathbb{Z}$ coefficients. Motivated by their construction we propose a way to compute the second Steenrod square. Our construction is not unique, but we can show it to be a link invariant which gives rise to a refinement of the Rasmussen $s$-invariant with $\mathbb{Z}/2\mathbb{Z}$ coefficients. We expect it to be related to the second Steenrod square arising from the Sarkar-Scaduto-Stoffregen construction.
We describe a calculus of moves for modifying a framed flow category without changing the associated stable homotopy type. We use this calculus to show that if two framed flow categories give rise to the same stable homotopy type of homological width at most three, then the flow categories are move equivalent. The process we describe is essentially algorithmic and can often be performed by hand, without the aid of a computer program.
We define a Rasmussen $s$-invariant over the coefficient ring of the integers, and show how it is related to the $s$-invariants defined over a field. A lower bound for the slice genus of a knot arising from it is obtained, and we give examples of knots for which this lower bound is better than all lower bounds coming from the $s$-invariants over fields. We also compare it to the Lipshitz-Sarkar refinement related to the first Steenrod square.
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.
For any positive integer $k$ and $p\in \{3,5,7\}$ we construct a link which has a direct summand $\mathbb{Z}/p^k\mathbb{Z}$ in its Khovanov cohomology.
We use the divide-and-conquer and scanning algorithms for calculating Khovanov cohomology directly on the Lee- or Bar-Natan deformations of the Khovanov complex to give an alternative way to compute Rasmussen $s$-invariants of knots. By disregarding generators away from homological degree 0 we can considerably improve the efficiency of the algorithm. With a slight modification we can also apply it to a refinement of Lipshitz-Sarkar.
The Lipshitz-Sarkar stable homotopy link invariant defines Steenrod squares on the Khovanov cohomology of a link. Lipshitz-Sarkar constructed an algorithm for computing the first two Steenrod squares. We develop a new algorithm which implements the flow category simplification techniques previously defined by the authors and Dan Jones. We give a purely combinatorial approach to calculating the second Steenrod square and Bockstein homomorphisms in Khovanov cohomology, and flow categories in general. The new method has been implemented in a computer program by the third author and applied to large classes of knots and links. Several homotopy types not previously witnessed are observed, and more evidence is obtained that Khovanov stable homotopy types do not contain $\mathbb{C} P^2$ as a wedge summand. In fact, we are led by our calculations to formulate an even stronger conjecture in terms of $\mathbb{Z}/2$ summands of the cohomology.
Framed flow categories were introduced by Cohen-Jones-Segal as a way of encoding the flow data associated to a Floer functional. A framed flow category gives rise to a CW-complex with one cell for each object of the category. The idea is that the Floer invariant should take the form of the stable homotopy type of the resulting complex, recovering the Floer cohomology as its singular cohomology. Such a framed flow category was produced, for example, by Lipshitz-Sarkar from the input of a knot diagram, resulting in a stable homotopy type generalizing Khovanov cohomology. In this paper we give moves that change a framed flow category without changing the associated stable homotopy type. These are inspired by moves that can be performed in the Morse-Smale case without altering the underlying smooth manifold. We posit that if two framed flow categories represent the same stable homotopy type then a finite sequence of these moves is sufficient to connect the two categories. This is directed towards the goal of reducing the study of framed flow categories to a combinatorial calculus. We provide examples of calculations performed with these moves (related to the Khovanov framed flow category), and prove some general results about the simplification of framed flow categories via these moves.
We extend Lipshitz-Sarkar's definition of a stable homotopy type associated to a link L whose cohomology recovers the Khovanov cohomology of L. Given an assignment c (called a coloring) of positive integer to each component of a link L, we define a stable homotopy type X_col(L_c) whose cohomology recovers the c-colored Khovanov cohomology of L. This goes via Rozansky's definition of a categorified Jones-Wenzl projector P_n as an infinite torus braid on n strands. We then observe that Cooper-Krushkal's explicit definition of P_2 also gives rise to stable homotopy types of colored links (using the restricted palette {1, 2}), and we show that these coincide with X_col. We use this equivalence to compute the stable homotopy type of the (2,1)-colored Hopf link and the 2-colored trefoil. Finally, we discuss the Cooper-Krushkal projector P_3 and make a conjecture of X_col(U_3) for U the unknot.
We pursue the analogy of a framed flow category with the flow data of a Morse function. In classical Morse theory, Morse functions can sometimes be locally altered and simplified by the Morse moves. These moves include the Whitney trick which removes two oppositely framed flowlines between critical points of adjacent index and handle cancellation which removes two critical points connected by a single flowline. A framed flow category is a way of encoding flow data such as that which may arise from the flowlines of a Morse function or of a Floer functional. The Cohen-Jones-Segal construction associates a stable homotopy type to a framed flow category whose cohomology is designed to recover the corresponding Morse or Floer cohomology. We obtain analogues of the Whitney trick and of handle cancellation for framed flow categories: in this new setting these are moves that can be performed to simplify a framed flow category without changing the associated stable homotopy type. These moves often enable one to compute by hand the stable homotopy type associated to a framed flow category. We apply this in the setting of the Lipshitz-Sarkar stable homotopy type (corresponding to Khovanov cohomology) and the stable homotopy type of a matched diagram due to the authors (corresponding to sl_n Khovanov-Rozansky cohomology).
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 a pair consisting of a matched diagram and a choice of integer n >= 2, we associate a stable homotopy type. In the case n = 2 this agrees with the Lipshitz-Sarkar stable homotopy type of the underlying knot. In the case n >= 3 the cohomology of the stable homotopy type agrees with the sl_n Khovanov-Rozansky cohomology of the underlying knot. We make some consistency checks of this sl_n stable homotopy type and show that it exhibits interesting behaviour. For example we find a CP^2 in the sl_3 type for some diagram, and show that the sl_4 type can be interesting for a diagram for which the Lipshitz-Sarkar type is a wedge of Moore spaces.
We consider the moduli spaces $\mathcal{M}_d(\ell)$ of a closed linkage with $n$ links and prescribed lengths $\ell\in \mathbb{R}^n$ in $d$-dimensional Euclidean space. For $d>3$ these spaces are no longer manifolds generically, but they have the structure of a pseudomanifold. We use intersection homology to assign a ring to these spaces that can be used to distinguish the homeomorphism types of $\mathcal{M}_d(\ell)$ for a large class of length vectors. These rings behave rather differently depending on whether $d$ is even or odd, with the even case having been treated in an earlier paper. The main difference in the odd case comes from an extra generator in the ring which can be thought of as an Euler class of a startified bundle.
We consider the moduli spaces $\mathcal{M}_d(\ell)$ of a closed linkage with n links and prescribed lengths in d-dimensional Euclidean space. For d>3 these spaces are no longer manifolds generically, but they have the structure of a pseudomanifold. We use intersection homology to assign a ring to these spaces that can be used to distinguish the homeomorphism type of the moduli spaces for a large class of length vectors in the case of d even. This result is a high-dimensional analogue of the Walker conjecture which was proven by Farber, Hausmann and the author.