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

From MaRDI portal
Revision as of 22:18, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Thick subcategories over Gorenstein local rings that are locally hypersurfaces on the punctured spectra
scientific article

    Statements

    Thick subcategories over Gorenstein local rings that are locally hypersurfaces on the punctured spectra (English)
    0 references
    0 references
    26 June 2013
    0 references
    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\).
    0 references
    thick subcategory
    0 references
    derived category
    0 references
    specialization-closed subset
    0 references
    Cohen-Macaulay module
    0 references
    hypersurface
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references