Multisections of Lefschetz fibrations and topology of symplectic 4–manifolds

Baykur, R İnanç¹ ; Hayano, Kenta²

¹ Department of Mathematics and Statistics, University of Massachusetts, Lederle Graduate Research Tower, 710 North Pleasant Street, Amherst, MA 01003-9305, United States
² Department of Mathematics, Faculty of Science and Technology, Keio University, 3-14-1, Hiyoshi, Kohoku-ku, Yokohama, Kanagawa 223-8522, Japan

Geometry & topology, Tome 20 (2016) no. 4, pp. 2335-2395.

Résumé

We initiate a study of positive multisections of Lefschetz fibrations via positive factorizations in framed mapping class groups of surfaces. Using our methods, one can effectively capture various interesting symplectic surfaces in symplectic $4$–manifolds as multisections, such as Seiberg–Witten basic classes and exceptional classes, or branched loci of compact Stein surfaces as branched coverings of the $4$–ball. Various problems regarding the topology of symplectic $4$–manifolds, such as the smooth classification of symplectic Calabi–Yau $4$–manifolds, can be translated to combinatorial problems in this manner. After producing special monodromy factorizations of Lefschetz pencils on symplectic Calabi–Yau homotopy $K3$ and Enriques surfaces, and introducing monodromy substitutions tailored for generating multisections, we obtain several novel applications, allowing us to construct: new counterexamples to Stipsicz’s conjecture on fiber sum indecomposable Lefschetz fibrations, nonisomorphic Lefschetz pencils of the same genera on the same new symplectic $4$–manifolds, the very first examples of exotic Lefschetz pencils, and new exotic embeddings of surfaces.

Détail

DOI : 10.2140/gt.2016.20.2335

Classification : 57M50, 57R17, 57R55, 57R57, 53D35, 20F65, 57R22
Keywords: symplectic 4-manifold, exotic 4-manifold, Lefschetz fibration, Lefschetz pencil, multisection, nonisomorphic fibration, mapping class group, Dehn twist factorization, exotic embedding, symplectic Kodaira dimension, symplectic Calabi-Yau, fiber sum, Seiberg-Witten invariant

Bibliographie

[1] S Akbulut, R Kirby, Branched covers of surfaces in 4–manifolds, Math. Ann. 252 (1979/80) 111

[2] S Akbulut, B Ozbagci, Lefschetz fibrations on compact Stein surfaces, Geom. Topol. 5 (2001) 319

[3] D Auroux, L Katzarkov, A degree doubling formula for braid monodromies and Lefschetz pencils, Pure Appl. Math. Q. 4 (2008) 237

[4] S Bauer, Almost complex 4–manifolds with vanishing first Chern class, J. Differential Geom. 79 (2008) 25

[5] R İ Baykur, Topology of broken Lefschetz fibrations and near-symplectic four-manifolds, Pacific J. Math. 240 (2009) 201

[6] R I Baykur, Inequivalent Lefschetz fibrations and surgery equivalence of symplectic 4–manifolds, J. Symplectic Geom. 14 (2016) 671

[7] R İ Baykur, Minimality and fiber sum decompositions of Lefschetz fibrations, Proc. Amer. Math. Soc. 144 (2016) 2275

[8] R I Baykur, K Hayano, Hurwitz equivalence for Lefschetz fibrations and their multisections, to appear in Contemp. Math., "Proceedings of the 13th International Workshop on Real and Complex Singularities" (2015)

[9] P Bellingeri, S Gervais, Surface framed braids, Geom. Dedicata 159 (2012) 51

[10] S K Donaldson, Lefschetz pencils on symplectic manifolds, J. Differential Geom. 53 (1999) 205

[11] S Donaldson, I Smith, Lefschetz pencils and the canonical class for symplectic four-manifolds, Topology 42 (2003) 743

[12] J G Dorfmeister, Kodaira dimension of fiber sums along spheres, Geom. Dedicata 177 (2015) 1

[13] H Endo, Meyer’s signature cocycle and hyperelliptic fibrations, Math. Ann. 316 (2000) 237

[14] H Endo, Y Z Gurtas, Lantern relations and rational blowdowns, Proc. Amer. Math. Soc. 138 (2010) 1131

[15] B Farb, D Margalit, A primer on mapping class groups, 49, Princeton Univ. Press (2012)

[16] S Finashin, Knotting of algebraic curves in CP2, Topology 41 (2002) 47

[17] R Fintushel, R J Stern, Rational blowdowns of smooth 4–manifolds, J. Differential Geom. 46 (1997) 181

[18] R Fintushel, R J Stern, Surfaces in 4–manifolds, Math. Res. Lett. 4 (1997) 907

[19] R Fintushel, R J Stern, Knots, links, and 4–manifolds, Invent. Math. 134 (1998) 363

[20] R Fintushel, R J Stern, Families of simply connected 4–manifolds with the same Seiberg–Witten invariants, Topology 43 (2004) 1449

[21] R Fintushel, R J Stern, Six lectures on four 4–manifolds, from: "Low dimensional topology" (editors T S Mrowka, P S Ozsváth), IAS/Park City Math. Ser. 15, Amer. Math. Soc. (2009) 265

