Resolving resolution dimensions in triangulated categories
In the article under review, the authors study resolution dimensions of objects in triangulated categories with respect to subcategories. Given a triangulated category (\(\mathcal{T}\),\(\Sigma\)) with enough \(\xi\)-projective and \(\xi\)-injective objects (where \(\xi\) denotes a class proper triangles) and a subcategory \(\mathcal{X} \subseteq \mathcal{T}\), the \(\mathcal{X}\)-resolution dimension of an object \(M \in \mathcal{T}\), denoted \(\mathcal{X}\)-res.dim(\(M\)), is defined as the smallest nonnegative integer \(m \geq 0\) for which there exists a \(\xi\)-exact complex \[ 0 \to X_m \to \cdots \to X_1 \to X_0 \to M \to 0 \] in \(\mathcal{T}\) with \(X_i \in \mathcal{X}\) for every \(0 \leq i \leq m\) (allowing \(\mathcal{X}\)-res.dim(\(M\)) = \(\infty\) in the case such \(m\) does not exist). The main results of the article consist in giving characterizations of this concept and sufficient conditions to obtain Auslander-Buchweitz approximations by the class \(\mathcal{X}\). The most interesting outcomes occur in the case where \(\mathcal{X}\) is a resolving subcategory, meaning that \(\mathcal{X}\) contains the class \(\mathcal{P}(\xi)\) of \(\xi\)-projective objects, and that \(\mathcal{X}\) is closed under \(\xi\)-extensions and under hokernels of \(\xi\)-proper epimorphisms. The first characterization of \(\mathcal{X}\)-res.dim(\(M\)) is given in Proposition 3.3, where the authors show that \(\mathcal{X}\)-res.dim(\(M\)) \(\leq m\) if, and only if, every \(m\)-th \(\mathcal{X}\)-syzygy belongs to \(\mathcal{X}\). In the case where \(\mathcal{X}\) is resolving and \(\mathcal{H}\) is a \(\xi\)xt-injective cogenerator in \(\mathcal{X}\), and closed under hokernels or direct summands, a more complete characterization is given in Theorem 3.14. Specifically, if \(M\) is an object with finite \(\mathcal{X}\)-resolution dimension, then the assertions in the previous equivalence are also equivalent to: \begin{itemize} \item \(\xi\mathrm{xt}^n_{\xi}(M,H) = 0\) for every \(n > m\) and \(H \in \mathcal{H}\) (or equivalently, \(H\) with finite \(\mathcal{H}\)-resolution dimension). \item \(M\) admits a right \(\mathcal{X}\)-approximation \(\varphi \colon X \to M\), where \(\varphi\) is a \(\xi\)-proper epimorphism such that \(\mathcal{H}\)-res.dim(\(\mathrm{Hoker}(\varphi)\)) \(\leq\) \(m\)-\(1\). \item There are two triangles \(W_M \to X_M \to M \to \Sigma(W_M)\) and \(M \to W^M \to X^M \to \Sigma(M)\) in \(\xi\) such that \(X_M, X^M \in \mathcal{X}\) and \(\mathcal{H}\)-res.dim(\(W_M\)) \(\leq\) \(m\)-\(1\), \(\mathcal{H}\)-res.dim(\(W^M\)) = \(\mathcal{X}\)-res.dim(\(W^M\)) \(\leq\) \(m\). \end{itemize} The proof of this equivalence is based on the construction of Auslander-Buchweitz approximations proved in Propositions 3.10 and 3.11. In Section 4., the authors study the quotient category \(\mathcal{X} / [\mathcal{H}]\) where \([\mathcal{H}]\) is the ideal of \(\mathcal{X}\) consisting of morphisms which factor through an object in \(\mathcal{H}\), for the case where \(\mathcal{X}\) is a resolving subcategory and \(\mathcal{H}\) is a \(\xi\)xt-injective \(\xi\)-cogenerator of \(\mathcal{X}\). In Section 5., the authors present the concept of \(\mathcal{GP}_{\mathcal{X}}(\xi)\)-Gorenstein category, a generalization of Gorenstein categories defined in [\textit{J. Asadollahi} and \textit{S. Salarian}, J. Algebra 281, No. 1, 264--286 (2004; Zbl 1060.18006)]. Applications of the previous results are given for the subcategory \(\mathcal{GP}_{\mathcal{X}}(\xi)\), which turns out to be resolving if \(\mathcal{X}\) is resolving (Theorem 5.3). In particular, a characterization of the \(\mathcal{GP}_{\mathcal{X}}(\xi)\)-resolution dimension is proved in Propositions 5.5.
- Resolving subcategories of triangulated categories and relative homological dimension
- On finite resolutions in triangulated categories
- Resolutions in factorization categories
- scientific article; zbMATH DE number 6611821
- Resolving subcategories and dimensions in recollements of extriangulated categories
- Resolving resolution dimension of recollements of abelian categories
- scientific article; zbMATH DE number 3455458
- Model categories from resolution dimensions
- Categorical resolutions of a class of derived categories
- Proper resolutions and gorensteinness in triangulated categories
- Applications of contravariantly finite subcategories
- Auslander-Buchweitz approximation theory for triangulated categories
- Frobenius pairs in abelian categories. Frobenius pairs in abelian categories, correspondences with cotorsion pairs, exact model categories, and Auslander-Buchweitz contexts
- Gorenstein homological dimensions for triangulated categories
- Gorenstein homological dimensions.
- Gorenstein objects in triangulated categories
- Homological dimensions relative to preresolving subcategories
- MODEL STRUCTURES ON TRIANGULATED CATEGORIES
- Notes on proper class of triangles
- On finite resolutions in triangulated categories
- On Gorenstein projective, injective and flat dimensions -- a functorial description with applications
- Relative homological algebra and purity in triangulated categories
- Resolving resolution dimensions
- Resolving subcategories of triangulated categories and relative homological dimension
- Smashing subcategories and the telescope conjecture -- an algebraic approach
- Stable module theory
- Tate cohomology and Gorensteinness for triangulated categories
- The homological theory of maximal Cohen-Macaulay approximations
- Triangulated categories
- ANR-resolutions of triads
- Auslander-Buchweitz approximation theory for triangulated categories
- Resolving subcategories and dimensions in recollements of extriangulated categories
- Simultaneous categorical resolutions
- On the derived dimension of abelian categories
- On finite resolutions in triangulated categories
- Resolving resolution dimensions
- One-sided Frobenius pairs in extriangulated categories
- Notes on resolving resolution dimensions
- Preresolving subcategories in extriangulated categories
This page was built for publication: Resolving resolution dimensions in triangulated categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2053590)
