• ### 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$.
• ### 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.
• ### Bordered Floer homology and incompressible surfaces(1708.05121)

Aug. 30, 2017 math.GT
We show that bordered Heegaard Floer homology detects incompressible surfaces and bordered-sutured Floer homology detects partly boundary parallel tangles and bridges, in natural ways. For example, there is a bimodule Lambda so that the tensor product of CFD(Y) and Lambda is Hom-orthogonal to CFD(Y) if and only if the boundary of Y admits an essential compressing disk. In the process, we sharpen a nonvanishing result of Ni's. We also extend Lipshitz-Ozsv\'ath-Thurston's "factoring" algorithm for computing HF-hat to compute bordered-sutured Floer homology, to make both results on detecting incompressibility practical. In particular, this makes Zarev's tangle invariant manifestly combinatorial.
• ### Involutive bordered Floer homology(1706.06557)

Aug. 4, 2019 math.GT
We give a bordered extension of involutive HF-hat and use it to give an algorithm to compute involutive HF-hat for general 3-manifolds. We also explain how the mapping class group action on HF-hat can be computed using bordered Floer homology. As applications, we prove that involutive HF-hat satisfies a surgery exact triangle and compute HFI-hat of the branched double covers of all 10-crossing knots.
• ### 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.
• ### Cornered Heegaard Floer homology(1309.0155)

Feb. 4, 2017 math.AT, math.QA, math.GT, math.SG
Bordered Floer homology assigns invariants to 3-manifolds with boundary, such that the Heegaard Floer homology of a closed 3-manifold, split into two pieces, can be recovered as a tensor product of the bordered invariants of the pieces. We construct cornered Floer homology invariants of 3-manifolds with codimension-2 corners, and prove that the bordered Floer homology of a 3-manifold with boundary, split into two pieces with corners, can be recovered as a tensor product of the cornered invariants of the pieces.
• ### Bordered Floer homology and the spectral sequence of a branched double cover I(1011.0499)

Jan. 11, 2016 math.GT, math.SG
Given a link in the three-sphere, Z. Szab\'o and the second author constructed a spectral sequence starting at the Khovanov homology of the link and converging to the Heegaard Floer homology of its branched double-cover. The aim of this paper and its sequel is to explicitly calculate this spectral sequence, using bordered Floer homology. There are two primary ingredients in this computation: an explicit calculation of filtered bimodules associated to Dehn twists and a pairing theorem for polygons. In this paper we give the first ingredient, and so obtain a combinatorial spectral sequence from Khovanov homology to Heegaard Floer homology; in the sequel we show that this spectral sequence agrees with the previously known one.
• ### Bordered Floer homology and the spectral sequence of a branched double cover II: the spectral sequences agree(1404.2894)

Nov. 13, 2015 math.GT, math.SG
Given a link in the three-sphere, Ozsv\'ath and Szab\'o showed that there is a spectral sequence starting at the Khovanov homology of the link and converging to the Heegaard Floer homology of its branched double cover. The aim of this paper is to explicitly calculate this spectral sequence in terms of bordered Floer homology. There are two primary ingredients in this computation: an explicit calculation of bimodules associated to Dehn twists, and a general pairing theorem for polygons. The previous part (arXiv:1011.0499) focuses on computing the bimodules; this part focuses on the pairing theorem for polygons, in order to prove that the spectral sequence constructed in the previous part agrees with the one constructed by Ozsv\'ath and Szab\'o.
• ### 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.
• ### Computing HF^ by factoring mapping classes(1010.2550)

Feb. 9, 2015 math.GT, math.SG
Bordered Heegaard Floer homology is an invariant for three-manifolds with boundary. In particular, this invariant associates to a handle decomposition of a surface F a differential graded algebra, and to an arc slide between two handle decompositions, a bimodule over the two algebras. In this paper, we describe these bimodules for arc slides explicitly, and then use them to give a combinatorial description of HF^ of a closed three-manifold, as well as the bordered Floer homology of any 3-manifold with boundary.
• ### Heegaard Floer Homologies: lecture notes(1411.4540)

