Thick subcategories over Gorenstein local rings that are locally hypersurfaces on the punctured spectra (Q2375992): Difference between revisions

Throughout the paper under review let \(R\) be a commutative Gorenstein local ring and let \(\mathfrak m\) be the maximal ideal of \(R\). The ring \(R\) is called an abstract hypersurface if the \(\mathfrak m\)-adic completion of \(R\) is isomorphic to \(S/(f)\) for some complete regular local ring \(S\) and an element \(f\in S\). The punctured spectrum of \(R\) is by definition the set \(\text{Spec}(R)\setminus \{\mathfrak m\}\). Let \(R\) be a Gorenstein local ring which is locally hypersurface on the punctured spectrum. Denote by \(\text{mod}(R)\) the category of finitely generated \(R\)-modules, by \({D^b}(R)\) the bounded derived category of \(\text{mod}(R)\), by \(\text{CM}(R)\) the category of (maximal) Cohen-Macaulay \(R\)-modules and by \({\underline{CM}}(R)\) the stable category of \(\text{CM}(R)\). Recently, \textit{R. Takahashi} [Adv. Math. 225, No. 4, 2076--20116 (2010; Zbl 1202.13009)] gave a classification theorem of thick subcategories of \({\underline{CM}}(R)\). In the paper under review, the author classify thick subcategories of the bounded derived category of finitely generated \(R\)-modules, and classify thick subcategories of finitely generated \(R\)-modules, and find out relationship with thick subcategories of Cohen-Macaulay \(R\)-modules . The singular locus \(\text{Sing}(R)\) is defined as the set of prime ideals \(\mathfrak p\) of \(R\) such that the local ring \(R_{\mathfrak p}\) is singular. A subset \(\Phi\) of \({\text{Spec}}(R)\) is called specialization-closed if every prime ideal of \(R\) containing some prime ideal in \(\Phi\) belongs to \(\Phi\). The paper shows that when \(R\) is an abstract hypersurface local ring then there are bijections between thick subcategories of \( {\underline{CM}}(R)\) and thick subcategories of \({\text{CM}}(R)\) containing \(R\), and thick subcategories of \({\text{mod}}(R)\) containing \(R\), and thick subcategories of \({{D^b}}(R)\) containing \(R\), and specialization-closed subsets of \({\text{Spec}}(R)\) contained in \({\text{Sing}}(R)\). For a nonnegative integer \(n\), the \(n\)-th syzygy \(\Omega^nM\) of finitely generated \(R\)-module \(M\) is defined to be image of the \(n\)-th differential map in a minimal free resolution of \(M\). The author shows that when \(R\) is a \(d\)-dimensional Gorenstein singular ring with residue field \(k\) which is locally an abstract hypersurface on the punctured spectrum then there are bijections between nonempty specialization-closed subsets of \(\text{Spec}(R)\) contained in \(\text{Sing}(R)\) and thick subcategories of \({\underline{CM}}(R)\) containing \(\Omega^dk\), and thick subcategories of \(\text{CM}(R)\) containing \(R\) and \(\Omega^dk\), and thick subcategories of \(\text{mod}(R)\) containing \(R\) and \(k\), and thick subcategories of \({D^b}(R)\) containing \(R\) and \(k\).