The Stacks project

107.18 Nodal curves

In algebraic geometry a special role is played by nodal curves. We suggest the reader take a brief look at some of the discussion in Algebraic Curves, Sections 53.19 and 53.20 and More on Morphisms of Spaces, Section 74.55.

Lemma 107.18.1. There exist an open substack $\mathcal{C}\! \mathit{urves}^{nodal} \subset \mathcal{C}\! \mathit{urves}$ such that

  1. given a family of curves $f : X \to S$ the following are equivalent

    1. the classifying morphism $S \to \mathcal{C}\! \mathit{urves}$ factors through $\mathcal{C}\! \mathit{urves}^{nodal}$,

    2. $f$ is at-worst-nodal of relative dimension $1$,

  2. given $X$ a scheme proper over a field $k$ with $\dim (X) \leq 1$ the following are equivalent

    1. the classifying morphism $\mathop{\mathrm{Spec}}(k) \to \mathcal{C}\! \mathit{urves}$ factors through $\mathcal{C}\! \mathit{urves}^{nodal}$,

    2. the singularities of $X$ are at-worst-nodal and $X$ is equidimensional of dimension $1$.

Proof. In fact, it suffices to show that given a family of curves $f : X \to S$, there is an open subscheme $S' \subset S$ such that $S' \times _ S X \to S'$ is at-worst-nodal of relative dimension $1$ and such that formation of $S'$ commutes with arbitrary base change. By More on Morphisms of Spaces, Lemma 74.55.4 there is a maximal open subspace $X' \subset X$ such that $f|_{X'} : X' \to S$ is at-worst-nodal of relative dimension $1$. Moreover, formation of $X'$ commutes with base change. Hence we can take

\[ S' = S \setminus |f|(|X| \setminus |X'|) \]

This is open because a proper morphism is universally closed by definition. $\square$

Lemma 107.18.2. The morphism $\mathcal{C}\! \mathit{urves}^{nodal} \to \mathop{\mathrm{Spec}}(\mathbf{Z})$ is smooth.

Proof. Follows immediately from the observation that $\mathcal{C}\! \mathit{urves}^{nodal} \subset \mathcal{C}\! \mathit{urves}^{lci+}$ and Lemma 107.15.2. $\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 0DSX. Beware of the difference between the letter 'O' and the digit '0'.