
Given a Heegaard splitting of a threemanifold Y, we consider the SL(2,C)
character variety of the Heegaard surface, and two complex Lagrangians
associated to the handlebodies. We focus on the smooth open subset
corresponding to irreducible representations. On that subset, the intersection
of the Lagrangians is an oriented dcritical locus in the sense of Joyce. Bussi
associates to such an intersection a perverse sheaf of vanishing cycles. We
prove that in our setting, the perverse sheaf is an invariant of Y, i.e., it is
independent of the Heegaard splitting. The hypercohomology of this sheaf can be
viewed as a model for (the dual of) SL(2,C) instanton Floer homology. We also
present a framed version of this construction, which takes into account
reducible representations. We give explicit computations for lens spaces and
Brieskorn spheres, and discuss the connection to the KapustinWitten equations
and Khovanov homology.

The study of triangulations on manifolds is closely related to understanding
the threedimensional homology cobordism group. We review here what is known
about this group, with an emphasis on the local equivalence methods coming from
Pin(2) equivariant SeibergWitten Floer spectra and involutive Heegaard Floer
homology.

We compute the involutive Heegaard Floer homology of the family of
threemanifolds obtained by plumbings along almostrational graphs. (This
includes all Seifert fibered homology spheres.) We also study the involutive
Heegaard Floer homology of connected sums of such threemanifolds, and
explicitly determine the involutive correction terms in the case that all of
the summands have the same orientation. Using these calculations, we give a new
proof of the existence of an infiniterank subgroup in the threedimensional
homology cobordism group.

We give combinatorial descriptions of the Heegaard Floer homology groups for
arbitrary threemanifolds (with coefficients in Z/2). The descriptions are
based on presenting the threemanifold as an integer surgery on a link in the
threesphere, and then using a grid diagram for the link. We also give
combinatorial descriptions of the mod 2 OzsvathSzabo mixed invariants of
closed fourmanifolds, in terms of grid diagrams.

Let L be a link in an integral homology threesphere. We give a description
of the Heegaard Floer homology of integral surgeries on L in terms of some data
associated to L, which we call a complete system of hyperboxes for L. Roughly,
a complete systems of hyperboxes consists of chain complexes for (some versions
of) the link Floer homology of L and all its sublinks, together with several
chain maps between these complexes. Further, we introduce a way of presenting
closed fourmanifolds with b_2^+ > 1 by fourcolored framed links in the
threesphere. Given a link presentation of this kind for a fourmanifold X, we
then describe the OzsvathSzabo mixed invariants of X in terms of a complete
system of hyperboxes for the link. Finally, we explain how a grid diagram
produces a particular complete system of hyperboxes for the corresponding link.

We prove a connected sum formula for involutive Heegaard Floer homology, and
use it to study the involutive correction terms of connected sums. In
particular, we give an example of a threemanifold with $\underline{d}(Y) \neq
d(Y) \neq \overline{d}(Y)$. We also construct a homomorphism from the
threedimensional homology cobordism group to an algebraically defined Abelian
group, consisting of certain complexes (equipped with a homotopy involution)
modulo a notion of local equivalence.

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.

We outline the proof that nontriangulable manifolds exist in any dimension
greater than four. The arguments involve homology cobordism invariants coming
from the Pin(2) symmetry of the SeibergWitten equations. We also explore a
related construction, of an involutive version of Heegaard Floer homology.

This is an expository paper about SeibergWitten Floer stable homotopy types.
We outline their construction, which is based on the Conley index and finite
dimensional approximation. We then describe several applications, including the
disproof of the highdimensional triangulation conjecture.

Using the conjugation symmetry on Heegaard Floer complexes, we define a
threemanifold invariant called involutive Heegaard Floer homology, which is
meant to correspond to $\mathbb{Z}_4$equivariant SeibergWitten Floer
homology. Further, we obtain two new invariants of homology cobordism,
$\underline{d}$ and $\bar{d}$, and two invariants of smooth knot concordance,
$\underline{V}_0$ and $\overline{V}_0$. We also develop a formula for the
involutive Heegaard Floer homology of large integral surgeries on knots. We
give explicit calculations in the case of Lspace knots and thin knots. In
particular, we show that $\underline{V}_0$ detects the nonsliceness of the
figureeight knot. Other applications include constraints on which large
surgeries on alternating knots can be homology cobordant to other large
surgeries on alternating knots.

This is a survey article about knot Floer homology. We present three
constructions of this invariant: the original one using holomorphic disks, a
combinatorial description using grid diagrams, and a combinatorial description
in terms of the cube of resolutions. We discuss the geometric information
carried by knot Floer homology, and the connection to three and
fourdimensional topology via surgery formulas. We also describe some
conjectural relations to KhovanovRozansky homology.

We show that monopole Floer homology (as defined by Kronheimer and Mrowka) is
isomorphic to the S^1equivariant homology of the SeibergWitten Floer spectrum
constructed by the second author.

We prove a Smithtype inequality for regular covering spaces in monopole
Floer homology. Using the monopole Floer / Heegaard Floer correspondence, we
deduce that if a 3manifold Y admits a p^nsheeted regular cover that is a
Z/pZLspace (for p prime), then Y is a Z/pZLspace. Further, we obtain
constraints on surgeries on a knot being regular covers over other surgeries on
the same knot, and over surgeries on other knots.

