I am writing from the 4-manifolds conference at the University of Minnesota. Lots of different approaches to and constructions of 4-manifolds have been discussed and slides from some of the courses are on the conference website . Today, I want to focus on Chris Wendl’s mini-course on characterizing symplectic fillings of certain contact structures (supported by a spinal open book with a planar page) in terms of Lefschetz fibrations. Additionally, the different notions of symplectic filling (weak, strong, Liouville, Weinstein, or Stein – see my previous post and Chris’ comment for details on these variations) all coincide in this case (up to blowing up). The results are contained in a paper of Lisi, Van Horn-Morris and Wendl coming out soon. This generalizes Chris’ earlier paper on the analogous theorem for regular planar open book decompositions . The results seem really powerful if one can make sense of how to find good spinal open books supporting contact manifolds of interest.
Though there may be some similarly defined notions in high dimensions, these results are only for 4-manifolds with 3-manifold boundary.
The definition for a spinal open book is motivated by looking at the decomposition induced on the boundary of a Lefschetz fibration. A Lefschetz fibration on a 4-manifold , is a smooth map to a surface , which has finitely critical points so that each critical point has a coordinate neighborhood so that in these coordinates looks like where are complex coordinates. The base surface and the generic fibers can have many boundary components, but should have at least one boundary component if we want to study Lefschetz fibrations of manifolds with boundary. It is useful, particularly when defining spinal open book decompositions, to choose to be a manifold with corners so that you can think of the fibers as sitting vertically and the sections to lie horizontally. Then the boundary decomposes into a horizontal piece and a vertical piece which meet at a codimension 2 corner. In the case with corners it is more accurate to use the term bordered Lefschetz fibration and one needs to be a little careful when talking about smooth maps/structures near the corners.
In this schematic picture the red horizontal boundary forms an bundle over three disjoint copies of the base surface (one for each boundary component of the fiber). This fibration makes up the “spine” of the induced spinal open book decomposition. [Note since has boundary this fibration is always trivial in this dimension.] The blue vertical boundary forms a fibration over (one copy of the fiber surface for each boundary component of the base ). This fibration is called the paper of the spinal open book decomposition. Each connected component of a fiber in this piece is called a page.
A special case of this is when the base surface is a disk. Then the induced spinal open book on the boundary is a genuine open book decomposition. The spine part is an bundle over (solid tori forming the binding), and the paper is a surface bundle over the circle with connected fibers (since the number of connected components in a fiber corresponds to the number of boundary components in the base surface ) so each fiber forms the page of an open book decomposition.
In general a spinal open book is a decomposition of a 3-manifold into the spine: any fibration over any surface with boundary (not necessarily connected), and the paper: any surface (with boundary and possibly disconnected) bundle over so that the intersection of the spine and the paper is a union of 2-dimensional tori. Many of these spinal open book decompositions do not arise as the boundary of bordered Lefschetz fibrations. However there are some slightly more complicated ways spinal open book decompositions can be found on the boundary of a bordered Lefschetz fibration than the above picture indicates. One thing that can happen is that the base surface of the spine may be a nontrivial cover of the base of the Lefschetz fibration. Maybe the schematic for this looks something like this:
The spine (red part) of the spinal open book decomposition can be a circle bundle over a nontrivial (in this picture double) cover of the base surface of the Lefschetz fibration. One can rule out these sort of Lefschetz fibrations by restricting attention to spinal open book decompositions that are “simple”: for any page, different boundary components of that page touch different components of the spine. In the simple case, a spinal open book whose spine is a circle fibration over a disconnected surface must have all connected components of be diffeomorphic surfaces. This rules out the existence of Lefschetz fillings for lots of spinal open book decompositions.
The main results of the mini-course were:
Theorem 1 (Decompositions -> Contact/Symplectic Geometry): Spinal open books determine a unique isotopy class of supported contact structures. Bordered Lefschetz fibrations determine a nonempty contractible space of symplectic forms on the 4-manifold which are weak/strong/Stein** fillings of the contact boundary.
**One must assume the bordered Lefschetz fibration is allowable (vanishing cycles are homologically essential) to get this result for Stein fillings.
Theorem 2 (Contact/Symplectic Geometry -> Decompositions): Suppose we have a contact manifold supported by a spinal open book which has a page of genus zero, and a weak symplectic filling of that contact manifold such that the restriction of to the spinal part of the boundary is exact. Then is supported by a bordered Lefschetz fibration (determined up to isotopy by the deformation class of ) which induces the given spinal open book decomposition on its boundary.
I will write the compatibility conditions for the contact/symplectic structure with the spinal open book/Lefschetz decomposition, but omit the discussion of the proof of theorem 1 for now.
A contact form is compatible with a spinal open book decomposition if
(1) restricted to the interior of each page is a positive area form
(2) On the spine , the fibers are Reeb orbits for .
There is a version of this compatibility notion when you are thinking of the spinal open book decomposition as the boundary of a 4-manifold with corners. In this case you look at germs of 1-forms thought of as the restriction of a smooth 1-form on the 4-manifold to the (not quite smooth) boundary. Require this to be a contact form in the complement of the corner parts between the spine and the paper plus conditions (1) and (2).
The basic compatibility conditions between a bordered Lefschetz fibration of and a symplectic form which ensure is a weak symplectic filling are:
(1) The restriction of to each fiber is positive away from critical points
(2) Near critical points tames an almost complex structure which is defined in advance near each critical point so that the fibers are holomorphic.
(3) Near the horizontal boundary (spine part) where is a contact form on the spine compatible with the spinal open book. [This additional partial exactness criterion is special to spinal open book decompositions since it is trivially satisfied for regular open books because the solid tori spines do not support any second cohomology.]
For strong fillings, require near the entire boundary.
The surprising result is theorem 2, the spinal generalization of Wendl’s earlier theorem that characterizes symplectic fillings of contact manifolds supported by planar open books as Lefschetz fillings of that particular open book decomposition. The idea of the proof is to symplectically complete (attach half of the symplectization to the end), and then fill that completion with a (singular) foliation by -holomorphic curves.
Symplectic Completions
Given a contact manifold one can form the symplectization where is the coordinate. In this case the vector field is Liouville:
If a symplectic manifold has convex boundary , we can match up a collared neighborhood of with a piece of this symplectization and form a non-compact symplectic manifold . Similarly for concave boundary one can attach to a collared neighborhood of the boundary. The advantage of such completions is that the flow of the Liouville vector field no longer runs off the boundary (it’s complete).
Chris discussed a weaker structure than a contact structure one can have near the boundary of a symplectic manifold so that there is still a natural symplectic completion. This is a stable Hamiltonian structure.
A symplectic manifold has stable boundary if there is a collared neighborhood of identified as such that is independent of . This is true if and only if the collared neighborhood is symplectomorphic to such that:
(1)
(2)
(3)
In this case is called a stable Hamiltonian structure (SHS) on the boundary of . When for a contact form , the pair is a SHS where . This is the convex boundary case, where gives a Liouville vector field near the boundary. For a general stable Hamiltonian boundary, is no longer a Liouville vector field but there is still a natural symplectic structure matching up the boundary to .
The advantage of working with completions using stable Hamiltonian structures is that one can work with weak fillings instead of strong fillings and still get the same results as long as the symplectic structure is exact near the spine part of the spinal open book.
Foliating by J-holomorphic curves
We assume for the rest of this post that we have a weak symplectic filling such that
(1) It weakly fills a contact manifold supported by a planar spinal open book decomposition
(2) On the spine part of , is exact.
Start by building J-holomorphic curves in the product part of the completion using a stable Hamiltonian structure that is nice with respect to the spinal open book decomposition of .
Since is exact, if is the paper fibration, is cohomologous to for a closed 1-form supported in .
On the spine, and a compatible contact form is one whose Reeb vector field points in the direction. We can construct such a contact form as follows. Choose a complex structure on and a plurisubharmonic function which is constant on boundary components of , and setting (such a plurisubharmonic function exists because has boundary). Then let where is the coordinate on .
Proposition: Given the above assumptions, it is possible to deform near such that there is a SHS on the boundary satisfying:
(1) In the spine away from the paper, , the stabilizing 1-form and .
(2) In the paper, , the stabilizing 1-form and for some large $k$ where is a “Giroux form” i.e. a contact form (or the cornered version) compatible with the spinal open book (so is positive on the pages).
Using this Stable Hamiltonian Structure to define the completion, there exists an almost complex structure satisfying:
(1) -invariant on the piece
(2) Each page is invariant
(3) For each gradient flowline of the plurisubharmonic function which defined the Liouville 1-form , there is a lift of in to a -holomorphic half-cylinder .
Here is a picture of some example gradient flowlines (in blue and red) on , which should exit the boundary of and land on a page (indicated by the green lines).
(4) Each page matches up to a union of the half cylinders to form a finite energy embedded -holomorphic curve.
In fact there is a family of such -holomorphic curves, of index $2-2g(P)$ for a page . Therefore when we have at least one page of genus zero, there is a 2-dimensional family of -holomorphic curves which start filling up the completion . The space of points hit by such -holomorphic curves is open, and closed if you include all possible degenerations of the curves. The generic curves are genus zero (a genus zero page with some cylinders attached). These can degenerate in two ways:
Either the vanishing cycle splits the curve into different components each with some bounday or it bubbles off a closed sphere. It is possible to show that if it bubbles off a closed sphere, this sphere has self-intersection number -1 which implies is not minimal. So if we assume we have a minimal weak symplectic filling, the degenerations must split off pieces with boundary and these types of degenerations can only happen finitely many times (since there are finitely many boundary components). In the end, this implies that the space of points hit by these (possibly degenerate) J-holomorphic curves is both open and closed so (assuming our filling was connected) it is the whole of .
To get a Lefschetz fibration, one must restrict to a compact subdomain of the (noncompact) symplectic completion. This can be done in the case that the spinal open book decomposition is simple.
Pingback: A biased survey on symplectic fillings, part 7 (maximal elements and co-fillability) | Symplectic Field Theorist
Pingback: Kylerec – On J-holomorphic curves, part 2 | The Electric Handle Slide
Pingback: Kylerec – Weinstein fillings | The Electric Handle Slide