Faltings' local-global principle for finiteness dimension of cofinite modules
type: Item
instance of: scholarly article
title: Faltings' local-global principle for finiteness dimension of cofinite modules
zbMATH Open document ID: 1406.13023
author: Leila Abdi
author: Reza Naghipour
author: Monireh Sedghi
published in: Archiv der Mathematik
publication date: 2019-01-23T00:00:00Z
review text: Let \(R\) be a commutative Noetherian ring with non-zero identity, \(\mathfrak{a}\) an ideal of \(R\), \(M\) an arbitrary \(R\)--module, and \(t\) a non-negative integer. In this paper, the authors generalize Faltings' local-global principle for the finiteness of local cohomology modules with respect to \(\mathfrak{a}\) to the class of all \(R\)-modules that are \(\mathfrak{a}\)-cofinite. Recall that \(M\) is said to be \(\mathfrak{a}\)-cofinite if \(\text{Supp}_R(M)\subseteq \{\mathfrak{p}\in \text{Spec}(R) : \mathfrak{p}\supseteq \mathfrak{a}\}\) and \(\text{Ext}^i_R(R/\mathfrak{a}, M)\) is finitely generated for all \(i\). They prove that if \(\text{Ext}^i_R(R/\mathfrak{a}, M)\) is finitely generated for all \(i< t\), then the following conditions are equivalent: {\parindent=0.7cm\begin{itemize}\item[(i)] \(\text{H}^{i}_{\mathfrak{a}}(M)\) is a finitely generated \(R\)-module for all \(i< t\); \item[(ii)] \(\text{H}^{i}_{\mathfrak a}R_{\mathfrak p}(M_{\mathfrak p})\) is a finitely generated \(R_{\mathfrak p}\)-module for all \(i< t\) and all \(\mathfrak{p}\in \text{Spec}(R)\); \item[(iii)] \(\mathfrak{a}\subseteq \text{Rad}(0:_R\text{H}^{i}_{\mathfrak{a}}(M))\) for all \(i< t\). \end{itemize}} Here, \(\text{Rad}(\mathfrak{a})= \{x\in R : x^n\in \mathfrak{a}\;\text{for some}\;n\in \mathbb{N}\}\) is the radical of \(\mathfrak{a}\). As a consequence, the authors provide a generalization and short proof of the Faltings' local-global principle for the finiteness dimensions by showing that if \(\text{Ext}^i_R(R/\mathfrak{a}, M)\) is finitely generated for all \(i\) (e.g., \(M\) is an \(\mathfrak{a}\)-cofinite \(R\)-module), then \[ f_{\mathfrak a}(M)= \inf\{f_{\mathfrak a}R_{\mathfrak p}(M_{\mathfrak p}) : \mathfrak{p}\in \text{Spec}(R)\}= \inf\{i\in \mathbb{N}_0 : \mathfrak{a}\nsubseteq \text{Rad}(0:_R\text{H}^{i}_{\mathfrak{a}}(M))\}, \] where \[ f_{\mathfrak a}(M)= \inf\{i\in \mathbb{N}_0 : \text{H}^{i}_{\mathfrak{a}}(M)\;\text{is not a finitely generated}\;R\text{-…
reviewed by: Alireza Vahidi
Mathematics Subject Classification ID: 13D45
Mathematics Subject Classification ID: 14B15
Mathematics Subject Classification ID: 13E05
zbMATH DE Number: 7005657
zbMATH Keywords: cofinite module
zbMATH Keywords: Faltings' local-global principle
zbMATH Keywords: finiteness dimension
zbMATH Keywords: local cohomology
MaRDI profile type: Publication
full work available at URL: s00013-018-1247-0
OpenAlex ID: W2895731540
cites work: A new proof of Faltings' local-global principle for the finiteness of local cohomology modules
cites work: Faltings’ Local-Global Principle for the Finiteness of Local Cohomology Modules
cites work: On the cofiniteness of local cohomology modules
cites work: Cofiniteness of local cohomology modules for ideals of small dimension
cites work: Minimaxness and Cofiniteness Properties of Local Cohomology Modules
cites work: On annihilators and associated primes of local cohomology modules
cites work: Local cohomology. An algebraic introduction with geometric applications
cites work: Associated primes and cofiniteness of local cohomology modules
cites work: Der Endlichkeitssatz in der lokalen Kohomologie
cites work: On the De Rham cohomology of algebraic varieties
cites work: Affine duality and cofiniteness
cites work: Cofiniteness and vanishing of local cohomology modules
cites work: Finiteness properties of local cohomology modules (an application of \(D\)- modules to commutative algebra)
cites work: Faltings’ Local-global Principle for the Finiteness of Local Cohomology Modules over Noetherian Rings
cites work: Modules cofinite with respect to an ideal
cites work: Cofiniteness with respect to ideals of dimension one
DOI: 10.1007/S00013-018-1247-0
description: scientific article; zbMATH DE number 7005657