Skip to main content
2 of 3
added 6 characters in body
Qwert Otto
  • 985
  • 1
  • 11

Trace map on Ext group

Let $R$ be a (possibly non-commutative) unital ring and $M$ be a perfect left $R$-module. Then, we have the trace map $$ \operatorname{Tr}\colon \mathrm{Hom}_R(M,M)\to R/[R,R]\,. $$

According to the answer to my previous question, there are maps \begin{align*} \mathrm{RHom}_R(M,M) \leftarrow \mathrm{RHom}_R(M,R)\otimes^L_R M\to R\otimes^L_{R\otimes^L R^{op}}R \end{align*} with the left arrow being a quasi-isomorphism, and taking the 0-th (co)homology yields the trace map above. So far, so good.

I thought the maps on other degrees vanish for the following reason: the cohomology of $\mathrm{RHom}$ is just $\mathrm{Ext}$, so only the non-negative degree part survives. On the other hand, the homology of $R\otimes^L_{R\otimes^L R^{op}}R$ is exactly the Hochschild homology. Since homology is negatively graded cohomology, the induced map becomes trivial except for the degree-0 part.

Question: Is the above reasoning right?

At the same time, I found it strange because, on a complex manifold $X$, we have the trace map of the form $$ \operatorname{Tr}\colon\mathrm{Ext}^n(X;F,F) \to H^n(X,\mathcal{O}_X) $$ for a coherent sheaf $F$. I expected something similar in my setting but couldn't work it out.

I would appreciate any ideas or references. Thank you.

Qwert Otto
  • 985
  • 1
  • 11