We survey the different versions of Floer homology that can be associated to
threemanifolds. We also discuss their applications, particularly to questions
about surgery, homology cobordism, and fourmanifolds with boundary. We then
describe Floer stable homotopy types, the related Pin(2)equivariant
SeibergWitten Floer homology, and its application to the triangulation
conjecture.

We define Pin(2)equivariant SeibergWitten Floer homology for rational
homology 3spheres equipped with a spin structure. The analogue of Froyshov's
correction term in this setting is an integervalued invariant of homology
cobordism whose mod 2 reduction is the Rokhlin invariant. As an application, we
show that there are no homology 3spheres Y of Rokhlin invariant one such that
Y # Y bounds an acyclic smooth 4manifold. By previous work of GalewskiStern
and Matumoto, this implies the existence of nontriangulable highdimensional
manifolds.

We consider the models of distributed computation defined as subsets of the
runs of the iterated immediate snapshot model. Given a task $T$ and a model
$M$, we provide topological conditions for $T$ to be solvable in $M$. When
applied to the waitfree model, our conditions result in the celebrated
Asynchronous Computability Theorem (ACT) of Herlihy and Shavit. To demonstrate
the utility of our characterization, we consider a task that has been shown
earlier to admit only a very complex $t$resilient solution. In contrast, our
generalized computability theorem confirms its $t$resilient solvability in a
straightforward manner.

Ozsvath and Szabo gave a combinatorial description of knot Floer homology
based on a cube of resolutions, which uses maps with twisted coefficients. We
study the t=1 specialization of their construction. The associated spectral
sequence converges to knot Floer homology, and we conjecture that its E_1 page
is isomorphic to the HOMFLYPT chain complex of Khovanov and Rozansky. At the
level of each E_1 summand, this conjecture can be stated in terms of an
isomorphism between certain Tor groups. As evidence for the conjecture, we
prove that such an isomorphism exists in degree zero.

Given a threemanifold with b_1=1 and a nontorsion spin^c structure, we use
finite dimensional approximation to construct from the SeibergWitten equations
two invariants in the form of a periodic prospectra. Various functors applied
to these invariants give different flavors of SeibergWitten Floer homology. We
also construct stable homotopy versions of the relative SeibergWitten
invariants for certain fourmanifolds with boundary.

Using Furuta's idea of finite dimensional approximation in SeibergWitten
theory, we refine SeibergWitten Floer homology to obtain an invariant of
homology 3spheres which lives in the S^1equivariant graded suspension
category. In particular, this gives a construction of SeibergWitten Floer
homology that avoids the delicate transversality problems in the standard
approach. We also define a relative invariant of fourmanifolds with boundary
which generalizes the BauerFuruta stable homotopy invariant of closed
fourmanifolds.

We prove Furutatype bounds for the intersection forms of spin cobordisms
between homology 3spheres. The bounds are in terms of a new numerical
invariant of homology spheres, obtained from Pin(2)equivariant SeibergWitten
Floer Ktheory. In the process we introduce the notion of a Floer K_Gsplit
homology sphere; this concept may be useful in an approach to the 11/8
conjecture.

Bordered Floer homology associates to a parametrized oriented surface a
certain differential graded algebra. We study the properties of this algebra
under splittings of the surface. To the circle we associate a differential
graded 2algebra, the nilCoxeter sequential 2algebra, and to a surface with
connected boundary an algebramodule over this 2algebra, such that a natural
gluing property is satisfied. Moreover, with a view toward the structure of a
potential Floer homology theory of 3manifolds with codimensiontwo corners, we
present a decomposition theorem for the Floer complex of a planar grid diagram,
with respect to vertical and horizontal slicing.

We review the use of grid diagrams in the development of Heegaard Floer
theory. We describe the construction of the combinatorial link Floer complex,
and the resulting algorithm for unknot detection. We also explain how grid
diagrams can be used to show that the Heegaard Floer invariants of 3manifolds
and 4manifolds are algorithmically computable (mod 2).

Starting from a Heegaard splitting of a threemanifold, we use Lagrangian
Floer homology to construct a threemanifold invariant, in the form of a
relatively Z/8graded abelian group. Our motivation is to have a welldefined
symplectic side of the AtiyahFloer Conjecture, for arbitrary threemanifolds.
The symplectic manifold used in the construction is the extended moduli space
of flat SU(2)connections on the Heegaard surface. An open subset of this
moduli space carries a symplectic form, and each of the two handlebodies in the
decomposition gives rise to a Lagrangian inside the open set. In order to
define their Floer homology, we compactify the open subset by symplectic
cutting; the resulting manifold is only semipositive, but we show that one can
still develop a version of Floer homology in this setting.

Link Floer homology is an invariant for links defined using a suitable
version of Lagrangian Floer homology. In an earlier paper, this invariant was
given a combinatorial description with mod 2 coefficients. In the present
paper, we give a selfcontained presentation of the basic properties of link
Floer homology, including an elementary proof of its invariance. We also fix
signs for the differentials, so that the theory is defined with integer
coefficients.

Quasialternating links are a natural generalization of alternating links. In
this paper, we show that quasialternating links are "homologically thin" for
both Khovanov homology and knot Floer homology. In particular, their bigraded
homology groups are determined by the signature of the link, together with the
Euler characteristic of the respective homology (i.e. the Jones or the
Alexander polynomial). The proofs use the exact triangles relating the homology
of a link with the homologies of its two resolutions at a crossing.