Finite injective dimension over rings with Noetherian cohomology. (Q1951831)

Let \(R\) be a ring. Recall that a complex \(I\) of injective (left) \(R\)-modules is said to be semi-injective if the functor \(\Hom_R(-,I)\) sends acyclic complexes of \(R\)-modules to acyclic complexes. In the category of all complexes of \(R\)-modules, a quasi-isomorphism with semi-injective codomain is called a semi-injective resolution of the domain. By a result of Spaltenstein, every complex has such a resolution. Using this result and taking such resolutions of both arguments, one defines, in the usual way, the \(\text{Ext}\) functors for complexes. If a complex \(M\) has a semi-injective resolution \(iM\) with \(iM^n=0\) for all \(n\gg 0\), one says that \(M\) has finite injective dimension. Let \(\mathrm{K(Inj\,}R)\) denote the homotopy category of complexes of injective \(R\)-modules and let \(S\) be a commutative (non-negatively) graded ring. \(S\) is called a ring of cohomology operators for \(R\) if, for each \(X\in\mathrm{K(Inj\,}R)\), there is a graded ring homomorphism \[ \zeta_X\colon S\to\Hom^*_{\mathrm{K(Inj\,}R)}(X,X) \] such that the two \(S\)-module structures on \(\Hom^*_{\mathrm{K(Inj\,}R)}(X,Y)\) induced by \(\zeta_X\) and \(\zeta_Y\) agree (i.e., the results of applying any element of \(S\) coincide up to the sign rule). The ring \(R\) is said to have a Noetherian cohomology over \(S\) if \(R\) is of finite injective dimension as a left \(R\)-module, \(S\) is a Noetherian ring of finite Krull dimension, and \(\Hom^*_{\mathrm{K(Inj\,}R)}(C,C)\) is a Noetherian \(S\)-module for any compact object \(C\) in \(\mathrm{K(Inj\,}R)\). (Recall that \(C\) is said to be compact if the functor \(\Hom^*_{\mathrm{K(Inj\,}R)}(C,-)\) preserves set-indexed direct sums.) The main result of the paper asserts that if \(R\) has Noetherian cohomology over \(S\), an \(R\)-complex \(M\) is acyclic in high enough degrees, and the \(S\)-module \(\text{Ext}^*_R(M,M)\) is \(S^+=\bigoplus_{i \geq 1}S^i\)-torsion, then \(M\) has finite injective dimension.