Relative tilting theory in abelian categories I: Auslander-Buchweitz-Reiten approximations theory in subcategories and cotorsion pairs

Alejandro Argudín Monroy,Octavio Mendoza Hernández
2024-06-10
Abstract:In this paper we introduce a special kind of relative (co)resolutions associated to a pair of classes of objects in an abelian category $\mathcal{C}.$ We will see that, by studying these relative (co)resolutions, we get a possible generalization of a part of the Auslander-Buchweitz approximation theory that is useful for developing $n$-$\mathcal{X}$-tilting theory in [4]. With this goal, new concepts as $\mathcal{X}$-complete and $\mathcal{X}$-hereditary pairs are introduced as a generalization of complete and hereditary cotorsion pairs. These pairs appear in a natural way in the study of the category of representations of a quiver in an abelian category [5]. Our main results will include an existence theorem for relative approximations, among other results related with closure properties of relative (co)resolution classes and relative homological dimensions which are essential in the development of $n$-$\mathcal{X}$-tilting theory in [4].
Representation Theory,Category Theory
What problem does this paper attempt to address?
The problems that this paper attempts to solve are related to the development of some basic concepts and techniques in the Relative Tilting Theory, especially the applications in Abelian Categories. Specifically, the main objectives of the paper are as follows: 1. **Introduce new relative (co -) resolutions**: - The paper introduces a special relative (co -) resolution related to a pair of classes of objects in Abelian Categories. - These relative (co -) resolutions can be regarded as a possible generalization of part of the Auslander - Buchweitz approximation theory and are helpful for the development of n - X - tilting theory. 2. **Define and study new concepts**: - X - complete pairs and X - hereditary pairs are introduced. These concepts are generalizations of complete and hereditary cotorsion pairs. - These new concepts arise naturally when studying quiver representations in Representation Theory. 3. **Existence theorems and other results**: - The main results include the existence theorem of relative approximations, as well as the closure properties of relative (co -) resolution classes and the related properties of relative homological dimensions. - These properties play a crucial role in the development of n - X - tilting theory. 4. **Establishment of theoretical framework**: - The paper aims to provide a basic framework for the study of relative tilting theory in Abelian Categories. - This framework will be used in subsequent papers to study relative tilting classes and related concepts, such as relative homological dimensions and the parametrization of cotorsion pairs. ### Explanation of formulas and symbols - **Relative homological dimension**: - \( \text{pd}_X(T) \) represents the projective dimension of \( T \) relative to \( X \). - \( \text{id}_X(T) \) represents the injective dimension of \( T \) relative to \( X \). - **Cotorsion pair**: - \( (A, B) \) is a cotorsion pair if \( A = {}^\perp B \) and \( B = A^\perp \). - \( (A, B) \) is a left (right) cotorsion pair in \( X \) if \( A\cap X = {}^\perp (B\cap X) \) and \( B\cap X=(A\cap X)^\perp \). - **Relative resolution**: - \( YX \)-resolution: An exact sequence \( 0 \to M \xrightarrow{f_0} Y_0 \xrightarrow{f_1} Y_1 \to \cdots \), where \( Y_k \in Y\cup \{0\} \) and \( \text{Im}(f_i) \in X\cup \{0\} \). - \( YX \)-coresolution: An exact sequence \( 0 \to M \xrightarrow{f_0} Y_0 \xrightarrow{f_1} Y_1 \to \cdots \to Y_n \to 0 \), where \( Y_n \in X\cap Y \), \( Y_k \in Y \) and \( \text{Im}(f_i) \in X \). Through these concepts and techniques.