The Stacks project

Proof. Recall that we have a partial ordering on $I$ such that the closure of $X_ i$ is contained in $\bigcup _{j \leq i} X_ j$ for all $i \in I$. Let $I' \subset I$ be the set of maximal indices of $I$. If $i \in I'$, then $X_ i$ is open in $X$ because the union of the closures of the other strata is the complement of $X_ i$. Let $U = \bigcup _{i \in I'} X_ i$ viewed as an open subscheme of $X$ so that $U_{red} = \coprod _{i \in I'} X_ i$ as schemes. Then $U$ is an affine scheme by Schemes, Lemma 26.6.8 and Lemma 37.2.3. The morphism $U \to X$ is affine as each $X_ i \to X$, $i \in I'$ is affine by the same reasoning using Lemma 37.3.1. The complement $Z = X \setminus U$ endowed with the reduced induced scheme structure has the affine stratification $Z = \bigcup _{i \in I \setminus I'} X_ i$. Here we use that a morphism of schemes $T \to Z$ is affine if and only if the composition $T \to X$ is affine; this follows from Morphisms, Lemmas 29.11.9, 29.11.7, and 29.11.11. Observe that the partially ordered set $I \setminus I'$ has length exactly one less than the length of $I$. Hence by induction we find that $Z$ has an affine stratification $Z = Z_0 \amalg \ldots \amalg Z_{n - 1}$ with index set $\{ 1, \ldots , n\} $. Setting $Z_ n = U$ we obtain the desired stratification of $X$. $\square$

Proof. Let $X = \bigcup X_ i$ be a finite affine stratification. Since each $X_ i$ is affine hence quasi-compact, we conclude that $X$ is quasi-compact. Let $U, V \subset X$ be affine open. Then $U \cap X_ i$ and $V \cap X_ i$ are affine open in $X_ i$ since $X_ i \to X$ is an affine morphism. Hence $U \cap V \cap X_ i$ is an affine open of the affine scheme $X_ i$ (see Schemes, Lemma 26.21.7 for example). Therefore $U \cap V = \coprod U \cap V \cap X_ i$ is quasi-compact as a finite union of affine strata. We conclude that $X$ is quasi-separated by Schemes, Lemma 26.21.6.

Assume $X$ is quasi-compact and quasi-separated. We may use the induction principle of Cohomology of Schemes, Lemma 30.4.1 to prove the assertion that $X$ has a finite affine stratification. If $X$ is empty, then it has an empty affine stratification. If $X$ is nonempty affine then it has an affine stratification with one stratum. Next, asssume $X = U \cup V$ where $U$ is quasi-compact open, $V$ is affine open, and we have a finite affine stratifications $U = \bigcup _{i \in I} U_ i$ and $U \cap V = \coprod _{j \in J} W_ j$. Denote $Z = X \setminus V$ and $Z' = X \setminus U$. Note that $Z$ is closed in $U$ and $Z'$ is closed in $V$. Observe that $U_ i \cap Z$ and $U_ i \cap W_ j = U_ i \times _ U W_ j$ are affine schemes affine over $U$. (Hints: use that $U_ i \times _ U W_ j \to W_ j$ is affine as a base change of $U_ i \to U$, hence $U_ i \cap W_ j$ is affine, hence $U_ i \cap W_ j \to U_ i$ is affine, hence $U_ i \cap W_ j \to U$ is affine.) It follows that

is a finite affine stratification with partial ordering on $I \amalg I \times J$ given by $i' \leq (i, j) \Leftrightarrow i' \leq i$ and $(i', j') \leq (i, j) \Leftrightarrow i' \leq i$ and $j' \leq j$. Observe that $(U_ i \cap Z) \times _ X V = \emptyset $ and $(U_ i \cap W_ j) \times _ X V = U_ i \cap W_ j$ are affine. Hence the morphisms $U_ i \cap Z \to X$ and $U_ i \cap W_ j \to X$ are affine because we can check affineness of a morphism locally on the target (Morphisms, Lemma 29.11.3) and we have affineness over both $U$ and $V$. To finish the proof we take the stratification above and we add one additional stratum, namely $Z'$, whose index we add as a minimal element to the partially ordered set. $\square$

