The generating hypothesis in the derived category of a ring. (Q884970): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2067602328 / rank | |||
Normal rank |
Revision as of 21:41, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The generating hypothesis in the derived category of a ring. |
scientific article |
Statements
The generating hypothesis in the derived category of a ring. (English)
0 references
7 June 2007
0 references
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.
0 references
derived categories
0 references
perfect complexes
0 references
homology functors
0 references
von Neumann regular rings
0 references
strong generating hypothesis
0 references
flat modules
0 references
short exact sequences
0 references