The Stacks project

81.1 Introduction

The goal of this chapter is to discuss pushouts in the category of algebraic spaces. This can be done with varying assumptions. A fairly general pushout construction is given in [Temkin-Tyomkin]: one of the morphisms is affine and the other is a closed immersion. We discuss a particular case of this in Section 81.6 where we assume one of the morphisms is affine and the other is a thickening, a situation that often comes up in deformation theory.

In Sections 81.10 and 81.11 we discuss diagrams

\[ \xymatrix{ f^{-1}(X \setminus Z) \ar[r] \ar[d] & Y \ar[d]^ f \\ X \setminus Z \ar[r] & X } \]

where $f$ is a quasi-compact and quasi-separated morphism of algebraic spaces, $Z \to X$ is a closed immersion of finite presentation, the map $f^{-1}(Z) \to Z$ is an isomorphism, and $f$ is flat along $f^{-1}(Z)$. In this situation we glue quasi-coherent modules on $X \setminus Z$ and $Y$ (in Section 81.10) to quasi-coherent modules on $X$ and we glue algebraic spaces over $X \setminus Z$ and $Y$ (in Section 81.11) to algebraic spaces over $X$.

In Section 81.13 we discuss how proper birational morphisms of Noetherian algebraic spaces give rise to coequalizer diagrams in algebraic spaces in some sense.

In Section 81.14 we use the construction of elementary distinguished squares in Section 81.9 to prove Nagata's theorem on compactifications in the setting of algebraic spaces.

Comments (0)

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 0AHU. Beware of the difference between the letter 'O' and the digit '0'.