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

The isomorphism ${(M \otimes _ {S} N)} _ {f} = M _ {f} \otimes _ {S _ {f}} N _ {f}$ is well-known. Here, $S$ is a graded ring, and $M,N$ are graded $S$ modules.

Now, let $f$ be any homogeneous element of $S$ of degree 1. I want to have ${(M \otimes _ {S} N)} _ {(f)} = M _ {(f)} \otimes _ {S _ {(f)}} N _ {(f)}$. Here, $L _ {(f)}$ means the zero-degree part of $L _ {f}$ for any graded $S$-module $L$.

By using the first formula, the problem reduces to the following assertion: Can the zero-degree part of $M _ {f} \otimes _ {S _ {f}} N _ {f}$ be identified with $M _ {(f)} \otimes _ {S _ {(f)}} N _ {(f)}$ ?

I see that there is a canonical homomorphism $M _ {(f)} \otimes _ {S _ {(f)}} N _ {(f)} \to M _ {f} \otimes _ {S _ {f}} N _ {f}$, and I also see that the image of this homomorphism equals to the zero-degree part of $M _ {f} \otimes _ {S _ {f}} N _ {f}$.

However, I cannot prove that this homomorphism is injective.

share|improve this question
    
Dublicate mathoverflow.net/questions/72155/… –  Martin Brandenburg Aug 5 '11 at 10:26
    
Also, you may consult therisingsea.org/notes/ModulesOverProjectiveSchemes.pdf –  Martin Brandenburg Aug 5 '11 at 10:30
    
Thank you for your kindness. I will study this PDF file. –  Hiro Aug 5 '11 at 10:49
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.