1
$\begingroup$

Let $f:X\to Y$ be a surjective morphism of complex varieties with $Y$ affine. Assume that every fiber of this morphism has the property that all the global functions are constant.

What else do I need to assume to conclude that $f$ induces an isomorphism on global functions? Does it enough to assume that $Y$ is smooth in codimension 1?

$\endgroup$
4
  • 1
    $\begingroup$ Do you assume the fibres are reduced? Without this the condition that $Y$ is smooth in codimension $1$ is not enough. $\endgroup$
    – naf
    Oct 5, 2011 at 4:23
  • $\begingroup$ Do you have a counterexample in mind? $\endgroup$ Oct 5, 2011 at 4:38
  • 3
    $\begingroup$ Yes. Let $A=k[x,y]$, $I$ the ideal $(x,y)^2$ and $B$ the subalgebra of $A$ generated by $I$. Let $X=Spec(A)$, $Y = Spec(B)$ and $f$ the morphism induced by the inclusion $ B \subset A$.Then $Y$ is smooth in codimension $1$ and$ f$ is a bijection on points so your condition is satisfied. – ulrich 0 secs ago $\endgroup$
    – naf
    Oct 5, 2011 at 5:06
  • $\begingroup$ Of course you are right. But I would expect that there is some sufficient condition on $Y$ like being Cohen-Macaulay? $\endgroup$ Oct 5, 2011 at 16:19

0

Your Answer

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

Browse other questions tagged or ask your own question.