Symplectic Lefschetz Fibrations and the Geography Of
Total Page:16
File Type:pdf, Size:1020Kb
Symplectic Lefschetz fibrations and the geography of symplectic 4-manifolds Matt Harvey January 17, 2003 This paper is a survey of results which have brought techniques from the theory of complex surfaces to bear on symplectic 4-manifolds. Lefschetz fibrations are defined and some basic examples from complex surfaces discussed. Two results on the relationship between admitting a symplectic structure and admitting a Lefschetz fibration are explained. We also review the question of geography: 2 which invariants (c1, c2) occur for symplectic 4-manifolds. Constructions of simply connected symplectic manifolds realizing certain of these pairs are given. 1 Introduction It is possible to answer questions about a broad class of 4-manifolds by using the fact that they admit a special kind of structure called a Lefschetz fibration: a map from the manifold to a complex curve whose fibers are Riemann surfaces, some of them singular. The interesting data in such a fibration is the number of singular fibers and the types of these singular fibers. The types can be specified by monodromies (elements of the mapping class group of a regular fiber) associated to loops around the critical values of the fibration map in the base curve. Lefschetz fibrations should, at least in theory, frequently be applicable to ques- tions about symplectic 4-manifolds, in light of a theorem of Gompf that a Lef- schetz fibration on a 4-manifold X whose fibers are nonzero in homology gives a symplectic structure on X and a theorem of Donaldson that, after blowing up a finite number of points, every symplectic 4-manifold admits a Lefschetz fibration. After giving some examples from the category of complex surfaces and dis- cussing the above results on Lefschetz fibrations, we state and sketch a proof of Gompf’s theorem that fiber sums can be carried out along codimension 2 sym- 1 plectic submanifolds so that the resulting manifold will still carry a symplectic structure. Next is a brief introduction to the geography problem. The interesting part of this problem in the symplectic category is the question of existence of symplec- tic manifolds which are not homeomorphic to any complex surface. We will see that such manifolds do exist, and in fact all possible invariants of spin symplec- tic manifolds lying below the so-called Noether line are easy to realize using Gompf’s symplectic fiber sum. There are a few conventions used throughout the paper. The word curve always means complex curve (dimR = 2), but surface means closed 2-manifold. A complex surface will always be explicitly referred to as such. Coefficients for homology and cohomology are taken in Z when not otherwise specified. The Euler class e(ξ) of a principal U(1) = SO(2) bundle ξ is the same as the first Chern class. We may evaluate e(ξ)[S2] for such a bundle over the 2-sphere and speak of the Euler number. This can be viewed in terms of building total space of the associated disc bundle to the given principal bundle from two copies of D2 × D2. In particular, in the first factor of this product, the construction is that of S2 as the union of the “northern” and “southern” hemispheres along the “equator.” The fibers in the second factor are identified by assigning an element of SO(2) to each point of the equator. By a diffeomorphism, we can choose the element of SO(2) assigned to some fixed base point on the equator to be the identity. The identifications over the equator then give a map S1 → SO(2). The isomorphism type of the principal bundle depends only on the homotopy class ∼ of this map, which is an element of π1(SO(2)) = Z called the Euler number of the bundle. PD(·) is used in various contexts to denote the Poincar´edulaity ∼ n−k isomorphism Hk(X) = H (X) for compact manifolds. We sometimes abuse notation and identify the latter group with the deRham cohomology. 2 Building blocks in the complex category The following definition will be needed later, but it also provides one of the most basic examples of a 4-manifold admitting a Lefschetz fibration. (This particular one has no critical points and no singular fibers.) Definition 2.1 A ruled surface is a compact complex surface S with a map 1 π : S → C to a complex curve C such that every fiber is a complex line CP . 2 2.1 Lefschetz fibrations The structure of Lefschetz fibrations comes from a decomposition of complex surfaces called a Lefschetz pencil. n If S ⊂ CP is a complex surface, then a generic codimension 2 linear subspace n A ⊂ CP meets S in some finite set of points B. We may then consider two n codimension 1 linear subspaces of CP which both contain the subspace A but otherwise are generic. We can specify these subspaces as the zero sets of two linear homogeneous polynomials V (p0) and V (p1). 1 Now for fixed t = [t0 : t1] ∈ CP , consider the variety Lt = V (t0p0 + t1p1). This n will be a codimension 1 linear subspace of CP containing A. By a dimension count, we see that Lt intersects our original surface S in a complex curve, 1 which may be singular. Choosing s, t ∈ CP , note that Ls ∩ Lt = A so that (Ls ∩ S) ∩ (Lt ∩ S) = B. That is, all of the curves obtained above intersect exactly in the finite set of points B. After blowing up each point of B, we obtain 2 1 1 a well-defined map X#|B|CP → CP by sending each point to that t ∈ CP specifying the curve Lt ∩ S on which it lies. Definition 2.2 A Lefschetz fibration on a 4-manifold X is a map π : X → Σ where Σ is a closed 2-manifold having the following properties: 1. The critical points of π are isolated. 2. If P ∈ X is a critical point of π then there are local coordinates (z1, z2) on X and z on Σ with P = (0, 0) and such that in these coordinates π is 2 2 given by the complex map z = π(z1, z2) = z1 + z2 . In terms of this descrtiption of the critical points, a Lefschetz fibration can be thought of as a kind of complex analogue of a Morse function. Note that if the 4-manifold X is closed (∂X = ∅ and X is compact) then the generic fiber F of π is a closed 2-manifold, so a Riemann surface of some genus. Part of the utility of Lefschetz fibrations is that this simple property means that X can be reconstructued once we know how the fibers are identified if one travels around some loop in Σ \ C where C ⊂ Σ is the set of critical values of π. That is, Lefschetz fibrations admit a combinatorial description in terms of their monodromy representation ρ : π1(Σ \ C) → π0(Diff(F )) from the fundamental group of Σ \ C into the group of homotopy classes of self-diffeomorphisms of F . The latter group is often called the mapping class group. 3 2.2 Examples 2 2 A very simple example of a Lefschetz fibration is a map from CP #CP → 1 2 CP . One begins with a point P ∈ CP and two generic lines containing this point, which we can take to be the vanishing sets V (p0) and V (p1) of two 2 independent degree 1 polynomials. For any point Q ∈ CP \ P there is a unique line V (pQ) containing both P and Q given as the vanishing set of another degree 1 polynomial. Some easy linear algebra shows that one can write pQ = t0p0+t1p1 1 for some [t0 : t1] ∈ CP . The map Q 7→ [t0 : t1] gives the desired fibration on 2 CP \ P . Since we can view blowing up the point P as replacing the point P by the set of all lines passing through P , we obtain a well-defined fibration 2 2 1 2 2 CP #CP → CP . Note that this shows CP #CP is a ruled surface since the 1 fiber over a point [t0 : t1] is V (t0p0 + t1p1), a CP . 2 One can play a similar game starting with points P1,...,P9 ∈ CP given as the intersection V (p0)∩V (p1), where p0 and p1 are two generic homogeneous cubics in three variables. The nine intersection points are in general position. We will be interested in vanishing sets of polynomials of the form 3 3 3 2 2 a1X + a2Y + a3Z + a4X Y + a5X Z+ 2 2 2 2 a6Y Z + a7Z X + a8Z Y + a9Y X + a10XY Z. 2 Picking a point Q ∈ CP \{P1,...,P9} and asking that its coordinates [X : Y : Z] satisfy the above equation gives one linear relation on the ai. In the same way P1,...,P9 give 9 more. Generically, we obtain in this way a homogeneous cubic which (by more linear algebra) can be written as pQ = t0p0 + t1p1. Note 0 that all points Q ∈ V (pQ) give the same [t0 : t1]. Again, by viewing the blow-up of each of the Pi as replacing that point by the set of all points passing through 2 2 1 it, we obtain a map CP #9CP → CP whose generic fibers are elliptic curves 2 in CP , which are topologically the two-dimensional torus T 2. A holomorphic map π : S → C from a complex surface to a complex curve whose generic fibers are nonsingular elliptic curves is called an elliptic fibration. The above is an example known as E(1). There is also the notion of C∞ elliptic fibration which is roughly a map from a 4-manifold to a 2-manifold which is locally diffeomorphic to a holomorphic elliptic fibration by diffeomorphisms of open subsets of S and C commuting with the given maps S → C.