On the holomorphicity of genus two Lefschetz fibrations
Much of the current research in smooth 4-manifold theory involves difficult questions that attempt to sort out the exact relationship between symplectic and holomorphic manifolds. This important paper proves three major theorems which can be viewed in this light. Theorem C demonstrates that any symplectic surface in \({\mathbb C}P^2\) of degree \(d\leq 17\) is symplectically isotopic to a complex algebraic curve. Theorem B is a similar result stating that symplectic surfaces in \(S^2\)-bundles over \(S^2\) of bidegree \((a,b)\) with \(a\leq 7\) are isotopic to holomorphic curves. Results concerning symplectic isotopy classes of symplectic curves have a long history, beginning with an influential paper of \textit{M. L. Gromov} [Invent. Math. 82, 307--347 (1985; Zbl 0592.53025)], where he demonstrated Theorem C for curves of degree \(d\leq 2\). (Subsequent improvements were to \(d\leq 3\) by Sikorav, and \(d\leq 6\) by Shevchishin.) The conclusions of Theorems B and C are far from standard behavior, and a growing body of work is demonstrating that ``symplectic knot theory is in fact a rich subject; for instance, \textit{B. Ozbagci} and \textit{A. Stipsicz} [Proc. Am. Math. Soc. 128, 3125--3128 (2000; Zbl 0951.57015)] have shown that there is an infinite family of homologous non-isotopic symplectic surfaces in a blown up \(S^2\)-bundle over \(S^2\). Theorem A is the result that gives the paper its title, that any genus two symplectic Lefschetz fibration with only irreducible fibers and transitive monodromy is holomorphic. A similar conclusion that all elliptic (genus one) symplectic Lefschetz fibrations are holomorphic has long been known, from work of Moishezon and Livné [in \textit{B. Moishezon}, Complex surfaces and connected sums of complex planes, Lecture Notes in Math. 603, Springer-Verlag, New York (1977; Zbl 0392.32015)]. Their proof was essentially combinatorial, by finding standard forms for monodromy factorizations in the mapping class group \(SL(2,{\mathbb Z})\) of the torus. However the complexity of mapping class groups for surfaces of higher genus renders this approach unworkable, and necessitates the approach taken by Siebert and Tian. (In fact, nice corollaries of their paper are to give a purely geometric proof of the holomorphicity of elliptic fibrations, and to give standard braid monodromy factorizations for genus two fibrations.) Theorem A is proven as a straightforward consequence of Theorem B, by considering the fibration as a double cover of an \(S^2\)-bundle over \(S^2\) branched over a curve of bidegree \((6,b)\). The heart of the paper is the proof of the isotopy lemma in section 8, from which Theorems B and C follow. This lemma is a technical statement regarding the uniqueness of isotopy classes of pseudo-holomorphic smoothings of a pseudo-holomorphic cycle \(C_\infty=\sum_a m_a C_{\infty,a}\) in an \(S^2\)-bundle over \(S^2\). This uniqueness holds under the assumption that \(c_1(M)\cdot C_{\infty,a}>0\) for all \(a\) (a natural assumption), and that \[ \sum_{a| m_a>1} (c_1(M)\cdot C_{\infty,a} + g(C_{\infty,a})-1)<c_1(M)\cdot C_\infty-1. \] This inequality is required to deal with problems that arise in deforming multiply covered components, and it is what leads to the degree bounds in Theorems B and C. To deal with non-multiple components, Siebert and Tian make clever use of a result in section 7, which allows them to replace non-multiple components by spheres while introducing only nodal singularities. Another key ingredient is work of Shevchishin on moduli spaces of pseudo-holomorphic curves [preprint, math.SG/0010262]. The full proof of the isotopy lemma is lengthy and impressive; a useful summary in the introduction alone runs for several pages.
- Symplectic and Lagrangian surfaces in 4-manifolds
- Diffeomorphism types of genus 2 Lefschetz fibrations
- The persistence of the Chekanov-Eliashberg algebra
- Moduli space of J-holomorphic subvarieties
- The existence of an indecomposable minimal genus two Lefschetz fibration
- Refined disk potentials for immersed Lagrangian surfaces
- Symplectic surfaces and bridge position
- Fibred algebraic surfaces and commutators in the symplectic group
- A new approach to the symplectic isotopy problem
- A stable classification of Lefschetz fibrations
- Symplectic Lefschetz fibrations of curves as gonal coverings
- The topology of the space of \(J\)-holomorphic maps to \(\mathbb C\mathbb P^2\)
- Erratum to: ``Lefschetz pencils and divisors in moduli space
- Some Questions in the Theory of Pseudoholomorphic Curves
- Symplectic hypersurfaces in $\mathbb {C}P^3$
- A genus zero Lefschetz fibration on the Akbulut Cork
- Homologous non-isotopic symplectic surfaces of higher genus
- Invariants of real symplectic four-manifolds out of reducible and cuspidal curves
- Lectures on pseudo-holomorphic curves and the symplectic isotopy problem
- Non-isotopic symplectic surfaces in product 4-manifolds
- scientific article; zbMATH DE number 125536 (Why is no real title available?)
- Chart description for genus-two Lefschetz fibrations and a theorem on their stabilization
- scientific article; zbMATH DE number 1303895 (Why is no real title available?)
- A Runge approximation theorem for pseudo-holomorphic maps
- Resolving symplectic orbifolds with applications to finite group actions
- Counting Dirac braid relators and hyperelliptic Lefschetz fibrations
- scientific article; zbMATH DE number 1932902 (Why is no real title available?)
- A characterization of the standard smooth structure of K3 surface
- Lefschetz fibrations
- Classification of genus-1holomorphic Lefschetz pencils
- On a class of symplectic 4-orbifolds with vanishing canonical class
- Classification of six-dimensional monotone symplectic manifolds admitting semifree circle actions. I
- Small Lefschetz fibrations and exotic 4-manifolds
- Lefschetz fibrations and real Lefschetz fibrations
- Unique fiber sum decomposability of genus 2 Lefschetz fibrations
- Classification of six-dimensional monotone symplectic manifolds admitting semifree circle actions. III
- Classification of six-dimensional monotone symplectic manifolds admitting semifree circle actions. II
- The symplectic isotopy problem for rational cuspidal curves
- Symplectic hats
- Small exotic 4-manifolds and symplectic Calabi-Yau surfaces via genus-3 pencils
- A proof of the Hamiltonian Thom isotopy Lemma
- Branched covers and pencils on hyperelliptic Lefschetz fibrations
- A four-dimensional mapping class group relation
- Hexagonal lattice diagrams for complex curves in \(\mathbb{CP}^2\)
- Optimal transport between algebraic hypersurfaces
- Minimal two spheres in Kähler-Einstein Fano manifolds
- Enumerative aspect of symplectic log Calabi-Yau divisors and almost toric fibrations
- Lagrangian isotopy of tori in \({S^2\times S^2}\) and \({{\mathbb{C}}P^2}\)
- Symplectic tori in rational elliptic surfaces
- The canonical pencils on Horikawa surfaces
- Chart description for hyperelliptic Lefschetz fibrations and their stabilization
- Ruled 4-manifolds and isotopies of symplectic surfaces
This page was built for publication: On the holomorphicity of genus two Lefschetz fibrations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2387157)
