• ### A simplicial construction of G-equivariant Floer homology(1609.09132)

May 30, 2018 math.AT, math.SG
For G a Lie group acting on a symplectic manifold $(M,\omega)$ preserving a pair of Lagrangians $L_0$, $L_1$, under certain hypotheses not including equivariant transversality we construct a G-equivariant Floer cohomology of $L_0$ and $L_1$.
• ### An odd Khovanov homotopy type(1801.06308)

Jan. 19, 2018 math.GT
For each link L in S^3 and every quantum grading j, we construct a stable homotopy type X^j_o(L) whose cohomology recovers Ozsvath-Rasmussen-Szabo's odd Khovanov homology, H_i(X^j_o(L)) = Kh^{i,j}_o(L), following a construction of Lawson-Lipshitz-Sarkar of the even Khovanov stable homotopy type. Furthermore, the odd Khovanov homotopy type carries a Z/2 action whose fixed point set is a desuspension of the even Khovanov homotopy type. We also construct a Z/2 action on an even Khovanov homotopy type, with fixed point set a desuspension of X^j_o(L).
• ### Spatial refinements and Khovanov homology(1709.03602)

Sept. 11, 2017 math.AT, math.GT
We review the construction and context of a stable homotopy refinement of Khovanov homology.
• ### Khovanov spectra for tangles(1706.02346)

Sept. 18, 2019 math.AT, math.QA, math.GT
We define stable homotopy refinements of Khovanov's arc algebras and tangle invariants.
• ### A flexible construction of equivariant Floer homology and applications(1510.02449)

April 16, 2017 math.GT, math.SG
Seidel-Smith and Hendricks used equivariant Floer cohomology to define some spectral sequences from symplectic Khovanov homology and Heegaard Floer homology. These spectral sequences give rise to Smith-type inequalities. Similar-looking spectral sequences have been defined by Lee, Bar-Natan, Ozsv\'ath-Szab\'o, Lipshitz-Treumann, Szab\'o, Sarkar-Seed-Szab\'o, and others. In this paper we give another construction of equivariant Floer cohomology with respect to a finite group action and use it to prove some invariance properties of these spectral sequences; prove that some of these spectral sequences agree; improve Hendricks's Smith-type inequalities; give some theoretical and practical computability results for these spectral sequences; define some new spectral sequences conjecturally related to Sarkar-Seed-Szab\'o's; and introduce a new concordance homomorphism and concordance invariants. We also digress to prove invariance of Manolescu's reduced symplectic Khovanov homology.
• ### A perturbation of the geometric spectral sequence in Khovanov homology(1410.2877)

Jan. 13, 2016 math.GT
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.
• ### Khovanov homology and knot Floer homology for pointed links(1512.05422)

Dec. 17, 2015 math.GT
A well-known conjecture states that for any $l$-component link $L$ in $S^3$, the rank of the knot Floer homology of $L$ (over any field) is less than or equal to $2^{l-1}$ times the rank of the reduced Khovanov homology of $L$. In this paper, we describe a framework that might be used to prove this conjecture. We construct a modified version of Khovanov homology for links with multiple basepoints and show that it mimics the behavior of knot Floer homology. We also introduce a new spectral sequence converging to knot Floer homology whose $E_1$ page is conjecturally isomorphic to our new version of Khovanov homology; this would prove that the conjecture stated above holds over the field $\mathbb{Z}_2$.
• ### The cube and the Burnside category(1505.00512)

May 4, 2015 math.AT, math.GT
In this note we present a combinatorial link invariant that underlies some recent stable homotopy refinements of Khovanov homology of links. The invariant takes the form of a functor between two combinatorial 2-categories, modulo a notion of stable equivalence. We also develop some general properties of such functors.
• ### Khovanov homotopy type, Burnside category, and products(1505.00213)

Sept. 4, 2019 math.AT, math.GT
In this paper, we give a new construction of a Khovanov homotopy type. We show that this construction gives a space stably homotopy equivalent to the Khovanov homotopy types constructed in [LS14a] and [HKK] and, as a corollary, that those two constructions give equivalent spaces. We show that the construction behaves well with respect to disjoint unions, connected sums and mirrors, verifying several conjectures from [LS14a]. Finally, combining these results with computations from [LS14c] and the refined s-invariant from [LS14b] we obtain new results about the slice genera of certain knots.
• ### A Steenrod Square on Khovanov Homology(1204.5776)

Oct. 31, 2013 math.AT, math.GT
In a previous paper, we defined a space-level version X(L) of Khovanov homology. This induces an action of the Steenrod algebra on Khovanov homology. In this paper, we describe the first interesting operation, Sq^2:Kh^{i,j}(L) -> Kh^{i+2,j}(L). We compute this operation for all links up to 11 crossings; this, in turn, determines the stable homotopy type of X(L) for all such links.
• ### A Khovanov homotopy type(1112.3932)

May 18, 2013 math.AT, math.QA, math.GT, math.SG
Given a link diagram L we construct spectra X^j(L) so that the Khovanov homology Kh^{i,j}(L) is isomorphic to the (reduced) singular cohomology H^i(X^j(L)). The construction of X^j(L) is combinatorial and explicit. We prove that the homotopy type of X^j(L) depends only on the isotopy class of the corresponding link.
• ### A refinement of Rasmussen's s-invariant(1206.3532)

