Lemma 35.25.5 (0F4J)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 2: Schemes
Chapter 35: Descent
Section 35.25: Application of fpqc descent of properties of morphisms
Lemma 35.25.5 (cite)

numberstags

Lemma 35.25.5. Let $f : X \to Y$ be a morphism of schemes which is locally of finite type. Let $Z$ be a closed subset of $X$. If there exists an fpqc covering $\{ Y_ i \to Y\} $ such that the inverse image $Z_ i \subset Y_ i \times _ Y X$ is proper over $Y_ i$ (Cohomology of Schemes, Definition 30.26.2) then $Z$ is proper over $Y$.

Proof. Endow $Z$ with the reduced induced closed subscheme structure, see Schemes, Definition 26.12.5. For every $i$ the base change $Y_ i \times _ Y Z$ is a closed subscheme of $Y_ i \times _ Y X$ whose underlying closed subset is $Z_ i$. By definition (via Cohomology of Schemes, Lemma 30.26.1) we conclude that the projections $Y_ i \times _ Y Z \to Y_ i$ are proper morphisms. Hence $Z \to Y$ is a proper morphism by Lemma 35.23.14. Thus $Z$ is proper over $Y$ by definition. $\square$

Comments (0)

There are also:

3 comment(s) on Section 35.25: Application of fpqc descent of properties of morphisms

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).

Comments (0)

Post a comment