22 pages, 5 figures, AMS-Latex. Accepted for publication in the Transactions of the American Mathematical Society. Current version is identical to the final version submitted to Transactions, using amsart document class. Abstract slightly expanded
A standard convexity condition on the boundary of a symplectic manifold involves an induced positive contact form (and contact structure) on the boundary; the corresponding concavity condition involves an induced negative contact form. We present two methods of symplectically attaching 2-handles to convex boundaries of symplectic 4-manifolds along links transverse to the induced contact structures. One method results in concave boundaries and depends on a fibration of the link complement over S^1; in this case the handles can be attached with any framing larger than a lower bound determined by the fibration. The other method results in a weaker convexity condition on the new boundary (sufficient to imply tightness of the new contact structure), and in this case the handles can be attached with any framing less than a certain upper bound. These methods supplement methods developed by Weinstein and Eliashberg for attaching symplectic 2-handles along Legendrian knots.
We construct four-dimensional symplectic cobordisms between contact three-manifolds generalizing an example of Eliashberg. One key feature is that any handlebody decomposition of one of these cobordisms must involve three-handles. The other key feature is that these cobordisms contain chains of symplectically embedded two-spheres of square zero. This, together with standard gauge theory, is used to show that any contact three-manifold of non-zero torsion (in the sense of Giroux) cannot be strongly symplectically fillable. John Etnyre pointed out to the author that the same argument together wi…
In this paper we show that there are two symplectic surfaces in the 4-ball which bound the same transverse knot, have the same topology (as abstract surfaces), and are distinguished by the fundamental groups of their complements.
We prove that a positive definite smooth four-manifold with $b_2^+ \geq 2$ and having either no 1-handles or no 3-handles cannot admit a symplectic structure.
The topology of broken Lefschetz fibrations is studied by means of handle decompositions. We consider a slight generalization of round handles, and describe the handle diagrams for all that appear in dimension four. We establish simplified handlebody and monodromy representations for a certain subclass of broken Lefschetz fibrations/pencils, while showing that all near-symplectic closed 4-manifolds can be supported by these a la Auroux, Donaldson, Katzarkov. Various constructions of broken Lefschetz fibrations and a generalization of the symplectic fiber sum operation to the near-symplectic se…
We study relative symplectic cobordisms between contact submanifolds, and in particular relative symplectic cobordisms to the empty set, that we call hats. While we make some observations in higher dimensions, we focus on the case of transverse knots in the standard 3-sphere, and hats in blow-ups of the (punctured) complex projective planes. We apply the construction to give constraints on the algebraic topology of fillings of double covers of the 3-sphere branched over certain transverse quasipositive knots.
A symplectic rational cuspidal curve with positive self-intersection number admits a concave neighborhood, and thus a corresponding contact manifold on the boundary. In this article, we study symplectic fillings of such contact manifolds, providing a complementary perspective to our earlier article on symplectic isotopy classes of rational cuspidal curves. We explore aspects of these symplectic fillings through Stein handlebodies and rational blow-downs. We give examples of such contact manifolds which are identifiable as links of normal surface singularities, other examples which admit no sym…
In this paper, we determine the Euler characteristics and signatures of the exact symplectic fillings of the contact double, 3-fold or 4-fold cyclic covers of the standard contact 3-sphere branched over certain transverse quasi-positive links. These links include all quasi-positive knots with crossing numbers smaller than 11 and all quasi-positive links with crossing numbers smaller than 12 and nonzero nullity.
In this paper we give explicit, handle-by-handle constructions of concave symplectic fillings of all closed, oriented contact 3-manifolds. These constructions combine recent results of Giroux relating contact structures and open book decompositions of 3-manifolds, earlier results of the author on attaching 4-dimensional symplectic 2-handles along transverse links, and some tricks with mapping class groups of compact surfaces with non-empty boundary.
We consider structures analogous to symplectic Lefschetz pencils in the context of a closed 4-manifold equipped with a `near-symplectic' structure (ie, a closed 2-form which is symplectic outside a union of circles where it vanishes transversely). Our main result asserts that, up to blowups, every near-symplectic 4-manifold (X,omega) can be decomposed into (a) two symplectic Lefschetz fibrations over discs, and (b) a fibre bundle over S^1 which relates the boundaries of the Lefschetz fibrations to each other via a sequence of fibrewise handle additions taking place in a neighbourhood of the ze…
We show that every positive definite closed 4-manifold with $b_2^+>1$ and without 1-handles has a vanishing stable cohomotopy Seiberg-Witten invariant, and thus admits no symplectic structure. We also show that every closed oriented 4-manifold with $b_2^+\not\equiv 1$ and $b_2^-\not\equiv 1\pmod{4}$ and without 1-handles admits no symplectic structure for at least one orientation of the manifold. In fact, relaxing the 1-handle condition, we prove these results under more general conditions which are much easier to verify.
We construct a family of pairs of non-isotopic symplectic surfaces in the standard symplectic $4$-disk such that they are bounded by the same transverse knot in the standard contact $3$-sphere and fundamental groups of their complements are isomorphic. In the appendix, we prove explicitly that one can obtain a symplectic surface in the standard symplectic $4$-disk from a braided surface in a bidisk.
The standard contact structure on the three-sphere is invariant under the action of the cyclic group of order p yielding the lens space L(p,q). Therefore, every lens space carries a natural quotient contact structure Q. A theorem of Eliashberg and McDuff classifies the symplectic fillings of (L(p,1), Q) up to diffeomorphism. We announce a generalization of that result to every lens space. In particular, we give an explicit handlebody decomposition of every symplectic filling of (L(p,q), Q) for every p and q. Our results imply that: (a) there exist infinitely many lens spaces L(p,q) with q>1 su…
For some geometries including symplectic and contact structures on an n-dimensional manifold, we introduce a two-step approach to Gromov's h-principle. From formal geometric data, the first step builds a transversely geometric Haefliger structure of codimension n. This step works on all manifolds, even closed. The second step, which works only on open manifolds and for all geometries, regularizes the intermediate Haefliger structure and produces a genuine geometric structure. Both steps admit relative parametric versions. The proofs borrow ideas from W. Thurston, like jiggling and inflation. A…
This article sketches various ideas in contact geometry that have become useful in low-dimensional topology. Specifically we (1) outline the proof of Eliashberg and Thurston's results concerning perturbations of foliatoins into contact structures, (2) discuss Eliashberg and Weinstein's symplectic handle attachments, and (3) briefly discuss Giroux's insights into open book decompositions and contact geometry. Bringing these pieces together we discuss the construction of ``symplectic caps'' which are a key tool in the application of contact/symplectic geometry to low-dimensional topology.
We show that the pre-order defined on the category of contact manifolds by arbitrary symplectic cobordisms is considerably less rigid than its counterparts for exact or Stein cobordisms: in particular, we exhibit large new classes of contact 3-manifolds which are symplectically cobordant to something overtwisted, or to the tight 3-sphere, or which admit symplectic caps containing symplectically embedded spheres with vanishing self-intersection. These constructions imply new and simplified proofs of several recent results involving fillability, planarity and non-separating contact type embeddin…
We apply Menke's JSJ decomposition for symplectic fillings to several families of contact 3-manifolds. Among other results, we complete the classification up to orientation-preserving diffeomorphism of strong symplectic fillings of lens spaces. We show that exact symplectic fillings of contact manifolds obtained by surgery on certain Legendrian negative cables are the result of attaching a Weinstein 2-handle to an exact filling of a lens space. For large families of contact structures on Seifert fibered spaces over $S^2$, we reduce the problem of classifying exact symplectic structures to the …
Given two open books with equal pages we show the existence of an exact symplectic cobordism whose negative end equals the disjoint union of the contact manifolds associated to the given open books, and whose positive end induces the contact manifold associated to the open book with the same page and concatenated monodromy. Using similar methods we show the existence of strong fillings for contact manifolds associated with doubled open books, a certain class of fiber bundles over the circle obtained by performing the binding sum of two open books with equal pages and inverse monodromies. From …
Using the symplectic geometry of certain manifolds which appear naturally in Lie theory, we define an invariant which assigns a graded abelian group to an oriented link. The relevant manifolds are transverse slices to certain nilpotent orbits inside sl_{2m}, and intersections of those with regular semisimple orbits. The invariant is conjectured to be equal to Khovanov's combinatorially defined homology theory (with the bigrading of that theory collapsed in a certain way).
We define an invariant of based transverse links, as a well-defined element inside the equivariant Heegaard Floer cohomology of its branched double cover, defined by Lipschitz, Hendricks, and Sarkar. We prove the naturality and functoriality of equivariant Heegaard Floer cohomology for branched double covers of $S^3$ along based knots, and then prove that our transverse link invariant $c_{\mathbb{Z}_{2}}(ξ_{K})$ is an well-defined element which is always nonvanishing and functorial under certain classes of symplectic cobordisms, and describe its behavior under negative stabilization. It follow…
We give a combinatorial description of the Legendrian contact homology algebra associated to a Legendrian link in $S^1\times S^2$ or any connected sum $\#^k(S^1\times S^2)$, viewed as the contact boundary of the Weinstein manifold obtained by attaching 1-handles to the 4-ball. In view of the surgery formula for symplectic homology, this gives a combinatorial description of the symplectic homology of any 4-dimensional Weinstein manifold (and of the linearized contact homology of its boundary). We also study examples and discuss the invariance of the Legendrian homology algebra under deformation…
We show that any knot which is smoothly the closure of a 3-braid cannot be Lagrangian concordant to and from the maximum Thurston-Bennequin Legendrian unknot except the unknot itself. Our obstruction comes from drawing the Weinstein handlebody diagrams of particular symplectic fillings of cyclic branched double covers of knots in $S^3$. We use the Legendrian contact homology differential graded algebra of the links in these diagrams to compute the symplectic homology of these fillings to derive a contradiction. As a corollary, we find an infinite family of contact manifolds which are rational …
Let $M$ be a fibered 3-manifold with multiple boundary components. We show that the fiber structure of $M$ transforms to closely related transversely oriented taut foliations realizing all rational multislopes in some open neighborhood of the multislope of the fiber. Each such foliation extends to a taut foliation in the closed 3-manifold obtained by Dehn filling along its boundary multislope. The existence of these foliations implies that certain contact structures are weakly symplectically fillable.
