Processing math: 100%

The Stacks project

Lemma 71.17.3. Let S be a scheme. Let X_1 \to X_2 be a flat morphism of algebraic spaces over S. Let Z_2 \subset X_2 be a closed subspace. Let Z_1 be the inverse image of Z_2 in X_1. Let X'_ i be the blowup of Z_ i in X_ i. Then there exists a cartesian diagram

\xymatrix{ X_1' \ar[r] \ar[d] & X_2' \ar[d] \\ X_1 \ar[r] & X_2 }

of algebraic spaces over S.

Proof. Let \mathcal{I}_2 be the ideal sheaf of Z_2 in X_2. Denote g : X_1 \to X_2 the given morphism. Then the ideal sheaf \mathcal{I}_1 of Z_1 is the image of g^*\mathcal{I}_2 \to \mathcal{O}_{X_1} (see Morphisms of Spaces, Definition 67.13.2 and discussion following the definition). By Lemma 71.11.5 we see that X_1 \times _{X_2} X_2' is the relative Proj of \bigoplus _{n \geq 0} g^*\mathcal{I}_2^ n. Because g is flat the map g^*\mathcal{I}_2^ n \to \mathcal{O}_{X_1} is injective with image \mathcal{I}_1^ n. Thus we see that X_1 \times _{X_2} X_2' = X_1'. \square


Comments (0)

There are also:

  • 2 comment(s) on Section 71.17: Blowing up

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.