4
$\begingroup$

Let $f \colon X \to Y$ be a flat morphism of schemes over $\mathbb{C}$. Suppose that $Y$ is normal and that the fibers over the closed points of $Y$ are all normal.

  1. Can I say something about the fibers over non-closed points?

  2. Is it true that $X$ is normal?

In the local setting, a positive answer to 2 can be found in Matsumura "Commutative ring theory", Theorem 23.9 and its corollary. However, the normality of all the fibers is required.

I am interested, in particular, in the case where the fibers over the closed point are all isomorphic to $\mathbb{P}^1_{\mathbb{C}}$.

$\endgroup$
4
  • $\begingroup$ Let's focus on the case where all the closed fibers are $\mathbf{P}^1$. I'm not sure if it's automatic, so I will also assume the generic fibre to be $\mathbf{P}^1$. Then, by flatness, all the fibres are (possible singular) curves over $\mathbf{C}$. The arithmetic genus is constant in the fibres. Also, the morphism is smooth over the set of closed points. Therefore it is smooth everywhere. In particular, all the fibres are $\mathbf{P}^1$. $\endgroup$ Nov 30, 2011 at 10:52
  • $\begingroup$ Thank you Ariyan. I don't understand why you say that all the fibers in this case are schemes over $\mathbb{C}$. $\endgroup$
    – origal
    Nov 30, 2011 at 11:29
  • $\begingroup$ Hi origal. I don't understand it either. Please ignore that. It should read, the fibre over $y$ in $Y$ is a (possibly singular) curve over the residue field $k(y)$. (For some reason, this morning, I thought this would always be $\mathbf{C}$.) The conclusion then reads that the fibre over $y$ is $\mathbf{P}^1_{k(y)}$. In view of Laurent Moret-Bailly's answer below, note that we do not use that $Y$ is normal. $\endgroup$ Nov 30, 2011 at 13:30
  • $\begingroup$ I think there is one more problem: what is constant in a flat family is the arithmetic genus, then, in this case $h^0(X_y,\mathcal{O}_{X_y})-h^1(X_y,\mathcal{O}_{X_y})=1$ (with $X_y$ fiber over $y$). But is it true that $h^0(X_y,\mathcal{O}_{X_y})=1$ if the variety $X_y$ is not defined over $\mathbb{C}$? I think we need $k(y)$ to be algebraically closed. $\endgroup$
    – origal
    Nov 30, 2011 at 15:17

1 Answer 1

9
$\begingroup$

The fibers are normal. This follows (without the normality assumption on $Y$) from EGA IV (12.1.6) which says that the set those $x\in X$ where the fiber is normal is open, hence if its complement were nonempty, it would contain a closed point.

Hence, by your remark (or by EGA IV (6.8.3)), $X$ is normal.

$\endgroup$
0

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.