Lynch's conjecture and attached primes of the top local cohomology modules
type: Item
instance of: scholarly article
title: Lynch's conjecture and attached primes of the top local cohomology modules
zbMATH Open document ID: 1483.13033
author: Ali Atazadeh
author: Reza Naghipour
published in: Archiv der Mathematik
publication date: 2022-03-14T00:00:00Z
review text: Let \(R\) be a commutative noetherian ring, \(\mathfrak{a}\) an ideal of \(R\), and \(M\) an \(R\)-module. For any \(i \geq 0\), the \(i\)th local cohomology module of \(M\) with respect to \(\mathfrak{a}\) is given by \[H^{i}_{\mathfrak{a}}(M) \cong \underset{n\geq 1}\varinjlim \operatorname{Ext}^{i}_{R}\left(R/ \mathfrak{a}^{n},M\right).\] The cohomological dimension of \(M\) with respect to \(\mathfrak{a}\), denoted by \(\operatorname{cd}(\mathfrak{a},M)\), is the integer \(c\) such that \(H^{c}_{\mathfrak{a}}(M)\neq 0\) while \(H^{i}_{\mathfrak{a}}(M)= 0\) for every \(i > c\). The Strong Lynch's conjecture claims that \[\dim \left(R/ \operatorname{ann}_{R}\left(H^{\operatorname{cd}(\mathfrak{a},R)}_{\mathfrak{a}}(R)\right)\right)= \dim \left(R/ \Gamma_{\mathfrak{a}}(R)\right),\] and the weak Lynch's conjecture claims that \[\operatorname{ht}\left(\operatorname{ann}_{R}\left(H^{\operatorname{cd}(\mathfrak{a},R)}_{\mathfrak{a}}(R)\right)\right)= \operatorname{ht} \left(\Gamma_{\mathfrak{a}}(R)\right).\] When \(R\) is an integral domain, then both conjectures are equivalent to \(H^{\operatorname{cd}(\mathfrak{a},R)}_{\mathfrak{a}}(R)\) being faithful. On the other hand, it is known that both the weak and the strong forms of Lynch's conjecture are false in this generality. However, the conjectures are proved in some cases upon imposing various restrictions on the ring. The authors of this paper establish some new results on Lynch's conjectures and the set of the attached primes of the top local cohomology module \(H^{\operatorname{cd}(\mathfrak{a},M)}_{\mathfrak{a}}(M)\) in the case where \(R\) has prime characteristic and \(\operatorname{cd}(\mathfrak{a},M) = \operatorname{ara}_{M}(\mathfrak{a})\). In order to prove their results, they establish a new relation between the set \(\operatorname{Att}_{R}\left(H^{\operatorname{cd}(\mathfrak{a},M)}_{\mathfrak{a}}(M)\right)\) and the \(M\)-height of the annihilator of the top local cohomology module \(H^{\operatorname{cd}…
reviewed by: Hossein Faridian
Mathematics Subject Classification ID: 13D45
Mathematics Subject Classification ID: 14B15
Mathematics Subject Classification ID: 13E05
zbMATH DE Number: 7489069
zbMATH Keywords: annihilator
zbMATH Keywords: attached primes
zbMATH Keywords: cohomological dimension
zbMATH Keywords: equidimensional ring
zbMATH Keywords: Lynch's conjecture
zbMATH Keywords: local cohomology
zbMATH Keywords: positive characteristic
MaRDI profile type: Publication
full work available at URL: s00013-021-01680-3
OpenAlex ID: W4211032354
Wikidata QID: Q113906379
cites work: Cofiniteness and coassociated primes of local cohomology modules
cites work: On the annihilators and attached primes of top local cohomology modules
cites work: Cohomological dimension filtration and annihilators of top local cohomology modules
cites work: Some results on the annihilators and attached primes of local cohomology modules
cites work: A note on Lynch’s conjecture
cites work: Annihilators of local cohomology modules and simplicity of rings of differential operators
cites work: Cohomological dimension of certain algebraic varieties
cites work: Local cohomology. A seminar given by A. Grothendieck, Harvard University, Fall 1961. Notes by R. Hartshorne
cites work: Finiteness properties and numerical behavior of local cohomology
cites work: Faithfulness of top local cohomology modules in domainss
cites work: Cofiniteness and vanishing of local cohomology modules
cites work: Annihilators of Top Local Cohomology
cites work: Finiteness properties of local cohomology modules (an application of \(D\)- modules to commutative algebra)
cites work: Q3215335
cites work: Q3739243
cites work: Secondary representations for injective modules over commutative Noetherian rings
cites work: On a conjecture of Lynch
cites work: Some results on top generalized local cohomology modules with respect to a system of ideals
DOI: 10.1007/S00013-021-01680-3
description: scientific article; zbMATH DE number 7489069