Classifying subcategories in quotients of exact categories (Q2336051)

Abelian categories were introduced by Grothendieck to axiomatize the properties of the category of modules over a ring and of the category of sheaves over a scheme. It is often the case that interesting additive categories are not abelian but still have good homological properties with respect to a restricted class of short exact sequences. Exact categories were introduced by \textit{D. Quillen} [Lect. Notes Math. 341, 85--147 (1973; Zbl 0292.18004)] from this perspective to axiomatize extension closed subcategories of abelian categories. Exact categories are important in representation theory because of a celebrated theorem of \textit{D. Happel} [Triangulated categories in the representation theory of finite dimensional algebras. Cambridge (UK) etc.: Cambridge University Press (1988; Zbl 0635.16017)], which tells us that Frobenius categories produce triangulated categories by passing to the stable category. The triangulated categories that arise in this way are called algebraic. In this article, the author presents a classification for the algebraic triangulated categories, in terms of certain subcategories in the ambient exact categories. More precisely, the author established the following one-to-one correspondence: There exists a one-to-one correspondence between thick subcategories of a Frobenius category \(\mathcal{E}\) containing projectives and thick triangulated subcategories of the associated stable category \(\underline{\mathcal{E}}\), and there exists a one-to-one correspondence between complete subcategories of a Frobenius category \(\mathcal{E}\) containing injectives and triangulated subcategories of the associated stable category \(\underline{\mathcal{E}}\). Finally, the author applies the above two correspondences to the following situations: Case I: \(\mathcal{E}:=\mathrm{Gproj}\mathcal{A}\) is a Frobenius category, where \(\mathcal{A}\) is an abelian category with enough projectives, \(\mathrm{Gproj}\mathcal{A}\) is the full subcategory of \(\mathcal{A}\) consisting of all Gorenstein projective objects in \(\mathcal{A}\). Case II: \(\mathcal{E}:=\mathcal{G}(R)\) is a Frobenius category, where \(R\) is a commutative Noetherian ring, \(\mathcal{G}(R)\) is the full subcategory of \(\mathrm{mod} R\) consisting of all totally reflexive modules. Case III: \(\mathcal{E}:=\mathrm{CM}(R)\) is a Frobenius category, where \(R\) is a Gorenstein local ring, \(\mathrm{CM}(R)\) is the full subcategory of \(\mathrm{mod} R\) consisting of all maximal Cohen-Macaulay modules over \(R\).