The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

15.46 The singular locus

Let $R$ be a Noetherian ring. The regular locus $\text{Reg}(X)$ of $X = \mathop{\mathrm{Spec}}(R)$ is the set of primes $\mathfrak p$ such that $R_\mathfrak p$ is a regular local ring. The singular locus $\text{Sing}(X)$ of $X = \mathop{\mathrm{Spec}}(R)$ is the complement $X \setminus \text{Reg}(X)$, i.e., the set of primes $\mathfrak p$ such that $R_\mathfrak p$ is not a regular local ring. By the discussion preceding Algebra, Definition 10.109.7 we see that $\text{Reg}(X)$ is stable under generalization. In this section we study conditions that guarantee that $\text{Reg}(X)$ is open.

Definition 15.46.1. Let $R$ be a Noetherian ring. Let $X = \mathop{\mathrm{Spec}}(R)$.

  1. We say $R$ is J-0 if $\text{Reg}(X)$ contains a nonempty open.

  2. We say $R$ is J-1 if $\text{Reg}(X)$ is open.

  3. We say $R$ is J-2 if any finite type $R$-algebra is J-1.

The ring $\mathbf{Q}[x]/(x^2)$ does not satisfy J-0. On the other hand J-1 implies J-0 for domains and even reduced rings as such a ring is regular at the minimal primes. Here is a characterization of the J-1 property.

Lemma 15.46.2. Let $R$ be a Noetherian ring. Let $X = \mathop{\mathrm{Spec}}(R)$. The ring $R$ is J-1 if and only if $V(\mathfrak p) \cap \text{Reg}(X)$ contains a nonempty open subset of $V(\mathfrak p)$ for all $\mathfrak p \in \text{Reg}(X)$.

Proof. This follows immediately from Topology, Lemma 5.16.5. $\square$

Lemma 15.46.3. Let $R$ be a Noetherian ring. Let $X = \mathop{\mathrm{Spec}}(R)$. Assume that for all $\mathfrak p \subset R$ the ring $R/\mathfrak p$ is J-0. Then $R$ is J-1.

Proof. We will show that the criterion of Lemma 15.46.2 applies. Let $\mathfrak p \in \text{Reg}(X)$ be a prime of height $r$. Pick $f_1, \ldots , f_ r \in \mathfrak p$ which map to generators of $\mathfrak pR_\mathfrak p$. Since $\mathfrak p \in \text{Reg}(X)$ we see that $f_1, \ldots , f_ r$ maps to a regular sequence in $R_\mathfrak p$, see Algebra, Lemma 10.105.3. Thus by Algebra, Lemma 10.67.6 we see that after replacing $R$ by $R_ g$ for some $g \in R$, $g \not\in \mathfrak p$ the sequence $f_1, \ldots , f_ r$ is a regular sequence in $R$. After another replacement we may also assume $f_1, \ldots , f_ r$ generate $\mathfrak p$. Next, let $\mathfrak p \subset \mathfrak q$ be a prime ideal such that $(R/\mathfrak p)_\mathfrak q$ is a regular local ring. By the assumption of the lemma there exists a non-empty open subset of $V(\mathfrak p)$ consisting of such primes, hence it suffices to prove $R_\mathfrak q$ is regular. Note that $f_1, \ldots , f_ r$ is a regular sequence in $R_\mathfrak q$ such that $R_\mathfrak q/(f_1, \ldots , f_ r)R_\mathfrak q$ is regular. Hence $R_\mathfrak q$ is regular by Algebra, Lemma 10.105.7. $\square$

Lemma 15.46.4. Let $R \to S$ be a ring map. Assume that

  1. $R$ is a Noetherian domain,

  2. $R \to S$ is injective and of finite type, and

  3. $S$ is a domain and J-0.

Then $R$ is J-0.

Proof. After replacing $S$ by $S_ g$ for some nonzero $g \in S$ we may assume that $S$ is a regular ring. By generic flatness we may assume that also $R \to S$ is faithfully flat, see Algebra, Lemma 10.117.1. Then $R$ is regular by Algebra, Lemma 10.158.4. $\square$

Lemma 15.46.5. Let $R \to S$ be a ring map. Assume that

  1. $R$ is a Noetherian domain and J-0,

  2. $R \to S$ is injective and of finite type, and

  3. $S$ is a domain, and

  4. the induced extension of fraction fields is separable.

Then $S$ is J-0.

Proof. We may replace $R$ by a principal localization and assume $R$ is a regular ring. By Algebra, Lemma 10.138.9 the ring map $R \to S$ is smooth at $(0)$. Hence after replacing $S$ by a principal localization we may assume that $S$ is smooth over $R$. Then $S$ is regular too, see Algebra, Lemma 10.157.10. $\square$

Lemma 15.46.6. Let $R$ be a Noetherian ring. The following are equivalent

  1. $R$ is J-2,

  2. every finite type $R$-algebra which is a domain is J-0,

  3. every finite $R$-algebra is J-1,

  4. for every prime $\mathfrak p$ and every finite purely inseparable extension $\kappa (\mathfrak p) \subset L$ there exists a finite $R$-algebra $R'$ which is a domain, which is J-0, and whose field of fractions is $L$.

Proof. It is clear that we have the implications (1) $\Rightarrow $ (2) and (2) $\Rightarrow $ (4). Recall that a domain which is J-1 is J-0. Hence we also have the implications (1) $\Rightarrow $ (3) and (3) $\Rightarrow $ (4).

Let $R \to S$ be a finite type ring map and let's try to show $S$ is J-1. By Lemma 15.46.3 it suffices to prove that $S/\mathfrak q$ is J-0 for every prime $\mathfrak q$ of $S$. In this way we see (2) $\Rightarrow $ (1).

Assume (4). We will show that (2) holds which will finish the proof. Let $R \to S$ be a finite type ring map with $S$ a domain. Let $\mathfrak p = \mathop{\mathrm{Ker}}(R \to S)$. Let $K$ be the fraction field of $S$. There exists a diagram of fields

\[ \xymatrix{ K \ar[r] & K' \\ \kappa (\mathfrak p) \ar[u] \ar[r] & L \ar[u] } \]

where the horizontal arrows are finite purely inseparable field extensions and where $K'/L$ is separable, see Algebra, Lemma 10.41.4. Choose $R' \subset L$ as in (4) and let $S'$ be the image of the map $S \otimes _ R R' \to K'$. Then $S'$ is a domain whose fraction field is $K'$, hence $S'$ is J-0 by Lemma 15.46.5 and our choice of $R'$. Then we apply Lemma 15.46.4 to see that $S$ is J-0 as desired. $\square$


Comments (2)

Comment #2266 by Mattias on

Missing punctuation towards the end of the first paragraph: "under generalization In the section"


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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 07P6. Beware of the difference between the letter 'O' and the digit '0'.