The Stacks project

Lemma 53.19.7. Let $k$ be a field. Let $X$ be a $1$-dimensional algebraic $k$-scheme. Let $x \in X$ be a closed point. The following are equivalent

  1. $x$ is a node,

  2. $k \to \mathcal{O}_{X, x}$ is as in Lemma 53.19.3,

  3. any $\overline{x} \in X_{\overline{k}}$ mapping to $x$ defines a nodal singularity,

  4. $\kappa (x)/k$ is separable, $\mathcal{O}_{X, x}$ is reduced, and the first Fitting ideal of $\Omega _{X/k}$ generates $\mathfrak m_ x$ in $\mathcal{O}_{X, x}$,

  5. $\kappa (x)/k$ is separable, $\text{depth}(\mathcal{O}_{X, x}) = 1$, and the first Fitting ideal of $\Omega _{X/k}$ generates $\mathfrak m_ x$ in $\mathcal{O}_{X, x}$,

  6. $\kappa (x)/k$ is separable and $\mathcal{O}_{X, x}$ is reduced, has $\delta $-invariant $1$, and has $2$ geometric branches.

Proof. First assume that $k$ is algebraically closed. In this case the equivalence of (1) and (3) is trivial. The equivalence of (1) and (3) with (2) holds because the only nondegenerate quadric in two variables is $xy$ up to change in coordinates. The equivalence of (1) and (6) is Lemma 53.16.1. After replacing $X$ by an affine neighbourhood of $x$, we may assume there is a closed immersion $X \to \mathbf{A}^ n_ k$ mapping $x$ to $0$. Let $f_1, \ldots , f_ m \in k[x_1, \ldots , x_ n]$ be generators for the ideal $I$ of $X$ in $\mathbf{A}^ n_ k$. Then $\Omega _{X/k}$ corresponds to the $R = k[x_1, \ldots , x_ n]/I$-module $\Omega _{R/k}$ which has a presentation

\[ R^{\oplus m} \xrightarrow {(\partial f_ j/\partial x_ i)} R^{\oplus n} \to \Omega _{R/k} \to 0 \]

(See Algebra, Sections 10.131 and 10.134.) The first Fitting ideal of $\Omega _{R/k}$ is thus the ideal generated by the $(n - 1) \times (n - 1)$-minors of the matrix $(\partial f_ j/\partial x_ i)$. Hence (2), (4), (5) are equivalent by Lemma 53.19.6 applied to the completion of $k[x_1, \ldots , x_ n] \to R$ at the maximal ideal $(x_1, \ldots , x_ n)$.

Now assume $k$ is an arbitrary field. In cases (2), (4), (5), (6) the residue field $\kappa (x)$ is separable over $k$. Let us show this holds as well in cases (1) and (3). Namely, let $Z \subset X$ be the closed subscheme of $X$ defined by the first Fitting ideal of $\Omega _{X/k}$. The formation of $Z$ commutes with field extension (Divisors, Lemma 31.10.1). If (1) or (3) is true, then there exists a point $\overline{x}$ of $X_{\overline{k}}$ such that $\overline{x}$ is an isolated point of multiplicity $1$ of $Z_{\overline{k}}$ (as we have the equivalence of the conditions of the lemma over $\overline{k}$). In particular $Z_{\overline{x}}$ is geometrically reduced at $\overline{x}$ (because $\overline{k}$ is algebraically closed). Hence $Z$ is geometrically reduced at $x$ (Varieties, Lemma 33.6.6). In particular, $Z$ is reduced at $x$, hence $Z = \mathop{\mathrm{Spec}}(\kappa (x))$ in a neighbourhood of $x$ and $\kappa (x)$ is geometrically reduced over $k$. This means that $\kappa (x)/k$ is separable (Algebra, Lemma 10.44.2).

The argument of the previous paragraph shows that if (1) or (3) holds, then the first Fitting ideal of $\Omega _{X/k}$ generates $\mathfrak m_ x$. Since $\mathcal{O}_{X, x} \to \mathcal{O}_{X_{\overline{k}}, \overline{x}}$ is flat and since $\mathcal{O}_{X_{\overline{k}}, \overline{x}}$ is reduced and has depth $1$, we see that (4) and (5) hold (use Algebra, Lemmas 10.164.2 and 10.163.2). Conversely, (4) implies (5) by Algebra, Lemma 10.157.3. If (5) holds, then $Z$ is geometrically reduced at $x$ (because $\kappa (x)/k$ separable and $Z$ is $x$ in a neighbourhood). Hence $Z_{\overline{k}}$ is reduced at any point $\overline{x}$ of $X_{\overline{k}}$ lying over $x$. In other words, the first fitting ideal of $\Omega _{X_{\overline{k}}/\overline{k}}$ generates $\mathfrak m_{\overline{x}}$ in $\mathcal{O}_{X_{\overline{k}, \overline{x}}}$. Moreover, since $\mathcal{O}_{X, x} \to \mathcal{O}_{X_{\overline{k}}, \overline{x}}$ is flat we see that $\text{depth}(\mathcal{O}_{X_{\overline{k}}, \overline{x}}) = 1$ (see reference above). Hence (5) holds for $\overline{x} \in X_{\overline{k}}$ and we conclude that (3) holds (because of the equivalence over algebraically closed fields). In this way we see that (1), (3), (4), (5) are equivalent.

The equivalence of (2) and (6) follows from Lemma 53.19.4.

Finally, we prove the equivalence of (2) $=$ (6) with (1) $=$ (3) $=$ (4) $=$ (5). First we note that the geometric number of branches of $X$ at $x$ and the geometric number of branches of $X_{\overline{k}}$ at $\overline{x}$ are equal by Varieties, Lemma 33.40.2. We conclude from the information available to us at this point that in all cases this number is equal to $2$. On the other hand, in case (1) it is clear that $X$ is geometrically reduced at $x$, and hence

\[ \delta \text{-invariant of }X\text{ at }x \leq \delta \text{-invariant of }X_{\overline{k}}\text{ at }\overline{x} \]

by Varieties, Lemma 33.39.8. Since in case (1) the right hand side is $1$, this forces the $\delta $-invariant of $X$ at $x$ to be $1$ (because if it were zero, then $\mathcal{O}_{X, x}$ would be a discrete valuation ring by Varieties, Lemma 33.39.4 which is unibranch, a contradiction). Thus (5) holds. Conversely, if (2) $=$ (5) is true, then assumptions (a), (b), (c) of Varieties, Lemma 33.27.6 hold for $x \in X$ by Lemma 53.19.4. Thus Varieties, Lemma 33.39.9 applies and shows that we have equality in the above displayed inequality. We conclude that (5) holds for $\overline{x} \in X_{\overline{k}}$ and we are back in case (1) by the equivalence of the conditions over an algebraically closed field. $\square$


Comments (0)


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 0C4D. Beware of the difference between the letter 'O' and the digit '0'.