We clarify the relation between the subcategory D_(hf)~b(A) of homological finite objects in D^b(A)and the subcategory K^b(P) of perfect complexes in D^b(A), by giving two classes of abelian categories A with enough p...We clarify the relation between the subcategory D_(hf)~b(A) of homological finite objects in D^b(A)and the subcategory K^b(P) of perfect complexes in D^b(A), by giving two classes of abelian categories A with enough projective objects such that D_(hf)~b(A) = K^b(P), and finding an example such that D_(hf)~b(A)≠K^b(P). We realize the bounded derived category D^b(A) as a Verdier quotient of the relative derived category D_C^b(A), where C is an arbitrary resolving contravariantly finite subcategory of A. Using this relative derived categories, we get categorical resolutions of a class of bounded derived categories of module categories of infinite global dimension.We prove that if an Artin algebra A of infinite global dimension has a module T with inj.dimT <∞ such that ~⊥T is finite, then D^b(modA) admits a categorical resolution; and that for a CM(Cohen-Macaulay)-finite Gorenstein algebra, such a categorical resolution is weakly crepant.展开更多
基金supported by National Natural Science Foundation of China(Grant Nos.11271251 and 11431010)
文摘We clarify the relation between the subcategory D_(hf)~b(A) of homological finite objects in D^b(A)and the subcategory K^b(P) of perfect complexes in D^b(A), by giving two classes of abelian categories A with enough projective objects such that D_(hf)~b(A) = K^b(P), and finding an example such that D_(hf)~b(A)≠K^b(P). We realize the bounded derived category D^b(A) as a Verdier quotient of the relative derived category D_C^b(A), where C is an arbitrary resolving contravariantly finite subcategory of A. Using this relative derived categories, we get categorical resolutions of a class of bounded derived categories of module categories of infinite global dimension.We prove that if an Artin algebra A of infinite global dimension has a module T with inj.dimT <∞ such that ~⊥T is finite, then D^b(modA) admits a categorical resolution; and that for a CM(Cohen-Macaulay)-finite Gorenstein algebra, such a categorical resolution is weakly crepant.
