4
$\begingroup$

Let $X$ and $Y$ be affine varieties over $\mathbb C$, and consider a morphism $f:X\to Y$ and the induced homomorhism

$$ \varphi=f^*:B=\mathbb C[Y]\to A=\mathbb C[X]. $$

It is very easy to see that if $\varphi$ is surjective then $f$ is injective. The converse is not true, as the inclusion $\mathbb C\setminus\{0\}\to\mathbb C$ shows.

My question is:

Assume $f$ is a finite injective morphism. Is it true that $\varphi$ must be surjective?

Here finite means that $A$ is integral over $B$ or, equivalently, that $A$ is a fintely generated $B$-module. Further, we are allowed to assume that $X$ and $Y$ are irreducible, and that $A$ and $B$ are free polynomial rings, if that helps.

One idea was to localize at an arbitrary maximal ideal $\mathfrak m$ of $B$, but I do not know if this works.

$\endgroup$
1
  • $\begingroup$ Just a quick comment that in characteristic $p > 0$ there isn't any hope, consider the Frobenius morphism. As is already pointed out in auniket's nice answer, things are better behaved over $\mathbb{C}$ $\endgroup$ Feb 1, 2014 at 14:46

1 Answer 1

11
$\begingroup$

No - consider the normalization of a cuspidal rational curve.

I don't understand your condition that $A$ and $B$ are free polynomial rings: do you mean that $X$ and $Y$ are isomorphic to $\mathbb{C}^n$ for some $n$? In that case the answer is positive. More precisely, the answer is positive if $B$ is integrally closed. Indeed, the injectivity and finiteness of $f$ implies that the quotient fields of $A$ and $B$ are the same, so that $A$ is contained in the integral closure of $B$.

$\endgroup$
2
  • 1
    $\begingroup$ Thanks a lot for your comments. So your argument shows that a finite bijective morphism $f:X\to Y$ between affine varieties where $Y$ is normal must be an isomorphism. I think now I understand better my problem and maybe I will reformulate the question in anedit. $\endgroup$ Jan 31, 2014 at 16:42
  • 1
    $\begingroup$ Just wanted to add that in your first statement above, "affine" is not necessary. Essentially the same argument shows that "a finite bijective morphism f:X→Y between varieties where Y is normal must be an isomorphism." $\endgroup$
    – pinaki
    Jan 31, 2014 at 21:40

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.