2
$\begingroup$

Let $S$ be an integral Dedekind scheme.

Let $f:X\longrightarrow \mathbf{P}^1_{S}$ be a finite flat surjective morphism, where $X$ is an integral normal scheme.

Let $\eta$ be the generic point of $S$. Note that $f_\eta:X_\eta\longrightarrow \mathbf{P}^1_{K(S)}$ is a finite morphism of curves over $K(S)$.

Question. Is $f$ the normalization of $\mathbf{P}^1_S$ in the function field of $X_\eta$?

$\endgroup$
3
$\begingroup$

In your case the function field of $X_{\eta}$ is the same as the function field of $X$. Thus the following general remark answers your question affirmatively.

Assume $Y$ is an integral scheme and $L$ is an algebraic extension of the function field $K(Y)$ of $Y$. Let $\pi\colon X \to Y$ be an integral morphism of schemes such that $X$ is integral and normal and such that $\pi$ induces on function fields the extension $K(Y) \subset L = K(X)$. Then $X$ is the normalization of $Y$ in $L$. In fact this follows essentially from the definition of "normalization" and the fact that integral ring homomorphisms are stable under localization.

$\endgroup$
1
  • $\begingroup$ Ok. So it's quite elementary actually. $\endgroup$ – Homalor Jul 28 '11 at 16:03
2
$\begingroup$

Yes. This follows from Zariski's Main Theorem (although there are probably more direct arguments in this case).

$\endgroup$
1
  • $\begingroup$ Let me see if I got this. Let $\widetilde{X}\longrightarrow \mathbf{P}^1_S$ be the normalization. Then, by the universal property of normalization, there is a unique morphism $q:X\longrightarrow \widetilde{X}$. Since $q$ is birational and quasi-finite, Zariski's main theorem implies that it is an open immersion. Now, since $f$ was finite, we have that $q$ is finite. Therefore, it is closed. Therefore, $q$ is the identity morphism. $\endgroup$ – Homalor Jul 28 '11 at 14:49

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.