I am reading A. Yekutieli's original article on dualizing complexes for noncommutative algebras and I found a problem I cannot solve.
First, some background. We start with a field $k$ and a noetherian $\mathbb N$-graded algebra $A$ and assume that $A_0 = k$. All objects are graded, and we write $\mathcal A$ for the category of graded $A$-bimodules. A dualizing complex is an object $R^\bullet$ in the derived category $\mathcal D(\mathcal A)$ satisfying the following:
Its cohomology modules are finitely generated as left and right $A$-modules.
If we look at $R^\bullet$ as a complex of left $A$-modules, then it has finite injective dimension, and the same holds exchangng left for right.
The obvious morphisms $A \to \mathcal R Hom_{A^\circ}(R^\bullet, R^\bullet)$ and $A^\circ \to \mathcal R Hom_{A}(R^\bullet, R^\bullet)$ are isomorphisms in the category $\mathcal D (\mathcal A)$.
These "obvious morphism" come from the following setup: By 2 we may replace $R^\bullet$ with a bounded complex $I^\bullet$ such that each $I^i$ is injective as left and right $A$-module (but not necessarily as bimodule). Thus for every complex of left $A$-modules $M^\bullet$ there is a map, defined at the level of chain complexes \begin{align*} M^\bullet \to Hom_{A^\circ}(Hom_A(M^\bullet, I^\bullet), I^\bullet) \end{align*} given by simple evaluation. Passing to the derived category, the complex on the r.h.s. is isomorphic to $\mathcal R Hom_{A^\circ}(\mathcal R Hom_{A}(M^\bullet, R^\bullet), R^\bullet)$. Putting $M^\bullet = A$ gives us the morphism of point 3 of the above definition (if $M^\bullet$ is a complex of bimodules then the map respects this structure), and in the paper Yekutieli proves that this map is an isomorphism for $A$ if and only if it is an isomorphism whenever $M^\bullet$ is a bounded complex with finitely generated cohomology modules. So far, so good.
Dualizing complexes, when they exists, are not unique. In order to fix a special class of isomorphisms Yekutieli introduces local cohomology. Set $\Gamma_m(-) = \varinjlim Hom_A(A/A_{\geq n},-)$, where $A_{\geq n}$ denotes the ideal of elements of $A$ of degree at least $n$. This is a left exact functor, with a right derived functor $\mathcal R \Gamma_m$ defined over left bounded complexes of left $A$-modules. Then he states that there is a map similar to that above, \begin{align*} \mathcal R \Gamma_m(M^\bullet) \to \mathcal R Hom_{A^\circ}(\mathcal R Hom_{A}(M^\bullet, R^\bullet), \mathcal R \Gamma_m(R^\bullet)) \end{align*} It is this map I am trying to make sense of. By looking at it simply at the level of complexes, we might feel tempted to replace $M^\bullet$ by an injective resolution $J^\bullet$, reuse our old resolution of $R^\bullet$ called $I^\bullet$, and thus obtain a map \begin{align*} \Gamma_m(J^\bullet) \to Hom_{A^\circ}(Hom_{A}(J^\bullet, I^\bullet), \mathcal \Gamma_m(I^\bullet)) \end{align*} given again by evaluation. This is indeed well-defined, but the problem is that passing to the derived category, it is not immediate, at least to me, that the complex on the r.h.s. is isomorphic to $\mathcal R Hom_{A^\circ}(\mathcal R Hom_{A}(M^\bullet, R^\bullet), \mathcal R \Gamma_m(R^\bullet))$. In order for that to happen, $\Gamma_m(I^\bullet)$ should consist of $A$-module which are injective as right $A$-modules, and I see no reason for that to be true (in the article it is proven that these modules are injective as left $A$-modules).
Any ideas on how to fix this? Have I made a mistake with the definition of this last morphism?