
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 Gequivariant Floer cohomology of
$L_0$ and $L_1$.

We review the construction and context of a stable homotopy refinement of
Khovanov homology.

We show that bordered Heegaard Floer homology detects incompressible surfaces
and borderedsutured 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 Homorthogonal 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
LipshitzOzsv\'athThurston's "factoring" algorithm for computing HFhat to
compute borderedsutured Floer homology, to make both results on detecting
incompressibility practical. In particular, this makes Zarev's tangle invariant
manifestly combinatorial.

We give a bordered extension of involutive HFhat and use it to give an
algorithm to compute involutive HFhat for general 3manifolds. We also explain
how the mapping class group action on HFhat can be computed using bordered
Floer homology. As applications, we prove that involutive HFhat satisfies a
surgery exact triangle and compute HFIhat of the branched double covers of all
10crossing knots.

We define stable homotopy refinements of Khovanov's arc algebras and tangle
invariants.

SeidelSmith 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 Smithtype inequalities.
Similarlooking spectral sequences have been defined by Lee, BarNatan,
Ozsv\'athSzab\'o, LipshitzTreumann, Szab\'o, SarkarSeedSzab\'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 Smithtype inequalities; give some theoretical and
practical computability results for these spectral sequences; define some new
spectral sequences conjecturally related to SarkarSeedSzab\'o's; and
introduce a new concordance homomorphism and concordance invariants. We also
digress to prove invariance of Manolescu's reduced symplectic Khovanov
homology.

Bordered Floer homology assigns invariants to 3manifolds with boundary, such
that the Heegaard Floer homology of a closed 3manifold, 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 3manifolds with
codimension2 corners, and prove that the bordered Floer homology of a
3manifold with boundary, split into two pieces with corners, can be recovered
as a tensor product of the cornered invariants of the pieces.

Given a link in the threesphere, 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 doublecover. 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.

Given a link in the threesphere, 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.

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 2categories, modulo a
notion of stable equivalence. We also develop some general properties of such
functors.

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 sinvariant from [LS14b]
we obtain new results about the slice genera of certain knots.

Bordered Heegaard Floer homology is an invariant for threemanifolds 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 threemanifold, as well as the
bordered Floer homology of any 3manifold with boundary.

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.

We construct Heegaard Floer theory for 3manifolds with connected boundary.
The theory associates to an oriented, parametrized twomanifold a differential
graded algebra. For a threemanifold 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 Ainfinity module. Both are
welldefined up to chain homotopy equivalence. For a decomposition of a
3manifold into two pieces, the Ainfinity 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
threemanifolds 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 threemanifold with torus boundary with the knot Floer homology
of a filling.

Let A be a dg algebra over F_2 and let M be a dg Abimodule. We show that
under certain technical hypotheses on A, a noncommutative analog of the
Hodgetode 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.

Bordered Heegaard Floer homology is a threemanifold invariant which
associates to a surface F an algebra A(F) and to a threemanifold 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 3manifold 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.

This is a survey of bordered Heegaard Floer homology, an extension of the
Heegaard Floer invariant HFhat to 3manifolds with boundary. Emphasis is
placed on how bordered Heegaard Floer homology can be used for computations.

We show that the action of the mapping class group on bordered Floer homology
in the second to extremal spin^cstructure 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.

In a previous paper, we defined a spacelevel 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.

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.

In a previous paper we constructed a spectrumlevel 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.

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 BarNatan'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 smallcrossing transverse knots K, both
refinements are determined by the classical invariants of K.

This note corrects one serious mistake and several smaller mistakes from
arXiv:math/0502404. The main results of that paper are unchanged.

In this paper we show how to recover the relative Qgrading in Heegaard Floer
homology from the noncommutative grading on bordered Floer homology.

We show that the spectrum constructed by Everitt and Turner as a possible
Khovanov homotopy type is a product of EilenbergMacLane spaces and is thus
determined by Khovanov homology. By using the DoldThom functor it can
therefore be obtained from the Khovanov homotopy type constructed by Lipshitz
and Sarkar.