Symplectic log Kodaira dimension $-\infty$, affine-ruledness and unicuspidal rational curves

TL;DR

This paper explores symplectic 4-manifolds with log Kodaira dimension -infinity, introducing symplectic affine-ruledness, and characterizing certain divisors and curves, extending algebraic surface results to symplectic geometry.

Contribution

It introduces symplectic affine-ruledness, establishes a symplectic analogue of a classical algebraic theorem, and studies deformation properties of divisors in symplectic 4-manifolds.

Findings

Characterization of symplectic affine-ruled divisors as foliated by punctured spheres

Extension of algebraic surface classification to symplectic setting with log Kodaira dimension -infinity

Deformation equivalence of symplectic pairs to Kähler pairs

Abstract

Given a closed symplectic $4$-manifold $(X,\omega)$, a collection $D$ of embedded symplectic submanifolds satisfying certain normal crossing conditions is called a symplectic divisor. In this paper, we consider the pair $(X,\omega,D)$ with symplectic log Kodaira dimension $-\infty$ in the spirit of Li-Zhang. We introduce the notion of symplectic affine-ruledness, which characterizes the divisor complement $X\setminus D$ as being foliated by symplectic punctured spheres. We establish a symplectic analogue of a theorem by Fujita-Miyanishi-Sugie-Russell in the algebraic settings which describes smooth open algebraic surfaces with $\overline{\kappa}=-\infty$ as containing a Zariski open subset isomorphic to the product between a curve and the affine line. When $X$ is a rational manifold, the foliation is given by certain unicuspidal rational curves of index one with cusp singularities located at the intersection point in $D$. We utilize the correspondence between such singular curves and embedded curves in its normal crossing resolution recently highlighted by McDuff-Siegel, and also a criterion for the existence of embedded curves in the relative settings by McDuff-Opshtein. Another main technical input is Zhang's curve cone theorem for tamed almost complex $4$-manifolds, which is crucial in reducing the complexity of divisors. We also investigate the symplectic deformation properties of divisors and show that such pairs are deformation equivalent to K\"ahler pairs. As a corollary, the restriction of the symplectic structure $\omega$ on an open dense subset in the divisor complement $X\setminus D$ is deformation equivalent to the standard product symplectic structure.