Cohomological dimension, cofiniteness and abelian categories of cofinite modules (Q2357073)

From MaRDI portal
Revision as of 23:36, 13 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Cohomological dimension, cofiniteness and abelian categories of cofinite modules
scientific article

    Statements

    Cohomological dimension, cofiniteness and abelian categories of cofinite modules (English)
    0 references
    0 references
    19 June 2017
    0 references
    Let $R$ be a commutative Noetherian ring, $I$ be an ideal of $R$, and $M$ be an $R$-module. Recall that, the notion of the cohomological dimension of $M$ relative to $I$, denoted by $\mathrm{cd}(I,M)$, is defined to be the greatest integer $i$ such that $H_I^i(M)\neq 0$ if there exist such $i$'s and $-infty$ otherwise. Also, $q(I,M)$ denotes the greatest integer $i$ such that $H_I^i(M)$ is not Artian if there exist such $i$'s and $-\infty$ otherwise. In the paper under review, it is proved that, if $J$ is an ideal of $R$ with $I\subseteq J$, and $M$ is finitely generated, then $q(J,M)\leq q(I,M)+\mathrm{cd}(J,M/IM)$. Recall that an $R$-module $M$ is called $I$-cofinite, if $\mathrm{Supp}_RM\subseteq\mathrm{V}(I)$ and $\mathrm{Ext}^i_R(R/I,M)$ is a finitely generated module for all $i$. In the paper under review, the author defined $\tilde{q}(I,M)$ as the greatest integer $i$ such that $H_I^i(M)$ is not Artian $I$-cofinite if there exist such $i$'s and $-infty$ otherwise. It is shown that if $M$ is finitely generated and $q(I,M)\leq 1$, then $\tilde{q}(I,M)=q(I,M)$, and $H_I^i(M)$ is $I$-cofinite for any $i\geq 0$. As a consequence, it is proved that, if $M$ is finitely generated and $q(I,R)\leq 1$, then $H_I^i(M)$ is $I$-cofinite for any $i\geq 0$. Let $R,\mathfrak{m}$ be a complete Noetherian local ring with $q(I,R)\leq 1$. It is shown that the category of all $I$-cofinite $R$-modules is an abelian subcategory of the category of all $R$-modules; that is, if $f:M\rightarrow N$ is an $R$-homomorphism of $I$-cofinite modules, then $\ker f$ and $\mathrm{coker }f$ are $I$-cofinite $R$-modules.
    0 references
    abelian category
    0 references
    cofinite module
    0 references
    cohomological dimension
    0 references
    local cohomology
    0 references
    0 references
    0 references

    Identifiers