Kylerec – On J-holomorphic curves, part 2

This is a continuation post following part 1. Hope the delay wasn’t too long – more coming soon.

 

A preparatory comment on last time

Let us quickly recall the proof sketched in part 1 that fillable implies tight for contact (M^3,\xi). The idea was that if we had a filling W, then the presence of an overtwisted disk locally gave a Bishop family of holomorphic disks as part of a 1-dimensional moduli space, but the compactified moduli space was seen to have only one boundary point. This was because continuing the family away from the center of the overtwisted disk could not lead to a possible boundary point – in our version, such a point would require a bubble, but we considered exact fillings.

It was mentioned last time that Eliashberg’s paper on fillings by holomorphic disks actually covers the weak case instead. The difference is that one now instead shows that any closed surface in a contact boundary which is weakly filled indeed bounds a 3-manifold which can be foliated by holomorphic disks. With this result, we never actually need to consider bubbles on the interior, so we can remove the exactness assumption.

I want to point this out because although this isn’t perfectly analagous to the discussion in the next section on Wendl’s paper, it is related in basic idea. The set-up is different, sure, and also one cannot work directly with the contact manifold with its filling (the necessity of a strong filling appears in the need to attach a positive cylindrical end), and finally also the completed foliation does have (isolated) nodal curves, but in the end we end up with a nice Lefschetz fibration with holomorphic fibers, and that’s pretty powerful, just like Eliashberg’s disk fillings. We explain this… now!

 

On Wendl’s Strongly fillable contact manifolds and J-holomorphic foliations

I should say, first of all, that one can generalize the results I am discussing here. For a somewhat more general discussion, see this post by Laura Starkston from 2013.

In this section, all contact manifolds are 3-dimensional and all symplectic manifolds are 4-dimensional.

We begin by recalling that the symplectization of a cooriented contact manifold (M,\xi = \ker \alpha) is the symplectic manifold (\mathbb{R} \times M, d(e^t\alpha)), where t is the \mathbb{R}-coordinate. This symplectic manifold does not depend upon the choice of \alpha, since if we chose \alpha' = e^f \alpha, then d(e^t\alpha') = d(e^{t+f}\alpha) = \phi^* d(e^t\alpha) where \phi is the diffeomorphism of \mathbb{R} \times M sending (t,m) \mapsto (t+f(m),m).

Remark: One can define this in a more invariant way. The symplectization of (M,\xi) is the set of covectors vanishing on \xi. This is an \mathbb{R}^*-bundle over M and is symplectic with respect to the standard symplectic form on T^*M. Fixing a local section \alpha over M gives a coordinate w for the fiber such that the symplectic form is just d(w\alpha). We simply take the component where e^t := w > 0 and \alpha coorients \xi.

Given a symplectization, explicitly determined by a chosen contact form \alpha, one typically studies J-holomorphic curves only for choices of J which are admissible, meaning:

  • J is \mathbb{R}-invariant
  • J \partial_t = R_{\alpha}
  • J|_{\xi} is a compatible almost complex structure for d\alpha|_{\xi}

Under these conditions, finite energy J-holomorphic curves from punctured Riemann surfaces are analytically easy to understand – the punctures are asymptotic to Reeb orbits at the positive and negative ends, and Gromov compactness extends to this setting in that one needs to include holomorphic buildings. One can imagine, for example a sequence of J-holomorphic curves which look like some union of cylinders over Reeb orbits for all but a union of two intervals (-A-C,-A) \cup (A,A+C) on which there is nontrivial behavior, where C remains fixed but A \rightarrow \infty. In the limit, as these two intervals get farther apart, we break into two holomorphic curves in the symplectization. This forms what is sometimes called a holomorphic building. In general, there may be multiple levels in the limit, as in the figure below.

Holomorphic_Building

Here, a J-holomorphic curve gets stretched out in two places, shown in green, until eventually these green almost cylindrical parts get infinitely long. In the limit, we obtain a three story holomorphic building.

