Lemma 31.10.1. Let $f : X \to S$ be a morphism of schemes which is locally of finite type. Let $X = Z_{-1} \supset Z_0 \supset Z_1 \supset \ldots $ be the closed subschemes defined by the fitting ideals of $\Omega _{X/S}$. Then the formation of $Z_ i$ commutes with arbitrary base change.
31.10 The singular locus of a morphism
Let $f : X \to S$ be a finite type morphism of schemes. The set $U$ of points where $f$ is smooth is an open of $X$ (by Morphisms, Definition 29.34.1). In many situations it is useful to have a canonical closed subscheme $\text{Sing}(f) \subset X$ whose complement is $U$ and whose formation commutes with arbitrary change of base.
If $f$ is of finite presentation, then one choice would be to consider the closed subscheme $Z$ cut out by functions which are affine locally “strictly standard” in the sense of Smoothing Ring Maps, Definition 16.2.3. It follows from Smoothing Ring Maps, Lemma 16.2.7 that if $f' : X' \to S'$ is the base change of $f$ by a morphism $S' \to S$, then $Z' \subset S' \times _ S Z$ where $Z'$ is the closed subscheme of $X'$ cut out by functions which are affine locally strictly standard. However, equality isn't clear. The notion of a strictly standard element was useful in the chapter on Popescu's theorem. The closed subscheme defined by these elements is (as far as we know) not used in the literature1.
If $f$ is flat, of finite presentation, and the fibres of $f$ all are equidimensional of dimension $d$, then the $d$th fitting ideal of $\Omega _{X/S}$ is used to get a good closed subscheme. For any morphism of finite type the closed subschemes of $X$ defined by the fitting ideals of $\Omega _{X/S}$ define a stratification of $X$ in terms of the rank of $\Omega _{X/S}$ whose formation commutes with base change. This can be helpful; it is related to embedding dimensions of fibres, see Varieties, Section 33.46.
Proof. Observe that $\Omega _{X/S}$ is a finite type quasi-coherent $\mathcal{O}_ X$-module (Morphisms, Lemma 29.32.12) hence the fitting ideals are defined. If $f' : X' \to S'$ is the base change of $f$ by $g : S' \to S$, then $\Omega _{X'/S'} = (g')^*\Omega _{X/S}$ where $g' : X' \to X$ is the projection (Morphisms, Lemma 29.32.10). Hence $(g')^{-1}\text{Fit}_ i(\Omega _{X/S}) \cdot \mathcal{O}_{X'} = \text{Fit}_ i(\Omega _{X'/S'})$. This means that
\[ Z'_ i = (g')^{-1}(Z_ i) = Z_ i \times _ X X' \]
scheme theoretically and this is the meaning of the statement of the lemma. $\square$
The $0$th fitting ideal of $\Omega $ cuts out the “ramified locus” of the morphism.
Lemma 31.10.2. Let $f : X \to S$ be a morphism of schemes which is locally of finite type. The closed subscheme $Z \subset X$ cut out by the $0$th fitting ideal of $\Omega _{X/S}$ is exactly the set of points where $f$ is not unramified.
Proof. By Lemma 31.9.3 the complement of $Z$ is exactly the locus where $\Omega _{X/S}$ is zero. This is exactly the set of points where $f$ is unramified by Morphisms, Lemma 29.35.2. $\square$
Lemma 31.10.3. Let $f : X \to S$ be a morphism of schemes. Let $d \geq 0$ be an integer. Assume
$f$ is flat,
$f$ is locally of finite presentation, and
every nonempty fibre of $f$ is equidimensional of dimension $d$.
Let $Z \subset X$ be the closed subscheme cut out by the $d$th fitting ideal of $\Omega _{X/S}$. Then $Z$ is exactly the set of points where $f$ is not smooth.
Proof. By Lemma 31.9.6 the complement of $Z$ is exactly the locus where $\Omega _{X/S}$ can be generated by at most $d$ elements. Hence the lemma follows from Morphisms, Lemma 29.34.14. $\square$
Post a comment
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 (5)
Comment #2115 by David Hansen on
Comment #2143 by Johan on
Comment #2145 by David Hansen on
Comment #3852 by Matthieu Romagny on
Comment #3937 by Johan on