Grothendieck existence theorem

In mathematics, the Grothendieck existence theorem, introduced by Grothendieck (, 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 formal GAGA.

Grothendieck existence theorem

In mathematics, the Grothendieck existence theorem, introduced by Grothendieck (, 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 formal GAGA.