Proof. Say $X = U_0 \cup \ldots \cup U_ n$ is an affine open covering. Set

Then $X_ i$ is affine as a closed subscheme of $U_ i$. The morphism $X_ i \to X$ is affine by Morphisms, Lemma 29.11.11. Finally, we have $\overline{X_ i} \subset X_ i \cup X_{i - 1} \cup \ldots X_0$. $\square$

Proof. By induction on $d$. If $d = 0$, then $X$ is affine, see Properties, Lemma 28.10.5. Assume $d > 0$. Let $\eta _1, \ldots , \eta _ n$ be the generic points of the irreducible components of $X$ (Properties, Lemma 28.5.7). We can cover $X$ by affine opens containing $\eta _1, \ldots , \eta _ n$, see Properties, Lemma 28.29.4. Since $X$ is quasi-compact we can find a finite affine open covering $X = \bigcup _{j = 1, \ldots , m} U_ j$ with $\eta _1, \ldots , \eta _ n \in U_ j$ for all $j = 1, \ldots , m$. Choose an affine open $U \subset U_1 \cap \ldots \cap U_ m$ containing $\eta _1, \ldots , \eta _ n$ (possible by the lemma already quoted). Then the morphism $U \to X$ is affine because $U \to U_ j$ is affine for all $j$, see Morphisms, Lemma 29.11.3. Let $Z = X \setminus U$. By construction $\dim (Z) < \dim (X)$. By induction hypothesis we can find an affine stratification $Z = \bigcup _{i \in \{ 0, \ldots , n\} } Z_ i$ of $Z$ with $n \leq \dim (Z)$. Setting $U = X_{n + 1}$ and $X_ i = Z_ i$ for $i \leq n$ we conclude. $\square$

Proof. We will prove this by induction on the affine stratification number $n$. If $n = 0$, then $X$ is affine and the result is Cohomology of Schemes, Lemma 30.2.2. Assume $n > 0$. By Definition 37.73.4 there is an affine scheme $U$ and an affine open immersion $j : U \to X$ such that the complement $Z$ has affine stratification number $n - 1$. As $U$ and $j$ are affine we have $H^ p(X, j_*(\mathcal{F}|_ U)) = 0$ for $p > 0$, see Cohomology of Schemes, Lemmas 30.2.4 and 30.2.3. Denote $\mathcal{K}$ and $\mathcal{Q}$ the kernel and cokernel of the map $\mathcal{F} \to j_*(\mathcal{F}|_ U)$. Thus we obtain an exact sequence

of quasi-coherent $\mathcal{O}_ X$-modules (see Schemes, Section 26.24). A standard argument, breaking our exact sequence into short exact sequences and using the long exact cohomology sequence, shows it suffices to prove $H^ p(X, \mathcal{K}) = 0$ and $H^ p(X, \mathcal{Q}) = 0$ for $p \geq n$. Since $\mathcal{F} \to j_*(\mathcal{F}|_ U)$ restricts to an isomorphism over $U$, we see that $\mathcal{K}$ and $\mathcal{Q}$ are supported on $Z$. By Properties, Lemma 28.22.3 we can write these modules as the filtered colimits of their finite type quasi-coherent submodules. Using the fact that cohomology of sheaves on $X$ commutes with filtered colimits, see Cohomology, Lemma 20.19.1, we conclude it suffices to show that if $\mathcal{G}$ is a finite type quasi-coherent module whose support is contained in $Z$, then $H^ p(X, \mathcal{G}) = 0$ for $p \geq n$. Let $Z' \subset X$ be the scheme theoretic support of $\mathcal{G} \oplus \mathcal{O}_ Z$; we may and do think of $\mathcal{G}$ as a quasi-coherent module on $Z'$, see Morphisms, Section 29.5. Then $Z'$ and $Z$ have the same underlying topological space and hence the same affine stratification number, namely $n - 1$. Hence $H^ p(X, \mathcal{G}) = H^ p(Z', \mathcal{G})$ (equality by Cohomology of Schemes, Lemma 30.2.4) vanishes for $p \geq n$ by induction hypothesis. $\square$