The lower extension groups and quotient categories (Q2280084)

Let \(\mathcal{A}\) be an additive category, and \(\mathcal{X}\) be a full additive subcategory of \(\mathcal{A}\). In relative homological algebra, \(\mathcal{X}\)-(co)resolutions play the role of projective resolutions and injective resolutions in classical homological algebra. The \textit{lower extension groups} \(\mathrm{Ext}_{\mathcal{X},n}(-,-)\) are obtained by substituting the \(\mathcal{X}\)-resolution in the covariant entry of \(\mathrm{Hom}_{\mathcal{A}}(-,-)\) and then computing the cohomology groups. Those groups arise in Gorenstein's homological algebra [\textit{E. E. Enochs} and \textit{O. M. G. Jenda}, Math. Z. 220, No. 4, 611--633 (1995; Zbl 0845.16005)] and general stabilization theory [\textit{A. Beligiannis}, Commun. Algebra 28, No. 10, 4547--4596 (2000; Zbl 0964.18006)]. The paper extends the corresponding result by \textit{B. Keller} and \textit{D. Vossieck} [C. R. Acad. Sci., Paris, Sér. I 305, 225--228 (1987; Zbl 0628.18003)] to study the lower extension groups in a completely different perspective. The authors show that these groups are isomorphic to the suspended \(\mathrm{Hom}\) groups in the Verdier quotient category of the bounded homotopy category of \(\mathcal{A}\) by that of \(\mathcal{X}\). Alternatively, these groups are isomorphic to the negative cohomology groups of the \(\mathrm{Hom}\) complexes in the dg quotient category \(\mathcal{A}/\mathcal{X}\), where both \(\mathcal{A}\) and \(\mathcal{X}\) are viewed as \(dg\) categories concentrated in degree zero.