The Stacks project

112.5.11 Theorem on formal functions and Grothendieck's Existence Theorem

These papers give generalizations of the theorem on formal functions [III.4.1.5, EGA] (sometimes referred to Grothendieck's Fundamental Theorem for proper morphisms) and Grothendieck's Existence Theorem [III.5.1.4, EGA].

  • Knutson: Algebraic spaces [Chapter V, Kn]

    Generalizes these theorems to algebraic spaces.
  • Abramovich-Vistoli: Compactifying the space of stable maps [A.1.1, abramovich-vistoli]

    Generalizes these theorems to tame Deligne-Mumford stacks
  • Olsson and Starr: Quot functors for Deligne-Mumford stacks [olsson-starr]

    Generalizes these theorems to separated Deligne-Mumford stacks.
  • Olsson: On proper coverings of Artin stacks [olsson_proper]

    Provides a generalization to proper Artin stacks.
  • Conrad: Formal GAGA on Artin stacks [conrad_gaga]

    Provides a generalization to proper Artin stacks and proves a formal GAGA theorem.
  • Olsson: Sheaves on Artin stacks [olsson_sheaves]

    Provides another proof for the generalization to proper Artin stacks.

Comments (0)

There are also:

  • 4 comment(s) on Section 112.5: Papers in the literature

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 04V6. Beware of the difference between the letter 'O' and the digit '0'.