Let A be a small abelian category.For a closed subbifunctor F of Ext_A^1(-,-),Buan has generalized the construction of Verdier’s quotient category to get a relative derived category,where he localized with respect ...Let A be a small abelian category.For a closed subbifunctor F of Ext_A^1(-,-),Buan has generalized the construction of Verdier’s quotient category to get a relative derived category,where he localized with respect to F-acyclic complexes.In this paper,the homological properties of relative derived categories are discussed,and the relation with derived categories is given.For Artin algebras,using relative derived categories,we give a relative version on derived equivalences induced by F-tilting complexes.We discuss the relationships between relative homological dimensions and relative derived equivalences.展开更多
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.展开更多
Let(X, Y) be a balanced pair in an abelian category. We first introduce the notion of cotorsion pairs relative to(X, Y), and then give some equivalent characterizations when a relative cotorsion pair is hereditary or ...Let(X, Y) be a balanced pair in an abelian category. We first introduce the notion of cotorsion pairs relative to(X, Y), and then give some equivalent characterizations when a relative cotorsion pair is hereditary or perfect. We prove that if the X-resolution dimension of Y(resp. Y-coresolution dimension of X)is finite, then the bounded homotopy category of Y(resp. X) is contained in that of X(resp. Y). As a consequence, we get that the right X-singularity category coincides with the left Y-singularity category if the X-resolution dimension of Y and the Y-coresolution dimension of X are finite.展开更多
基金Supported by National Natural Science Foundation of China(Grant No.11201022)the Fundamental Research Funds for the Central Universities(Grant No.2015JBM101)
文摘Let A be a small abelian category.For a closed subbifunctor F of Ext_A^1(-,-),Buan has generalized the construction of Verdier’s quotient category to get a relative derived category,where he localized with respect to F-acyclic complexes.In this paper,the homological properties of relative derived categories are discussed,and the relation with derived categories is given.For Artin algebras,using relative derived categories,we give a relative version on derived equivalences induced by F-tilting complexes.We discuss the relationships between relative homological dimensions and relative derived equivalences.
基金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.
基金supported by National Natural Science Foundation of China(Grant No.11171142)
文摘Let(X, Y) be a balanced pair in an abelian category. We first introduce the notion of cotorsion pairs relative to(X, Y), and then give some equivalent characterizations when a relative cotorsion pair is hereditary or perfect. We prove that if the X-resolution dimension of Y(resp. Y-coresolution dimension of X)is finite, then the bounded homotopy category of Y(resp. X) is contained in that of X(resp. Y). As a consequence, we get that the right X-singularity category coincides with the left Y-singularity category if the X-resolution dimension of Y and the Y-coresolution dimension of X are finite.