Cut cotorsion pairs

We present the concept of cotorsion pairs cut along subcategories of an abelian category. This provides a generalization of complete cotorsion pairs, and represents a general framework to find approximations restricted to certain subcategories. We also exhibit some connections between cut cotorsion pairs and Auslander–Buchweitz approximation theory, by considering relative analogs for Frobenius pairs and Auslander–Buchweitz contexts. Several applications are given in the settings of relative Gorenstein homological algebra, chain complexes, and quasi-coherent sheaves, as well as to characterize some important results on the Finitistic Dimension Conjecture, the existence of right adjoints of quotient functors by Serre subcategories, and the description of cotorsion pairs in triangulated categories as co-t-structures.

New model structures and projective (injective) cotorsion pairs

Let [Formula: see text] be either the category of [Formula: see text]-modules or the category of chain complexes of [Formula: see text]-modules and [Formula: see text] a cofibrantly generated hereditary abelian model structure on [Formula: see text]. First, we get a new cofibrantly generated model structure on [Formula: see text] related to [Formula: see text] for any positive integer [Formula: see text], and hence, one can get new algebraic triangulated categories. Second, it is shown that any [Formula: see text]-strongly Gorenstein projective module gives rise to a projective cotorsion pair cogenerated by a set. Finally, let [Formula: see text] be an [Formula: see text]-module with finite flat dimension and [Formula: see text] a positive integer, if [Formula: see text] is an exact sequence of [Formula: see text]-modules with every [Formula: see text] Gorenstein injective, then [Formula: see text] is injective.

Tilting pairs in extriangulated categories

Extriangulated categories were introduced by Nakaoka and Palu to give a unification of properties in exact categories and extension-closed subcategories of triangulated categories. A notion of tilting pairs in an extriangulated category is introduced in this paper. We give a Bazzoni characterization of tilting pairs in this setting. We also obtain the Auslander–Reiten correspondence of tilting pairs which classifies finite $\mathcal {C}$ -tilting subcategories for a certain self-orthogonal subcategory $\mathcal {C}$ with some assumptions. This generalizes the known results given by Wei and Xi for the categories of finitely generated modules over Artin algebras, thereby providing new insights in exact and triangulated categories.

Rank functions on triangulated categories

We introduce the notion of a rank function on a triangulated category 𝒞 {\mathcal{C}} which generalizes the Sylvester rank function in the case when 𝒞 = 𝖯𝖾𝗋𝖿 ⁢ ( A ) {\mathcal{C}=\mathsf{Perf}(A)} is the perfect derived category of a ring A. We show that rank functions are closely related to functors into simple triangulated categories and classify Verdier quotients into simple triangulated categories in terms of particular rank functions called localizing. If 𝒞 = 𝖯𝖾𝗋𝖿 ⁢ ( A ) {\mathcal{C}=\mathsf{Perf}(A)} as above, localizing rank functions also classify finite homological epimorphisms from A into differential graded skew-fields or, more generally, differential graded Artinian rings. To establish these results, we develop the theory of derived localization of differential graded algebras at thick subcategories of their perfect derived categories. This is a far-reaching generalization of Cohn’s matrix localization of rings and has independent interest.

Almost split morphisms in subcategories of triangulated categories

For a suitable triangulated category [Formula: see text] with a Serre functor [Formula: see text] and a full precovering subcategory [Formula: see text] closed under summands and extensions, an indecomposable object [Formula: see text] in [Formula: see text] is called Ext-projective if Ext[Formula: see text]. Then there is no Auslander–Reiten triangle in [Formula: see text] with end term [Formula: see text]. In this paper, we show that if, for such an object [Formula: see text], there is a minimal right almost split morphism [Formula: see text] in [Formula: see text], then [Formula: see text] appears in something very similar to an Auslander–Reiten triangle in [Formula: see text]: an essentially unique triangle in [Formula: see text] of the form [Formula: see text] where [Formula: see text] is an indecomposable not in [Formula: see text] and [Formula: see text] is a [Formula: see text]-envelope of [Formula: see text]. Moreover, under some extra assumptions, we show that removing [Formula: see text] from [Formula: see text] and replacing it with [Formula: see text] produces a new subcategory of [Formula: see text] closed under extensions. We prove that this process coincides with the classic mutation of [Formula: see text] with respect to the rigid subcategory of [Formula: see text] generated by all the indecomposable Ext-projectives in [Formula: see text] apart from [Formula: see text]. When [Formula: see text] is the cluster category of Dynkin type [Formula: see text] and [Formula: see text] has the above properties, we give a full description of the triangles in [Formula: see text] of the form [Formula: see text] and show under which circumstances replacing [Formula: see text] by [Formula: see text] gives a new extension closed subcategory.