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

From MaRDI portal





scientific article; zbMATH DE number 7459386
Language Label Description Also known as
default for all languages
No label defined
    English
    Annihilators of local cohomology modules over a Cohen-Macaulay ring
    scientific article; zbMATH DE number 7459386

      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