For more details in much more generality, one should consult this paper of Bourgeois, Eliashberg, Hofer, Wysocki, and Zehnder.

Now suppose that we have a strong filling (W,\omega) of a contact manifold (M,\xi). Then by definition, we have a Liouville vector field V whose flow allows me to identify a neighborhood of M with a subset of the symplectization of the form ((-\epsilon,0] \times M, d(e^t\alpha)) where \alpha is a contact form for \xi on M. One can append the rest of the positive end of the symplectization, ([0,\infty) \times M, d(e^t\alpha)), to form a completed symplectic manifold (\widehat{W},\widehat{\omega}). I can choose some compatible almost complex structure J which far enough into the positive end is a restriction of some admissible J_+. In this case, one can study J-holomorphic curves, and we have a similar Gromov compactness statement. In this case, our curves can either bubble, or form holomorphic buildings where the lowest level is just (\widehat{W},J) and whose higher levels are all (\mathbb{R} \times M, J_+).

Theorem (vaguely stated): Under some technical analytical conditions, an \mathbb{R}-invariant foliation of \mathbb{R} \times M by J-holomorphic curves of uniformly bounded energy will extend, with isolated nodal singularities, to the interior of W (and hence to all of \widehat{W}).

Proof (sketch): We study the compactification of the moduli space \mathcal{M} of finite energy J-holomorphic curves in \widehat{W}, and in particular, the closure of the component \mathcal{M}_0 of the moduli space containing a special leaf in the symplectization end. This component is 2-dimensional, and hence is precisely given by the foliating leaves around it (recall \widehat{W} is 4-dimensional). The closure of this component yields the full J-holomorphic foliation, where some isolated finite subset of the leaves are actually nodal curves.

In the end, by considering on which curve in the foliation a point is located, this yields a map \pi \colon \widehat{W} \rightarrow \overline{\mathcal{M}_0}, where the fibers are symplectic (since they are J-holomorphic and J is compatible with \widehat{\omega}) and generically smooth except with finitely many nodal singular fibers, forming what is called a symplectic Lefschetz fibration.

We will discuss this notion more in a future post, where we will also see that Stein fillings correspond in some sense to certain (“allowable”) symplectic Lefschetz fibrations over a disk. Hence, one can ask – are there some examples of contact manfiolds (M,\xi) on which we can find a finite energy foliation on the symplectization \mathbb{R} \times M satisfying the correct analytical assumptions and such that \overline{\mathcal{M}_0} = \mathbb{D}? The answer is yes in the case when (M,\xi) is supported by a so-called planar open book, as was proved in this paper by Wendl. We will define this in a future post, but this discussion implies (up to how to tackle the word “allowable”) that:

Corollary: For contact 3-manifolds supported by a planar open book, strong and Stein fillability are equivalent.

Along similar lines, one can find finite energy foliations for the standard 3-torus (\mathbb{T}^3,\xi_0) (with contact structure induced by the restriction of the Liouville form on T^*\mathbb{T}^2 to the unit cotangent bundle). In this case, any strong filling, not just the standard one, would have \overline{\mathcal{M}_0} = [0,1] \times S^1, and so any strong filling of (\mathbb{T}^3,\xi_0) arises as the boundary of a Lefschetz fibration to [0,1] \times S^1. Wendl then beefs this up to prove, for example, that every minimal strong filling of (\mathbb{T}^3,\xi_0) is diffeomorphic to \mathbb{T}^2 \times \mathbb{D}.

Finally, one can use these results to obstruct strong fillability in a manner analogous to the Bishop family argument. That is, if (M,\xi) has a finite energy foliation satisfying the technical analytic assumptions, then one should be able to extend that foliation to a strong filling. Recall that the foliation extended by considering the component of the moduli space containing some specified leaf u_0 satisfying some conditions. If there is some other leaf u_1 which is not diffeomorphic to u_0, then they cannot both be fibers of the same Lefschetz fibration, and so there couldn’t have been a strong filling in the first place. There are also other more technical versions of this argument, which for example allow one to reprove that positive Giroux torsion, i.e. that there is a contact embedding of ([0,1] \times T^2, \cos(2\pi t)d\theta_1 + \sin(2\pi t)d\theta_2), obstructs fillability, originally proved by David Gay using gauge-theoretic methods which are completely avoided in this approach.

 

