# Why is the normalization of a general fiber the general fiber of the normalization?

Suppose $X \rightarrow Y$ is a map of reduced connected projective schemes of finite type over an algebraically closed field of characteristic 0, where $Y$ is a smooth connected curve. Let $Z \rightarrow X$ be the normalization of $X$. Then, for a general closed point $y \in Y$ (meaning for all but finitely many closed points of $Y$), is $Z_y$ (the fiber of $Z$ over $y$) the normalization of $X_y$?

Edit: This question was originally asked without the characteristic 0 hypothesis. Jason Starr pointed out in the comments that it fails in characteristic $p >0$, essentially because generic smoothness does not hold, as is witnessed in the case of quasi-elliptic fibrations.

Feel free to ignore the following, but in case it helps provide context, I will now explain why I want to know this is true for my research. For other reasons, I am trying to prove the following statement:

Suppose we have a proper flat map of quasi-projective reduced schemes over an algebraically closed field $X \rightarrow Y$ where $Y$ is a smooth connected curve. Assume further that the fiber over every point in $Y$ has two irreducible components, and the fiber over a particular closed point $y \in Y$ has two irreducible components with distinct Hilbert polynomials. Then, $X$ has two irreducible components.

Essentially by considering the normalization of $X$, and using Stein factorization, I have reduced the problem to the question above (showing that the normalization of the fiber is the fiber of the normalization for a general closed point of $Y$). However, I'm stuck on this detail.

• The answer depends on what you mean by "general point". The geometric generic fiber of $Z\to Y$ need not be normal. One class of examples are the "quasi-elliptic fibrations". – Jason Starr Dec 22 '15 at 2:00
• @JasonStarr Good point, I should have clarified that. I had intended just to ask about the general closed point (or equivalently geometrically closed point, since the field k is algebraically closed), and not the generic point. I have edited the question to reflect this clarification. – Aaron Landesman Dec 22 '15 at 17:01
• For the quasi-elliptic fibrations that Jason mentions, all fibers are singular, hence not normal. – abx Dec 22 '15 at 18:04
• Yes, use EGA IV$_3$, 12.2.4(iv) (which does not apply for positive generic characteristic since normal does not imply geometrically normal for schemes of finite type over an imperfect field). – nfdc23 Dec 23 '15 at 2:29
• @AaronLandesman: Think on your own about it, and ask others with more experience after you return to campus. These matters are not discussed in the Stacks Project (if I'm not mistaken), providing a very compelling illustration of why EGA remains an important reference with much valuable material not found elsewhere. If you follow the very thorough cross-references in EGA (not just a quick glance) you'll understand the "property P on geometric fibers" and "spreading-out" formalism. (Hint: see IV$_2$, 6.7.4(c) and 6.7.5--6.7.8 for the former, and consider "finite birational" for the latter). – nfdc23 Dec 24 '15 at 2:15