A cusp singularity is a surface singularity whose minimal resolution is a cycle of smooth rational curves meeting transversely. Cusp singularities come in dual pairs. Looijenga proved in 1981 that if a cusp singularity is smoothable, the minimal resolution of the dual cusp is the anticanonical divisor of some smooth rational surface. In 1983, the second author and Miranda gave a criterion for smoothability of a cusp singularity, in terms of the existence of a K‑trivial semistable model for the central fiber of such a smoothing. We study these “Type III degenerations” of rational surfaces with an anticanonical divisor—their deformations, birational geometry, and monodromy. Looijenga’s original paper also gave a description of the rational double point configurations to which a cusp singularity deforms, but only in the case where the resolution of the dual cusp has cycle length $5$ or less. We generalize this classification to an arbitrary cusp singularity, giving an explicit construction of a semistable simultaneous resolution of such an adjacency. The main tools of the proof are (1) formulas for the monodromy of a Type III degeneration, (2) a construction via surgeries on integral-affine surfaces of a degeneration with prescribed monodromy, (3) surjectivity of the period map for Type III central fibers, and (4) a theorem of Shepherd–Barron producing a simultaneous contraction to the adjacency.
J. Differential Geom.
118(1):
23-100
(May 2021).
DOI: 10.4310/jdg/1620272941
ACCESS THE FULL ARTICLE
It is not available for individual sale.
This article is only available to subscribers.
It is not available for individual sale.
It is not available for individual sale.