Lemma 43.13.2. Let $f : X \to Y$ be a morphism of varieties.
If $Z \subset Y$ is a subvariety dimension $d$ and $f$ is a regular immersion of codimension $c$, then every irreducible component of $f^{-1}(Z)$ has dimension $\geq d - c$.
If $Z \subset Y$ is a subvariety of dimension $d$ and $f$ is a local complete intersection morphism of relative dimension $r$, then every irreducible component of $f^{-1}(Z)$ has dimension $\geq d + r$.
Proof. Proof of (1). We may work locally, hence we may assume that $Y = \mathop{\mathrm{Spec}}(A)$ and $X = V(f_1, \ldots , f_ c)$ where $f_1, \ldots , f_ c$ is a regular sequence in $A$. If $Z = \mathop{\mathrm{Spec}}(A/\mathfrak p)$, then we see that $f^{-1}(Z) = \mathop{\mathrm{Spec}}(A/\mathfrak p + (f_1, \ldots , f_ c))$. If $V$ is an irreducible component of $f^{-1}(Z)$, then we can choose a closed point $v \in V$ not contained in any other irreducible component of $f^{-1}(Z)$. Then
The first equality for example by Algebra, Lemma 10.116.1 and the second equality by our choice of closed point. The result now follows from the fact that dividing by one element in the maximal ideal decreases the dimension by at most $1$, see Algebra, Lemma 10.60.13.
Proof of (2). Choose a factorization as in the definition of a local complete intersection and apply (1). Some details omitted. $\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)
There are also: