Classifying thick subcategories of the stable category of Cohen-Macaulay modules (Q1959454): Difference between revisions

Let \(R\) be a Cohen-Macaulay local ring, \(CM(R)\) the category of all maximal Cohen-Macaulay \(R\)-modules and \(\underline{CM}(R)\) the stable category of \(CM(R)\). Buchweitz showed that \(\underline{CM}(R)\) is a triangulated category if \(R\) is Gorenstein. A subcategory of \(\underline{CM}(R)\) is thick if it is closed to under direct summands and triangles. After Auslander and Bridger a subcategory \(C\) of \(Mod(R)\) is resolving if \(C\) is closed under direct summands, extensions and kernels of epimorphisms. The nonfree locus \(\nu(C)\) of a subcategory \(C\) of \(Mod(R)\) is the union of nonfree loci of all objects in \(C\). Also \(\underline{Supp}(L)\) of a subcategory \(L\) of \(\underline{CM}(R)\) is the union of stable supports of all objects in \(L\). Let \(\mathcal S\) be the set of the specialization-closed subsets of \(Spec\;R\). The paper shows that when \(R\) is an abstract hypersurface local ring then \(\underline{Supp}\) defines a bijection between the thick subcategories of \(\underline{CM}(R)\) and \(\mathcal S\), respectively \(\nu\) defines a bijection between the resolving subcategories of \(CM(R)\) and \(\mathcal S\). Also if \(R\) is a \(d\)-dimensional Gorenstein singular locus ring with residue field \(k\) which is locally an abstract hypersurface on the punctured spectrum then \(\underline{Supp}\) defines a bijection between the thick subcategories of \(\underline{CM}(R)\) containing the \(d\)-syzygy of \(k\) and \(\mathcal S\), respectively \(\nu\) defines a bijection between the resolving subcategories of \(CM(R)\) containing the \(d\)-syzygy of \(k\) and \(\mathcal S\).