[22] S Friedl, S Vidussi, On the topology of symplectic Calabi–Yau 4–manifolds, J. Topol. 6 (2013) 945

[23] D Gay, T E Mark, Convex plumbings and Lefschetz fibrations, J. Symplectic Geom. 11 (2013) 363

[24] R E Gompf, A new construction of symplectic manifolds, Ann. of Math. 142 (1995) 527

[25] R E Gompf, A I Stipsicz, 4–manifolds and Kirby calculus, 20, Amer. Math. Soc. (1999)

[26] I Hambleton, M Kreck, Smooth structures on algebraic surfaces with cyclic fundamental group, Invent. Math. 91 (1988) 53

[27] I Hambleton, M Kreck, Cancellation, elliptic surfaces and the topology of certain four-manifolds, J. Reine Angew. Math. 444 (1993) 79

[28] A Kas, On the handlebody decomposition associated to a Lefschetz fibration, Pacific J. Math. 89 (1980) 89

[29] H J Kim, Modifying surfaces in 4–manifolds by twist spinning, Geom. Topol. 10 (2006) 27

[30] H J Kim, D Ruberman, Topological triviality of smoothly knotted surfaces in 4–manifolds, Trans. Amer. Math. Soc. 360 (2008) 5869

[31] M Korkmaz, Noncomplex smooth 4–manifolds with Lefschetz fibrations, Internat. Math. Res. Notices (2001) 115

[32] M Korkmaz, B Ozbagci, On sections of elliptic fibrations, Michigan Math. J. 56 (2008) 77

[33] T J Li, Smoothly embedded spheres in symplectic 4–manifolds, Proc. Amer. Math. Soc. 127 (1999) 609

[34] T J Li, The Kodaira dimension of symplectic 4–manifolds, from: "Floer homology, gauge theory, and low-dimensional topology" (editors D A Ellwood, P S Ozsváth, A I Stipsicz, Z Szabó), Clay Math. Proc. 5, Amer. Math. Soc. (2006) 249

[35] T J Li, Quaternionic bundles and Betti numbers of symplectic 4–manifolds with Kodaira dimension zero, Int. Math. Res. Not. 2006 (2006)

[36] T J Li, Symplectic 4–manifolds with Kodaira dimension zero, J. Differential Geom. 74 (2006) 321

[37] T J Li, A Liu, Symplectic structure on ruled surfaces and a generalized adjunction formula, Math. Res. Lett. 2 (1995) 453

[38] A Loi, R Piergallini, Compact Stein surfaces with boundary as branched covers of B4, Invent. Math. 143 (2001) 325

[39] G Massuyeau, A Oancea, D A Salamon, Lefschetz fibrations, intersection numbers, and representations of the framed braid group, Bull. Math. Soc. Sci. Math. Roumanie 56(104) (2013) 435

[40] Y Matsumoto, Lefschetz fibrations of genus two—a topological approach, from: "Topology and Teichmüller spaces" (editors S Kojima, Y Matsumoto, K Saito, M Seppälä), World Sci. Publ. (1996) 123

[41] D Mcduff, M Symington, Associativity properties of the symplectic sum, Math. Res. Lett. 3 (1996) 591

[42] W Meyer, Die Signatur von Flächenbündeln, Math. Ann. 201 (1973) 239

[43] B Ozbagci, Signatures of Lefschetz fibrations, Pacific J. Math. 202 (2002) 99

[44] J Park, K H Yun, Nonisomorphic Lefschetz fibrations on knot surgery 4–manifolds, Math. Ann. 345 (2009) 581

[45] Y Sato, 2–spheres of square −1 and the geography of genus–2 Lefschetz fibrations, J. Math. Sci. Univ. Tokyo 15 (2008) 461

[46] Y Sato, Canonical classes and the geography of nonminimal Lefschetz fibrations over S2, Pacific J. Math. 262 (2013) 191

[47] A Scorpan, The wild world of 4–manifolds, Amer. Math. Soc. (2005)

[48] B Siebert, G Tian, On the holomorphicity of genus two Lefschetz fibrations, Ann. of Math. 161 (2005) 959

[49] I Smith, Geometric monodromy and the hyperbolic disc, Q. J. Math. 52 (2001) 217

[50] I Smith, Lefschetz pencils and divisors in moduli space, Geom. Topol. 5 (2001) 579

[51] A I Stipsicz, Indecomposability of certain Lefschetz fibrations, Proc. Amer. Math. Soc. 129 (2001) 1499

[52] N S Sunukjian, Surfaces in 4–manifolds : concordance, isotopy, and surgery, Int. Math. Res. Not. 2015 (2015) 7950

[53] C H Taubes, The Seiberg–Witten invariants and symplectic forms, Math. Res. Lett. 1 (1994) 809

[54] C H Taubes, SW ⇒ Gr : from the Seiberg–Witten equations to pseudo-holomorphic curves, J. Amer. Math. Soc. 9 (1996) 845

[55] M Usher, Minimality and symplectic sums, Int. Math. Res. Not. 2006 (2006)