
We define the contact homology algebra for any contact manifold and show that
it is an invariant of the contact manifold. More precisely, given a contact
manifold $(M,\xi)$ and some auxiliary data $\mathcal{D}$, we define an algebra
$HC(\mathcal{D})$. If $\mathcal{D}_1$ and $\mathcal{D}_2$ are two choices of
auxiliary data for $(M,\xi)$, then $HC(\mathcal{D}_1)$ and $HC(\mathcal{D}_2)$
are isomorphic. We use a simplified version of Kuranishi perturbation theory,
consisting of semiglobal Kuranishi charts.

In this paper we give a rigorous definition of cylindrical contact homology
for contact $3$manifolds that admit nondegenerate contact forms with no
contractible Reeb orbits, and show that the cylindrical contact homology is an
invariant of the contact structure.

We initiate a systematic study of convex hypersurface theory and generalize
the bypass attachment to arbitrary dimensions. We also introduce a new type of
overtwisted object called the overtwisted orange which is middledimensional
and contractible.

Given a closed oriented 3manifold M, we establish an isomorphism between the
Heegaard Floer homology group HF^+(M) and the embedded contact homology group
ECH(M). Starting from an open book decomposition (S,h) of M, we construct a
chain map \Phi^+ from a Heegaard Floer chain complex associated to (S,h) to an
embedded contact homology chain complex for a contact form supported by (S,h).
The chain map \Phi^+ commutes up to homotopy with the Umaps defined on both
sides and reduces to the quasiisomorphism \Phi from "The equivalence of
Heegaard Floer homology and embedded contact homology I, II" on subcomplexes
defining the hat versions. Algebraic considerations then imply that the map
\Phi^+ is a quasiisomorphism.

Given an open book decomposition (S,h) adapted to a closed, oriented
3manifold M, we define a chain map from a certain Heegaard Floer chain complex
associated to (S,h) to a certain embedded contact homology chain complex
associated to (S,h), as defined in arXiv:1008.2734, and prove that it induces
an isomorphism on the level of homology. This implies the isomorphism between
the hat version of Heegaard Floer homology of M and the hat version of
embedded contact homology of M.

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 is the first of a series of papers devoted to proving the equivalence of
Heegaard Floer homology and embedded contact homology (abbreviated ECH). In
this paper we prove that, given a closed, oriented, contact $3$manifold, there
is an equivalence between ECH of the closed $3$manifold and a version of ECH,
defined on the complement of the binding of an adapted open book decomposition.

In the first part of the paper we associate a preadditive category
$\mathcal{C}(\Sigma)$ to a closed oriented surface $\Sigma$, called the {\em
contact category} and constructed from contact structures on
$\Sigma\times[0,1]$. There are also $\mathcal{C}(\Sigma,F)$, where $\Sigma$ is
a compact oriented surface with boundary and $F\subset \partial\Sigma$ is a
finite oriented set of points which bounds a submanifold of $\partial\Sigma$,
and universal covers $\widetilde{\mathcal{C}}(\Sigma)$ and
$\widetilde{\mathcal{C}}(\Sigma,F)$ of $\mathcal{C}(\Sigma)$ and
$\mathcal{C}(\Sigma,F)$. In the second part of the paper we prove that the
universal cover of the contact category of a disk admits an embedding into its
"triangulated envelope."

We introduce constructions of exact Lagrangian cobordisms with cylindrical
Legendrian ends and study their invariants which arise from Symplectic Field
Theory. A pair $(X,L)$ consisting of an exact symplectic manifold $X$ and an
exact Lagrangian cobordism $L\subset X$ which agrees with cylinders over
Legendrian links $\Lambda_+$ and $\Lambda_$ at the positive and negative ends
induces a differential graded algebra (DGA) map from the Legendrian contact
homology DGA of $\Lambda_+$ to that of $\Lambda_$. We give a gradient flow
tree description of the DGA maps for certain pairs $(X,L)$, which in turn
yields a purely combinatorial description of the cobordism map for elementary
cobordisms, i.e., cobordisms that correspond to certain local modifications of
Legendrian knots. As an application, we find exact Lagrangian surfaces that
fill a fixed Legendrian link and are not isotopic through exact Lagrangian
surfaces.

We sketch the proof of the equivalence between the hat versions of Heegaard
Floer homology and embedded contact homology. The key point is to express these
two Floer homology theories in terms of an open book decomposition of the
ambient manifold.

We define a relative version of contact homology for contact manifolds with
convex boundary, and prove basic properties of this relative contact homology.
Similar considerations also hold for embedded contact homology.

