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

References

formal GAGA

formal GAGA

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.