Annihilators of local cohomology modules over a Cohen-Macaulay ring (Q2068151)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Annihilators of local cohomology modules over a Cohen-Macaulay ring
scientific article

    Statements

    Annihilators of local cohomology modules over a Cohen-Macaulay ring (English)
    0 references
    0 references
    19 January 2022
    0 references
    A lot of efforts have been put into determining which ideals annihilate local cohomology modules. Faltings' Annihilator Theorem ensured the existence of annihilators of local cohomology modules. In general, however, these annihilators depend on the choice of an ideal. This paper investigates the existence of annihilators of local cohomology modules without dependence on the choice of an ideal. To achieve his result, the author utilizes Dao and Takahashi's classification theorem which asserts that if \(R\) is a Cohen-Macaulay ring, then there is a one-to-one correspondence between the set of dominant resolving subcategories of the category of \(R\)-modules and the grade-consistent functions on \(\operatorname{Spec}(R)\). The main result of this paper is as follows. Theorem. Let \(R\) be a finite-dimensional Cohen-Macaulay ring, \(\mathfrak{p}\) a prime ideal of \(R\), and \(M\) a finitely generated \(R\)-module. Then the following assertions are equivalent: \begin{itemize} \item[(i)] There is an element \(s\in R\setminus \mathfrak{p}\) such that \(sH^{i}_{\mathfrak{a}}(M)=0\) for every ideal \(\mathfrak{a}\) of \(R\) and every \(i< \mathrm{depth}(\mathfrak{a},R)\). \item[(ii)] For any ideal \(\mathfrak{a}\) of \(R\), there is an element \(s\in R\setminus \mathfrak{p}\) such that \(sH^{i}_{\mathfrak{a}}(M)=0\) for every \(i< \mathrm{depth}(\mathfrak{a},R)\). \item[(iii)] There is an element \(s\in R\setminus \mathfrak{p}\) such that \(sH^{i}_{\mathfrak{p}}(M)=0\) for every \(i< \mathrm{depth}(\mathfrak{p},R)\). \item[(iv)] \(M_{\mathfrak{p}}\) is a maximal Cohen-Macaulay \(R_{\mathfrak{p}}\)-module. \end{itemize}
    0 references
    local cohomology module
    0 references
    resolving subcategory
    0 references

    Identifiers