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

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:

  1. Its cohomology modules are finitely generated as left and right $A$-modules.

  2. 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.

  3. 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?

share|improve this question
add comment

1 Answer

You can consult [Michel Van den Bergh, Existence theorems for dualizing complexes over noncommutative graded and filtered rings, Lemma 4.1]. Your problem can be solved when $A$ is assumed to be Noetherian.

share|improve this answer
    
Just to clarify, said lemma states that if $E$ is an injective $A$-bimodule then $\Gamma_m(E)$ is a direct limit of injective right modules, which is also injective when $A$ is noetherian. Still, I am curious about Yekutieli's construction, which is done in general for coherent algebras. –  Pablo Zadunaisky Oct 2 '13 at 11:38
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.