Proposition 55.8.6 (0C2W)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 3: Topics in Scheme Theory
Chapter 55: Semistable Reduction
Section 55.8: Models
Proposition 55.8.6 (cite)

previous lemma

numberstags

Proposition 55.8.6. Let $C$ be a smooth projective curve over $K$ with $H^0(C, \mathcal{O}_ C) = K$. A minimal model exists.

Proof. Choose a closed immersion $C \to \mathbf{P}^ n_ K$. Let $X$ be the scheme theoretic image of $C \to \mathbf{P}^ n_ R$. Then $X \to \mathop{\mathrm{Spec}}(R)$ is a projective model of $C$ by Lemma 55.8.1. By Lemma 55.8.3 there exists a resolution of singularities $X' \to X$ and $X'$ is a model for $C$. Then $X' \to \mathop{\mathrm{Spec}}(R)$ is proper as a composition of proper morphisms. Then we may apply Lemma 55.8.5 to obtain a minimal model. $\square$

Comments (0)

There are also:

2 comment(s) on Section 55.8: Models

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

Comments (0)

Post a comment