The Stacks project

Lemma 55.14.7. Let $R$ be a discrete valuation ring with fraction field $K$. Let $C$ be a smooth projective curve over $K$ with $H^0(C, \mathcal{O}_ C) = K$. The following are equivalent

  1. there exists a proper smooth model for $C$,

  2. there exists a minimal model for $C$ which is smooth over $R$,

  3. any minimal model is smooth over $R$.

Proof. If $X$ is a smooth proper model, then the special fibre is connected (Lemma 55.9.4) and smooth, hence irreducible. This immediately implies that it is minimal. Thus (1) implies (2). To finish the proof we have to show that (2) implies (3). This is clear if the genus of $C$ is $> 0$, since then the minimal model is unique (Lemma 55.10.1). On the other hand, if the minimal model is not unique, then the morphism $X \to \mathop{\mathrm{Spec}}(R)$ is smooth for any minimal model as its special fibre will be isomorphic to $\mathbf{P}^1_ k$ by Lemma 55.12.4. $\square$

Comments (0)

There are also:

  • 2 comment(s) on Section 55.14: Semistable reduction

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