We determine parts of the contact homology of certain contact 3manifolds in
the framework of open book decompositions, due to Giroux. We study two cases:
when the monodromy map of the compatible open book is periodic and when it is
pseudoAnosov. For an open book with periodic monodromy, we verify the
Weinstein conjecture. In the case of an open book with pseudoAnosov monodromy,
suppose the boundary of a page of the open book is connected and the fractional
Dehn twist coefficient $c={k\over n}$, where $n$ is the number of prongs along
the boundary. If $k\geq 2$, then there is a welldefined linearized contact
homology group. If $k\geq 3$, then the linearized contact homology is
exponentially growing with respect to the action, and every Reeb vector field
of the corresponding contact structure admits an infinite number of simple
periodic orbits.

We describe the natural gluing map on sutured Floer homology which is induced
by the inclusion of one sutured manifold (M',\Gamma') into a larger sutured
manifold (M,\Gamma), together with a contact structure on MM'. As an
application of this gluing map, we produce a (1+1)dimensional TQFT by
dimensional reduction and study its properties.

Let V be a closed 3manifold. In this paper we prove that the homotopy
classes of plane fields on V that contain tight contact structures are in
finite number and that, if V is atoroidal, the isotopy classes of tight contact
structures are also in finite number.

We continue our study of the monoid of rightveering diffeomorphisms on a
compact oriented surface with nonempty boundary, introduced in [HKM2]. We
conduct a detailed study of the case when the surface is a punctured torus; in
particular, we exhibit the difference between the monoid of rightveering
diffeomorphisms and the monoid of products of positive Dehn twists, with the
help of the Rademacher function. We then generalize to the braid group B_n on n
strands by relating the signature and the Maslov index. Finally, we discuss the
symplectic fillability in the pseudoAnosov case by comparing with the work of
Roberts [Ro1,Ro2].

We explain the effect of applying a full Lutz twist along a preLagrangian
torus in a contact 3manifold, on the contact invariant in Heegaard Floer
homology with twisted coefficients.

We prove that the OzsvathSzabo contact invariant of a closed contact
3manifold with positive Giroux torsion vanishes.

We describe an invariant of a contact 3manifold with convex boundary as an
element of Juh\'asz's sutured Floer homology. Our invariant generalizes the
contact invariant in Heegaard Floer homology in the closed case, due to
Ozsv\'ath and Szab\'o.
This version has some clarifications and new figures.

We prove that any mapping class on a compact oriented surface with nonempty
boundary can be made pseudoAnosov and rightveering after a sequence of
positive stabilizations.

We study Legendrian knots in a cabled knot type. Specifically, given a
topological knot type K, we analyze the Legendrian knots in knot types obtained
from K by cabling, in terms of Legendrian knots in the knot type K. As a
corollary of this analysis, we show that the (2,3)cable of the (2,3)torus
knot is not transversely simple and moreover classify the transverse knots in
this knot type. This is the first classification of transverse knots in a
nontransverselysimple knot type. We also classify Legendrian knots in this
knot type and exhibit the first example of a Legendrian knot that does not
destabilize, yet its ThurstonBennequin invariant is not maximal among
Legendrian representatives in its knot type.

We present an alternate description of the OzsvathSzabo contact class in
Heegaard Floer homology. Using our contact class, we prove that if a contact
structure (M,\xi) has an adapted open book decomposition whose page S is a
oncepunctured torus, then the monodromy is rightveering if and only if the
contact structure is tight.

The goal of this article is to survey recent developments in the theory of
contact structures in dimension three.

On every compact, orientable, irreducible 3manifold V which is toroidal or
has torus boundary components we construct a contact 1form whose Reeb vector
field R does not have any contractible periodic orbits and is tangent to the
boundary. Moreover, if bdry V is nonempty, then the Reeb vector field R is
transverse to a taut foliation. By appealing to results of Hofer, Wysocki, and
Zehnder, we show that, under certain conditions, the 3manifold obtained by
Dehn filling along bdry V is irreducible and different from the 3sphere.
Resum\'e
On construit, sur toute variete V de dimension trois orientable, compacte,
irreductible, bordee par des tores ou toroidale, une forme de contact dont le
champ de Reeb R est sans orbite periodique contractible et tangent au bord. De
plus, si le bord de V est non vide, le champ R est transversal a un feuilletage
tendu. En utilisant des resultats de Hofer, Wysocki et Zehnder, on obtient sous
certaines conditions que la variete obtenue par obturation de Dehn le long du
bord de V est irreductible et differente de la sphere S^3.

We initiate the study of the monoid of rightveering diffeomorphisms on a
compact oriented surface with nonempty boundary. The monoid strictly contains
the monoid of products of positive Dehn twists. We explain the relationship to
tight contact structures and open book decompositions.

We give a necessary and sufficient condition for the addition of a collection
of disjoint bypasses to a convex surface to be universally tight  namely the
nonexistence of a polygonal region which we call a virtual pinwheel.