Algebraization of a Cartier divisor

Abstract

We extend to pairs classical results of R. Elkik on lifting of homomorphisms and algebraization. In particular, we establish algebraization of an affine rig-smooth formal variety with a rig-smooth closed subvariety. This solves affirmatively a problem raised by M. Temkin and has applications to desingularization theory.

52 pages

References in corpus (2)

• Desingularization of quasi-excellent schemes in characteristic zero
• Functorial desingularization of quasi-excellent schemes in characteristic zero: the non-embedded case