2
$\begingroup$

Hello,

This question is a follow up to Sasha's comment in Duals and Tensor products.

In the comment there, it is claimed that the given a ring $A$ and modules $M$, $N$, there is an isomorphism $$ RHom(M,A)\otimes^L RHom(N,A) = RHom(M\otimes^L N, A). $$

Question 1. Shouldn't we make assumption on $A$ to make sure the RHom's are bounded above in order for the (derived) tensor product to exist?

Then it is claimed that if $M$ is finite projective, then $RHom(M,A) = Hom(M,A)$ (obvious) and that the zero-th homology group of $Hom(M,A)\otimes^L RHom(N,A)$ is $Hom(M,A)\otimes Hom(N,A)$...

Question 2: Why is this last statement true? It would be true if $Hom(M,A)$ is flat, but why is it true in general?

Thanks!

$\endgroup$
0

1 Answer 1

4
$\begingroup$

In order to get the first isomorphism you probably need $M$ and $N$ to be perfect, i.e. they must have a projective resolution of finite length by projective modules of finite type. In that case $RHom(-,A)$ behaves as the usual duality functor on finite-dimensional vector spaces.

As for your second question, $Hom(M,A)$ is projective (you can readily see that it is free if $M$ is free of finite type and then argue with retractions), therefore the cohomology of $Hom(M,A)\otimes^L RHom(N,A)$ is $Hom(M,A)\otimes Ext^n(N,A)$.

$\endgroup$
0

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.