×

Bridge trisections in rational surfaces. (English) Zbl 1542.57013

Summary: We study smooth isotopy classes of complex curves in complex surfaces from the perspective of the theory of bridge trisections, with a special focus on curves in \(\mathbb{CP}^2\) and \(\mathbb{CP}^1\times \mathbb{CP}^1\). We are especially interested in bridge trisections and trisections that are as simple as possible, which we call efficient. We show that any curve in \(\mathbb{CP}^2\) or \(\mathbb{CP}^1\times \mathbb{CP}^1\) admits an efficient bridge trisection. Because bridge trisections and trisections are nicely related via branched covering operations, we are able to give many examples of complex surfaces that admit efficient trisections. Among these are hypersurfaces in \(\mathbb{CP}^3\), the elliptic surfaces \(E(n)\), the Horikawa surfaces \(H(n)\), and complete intersections of hypersurfaces in \(\mathbb{CP}^N\). As a corollary, we observe that, in many cases, manifolds that are homeomorphic but not diffeomorphic have the same trisection genus, which is consistent with the conjecture that trisection genus is additive under connected sum. We give many trisection diagrams to illustrate our examples.

MSC:

57K40 General topology of 4-manifolds
57M12 Low-dimensional topology of special (e.g., branched) coverings
57K45 Higher-dimensional knots and links
14J26 Rational and ruled surfaces
14J80 Topology of surfaces (Donaldson polynomials, Seiberg-Witten invariants)

References:

[1] Akbulut, S. and Kirby, R., Branched covers of surfaces in 4-manifolds, Math. Ann.252 (1979/80) 111-131. MR 593626. · Zbl 0421.57002
[2] Akhmedov, A. and Park, B. D., Exotic smooth structures on small 4-manifolds with odd signatures, Invent. Math.181 (2010) 577-603. MR 2660453. · Zbl 1206.57029
[3] Auroux, D., Symplectic 4-manifolds as branched coverings of \(C P^2\), Invent. Math.139 (2000) 551-602. MR 1738061. · Zbl 1080.53084
[4] P. Cahn and A. Kjuchukova, Singular branched covers of four-manifolds, arXiv:1710.11562 . · Zbl 1476.57006
[5] Donaldson, S. K., Polynomial invariants for smooth four-manifolds, Topology29 (1990) 257-315. MR 1066174. · Zbl 0715.57007
[6] Donaldson, S. K., Lefschetz pencils on symplectic manifolds, J. Differential Geom.53 (1999) 205-236. MR 1802722. · Zbl 1040.53094
[7] P. Feller, M. Klug, T. Schirmer and D. Zemke, Calculating the classical algebraic topology of a 4-manifold from a trisection diagram, https://mathscinet.ams.org/ mathscinet-getitem?mr=3871789. · Zbl 1421.57028
[8] Freedman, M. H., The topology of four-dimensional manifolds, J. Differential Geom.17 (1982) 357-453. MR 679066 (84b:57006). · Zbl 0528.57011
[9] Fintushel, R. and Stern, R. J., Pinwheels and nullhomologous surgery on 4-manifolds with \(b^+=1\), Algebr. Geom. Topol.11 (2011) 1649-1699. MR 2821436. · Zbl 1234.57035
[10] Fuller, T., Diffeomorphism types of genus 2 Lefschetz fibrations, Math. Ann.311 (1998) 163-176. MR 1624287. · Zbl 0905.57014
[11] Gay, D. T., Trisections of Lefschetz pencils, Algebr. Geom. Topol.16 (2016) 3523-3531. MR 3584265. · Zbl 1375.57023
[12] Griffiths, P. and Harris, J., Principles of Algebraic Geometry, (John Wiley & Sons, 1978). MR 507725. · Zbl 0408.14001
[13] Gay, D. and Kirby, R., Trisecting 4-manifolds, Geom. Topol.20 (2016) 3097-3132. MR 3590351. · Zbl 1372.57033
[14] Gompf, R. E., Stable diffeomorphism of compact 4-manifolds, Topology Appl.18 (1984) 115-120. MR 769285. · Zbl 0589.57017
[15] Gompf, R. E. and Stipsicz, A. I., 4-Manifolds and Kirby Calculus, , Vol. 20 (Amer. Math. Soc., 1999). MR 1707327. · Zbl 0933.57020
[16] Haken, W., Some results on surfaces in 3-manifolds, in Studies in Modern Topology, (Prentice-Hall, 1968), pp. 39-98. MR 0224071 (36 #7118). · Zbl 0194.24902
[17] G. Islambouli, Nielsen equivalence and trisections of 4-manifolds (2018), https://arxiv. org/abs/1804.06978. · Zbl 1395.57003
[18] K. Johannson, Topology and Combinatorics of 3-Manifolds, Lecture Notes in Mathematics, Vol. 1599 (Springer-Verlag, 1995). MR 1439249. · Zbl 0820.57001
[19] Kirby, R., Problems in low dimensional manifold theory, Algebraic and geometric topology, Proc. Symp. Pure Mathematics, , XXXII, (Amer. Math. Soc., 1976/1978), pp. 273-312. MR 520548 (80g:57002).
[20] Laudenbach, F. and Poénaru, V., A note on 4-dimensional handlebodies, Bull. Soc. Math. France100 (1972) 337-344. MR 0317343 (47 #5890). · Zbl 0242.57015
[21] Mandelbaum, R., Special handlebody decompositions of simply connected algebraic surfaces, Proc. Amer. Math. Soc.80 (1980) 359-362. MR 577774. · Zbl 0448.57004
[22] J.Meier, Trisections and spun 4-manifolds, arXiv:1708.01214 . · Zbl 1412.57016
[23] Mandelbaum, R. and Moishezon, B., On the topological structure of non-singular algebraic surfaces in CP^3, Topology15 (1976) 23-40. MR 0405458. · Zbl 0323.57005
[24] Mandelbaum, R. and Moishezon, B., On the topology of simply connected algebraic surfaces, Trans. Amer. Math. Soc.260 (1980) 195-222. MR 570786. · Zbl 0465.57014
[25] Meier, J., Schirmer, T. and Zupan, A., Classification of trisections and the Generalized Property R Conjecture, Proc. Amer. Math. Soc.144 (2016) 4983-4997. MR 3544545. · Zbl 1381.57018
[26] J. Meier and A. Zupan, Bridge trisections of knotted surfaces in 4-manifolds, arXiv:e-prints (2017). · Zbl 1376.57025
[27] Meier, J. and Zupan, A., Bridge trisections of knotted surfaces in \(S^4\), Trans. Amer. Math. Soc.369 (2017) 7343-7386. MR 3683111. · Zbl 1376.57025
[28] Meier, J. and Zupan, A., Genus-two trisections are standard, Geom. Topol.21 (2017) 1583-1630. MR 3650079. · Zbl 1378.57031
[29] J. Spreer and S. Tillmann, The trisection genus of standard simply connected PL 4-manifolds, arXiv:e-prints (2017). · Zbl 1471.57018
[30] Taubes, C. H., The Seiberg-Witten invariants and symplectic forms, Math. Res. Lett.1 (1994) 809-822. MR 1306023. · Zbl 0853.57019
[31] Wall, C. T. C., On simply-connected 4-manifolds, J. London Math. Soc.39 (1964) 141-149. MR 0163324. · Zbl 0131.20701
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.