3
$\begingroup$

$\textbf{Question 1}$ (Generically projective over $\bar{k}$) Let $X, Y$ be schemes of finite type over a fixed field $k = \bar{k}$, and we work with $k$-schemes. Suppose $\phi: Y \rightarrow X$ is flat of finite type, with $X$ integral and $Y$ proper, irreducible. If the fibers $Y_z$, of $\phi$ over closed points $z$ in a nonempty open subset of $X$ are projective (over $k$), then does it follow that all fibers over closed points are in fact projective (over $k$).

$\textbf{Question 2}$ (Spreading out) If $\phi: Y \rightarrow \textrm{Spec } \mathbb{Z}$ is flat of finite type with $Y$ irreducible and $X$ integral, and the generic fiber $Y_\mathbb{Q} \rightarrow \mathbb{Q}$ a projective morphism. Are the fibers $Y_{\textbf{F}_p} \rightarrow \textrm{Spec } \mathbb{F}_p$ also projective morphisms? Do we have a version of "spreading out", that is, if the morphism is projective at the generic fiber then is is so over a nonempty open set.

$\endgroup$
6
  • $\begingroup$ Regarding 1), I guess you want to assume that $\phi$ is proper. Otherwise you could just remove one point from $Y$... $\endgroup$ Nov 3, 2012 at 2:21
  • 1
    $\begingroup$ If the answer to $1$ were positive then the fact that the generic fibre of $\phi$ is projective and (consequently) has a Néron-Severi group of rank $>0$ would imply that for every fibre of $\phi$, the Néron-Severi group is also of rank $>0$. This is not very likely to be true (I think). $\endgroup$ Nov 3, 2012 at 20:59
  • $\begingroup$ I suspect that a counterexample to (1) can be obtained as follows: Hironaka's example of a complete smooth nonprojective variety is obtained by taking an arbitrary nonsingular projective three-fold $X$, and performing certain "local" blowups that are glued together in a funny way (see Hartshorne A.3.4.1) to obtain the desired nonprojective variety $\tilde{X}$. I believe that the construction for "deformation to the normal cone" can be modified to produce a flat, proper family over $\mathbb P^1$ such that the general fiber is $X$, but one special fiber is reducible and ... $\endgroup$ Nov 3, 2012 at 21:31
  • 1
    $\begingroup$ ... one irreducible component of this special fiber is isomorphic to $\tilde{X}$. Consequently, the special fiber cannot be projective, even though the general fiber is the projective variety $X$. $\endgroup$ Nov 3, 2012 at 21:33
  • $\begingroup$ Alright, good to know that this probably isn't true. Thanks Damian, Charles. Damian, can you elaborate a little. If the special fiber has rank of the NS rank $> 0$ how do you know that the NS group of every fiber has positive rank? $\endgroup$
    – LMN
    Nov 3, 2012 at 21:45

1 Answer 1

4
$\begingroup$

For question 2: Let $Y\to S$ be a proper morphism with $S$ integral and noetherian (for simplicity) and $Y$ irreducible with non-empty projective generic fiber $Y_K$ (where $K$ is the field of rational functions on $S$). Then there exists a dense open subset $U$ of $S$ such that $Y_U\to U$ is projective:

Let $Y_K\to \mathbb P^N_K$ be a closed immersion. Let $Z$ be the scheme-theoretical closure of the image $Y_K$ in $\mathbb P^N_K$. Then we have a birational map $f$ from $Y$ to $Z$. The domain of definition $\Omega$ of $f$ is open and contains the generic fiber $Y_K$. So $\Omega$ contains $Y_V$ for some dense open subset $V$ of $S$ and we have a birational morphism $Y_V\to Z_V$.

Applying the same reasonning to this morphism or to the inverse birational map, we see that there exists a dense open subset $U$ of $V$ such that $Y_U\to Z_U$ is an isomorphism. So $Y_U\to U$ is projective.

Now for all $s\in U$, $Y_s$ is projective over the residue field $k(s)$ of $S$ at $s$.

$\endgroup$
1
  • $\begingroup$ You can also invoke EGA IV, (8.10.5)(xiii). $\endgroup$ Nov 5, 2012 at 7:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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