On Barth-Geiges-Zehmisch’ The diffeomorphism type of fillings

As we have now seen twice, the technique of comparing moduli spaces of J-holomorphic curves to the topology of the situation in question is very powerful. We saw this both in our discussion last time of McDuff’s rational ruled classification, and we also just saw in our discussion of Wendl’s paper that the breaking which occurs in the compactification of a certain moduli space of curves in a strong filling of the positive end of a symplectization actually cooks up a Lefschetz fibration. One can view this paper as another instance of this way of thinking – here evaluation maps end up directly producing strong restrictions on the topology of a filling.

As we will see in a future post, Weinstein fillings of contact manifolds (M^{2n+1},\xi) have a surgery theory consisting of handles of index at most n, and so they have the homotopy type of a CW complex of at most this dimension. A subcritical Weinstein filling is then one where all the handles have index at most n-1. The main theorem states that the existence of just one subcritical Weinstein filling places restrictions on the topology of any strong symplectically aspherical filling (W,\omega). By symplectically aspherical, we mean that \omega|_{\pi_2(W)} = 0.

Theorem [BGZ]: If (M,\xi) is a contact manifold of dimension \geq 3 admitting a subcritical Stein filling with the homotopy type of a CW complex of dimension \ell_0, then any strong symplectically aspherical filling (W,\omega) satisfies

  • H_k(W) = H_k(M) for k = 0,\ldots, \ell_0 via the isomorphism induced by inclusion
  • H_k(W) = 0 otherwise
  • If \pi_1(M) = 0, then all strong aspherical fillings of M are diffeomorphic.

Corollary [Eliashberg-Floer-McDuff ’91]: Every symplectically aspherical filling of the standard contact sphere is diffeomorphic to a ball.

Remark: For S^3, which is just the lens space L(1,1), McDuff’s theorem from last time about fillings of lens spaces implies that there is a unique minimal filling up to diffeomorphism. By positivity of intersection, symplectically aspherical fillings are minimal, which implies the above result. But also, since \omega is automatically a trivial cohomology class on the ball, McDuff’s result implies that the filling is in fact unique up to symplectomorphism. This result goes back to Gromov’s ’85 paper.

We won’t quite make it to a proof of the full theorem, but we will see some of the inner workings in the statement of the theorem stated below. We proceed by making an extra definition (not in Barth-Geiges-Zehmisch) to clarify the exposition.

Definition: Let (M^{2n+1},\xi) be a connected contact manifold and (V^{2n},\omega = d\lambda) a Liouville manifold of finite type (meaning it is modelled after a positive symplectization outside of some compact region). Let \mathcal{L} be the corresponding Liouville vector field (satisfying i_{\mathcal{L}}\omega = \lambda). The M is called Vspliffable (yes, this is what we called it at Kylerec) if M is contactomorphic to a hypersurface \widetilde{M} in V \times \mathbb{C} such that:

  • \widetilde{M} is convex, meaning it is transverse to the vector field \mathcal{L} \oplus \partial_r where \partial_r is the standard radial Liouville vector field on \mathbb{C}
  • the infinite component of V \times \mathbb{C} \setminus \widetilde{M} is modelled after the positive symplectization of M meaning this component is the union of the positive flow of \widetilde{M} along \mathcal{L} \oplus \partial_r

Remark: A contact manifold which is fillable by a subcritical Weinstein manifold is spliffable. This follows from a result of Cieliebak that subcritical Stein manifolds are split.

Theorem: Let (W,\omega) be an aspherical strong filling of a V-spliffable contact manifold M. Then there exists a commutative diagram of the form

BGZ_Diagram_Theorem

