Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $R$ and $S$ be regular local rings, and $f: R\rightarrow S$ a surjection that induces an isomorphism on tangent spaces. Is $f$ necessarily an isomorphism?

I believe the answer should be yes, based on how this setup is used in a paper, but I don't see why.

The motivation is to show that the completion of the local ring of a certain scheme is a power series ring.

share|improve this question
add comment

1 Answer 1

up vote 3 down vote accepted

We can write $S=R/I$ and assume that $I\neq 0$. Since the tangent spaces are isomorphic they must have the same dimension. As QiL pointed out in the comments, we have $\dim R=\dim S$. Since $R$ is a domain and $I\neq 0$, we have $\dim S<\dim R$, a contradiction. So $I=0$.

share|improve this answer
    
Thanks; I think I've gleaned enough from your answer to settle my question. I don't quite follow your argument though: what exactly is the contradiction with $I \subset m^2$? EDIT: OK thanks, just didn't understand the definition of regular parameter. –  Tony Jan 5 '13 at 21:02
    
@QiL Yes, sure, you are perfectly right! –  user26857 Jan 5 '13 at 21:25
add comment

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.