show/hide this revision's text 2 added 81 characters in body

In "Existence theorems..." Van den Bergh proposes the following "pleasant excercise in homological algebra":

Let $A$ be a connected graded noetherian $k$-algebra (that is, $\mathbb N$-graded with $A_0 = k$ a field). A graded module $I$ which is injective in the category of left graded modules has injective dimension at most $1$ in the category of left modules.

There is a proof of this fact for commutative graded algebras in this paper by Fossum and Foxby, but I don't really see how to transfer this to the non-commutative setting. Can anyone provide any pointers or a reference to a proof? Thanks in advance.

PS: In a later paper, Yekutieli and Zhang state that the only proof they know of this fact is "quite involved", which eased my anxiety at being unable to solve a pleasant excercise in the area I'm supposed to be PhD-ing in...
show/hide this revision's text 1

Injective dimension of graded-injective modules.

In "Existence theorems..." Van den Bergh proposes the following "pleasant excercise in homological algebra":

Let $A$ be a connected graded noetherian $k$-algebra (that is, $\mathbb N$-graded with $A_0 = k$ a field). A graded module $I$ which is injective in the category of left graded modules has injective dimension at most $1$ in the category of left modules.

There is a proof of this fact for commutative graded algebras in this paper by Fossum and Foxby, but I don't really see how to transfer this to the non-commutative setting. Can anyone provide any pointers or a reference to a proof? Thanks in advance.

PS: In a later paper, Yekutieli and Zhang state that the only proof they know of this fact is "quite involved", which eased my anxiety at being unable to solve a pleasant excercise in the area I'm supposed to be PhD-ing in...