On the formal principle for curves on projective surfaces

Jorge Vitório Pereira, Olivier Thom

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…