Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose I have a morphism of Noetherian schemes over a field $k$ (if one needs this then assume $k$ is algebraically closed) $f:C'\rightarrow S$ which is finite with geometrically connected and reduced fibers. Is $f$ an isomorphism?

share|improve this question
    
Note that this is true if $S$ is normal, by Zariski's main theorem. –  Damian Rössler Nov 26 '12 at 8:07
    
Also note that if you do not assume that $S$ is surjective, then any closed immersion gives a counterexample (Jason Starr's answer is a closed immersion but you can see that he assumed that you wanted the morphism to be surjective). –  Damian Rössler Nov 26 '12 at 8:10

3 Answers 3

up vote 9 down vote accepted

No: $\text{Spec} k[\epsilon]/\langle \epsilon \rangle$ mapping to $\text{Spec} k[\epsilon]/\langle \epsilon^2 \rangle$.

share|improve this answer

Though any closed embedding will give a counter example, it is true if you ask whether it is an isomorphism to the (scheme theoretic) image. In other words, the map is an isomorphism from $C'\to f(C')$ where $f(C')$ is thought of as the scheme theoretic image (which makes sense since the map is assumed to be finite), with $k$ algebraically closed.

share|improve this answer

Or, perhaps more to the point, the map from the normalization to a cusp on a curve. Note that such a map is an isomorphism on points without being an isomorphism of schemes.

share|improve this answer
2  
Fiber above the cusp is not reduced. –  René Nov 26 '12 at 9:39
    
Yes. You are right. I was thinking only about the isomorphism on points, not the fiber! –  Ray Hoobler Nov 28 '12 at 17:24

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.