Fillings of Contact Manifolds Part 2

Here is the overdue part 2 post on symplectic fillability. In part 1 , we gave several equivalent definitions of weak symplectic fillings, strong symplectic fillings, and Stein fillings. From these definitions we had the following inclusions:
\{\text{Stein fillable}\} \subseteq \{\text{Strongly sympl. fill.}\} \subseteq \{\text{Weakly sympl. fill.}\}
Now I want to summarize the results that show that each of these notions are distinct from each other, namely that each of these inclusions is strict, and also mention some conditions that can ensure some of these notions do coincide.

Historically, it was first shown that there are weakly symplectically fillable contact manifolds which are not strongly symplectically fillable by Eliashberg (the paper is called “Unique holomorphically fillable contact structure on the 3-torus”). The examples were contact structures on T^3. Identify T^3=T^2\times S^1, with coordinates (x,y,\theta)\in (\mathbb{R}/\mathbb{Z})^3. Then one can verify that for n=1,2,3,\cdots, \alpha_n=\cos(n\theta)dx+\sin(n\theta)dy is a contact form (\alpha_n\wedge d\alpha_n>0). Then \xi_n=\ker(\alpha_n) is a contact structure on T^3 for each n=1,2,3\cdots, and it was shown by Giroux and independently Kanda that these contact structures are not contactomorphic for different values of n, and all tight contact structures on T^3 are contactomorphic to one of these. The claim is that if n>1, (T^3,\xi_n) is not strongly symplectically fillable, but all (T^3,\xi_n) are weakly symplectically fillable.

First we will show that (T^3,\xi_n) is weakly symplectically fillable. View T^3 as the boundary of T^2\times D^2. Put coordinates (x,y) on the T^2 factor, and let \theta parametrize the boundary of D^2. We can put a symplectic structure on T^2\times D^2 by taking the product of area forms on T^2 and D^2. We want to show that this is a weak symplectic filling of (T^3,\xi_n). This is not immediately obvious, so instead we look at a family of contact structures, \xi_n^{\varepsilon} which are contactomorphic to \xi_n, and show that (T^2\times D^2,\omega =\omega_{T^2}\oplus \omega_{D^2}) is a weak symplectic filling of (T^3,\xi_n^{\varepsilon_0}) for some \varepsilon_0. It is clear that the submanifolds T^2\times \{p\} for p\in \partial D^2 are symplectic submanifolds of T^2\times D^2, so \omega is positive on the tangent planes to these submanifolds. These tangent planes are described by \{d\theta =0\} on T^3. Clearly these planes do not form a contact structure on T^3 since they are integrable, but \omega will evaluate positively on a nearby contact structure. With this in mind, set
\alpha_n^{\varepsilon} = (1-\varepsilon)d\theta +\varepsilon\alpha_n)
Note that
\alpha_n^{\varepsilon} = (1-\varepsilon)\varepsilon d\theta \wedge d\alpha_n +\varepsilon^2 \alpha_n\wedge d\alpha_n = \varepsilon^2\alpha_n\wedge d\alpha_n
so \xi_n^{\varepsilon}=\ker(\alpha_n^{\varepsilon}) is a contact structure for any \varepsilon>0. When \varepsilon=1, \xi_n^1=\xi_n so we have a homotopy through contact structures from \xi_n to any \xi_n^{\varepsilon} for \varepsilon>0. By Gray’s theorem there are diffeomorphisms \phi^{\varepsilon} such that (\phi^{\varepsilon})_*\xi_n^{\varepsilon}=\xi_n, therefore each \xi_n^{\varepsilon} is contactomorphic to \xi_n for \varepsilon>0. When \varepsilon is close to zero, \xi_n^{\varepsilon} is close to \ker(d\theta). Therefore, since \omega|_{\xi}>0 is an open condition, there exists some \varepsilon_0>0 such that \omega|_{\xi_n^{\varepsilon_0}}>0. Therefore (T^2\times D^2, \omega) is a weak symplectic filling of (T^3,\xi_n^{\varepsilon_0}) which is contactomorphic to (T^3, \xi_n). This shows that all \xi_n are weakly symplectically fillable.

Eliashberg shows that for n>1, (T^3, \xi_n) is not strongly symplectically fillable by contradiction. Recall that if it did have a strong symplectic filling, this filling could be glued symplectically to any symplectic manifold whose concave boundary is (T^3,\xi_n). The idea is to find a symplectic manifold with concave boundary, such that if we could close off this boundary symplectically, we would obtain a symplectic manifold that cannot exist.

