In mathematics, the Grothendieck existence theorem, introduced by Grothendieck (1961, section 5), gives conditions that enable one to lift infinitesimal deformations of a scheme to a deformation, and to lift schemes over infinitesimal neighborhoods over a subscheme of a scheme S to schemes over S. The theorem can be viewed as an instance of (Grothendieck's) formal GAGA.
See also Chow's lemma
References
formal GAGA "Rigid-analytic geometry and the uniformization of abelian varieties". Snowbird Lectures in Algebraic Geometry. Contemporary Mathematics. Vol. 388. 2005. doi:10.1090/CONM/388. ISBN 9780821837191.
External links
formal GAGA Mathew, Akhil. "Étale π1 OF A SMOOTH CURVE" (PDF). "Formal Gaga on Artin Stacks" (PDF). 2005. S2CID 296658.