(and similarly with H_* replaced with \pi_1).

Remark: The Eliashberg-Floer-McDuff theorem is already a corollary of this weaker statement, using that S^{2n-1} is \mathbb{C}^{n-1}-spliffable, and using smooth topology.

Corollary: The unit cotangent bundle M = S^*\Sigma of a closed manifold \Sigma^n admits no subcritical Weinstein fillings.

Proof: We need H_n(V) surjects onto H_n(W) \neq 0 with W the standard unit disk filling and M is V-spliffable. But if M admits a subcritical filling, then V can be chosen to be subcritical so that H_n(V) = 0. This is a contradiction.

Proof of the main theorem:

We begin by embedding M into V \times \mathbb{D} so that it is convex (which we can do by the spliffability condition). The interior component determine by the splitting through M can then be replaced by W by gluing in (since strong gluings are set up to be Liouville near the boundary). Call the interior of this manifold Z. We can then choose a map \mathbb{D} \rightarrow \mathbb{C}P^1 such that the interior embeds diffeomorphically onto \mathbb{C}P^1 \setminus \{\infty\}. This embedding then gives us a smooth manifold \widetilde{Z} which looks like V \times \mathbb{C}P^1 but with the interior component replaced by W. That is, \widetilde{Z} = Z \cup (V \times \{\infty\}).

BGZ_Setup

We then wish to study some J-holomorphic curves on this manifold. We pick a compatible J which away from W is of the form J_V \oplus i_{\text{std}}, where J_V is admissible (as discussed in the previous section) for V. We study the moduli space \mathcal{M} of J-holomorphic spheres u \colon \mathbb{C}P^1 \rightarrow \widetilde{Z} such that [u] = [\{v\} \times \mathbb{C}P^1] (for some v large enough so that this slice misses W). We really want this up to reparametrization, so we fix slice conditions to define this moduli space: that u(-1) \in V\times \{a\}, u(+1) \in V \times \{b\}, and u(\infty) \in V \times \{\infty\}, for some choice of a,b \in \mathbb{C}P^1 distinct and not \infty.

The key about positive symplectization ends is that admissibility of the almost complex structure J implies a maximum principle for these curves. This implies the following two items.

  • Since V \times \mathbb{C}P^1 looks like a symplectization, in \widetilde{Z}, any curve in our moduli space must have actually just been \{v\} \times \mathbb{C}P^1.
  • Any curve in our moduli space intersecting W must intersect V \times \{\infty\}. First of all, W is symplectically aspherical, so any holomorphic sphere must leave W. But then, if it didn’t intersect V \times \{\infty\}, it would be contained completely in V \times \mathbb{C}, which contradicts this maximum principle.

Now, this moduli space is an oriented manifold of dimension 2n, and it comes with an evaluation map of the form \mathcal{M} \times \mathbb{C}P^1 \rightarrow \widetilde{Z}. This map is actually proper and degree 1, which follows from the maximum principles just described, plus a little boost from positivity of intersection which implies that there is no need to worry about stable maps in the compactification of \mathcal{M}. This then restricts to a proper degree 1 evaluation map \mathcal{M} \times \mathbb{C} \rightarrow Z.

Hence, we obtain the following commutative diagram.

BGZ_Diagram_Proof

In homology, the right triangle becomes the desired triangle from the theorem.

BGZ_Diagram_Proof_2

As for the surjectivity part of the theorem, note that the leftmost vertical arrow is an isomorphism. Meanwhile, the bottom horizontal arrow is surjective for standard topological reasons (because one can cook up an explicit shriek map \text{ev}_! which is right inverse to \text{ev}_* on the level of homology).

 

Advertisements

2 Comments

Filed under Uncategorized

2 responses to “Kylerec – On J-holomorphic curves, part 2

  1. Pingback: Kylerec – Weinstein fillings | The Electric Handle Slide

  2. Pingback: Kylerec – Seiberg-Witten and Fillings | The Electric Handle Slide

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s