Lemma 33.25.11. Let $X$ be a scheme of finite type over a field $k$. There exists a finite purely inseparable extension $k'/k$, an integer $t \geq 0$, and closed subschemes
such that $Z_0 = (X_{k'})_{red}$ and $Z_ i \setminus Z_{i + 1}$ is smooth over $k'$ for all $i$.
Proof. We may use induction on $\dim (X)$. By Lemma 33.6.11 we can find a finite purely inseparable extension $k'/k$ such that $(X_{k'})_{red}$ is geometrically reduced over $k'$. By Lemma 33.25.7 there is a nowhere dense closed subscheme $X' \subset (X_{k'})_{red}$ such that $(X_{k'})_{red} \setminus X'$ is smooth over $k'$. Then $\dim (X') < \dim (X)$. By induction hypothesis there exists a finite purely inseparable extension $k''/k'$, an integer $t' \geq 0$, and closed subschemes
such that $Y_0 = (X'_{k''})_{red}$ and $Y_ i \setminus Y_{i + 1}$ is smooth over $k''$ for all $i$. Then we let $t = t' + 1$ and we consider
given by $Z_0 = (X_{k''})_{red}$ and $Z_ i = Y_{i - 1}$ for $i > 0$; this makes sense as $X'_{k''}$ is a closed subscheme of $X_{k''}$. We omit the verification that all the stated properties hold. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)