Increasing sequence of reduced closed subschemes.

62 Views Asked by At

Morel's An introduction to A1-homotopy theory lemma 3.3.7

Let $k$ be a perfect field, $V$ be an irreducible smooth $k$-scheme and $W$ is an open dense subset of $V$. Let $F$ be the complement of $W$.

In this lemma, Morel states that there is an increasing sequence of reduced closed subschemes:

$$\emptyset= F_{-1}\subset F_0\subset\dots\subset F_d=F$$ such that each $k$-scheme $F_s-F_{s-1}$ is smooth and $\dim F_i=i$.

I have no ideal about this decomposition. How is this sequence deduced?

Could anyone help me?