Searcharxiv⌕ Search

arXiv subjects

Andrew Lobb

Publications and source records attributed to Andrew Lobb.

31 records · Page 2Linked to original sources
arXiv2016

Framed cobordism and flow category moves

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.

math.GT↗
arXiv2016

New Quantum Obstructions to Sliceness

It is well-known that generic perturbations of the complex Frobenius algebra used to define Khovanov cohomology each give rise to Rasmussen's concordance invariant s. This gives a concordance homomorphism to the integers and a strong lower bound on the smooth slice genus of a knot. Similar behavior has been observed in sl(n) Khovanov-Rozansky cohomology, where a perturbation gives rise to the concordance homomorphisms s_n for each n >= 2, and where we have s_2 = s. We demonstrate that s_n for n >= 3 does not in fact arise generically, and that varying the chosen perturbation gives rise both to new concordance homomorphisms as well as to new sliceness obstructions that are not equivalent to concordance homomorphisms.

math.GT↗
arXiv2016

A Khovanov stable homotopy type for colored links

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.

math.GT↗
arXiv2015

Morse moves in flow categories

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).

math.GT↗
arXiv2015

An sl_n stable homotopy type for matched diagrams

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.

math.GT↗
arXiv2013

On spectral sequences from Khovanov homology

There are a number of homological knot invariants, each satisfying an unoriented skein exact sequence, which can be realized as the limit page of a spectral sequence starting at a version of the Khovanov chain complex. Compositions of elementary 1-handle movie moves induce a morphism of spectral sequences. These morphisms remain unexploited in the literature, perhaps because there is still an open question concerning the naturality of maps induced by general movies. In this paper we focus on the spectral sequences due to Kronheimer-Mrowka from Khovanov homology to instanton knot Floer homology, and on that due to Ozsváth-Szabó to the Heegaard-Floer homology of the branched double cover. For example, we use the 1-handle morphisms to give new information about the filtrations on the instanton knot Floer homology of the (4,5) torus knot, determining these up to an ambiguity in a pair of degrees; to determine the Ozsváth-Szabó spectral sequence for an infinite class of prime knots; and to show that higher differentials of both the Kronheimer-Mrowka and the Ozsváth-Szabó spectral sequences necessarily lower the delta grading for all pretzel knots.

math.GT↗
arXiv2012

The quantum sl(n) graph invariant and a moduli space

We associate a moduli problem to a colored trivalent graph; such graphs, when planar, appear in the state-sum description of the quantum sl(N) knot polynomial due to Murakami, Ohtsuki, and Yamada. We discuss how the resulting moduli space can be thought of a representation variety. We show that the Euler characteristic of the moduli space is equal to the quantum sl(N) polynomial of the graph evaluated at unity. Possible extensions of the result are also indicated.

math.GT↗
arXiv2011

The Kanenobu knots and Khovanov-Rozansky homology

Kanenobu has given infinite families of knots with the same HOMFLY polynomials. We show that these knots also have the same sl(n) and HOMFLY homologies, thus giving the first example of an infinite family of knots undistinguishable by these invariants. This is a consequence of a structure theorem about the homologies of knots obtained by twisting up the ribbon of a ribbon knot with one ribbon.

math.GT↗
arXiv2011

2-strand twisting and knots with identical quantum knot homologies

Given a knot, we ask how its Khovanov and Khovanov-Rozansky homologies change under the operation of introducing twists in a pair of strands. We obtain long exact sequences in homology and further algebraic structure which is then used to derive topological and computational results. Two of our applications include giving a new way to generate arbitrary numbers of knots with isomorphic homologies and finding an infinite number of mutant knot pairs with isomorphic reduced homologies.

math.GT↗
arXiv2010

A note on Gornik's perturbation of Khovanov-Rozansky homology

We show that the information contained in the associated graded vector space to Gornik's version of Khovanov-Rozansky knot homology is equivalent to a single even integer s_n(K). Furthermore we show that s_n is a homomorphism from the smooth knot concordance group to the integers. This is in analogy with Rasmussen's invariant coming from a perturbation of Khovanov homology.

math.GT↗
arXiv2009

On Casson-type instanton moduli spaces over negative definite four-manifolds

Recently Andrei Teleman considered instanton moduli spaces over negative definite four-manifolds $X$ with $b_2(X) \geq 1$. If $b_2(X)$ is divisible by four and $b_1(X) =1$ a gauge-theoretic invariant can be defined; it is a count of flat connections modulo the gauge group. Our first result shows that if such a moduli space is non-empty and the manifold admits a connected sum decomposition $X \cong X_1 # X_2$ then both $b_2(X_1)$ and $b_2(X_2)$ are divisible by four; this rules out a previously natural appearing source of 4-manifolds with non-empty moduli space. We give in some detail a construction of negative definite 4-manifolds which we expect will eventually provide examples of manifolds with non-empty moduli space.

math.GT↗
arXiv2009

Computable bounds for Rasmussen's concordance invariant

Given a diagram D of a knot K, we give easily computable bounds for Rasmussen's concordance invariant s(K). The bounds are not independent of the diagram D chosen, but we show that for diagrams satisfying a given condition the bounds are tight. As a corollary we improve on previously known Bennequin-type bounds on the slice genus.

math.GT↗