The generating hypothesis in the derived category of a ring. (Q884970): Difference between revisions

A ring \(R\) satisfies the `generating hypothesis' if whenever \(f\colon X\to Y\) is a map of perfect complexes in the derived category \(\mathcal D(R)\) of \(R\) and \(H_*f=0\), then \(f=0\). A ring \(R\) satisfies the `strong generating hypothesis' if the homology functor is fully faithful on perfect complexes. It is proved that a ring \(R\) satisfies the strong generating hypothesis if and only if \(R\) is von Neumann regular. In this case the natural map \([P,Q]\to\Hom_R(H_*P,H_*Q)\) is an isomorphism for all complexes \(P\) and arbitrary complexes \(Q\). A ring \(R\) satisfies the generating hypothesis if and only if \(R\) has weak dimension at most 1 and all finitely presented \(R\)-modules are FP-injective. A ring \(R\) is von Neumann regular if and only if the generating hypothesis holds in \(\mathcal D(R)\) and finitely generated flat submodules of projective right \(R\)-modules are projective. An example of a ring \(R\) is indicated such that it satisfies the generating hypothesis but is not von Neumann regular.