We define the Floer complex for Hamiltonian orbits on the cotangent bundle of a compact manifold satisfying non-local conormal boundary conditions. We prove that the homology of this chain complex is isomorphic to the singular homology of the natural path space associated to the boundary conditions.
Let $S$ be a closed orientable spin manifold. Let $K \subset S$ be a submanifold and denote its complement by $M_K$. In this paper we prove that there exists an isomorphism between partially wrapped Floer cochains of a cotangent fiber stopped by the unit conormal $\varLambda_K$ and chains of a Morse theoretic model of the based loop space of $M_K$, which intertwines the $A_\infty$-structure with the Pontryagin product. As an application, we restrict to codimension 2 spheres $K \subset S^n$ where $n = 5$ or $n\geq 7$. Then we show that there is a family of knots $K$ so that the partially wrappe…
We give a construction of Piunikhin--Salamon--Schwarz isomorphism between the Morse homology and the Floer homology generated by Hamiltonian orbits starting at the zero section and ending at the conormal bundle. We also prove that this isomorphism is natural in the sense that it commutes with the isomorphisms between the Morse homology for different choices of the Morse function and the Floer homology for different choices of the Hamiltonian. We define a product on the Floer homology and prove triangle inequality for conormal spectral invariants with respect to this product.
We apply the conormal construction to a hyperbolic knot $K \subset S^3$, and study the sutured contact manifold $(V, ξ)$ obtained by taking the complement of a standard neighbourhood of the unit conormal $\La_K \subset (ST^*S^3, ξ_\text{st})$. We show that the sutured Legendrian contact homology of a unit fiber $\La_0$, with its product structure, is a complete invariant of the knot (up to mirror). This can also be seen as the computation of the homology of the fiber in $ST^* S^3$, stopped at $\La_K$. Our main tool is, for any submanifold $N \subset M$, an explicit relationship between the com…
We define partial quasi-morphisms on the group of Hamiltonian diffeomorphisms of the cotangent bundle using the spectral invariants in Lagrangian Floer homology with conormal boundary conditions, where the product compatible with the PSS isomorphism and the homological intersection product is lacking.
We extend the sutured framework to the case of Legendrians with boundary. Using ideas from Lagrangian Floer theory, we define the cylindrical and the wrapped sutured Legendrian homologies of a pair of sutured Legendrians. They fit together into an exact sequence, and the exact triangle is invariant along an Legendrian isotopy fixed at the boundary. For a single Legendrian, we also define a wrapped version of its Chekanov-Eliashberg dga. Our main example of sutured Legendrian is obtained via the unit conormal construction : a submanifold $N \subset M$, such that $\partial N \subset \partial M$ …
We construct the vortex Floer homology group $VHF (M,μ;H)$ for an aspherical Hamiltonian $G$-manifold $(M, ω)$ with moment map $μ$ and a class of $G$-invariant Hamiltonian loop $H_t$, following the proposal of [3]. This is a substitute for the ordinary Hamiltonian Floer homology of the symplectic quotient of $M$. We achieve the transversality of the moduli space by the classical perturbation argument instead of the virtual technique, so the homology can be defined over ${\mathbb Z}$ or ${\mathbb Z}_2$.
We consider Floer homology associated to a pair of closed Lagrangian submanifolds that satisfy a monotonicty assumption. If the Lagrangians intersect cleanly we decribe two spectral sequences which help to compute their Floer homology. The spectral sequences are constructed using a Morse-Bott version of Floer homology. We give a full treatment of the theory including orientations.
This paper extends the definition of Rabinowitz Floer homology to non-compact hypersurfaces. We present a general framework for the construction of Rabinowitz Floer homology in the non-compact setting under suitable compactness assumptions on the periodic orbits and the moduli spaces of Floer trajectories. We introduce a class of hypersurfaces being the level sets of specific Hamiltonians: strongly tentacular Hamiltonians, for which the compactness conditions are satisfied, thus enabling us to define the Rabinowitz Floer homology for this class. Rabinowitz Floer homology in turn serves as a to…
We define a version of spectral invariant in the vortex Floer theory for a $G$-Hamiltonian manifold $M$. This defines potentially new (partial) symplectic quasi-morphism and quasi-states when $M//G$ is not semi-positive. We also establish a relation between vortex Hamiltonian Floer homology and Woodward's quasimap Floer homology by constructing a closed-open string map between them. This yields applications to study non-displaceability problems of subsets in $M//G$
For an adiscal or monotone regular coisotropic submanifold $N$ of a symplectic manifold I define its Floer homology to be the Floer homology of a certain Lagrangian embedding of $N$. Given a Hamiltonian isotopy $ϕ=(ϕ^t)$ and a suitable almost complex structure, the corresponding Floer chain complex is generated by the $(N,ϕ)$-contractible leafwise fixed points. I also outline the construction of a local Floer homology for an arbitrary closed coisotropic submanifold. Results by Floer and Albers about Lagrangian Floer homology imply lower bounds on the number of leafwise fixed points. This repro…
We prove that the Knot Floer homology group of a fibred knot of genus g in the Alexander grading 1-g is isomorphic to a version of the fixed point Floer homology of an area-preserving representative of the monodromy.
Knot Floer homology is a knot invariant defined using holomorphic curves. In more recent work, taking cues from bordered Floer homology,the authors described another knot invariant, called "bordered knot Floer homology", which has an explicit algebraic and combinatorial construction. In the present paper, we extend the holomorphic theory to bordered Heegaard diagrams for partial knot projections, and establish a pairing result for gluing such diagrams, in the spirit of the pairing theorem of bordered Floer homology. After making some model calculations, we obtain an identification of a variant…
This is the last of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold.
This paper is the sequel to "The equivalence of Heegaard Floer homology and embedded contact homology via open book decompositions I" and is devoted to proving some of the technical parts of the HF=ECH isomorphism.
This article is a survey on the authors' proof of the isomorphism between Heegaard Floer homology and embedded contact homology appeared in This article is a survey on the authors' proof of the isomorphism between Heegaard Floer homology and embedded contact homology appeared in arXiv:1208.1074, arXiv:1208.1077 and arXiv:1208.1526.
Knot Floer homology is an invariant for knots discovered by the authors and, independently, Jacob Rasmussen. The discovery of this invariant grew naturally out of studying how a certain three-manifold invariant, Heegaard Floer homology, changes as the three-manifold undergoes Dehn surgery along a knot. Since its original definition, thanks to the contributions of many researchers, knot Floer homology has emerged as a useful tool for studying knots in its own right. We give here a few selected highlights of this theory, and then move on to some new algebraic developments in the computation of k…
We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Floer homology.
Using contact-geometric techniques and sutured Floer homology, we present an alternate formulation of the minus and plus version of knot Floer homology. We further show how natural constructions in the realm of contact geometry give rise to much of the formal structure relating the various versions of Heegaard Floer homology. In addition, to a Legendrian or transverse knot K in a contact manifold (Y,ξ), we associate distinguished classes EHL(K) in the minus-version of knot floer homology and EHIL(K) in the plus version, which are each invariant under Legendrian or transverse isotopies of K. Th…
We explain how to use bordered algebras to compute a version of link Floer homology. As a corollary, we also give a fast computation of the Thuston polytope for links in the three-sphere.
In this paper we extend the idea of bordered Floer homology to knots and links in $S^3$: Using a specific Heegaard diagram, we construct gluable combinatorial invariants of tangles in $S^3$, $D^3$ and $I\times S^2$. The special case of $S^3$ gives back a stabilized version of knot Floer homology.
Let $K$ denote a knot inside the homology sphere $Y$. The zero-framed longitude of $K$ gives the complement of $K$ in $Y$ the structure of a bordered three-manifold, which may be denoted by $Y(K)$. We compute the quasi-isomorphism type of the bordered Floer complex of $Y(K)$ in terms of the knot Floer complex associated with $K$. As a corollary, we show that if a homology sphere has the same Heegaard Floer homology as $S^3$ it does not contain any incompressible tori. Consequently, if $Y$ is an irreducible homology sphere $L$-space then $Y$ is either $S^3$, or the Poicaré sphere $Σ(2,3,5)$, or…
Given a spin$^c$ rational homology sphere $(Y,\mathfrak{s})$ with $\mathfrak{s}$ self-conjugate and for which the reduced monopole Floer homology $\mathit{HM}_{\bullet}(Y,\mathfrak{s})$ has rank one, we provide obstructions to the intersection forms of its Stein fillings which are not negative definite. The proof of this result (and of its natural generalizations we discuss) uses $\mathrm{Pin}(2)$-monopole Floer homology.
We describe a new method for combinatorially computing the transverse invariant in knot Floer homology. Previous work of the authors and Stone used braid diagrams to combinatorially compute knot Floer homology of braid closures. However, that approach was unable to explicitly identify the invariant of transverse links that naturally appears in braid diagrams. In this paper, we improve the previous approach in order to compute the transverse invariant. We define a new combinatorial complex that computes knot Floer homology and identify the BRAID invariant of transverse knots and links in the ho…
