Frobenius pairs in abelian categories. Frobenius pairs in abelian categories, correspondences with cotorsion pairs, exact model categories, and Auslander-Buchweitz contexts

Homological dimension in associative algebras (16E10) Resolutions; derived functors (category-theoretic aspects) (18G10) Homological dimension (category-theoretic aspects) (18G20) Homotopical algebra, Quillen model categories, derivators (18N40)

Abstract: In this work, we revisit Auslander-Buchweitz Approximation Theory and find some relations with cotorsion pairs and model category structures. From the notions of relatives generators and cogenerators in Approximation Theory, we introduce the concept of left Frobenius pairs

(m a t h c a l X, o m e g a)

in an abelian category

m a t h c a l C

. We show how to construct from

(m a t h c a l X, o m e g a)

a projective exact model structure on

m a t h c a l X^{w} e d g e

, as a result of Hovey-Gillespie Correspondence applied to two compatible and complete cotorsion pairs in

m a t h c a l X^{w} e d g e

. These pairs can be regarded as examples of what we call cotorsion pairs relative to a thick subcategory of

m a t h c a l C

. We establish some correspondences between Frobenius pairs, relative cotorsion pairs, exact model structures and Auslander-Buchweitz contexts. Finally, some applications of these results are given in the context of Gorenstein homological algebra by generalizing some existing model structures on the categories of modules over Gorenstein and Ding-Chen rings, and by encoding the stable module category of a ring as a certain homotopy category. We also present some connections with perfect cotorsion pairs, covering classes, and cotilting modules.

Review text

The study of relative homological dimensions, obtained by replacing the projective or injective modules by certain subcategories of an abelian category, was initiated by \textit{S. Eilenberg} and \textit{J. C. Moore} [Foundations of relative homological algebra. Providence, RI: American Mathematical Society (AMS) (1965; Zbl 0129.01101)]. An important branch of relative homological algebra was developed by \textit{M. Auslander} and \textit{R.-O. Buchweitz} [Mém. Soc. Math. Fr., Nouv. Sér. 38, 5--37 (1989; Zbl 0697.13005)]. The concepts and results in this seminal work comprise what is usually known as \textit{Auslander-Buchweitz approximation theory}. The main purpose of this paper is to use Auslander-Buchweitz approximation theory in order to develop, in the general setting provided by an abelian category \(\mathcal{C}\), the theory of left and right Frobenius pairs. The authors introduce the concept of left Frobenius pairs \((\mathcal{X}, \omega)\) in an abelian category \(\mathcal{C}\) and show how to construct from \((\mathcal{X}, \omega)\) a projective exact model structure on \(\mathcal{X}^\vee\), the subcategory of objects in \(\mathcal{C}\) with finite \(\mathcal{X}\)-resolution dimension, via cotorsion pairs relative to a thick subcategory of \(\mathcal{C}\). Correspondences between these model structures, relative cotorsion pairs, Frobenius pairs, and Auslander-Buchweitz contexts is established. Some applications of this theory are given in the context of Gorenstein homological algebra, and connections with perfect cotorsion pairs, covering subcategories and cotilting modules are also presented and described.

Recommendations

Cites work

Cited in

(30)

This page was built for publication: Frobenius pairs in abelian categories. Frobenius pairs in abelian categories, correspondences with cotorsion pairs, exact model categories, and Auslander-Buchweitz contexts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631915)