Complements to partial tilting modules (Q1340008): Difference between revisions

Let \(A\) be an Artin algebra and let \(\text{mod} (A)\) be the category of finitely generated right \(A\)-modules. Let \(n\) be the number of isomorphism classes of simple \(A\)-modules. A module \(M_A\) in \(\text{mod}(A)\) is called a partial tilting module if \(\text{pd}_A M < \infty\) and \(\text{Ext}^j_A (M,M) = 0\) for all \(j \geq 1\). If in addition there exists an exact sequence \(0 \to A_A \to M^0 \to M^1 \to \cdots \to M^j \to \cdots\) and \(M^j \in \text{add }M\), then \(M\) is called a tilting module. A module \(C\) is called a complement of a partial tilting module \(M\) if \(M \oplus C\) is a tilting module and \((\text{add } M) \cap (\text{add }C) = 0\). If a partial tilting module \(M\) has \(n - 1\) indecomposable direct summands up to isomorphism it is called an almost complete partial tilting module. It is proved in the paper that an almost complete tilting module \(M_A\) has a complement if the full subcategory \[ {\mathcal C}^M = \{Z \in \text{mod} (A) \mid \text{Ext}^i (Z,M) = 0 \text{ for all }i \geq 0 \text{ and } \text{pd}_A Z < \infty\} \] of \(\text{mod} (A)\) is contravariantly finite. If in addition \(M_A\) is faithful and \(\text{pd}_A M = t\) then \(M\) has a unique indecomposable complement \(X\) and \(\text{pd}_A X \leq t\). Let \(r = \max \{\text{pd}_A X \mid X \in {\mathcal C}^M\}\). It is known that \(r\) is finite if \({\mathcal C}^M\) is contravariantly finite. Given \(M\) and \(t \leq j \leq r\) we consider the following full subcategory \[ {\mathcal C}^M_j = \{Z \in \text{mod} (A) \mid \text{Ext}^i (Z,M) = 0 \text{ for all } i \geq 0 \text{ and } \text{pd}_A Z \leq j\} \] of \(\text{mod} (A)\). It is shown in the paper that for every almost complete tilting module \(M_A\) with \(\text{pd}_A M = t < r\) there exist indecomposable complements \(X_s \in {\mathcal C}^M_s\) for \(t \leq s \leq r\) with \(\text{pd}_A X_s = s\), and a long exact sequence \(0 \to X_t \to E_t \to E_{t + 1} \to \cdots \to E_{r-1} \to X_r \to 0\) with \(E_i \in \text{add }M\) for \(t \leq i \leq r\). The modules \(X_s \in {\mathcal C}^M_s\) for \(t < s \leq r\) are uniquely determined by the property that \(\text{pd}_A X_s = s\).