3
$\begingroup$

Let $R$ be a DVR and $K$ its fraction field. Let $X$ be a proper integral separated scheme of finite type over $Spec(K)$. Does it always exists a proper integral separated scheme $Y$ of finite type over $Spec(R)$, such that its generic fiber is isomorphic to $X$?

Of course, if the variety is projective, the answer is yes. But I would like to know if there are proper non-projective varieties that do not admit a proper integral model as before.

$\endgroup$
2
  • 1
    $\begingroup$ proper includes separated and finite-type already. Clearly we can do this for affine schemes. I'm trying to figure out if we can glue these together. $\endgroup$
    – Will Sawin
    Jun 5 '12 at 3:01
  • $\begingroup$ @Will: for proper replaced by affine, you can just take $Y=X$. $\endgroup$
    – user2035
    Jun 5 '12 at 7:12
4
$\begingroup$

From Nagata's compactification theorem, we can find a proper map $\overline{X} \to \mathop{\rm Spec}R$, containing $X$ as an open dense subscheme; then it is immediate to check that the generic fiber must be $X$.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.