April 17, 2013 math.AT, math.GT
In a previous paper we constructed a spectrum-level refinement of Khovanov homology. This refinement induces stable cohomology operations on Khovanov homology. In this paper we show that these cohomology operations commute with cobordism maps on Khovanov homology. As a consequence we obtain a refinement of Rasmussen's slice genus bound s for each stable cohomology operation. We show that in the case of the Steenrod square Sq^2 our refinement is strictly stronger than s.
• ### On transverse invariants from Khovanov homology(1303.6371)

March 26, 2013 math.GT
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.
• ### Grid diagrams and the Ozsvath-Szabo tau-invariant(1011.5265)

Nov. 22, 2012 math.GT
We use grid diagrams to investigate the Ozsvath-Szabo concordance invariant tau, and to prove that |tau(K_1)-tau(K_2)|<=g, whenever there is a genus g knot cobordism joining K_1 to K_2. This leads to an entirely grid diagram-based proof of Kronheimer-Mrowka's theorem, formerly known as the Milnor conjecture.
• ### Khovanov homotopy types and the Dold-Thom functor(1202.1856)

Feb. 8, 2012 math.AT, math.QA, math.GT, math.SG
We show that the spectrum constructed by Everitt and Turner as a possible Khovanov homotopy type is a product of Eilenberg-MacLane spaces and is thus determined by Khovanov homology. By using the Dold-Thom functor it can therefore be obtained from the Khovanov homotopy type constructed by Lipshitz and Sarkar.
• ### Moving basepoints and the induced automorphisms of link Floer homology(1109.2168)

Sept. 9, 2011 math.GT
Given an l-component pointed oriented link (L,p) in an oriented three-manifold Y, one can construct its link Floer chain complex CFL(Y,L,p) over the polynomial ring F_2[U_1,...,U_l]. Moving the basepoint p_i in the link component L_i once around induces an automorphism of CFL(Y,L,p). In this paper, we study an automorphism (a possibly different one) of CFL(Y,L,p) defined explicitly in terms of holomorphic disks; for links in S^3, we show that these two automorphisms are the same.
• ### A note on sign conventions in link Floer homology(1002.0918)

Sept. 9, 2011 math.GT
• ### Maslov index formulas for Whitney n-gons(math/0609673)

Sept. 9, 2011 math.GT
In this short article, we find an explicit formula for Maslov index of Whitney n-gons joining intersections points of n half-dimensional tori in the symmetric product of a surface. The method also yields a formula for the intersection number of such an n-gon with the fat diagonal in the symmetric product.
• ### Grid diagrams and shellability(0901.2156)

Nov. 24, 2010 math.GT
We explore a somewhat unexpected connection between knot Floer homology and shellable posets, via grid diagrams. Given a grid presentation of a knot K inside S^3, we define a poset which has an associated chain complex whose homology is the knot Floer homology of K. We then prove that the closed intervals of this poset are shellable. This allows us to combinatorially associate a PL flow category to a grid diagram.
• ### Topics in Heegaard Floer homology(0906.2579)

June 15, 2009 math.GT
This is the author's PhD thesis, as submitted to the Princeton University. The results of this paper have already appeared in arXiv:math/0607777v4, arXiv:math/0607691 and arXiv:0901.2156.
• ### On sutured Floer homology and the equivalence of Seifert surfaces(0811.0178)

Nov. 2, 2008 math.GT
We study the sutured Floer homology invariants of the sutured manifold obtained by cutting a knot complement along a Seifert surface, R. We show that these invariants are finer than the "top term" of the knot Floer homology, which they contain. In particular, we use sutured Floer homology to distinguish two non-isotopic minimal genus Seifert surfaces for the knot 8_3. A key ingredient for this technique is finding appropriate Heegaard diagrams for the sutured manifold associated to the complement of a Seifert surface.
• ### An algorithm for computing some Heegaard Floer homologies(math/0607777)

Sept. 10, 2008 math.GT
In this paper, we give an algorithm to compute the hat version of the Heegaard Floer homology of a closed oriented three-manifold. This method also allows us to compute the filtrations coming from a null-homologous link in a three-manifold.
• ### A combinatorial description of knot Floer homology(math/0607691)

Aug. 23, 2007 math.GT, math.SG
Given a grid presentation of a knot (or link) K in the three-sphere, we describe a Heegaard diagram for the knot complement in which the Heegaard surface is a torus and all elementary domains are squares. Using this diagram, we obtain a purely combinatorial description of the knot Floer homology of K.
• ### An algorithm to compute some Heegaard Floer homologies(math/0607354)

July 19, 2006 math.GT
The earlier article tried to construct an algorithm to compute the Heegaard Floer homology \hat{HF}(Y) for a 3-manifold Y. However there is an error in a proof which the author, as of now, is unable to fix.
• ### Commutators and squares in free groups(math/0409087)

Sept. 6, 2004 math.GR
Let F_2 be the free group generated by x and y. In this article, we prove that the commutator of x^m and y^n is a product of two squares if and only if mn is even. We also show using topological methods that there are infinitely many obstructions for an element in F_2 to be a product of two squares.