On the formal principle for curves on projective surfaces
arXiv:1906.12219
Abstract
We prove that the formal completion of a complex projective surface along a rigid smooth curve with trivial normal bundle determines the birational equivalence class of the surface.
Minor corrections following suggestions by a referee. Accepted for publication in Mathematische Annalen