Resolving resolution dimensions in triangulated categories (Q2053590): Difference between revisions

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.