Small symplectic $4$-manifolds via contact gluing and some applications
Weimin Chen
TL;DR
The paper develops a streamlined contact-gluing approach to build small symplectic 4-manifolds by composing convex fillings with concave caps, adapting Gay's technique to ${\\mathbb S}^1$-invariant Seifert data. It constructs explicit caps $V_0$ with concave boundaries and combines them with fillings $W_0$ to produce closed manifolds such as ${\\mathbb C}\\mathbb P^2\\#\\overline{\\mathbb C}\\mathbb P^2}$ and ${\\mathbb S}^2\\times\\mathbb S^2$, and to realize embedded singular Lagrangian ${\\mathbb R}\\mathbb P^2$ and Lagrangian Klein bottles. The work develops the theory of ${\\mathbb S}^1$-invariant contact structures, rational open books with periodic monodromy, and relative 2-handle attachments, enabling precise control of boundary Seifert data and canonical class signs. It then relates these constructions to algebraic geometry via rational unicuspidal curves, Milnor fillings, and Zariski-type questions, establishing bounds on self-intersections and producing infinite families of lens spaces embedded as hypersurfaces of contact type in symplectic surfaces. Overall, the paper provides a robust framework connecting contact geometry, symplectic caps, and complex-analytic singularities to generate and classify small, sometimes exotic, symplectic 4-manifolds and their fillings.
Abstract
In this paper, we introduce a streamlined procedure for constructing small symplectic $4$-manifolds via contact gluing, based on a technique invented by David Gay around 2000. We also give a few applications, ranging from embeddings of singular Lagrangian $RP^2$s to realizing an infinite family of lens spaces as a hypersurface of contact type in a symplectic Hirzebruch surface. Furthermore, our investigations on $S^1$-invariant contact structures also suggest an interesting and fairly strong upper bound for the self-intersection of a rational unicuspidal curve with one Puiseux pair $(p,q)$ in any algebraic surface (the bound depends only on the values of $(p,q)$).