Consider (\mathbb{R}^4, \omega_{std}=dx_1\wedge dy_1+dx_2\wedge dy_2). Take the product of circles x_1^2+y_1^2=1, x_2^2+y_2^2=1. This is a Lagrangian 2-torus inside (\mathbb{R}^4,\omega_{std}). Any Lagrangian submanifold, has a neighborhood symplectomorphic to a neighborhood of the zero section of its cotangent bundle. One can explicitly show that a disk bundle inside T^*(T^2) has convex boundary inducing the contact structure \xi_1, using the radially outward pointing Liouville vector field. Therefore the complement of a neighborhood of this Lagrangian torus in \mathbb{R}^4 has concave boundary inducing the contact structure \xi_1. We can take an n-fold cover of the complement of this neighborhood in \mathbb{R}^4 so that on the T^3 boundary, the S^1 factor parameterized by \theta is covered n times. This cover has a symplectic form given by the pull-back for which the T^3 boundary is still concave and the induced contact structure on the resulting boundary is \xi_n. This n-fold cover has n ends, each symplectomorphic to the complement of a large compact set in (\mathbb{R}^4,\omega_{std}). If it were possible to cap off the concave boundary component with a convex symplectic filling of (T^3,\xi_n), we would obtain a symplectic manifold without boundary, but with n standard ends. A theorem of Gromov states that this is impossible (if someone has a good explanation of the idea of this proof, that might make a good new post that I would appreciate). Thus we have reached a contradiction to the assumption that (T^3,\xi_n) is strongly symplectically fillable for n>1.

While this example establishes the inequivalence of weak and strong symplectic fillability, the proof by contradiction and the reliance on a difficult theorem of Gromov which requires holomorphic curve techniques makes it difficult to see what the difference between weak and strong fillability would be in general. A generalization of this example was established by Ding and Geiges. They proved that a more general class of 2-torus bundles over the circle have contact structures which are weakly but not strongly symplectically fillable. Their proof that there are no strong fillings reduces the more general case to the original examples on T^3 using contact surgery. While this doesn’t make the underlying cause of non-fillability more clear, it does illuminate the fact that certain surgery operations on contact manifolds preserve different types of fillability and non-fillability.

In particular, Legendrian surgery (surgery along a Legendrian knot, with framing given by the contact framing with one additional negative twist) preserves weak symplectic fillability, strong symplectic fillability, and Stein fillability. The proofs that it preserves strong symplectic fillability and Stein fillability are due to Weinstein and Eliashberg respectively, who show that the convex symplectic or Stein structures can be extended over the corresponding handle attachments which provide cobordisms between the original manifold and the result of Legendrian surgery. The fact that Legendrian surgery preserves weak symplectic fillability is proven here in Theorem 2.3 by Etnyre and Honda, by showing that in a neighborhood of the Legendrian knot, the contact structure can be slightly perturbed so that the weak symplectic filling is a convex filling in a neighborhood of the knot. Then the surgery can be performed to preserve the strong fillability in a neighborhood of the knot, thus preserving the weak fillability of the entire contact manifold.

While we still do not seem to have a full understanding of when strong and weak fillability coincide and when they differ, there are certain situations where weak fillability implies strong fillability. Eliashberg proved the following proposition:

Proposition 4.1 in A few remarks about symplectic filling: Suppose that a symplectic manifold (W,\omega) weakly fills a contact manifold (V,\xi). Then if the form \omega is exact near \partial W=V then it can be modified into a symplectic form \widetilde{\omega} such that (W,\widetilde{\omega}) is a strong symplectic filling of (V,\xi).

The idea is essentially to consider the primitive \eta for \omega near the boundary and the contact form \alpha, and to interpolate between the primitives t\alpha and \eta, so that \widetilde{\omega} =d(t\alpha) near the boundary and \widetilde{\omega} = d\eta a little further in from the boundary so it glues up to the original \omega on the interior of the weak filling. The condition that \omega be a weak filling ensures one can do this interpolation while maintaining the symplectic (non-degeneracy) condition.

A consequence of this proposition is that in order to find a 3-manifold which supports weakly fillable contact structures that are not strongly fillable, the 3-manifold must carry some nonzero second homology. In particular, an integer homology sphere which is weakly fillable is also strongly fillable. This fact comes into play in the next example.