Nov. 17, 2014 math.GT
These are lecture notes from a series of lectures at the SMF summer school on "Geometric and Quantum Topology in Dimension 3", June 2014. The focus is on Heegaard Floer homology from the perspective of sutured Floer homology.
• ### Bordered Heegaard Floer homology: Invariance and pairing(0810.0687)

July 26, 2014 math.GT, math.SG
We construct Heegaard Floer theory for 3-manifolds with connected boundary. The theory associates to an oriented, parametrized two-manifold a differential graded algebra. For a three-manifold with parametrized boundary, the invariant comes in two different versions, one of which (type D) is a module over the algebra and the other of which (type A) is an A-infinity module. Both are well-defined up to chain homotopy equivalence. For a decomposition of a 3-manifold into two pieces, the A-infinity tensor product of the type D module of one piece and the type A module from the other piece is HF^ of the glued manifold. As a special case of the construction, we specialize to the case of three-manifolds with torus boundary. This case can be used to give another proof of the surgery exact triangle for HF^. We relate the bordered Floer homology of a three-manifold with torus boundary with the knot Floer homology of a filling.
• ### Noncommutative Hodge-to-de Rham spectral sequence and the Heegaard Floer homology of double covers(1203.2963)

June 14, 2014 math.GT, math.SG
Let A be a dg algebra over F_2 and let M be a dg A-bimodule. We show that under certain technical hypotheses on A, a noncommutative analog of the Hodge-to-de Rham spectral sequence starts at the Hochschild homology of the derived tensor product of M with itself and converges to the Hochschild homology of M. We apply this result to bordered Heegaard Floer theory, giving spectral sequences associated to Heegaard Floer homology groups of certain branched and unbranched double covers.
• ### Bimodules in bordered Heegaard Floer homology(1003.0598)

April 25, 2014 math.GT, math.SG
Bordered Heegaard Floer homology is a three-manifold invariant which associates to a surface F an algebra A(F) and to a three-manifold Y with boundary identified with F a module over A(F). In this paper, we establish naturality properties of this invariant. Changing the diffeomorphism between F and the boundary of Y tensors the bordered invariant with a suitable bimodule over A(F). These bimodules give an action of a suitably based mapping class group on the category of modules over A(F). The Hochschild homology of such a bimodule is identified with the knot Floer homology of the associated open book decomposition. In the course of establishing these results, we also calculate the homology of A(F). We also prove a duality theorem relating the two versions of the 3-manifold invariant. Finally, in the case of a genus one surface, we calculate the mapping class group action explicitly. This completes the description of bordered Heegaard Floer homology for knot complements in terms of the knot Floer homology.
• ### Notes on bordered Floer homology(1211.6791)

Feb. 11, 2014 math.GT, math.SG
This is a survey of bordered Heegaard Floer homology, an extension of the Heegaard Floer invariant HF-hat to 3-manifolds with boundary. Emphasis is placed on how bordered Heegaard Floer homology can be used for computations.
• ### A faithful linear-categorical action of the mapping class group of a surface with boundary(1012.1032)

Feb. 11, 2014 math.QA, math.GT
We show that the action of the mapping class group on bordered Floer homology in the second to extremal spin^c-structure is faithful. This paper is designed partly as an introduction to the subject, and much of it should be readable without a background in Floer homology.
• ### 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.
• ### Errata to 'A cylindrical reformulation of Heegaard Floer homology'(1301.4919)

Jan. 21, 2013 math.GT, math.SG
This note corrects one serious mistake and several smaller mistakes from arXiv:math/0502404. The main results of that paper are unchanged.
• ### Relative Q-gradings from bordered Floer theory(1211.6990)

Nov. 29, 2012 math.GT, math.SG
In this paper we show how to recover the relative Q-grading in Heegaard Floer homology from the noncommutative grading on bordered Floer homology.
• ### 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.