Lemma 10.129.2. Let $R \to S$ be a finite type ring map. Let $d$ be an integer such that all fibres $S \otimes _ R \kappa (\mathfrak p)$ are Cohen-Macaulay and equidimensional of dimension $d$. Let $f_1, \ldots , f_ i$ be elements of $S$. The set

$\{ \mathfrak q \in V(f_1, \ldots , f_ i) \mid f_1, \ldots , f_ i \text{ are a regular sequence in } S_{\mathfrak q}/\mathfrak p S_{\mathfrak q} \text{ where }\mathfrak p = R \cap \mathfrak q \}$

is open in $V(f_1, \ldots , f_ i)$.

Proof. Write $\overline{S} = S/(f_1, \ldots , f_ i)$. Suppose $\mathfrak q$ is an element of the set defined in the lemma, and $\mathfrak p$ is the corresponding prime of $R$. We will use relative dimension as defined in Definition 10.125.1. First, note that $d = \dim _{\mathfrak q}(S/R) = \dim (S_{\mathfrak q}/\mathfrak pS_{\mathfrak q}) + \text{trdeg}_{\kappa (\mathfrak p)}\ \kappa (\mathfrak q)$ by Lemma 10.116.3. Since $f_1, \ldots , f_ i$ form a regular sequence in the Noetherian local ring $S_{\mathfrak q}/\mathfrak pS_{\mathfrak q}$ Lemma 10.60.13 tells us that $\dim (\overline{S}_{\mathfrak q}/\mathfrak p\overline{S}_{\mathfrak q}) = \dim (S_{\mathfrak q}/\mathfrak pS_{\mathfrak q}) - i$. We conclude that $\dim _{\mathfrak q}(\overline{S}/R) = \dim (\overline{S}_{\mathfrak q}/\mathfrak p\overline{S}_{\mathfrak q}) + \text{trdeg}_{\kappa (\mathfrak p)}\ \kappa (\mathfrak q) = d - i$ by Lemma 10.116.3. By Lemma 10.125.6 we have $\dim _{\mathfrak q'}(\overline{S}/R) \leq d - i$ for all $\mathfrak q' \in V(f_1, \ldots , f_ i) = \mathop{\mathrm{Spec}}(\overline{S})$ in a neighbourhood of $\mathfrak q$. Thus after replacing $S$ by $S_ g$ for some $g \in S$, $g \not\in \mathfrak q$ we may assume that the inequality holds for all $\mathfrak q'$. The result follows from Lemma 10.129.1. $\square$

Comment #6277 by nkym on

I was wondering if someone could tell me where the flatness hypothesis is used. Maybe the same in the next proposition.

Comment #6397 by on

Ha! Indeed, you do not need flatness for this lemma. Thanks! The changes are here. Since you mention next proposition and since the next result is a lemma I am not sure what you are referring to. But in any case the next two results in this section need the flatness hypothesis for sure.

There are also:

• 3 comment(s) on Section 10.129: Openness of the flat locus

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).