While Eliashberg’s examples distinguishing weak and strong fillings were published in 1996, it took much longer to find examples of contact 3-manifolds which were strongly fillable but not Stein fillable. The technology needed to obstruct Stein fillability was the Heegaard Floer contact invariant. Ghiggini found the first examples in this paper, which were the Brieskorn homology spheres (with reversed orientation) -\Sigma(2,3,6n+5) (n even and \geq 2). These manifolds can be understood as 0-surgery on the positive trefoil knot in S^3, together with -n-1-surgery on its meridian (or alternatively as Seifert fibered spaces over S^2 with three singular fibers with coefficients 2,-3,\frac{6n+5}{-n-1}).

The 3-manifold obtained from S^3 by 0-surgery on the positive trefoil is actually a T^2 bundle over S^1, because the trefoil is a fibered knot of genus 1. Its monodromy is well understood, and in fact this is one of the 3-manifolds considered by Ding and Geiges, which have contact structures \xi_n similar to those on T^3 (the contact structures twist n times in the direction of the monodromy). These contact structures are all weakly symplectically fillable (the filling is a Lefschetz fibration over a disk with tori as regular fibers, and the argument that this is a weak filling is similar to the argument that T^2\times D^2 is a weak filling of T^3 above).

So we have a weak symplectic filling of 0-surgery on the positive trefoil with any of the contact structures \xi_n, but we would like to also do -n-1 surgery on a meridian of this trefoil to obtain the Brieskorn spheres of interest. Ghiggini shows that this meridian can be realized as a Legendrian knot whose its contact framing twists -n times around it, therefore performing -n-1 surgery on this meridian corresponds to Legendrian surgery. Since the above result said that Legendrian surgery preserves weak fillability, the resulting Brieskorn sphere with its corresponding contact structure \eta_0 is weakly symplectically fillable.

Furthermore, because the result of the Legendrian surgery gives an integer homology sphere, a weak symplectic filling can be perturbed into a strong symplectic filling, as mentioned above (since the restriction of the symplectic structure to the boundary is an exact form). Therefore we have strongly symplectically fillable contact structures on these Brieskorn spheres.

On the other hand, these contact manifolds (-\Sigma(2,3,6n+5), \eta_0) are not Stein fillable. Ghiggini proves this by showing that the contact invariant is in the fixed point set of an involution on Heegaard Floer homology, and then studying generators of this fixed point set. Properties of these generators imply that all of them are sent to zero by a map induced by a Stein cobordism between (S^3,\xi_{std}) and (-\Sigma(2,3,6n+5),\eta_0). Therefore the contact invariant of \eta_0, which is a linear combination of these generators is sent to zero by the map induced by a Stein cobordism, which is a contradiction. (One of the first theorems proved about the Heegaard Floer contact invariant is that it is sent to the generator of \widehat{HF}(S^3) by any map induced by a Stein cobordism from (S^3,\xi_{std}), and thus the contact invariant of a Stein fillable contact structure is non-zero.)

More specifically, the generators of the fixed point set can be written as c(\eta_i)+c(\eta_{-i}) where \eta_i is the contact structure obtained by Legendrian surgery on S^3 as in the picture below, where the Legendrian unknot has (n-i)/2 cusps on one side and (n+i)/2 cusps on the other side.

BrieskornSteinFilling

Note that each of these contact structures is Stein fillable (since it is obtained from Legendrian surgery), so their contact invariants are non-vanishing. By showing that \overline{\eta_i}=\eta_{-i}, Ghiggini proved that when n is even, the fixed point set of the involution on Heegaard Floer homology is generated by c(\eta_i)+c(\eta_{-i}). Furthermore, any map induced by a 4-manifold cobordism to S^3 sends c(\eta_i) and c(\eta_{-i}) to the same element, so in \mathbb{Z}/2 coefficients, the image of each generator of the fixed point set is zero.

In conclusion, these examples distinguish these three notions of fillability, but I think there is still a lot left to understand about when such examples can arise. Given an arbitrary 3-manifold, there is not usually much one can say about whether it supports contact structures that are strongly symplectically fillable but not Stein fillable, and unless it is a homology sphere it is hard to tell whether there could be weakly but not strongly symplectically fillable contact strucutres. The Heegaard Floer contact invariant has been a useful probe to obstruct Stein (and with twisted coefficients, symplectic) fillability, so a related question is to understand geometric conditions under which the contact invariant vanishes for tight contact structures (see Honda, Kazez, and Matic’s work for some situations when this occurs). Because there was a significant period of time where it was unknown whether weak, strong, and Stein fillability were equivalent notions, it seems that examples where these notions diverge are rare, but I don’t think we really have any idea how prevalent these examples can be, or what geometric properties can allow this phenomenon to occur.

3 Comments

Filed under Uncategorized

3 responses to “Fillings of Contact Manifolds Part 2

  1. Paolo

    I would like to add some remarks to your excellent survey about fillability of contact three manifolds. In particular there are some important results that you forgot to mention.

    1) By an old theorem of Eliashberg and Gromov, any notion of fillability implies tightness, but for a long time it was unknown if the converse was true. The first examples of tight but not fillable contact structures where found by Etnyre and Honda. They proved that a Legendrian surgery on some torus bundle over S^1 produces a contact manifold which was already known to be fillable by previous work of Lisca (but not known to be tight at that time).
    You are surely aware of this result because you cite Etnyre and Honda’s paper in your post, but I’m recalling it for completeness.

    2) We say that a contact manifold has Giroux’s torsion if we can embed the contact structure (T^2 \times [0,1], \ker(\sin(2 \pi z) dx + \cos(2 \pi z)dy) in it. We know that Giroux torsion is an obstruction to strong fillability, but not to weak fillability. This result has a complicated history with several previous partial results and a few completely different proofs, but in its general form it was first proved by David Gay in http://arxiv.org/abs/math/0606402.

    3) Chris Wendl has made several contributions to our understanding of fillability of contact structures. In my opinion his nicest result was to show that weak fillings of planar contact structures are deformation equivalent to Stein fillings. He has also introduced more obstructions to strong fillability which generalize Giroux’s torsion and which he called “planar k-torsion”.

    Finally I would like to mention that the manifolds \Sigma(2,3,6n-1) have many strongly fillable contact structures which are not known to be Stein fillable. In the “Pascal triangle” picture of http://arxiv.org/abs/0910.2752 (forgive me the self-promotion of my paper) they are those above the bottom line and away from the axis. My conjecture is that they are not Stein fillable, but I have no idea how to prove it. I think this would be a challanging problem for a brave young mathematician.

    • I have two very small corrections to Paolo’s comment, followed by an additional comment of my own. Corrections: (1) for the tight but nonfillable examples, when Paolo wrote “already known to be fillable by previous work of Lisca”, of course he meant “nonfillable”. (2) The result of mine that he mentioned for fillings of planar contact manifolds is my own result in the strong filling case, but in the weak filling case it’s joint work with Niederkrüger.

      Now a further comment. There’s yet another notion of fillability that is interesting and hasn’t been mentioned here: we say a strong filling is an “exact filling” if the Liouville vector field near the boundary (or equivalently the contact form at the boundary) extends to a global Liouville vector field on the filling (or equivalently a global primitive of the symplectic form). The terms “Liouville filling” or “Liouville domain” are also often used, though you have to be careful because Hutchings occasionally uses “Liouville domain” to mean something slightly different. In any case, “exactly fillable” fits strictly between “strongly fillable” and “Stein fillable” in the hierarchy. I’m unclear on the details, but apparently Paolo’s argument obstructing Stein fillability for his examples also obstructs exact fillability, so that shows that “exactly” and “strongly” are not equivalent. More recently, Jonathan Bowden (in this preprint: http://arxiv.org/abs/1201.6550) built on Paolo’s examples to show that “exactly” and “Stein” are also not equivalent. Bowden’s construction is beautifully simple: you start with one of Paolo’s examples, which are known to be not Stein fillable. For some of these, it is possible to find a Liouville domain with two boundary components, one component of which is Paolo’s contact manifold. (The construction of this Liouville domain comes from some work of McDuff and Geiges from the early 90’s, which is not very hard but quite clever. Incidentally, this also has the interesting consequence that “exactly fillable” and “exactly semifillable” are not equivalent, in contrast to the corresponding notions in the Stein, strong and weak cases.) Now attach a Weinstein 1-handle to connect the two boundary components. This produces an exact filling of the contact connected sum of those two boundary components, but it cannot be Stein fillable. If it were, then a theorem of Eliashberg (from his “disk filling” survey paper, circa 1990) would imply that each of those components separately is also Stein fillable, but Paolo tells you that at least one of them is not.

      By the way, that result of Eliashberg’s on fillings of connected sums is another beautiful piece of this story which might deserve a post of its own. :)

  2. Pingback: Kylerec Overview | The Electric Handle Slide

Leave a comment