Associated primes of local cohomology of flat extensions with regular fibers and \(\varSigma\)-finite \(D\)-modules (Q397890): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Albeit it is well known that local cohomology modules are, in general, far away from being finitely generated, it is also true that, under certain assumptions, they behave in several aspects like finitely generated ones. The following conjecture, raised by \textit{G. Lyubeznik} [Invent. Math. 113, No. 1, 41--55 (1993; Zbl 0795.13004)], illustrates this fact. Conjecture (Lyubeznik). For any commutative Noetherian regular ring \(R\) and for any ideal \(I\) of \(R\), the set of associated primes of \(H_I^j (R)\) is finite. This conjecture is known to be true when \(R\) is of prime characteristic (by results of \textit{C. L. Huneke} and \textit{R. Y. Sharp} [Trans. Am. Math. Soc. 339, No. 2, 765--779 (1993; Zbl 0785.13005)]), when \(R\) is either a regular local ring of characteristic zero, or a finitely generated regular algebra over a field of characteristic zero (by results of Lyubeznik), when \(R\) is a regular unramified local ring of mixed characteristic (by results of Lyubeznik), and when \(R\) is a smooth \(\mathbb{Z}\)-algebra (by results of Bhatt, Blickle, Lyubeznik, Singh and Zhang [\textit{B. Bhatt} et al., Invent. Math. 197, No. 3, 509--519 (2014; Zbl 1318.13025)]). It is also worth mentioning that, by counterexamples provided by Katzman, Singh and Swanson, the above conjecture is, in general, false dropping the assumption of regularity. Hereafter, we suppose that \((R,\mathfrak{m},K)\) is a commutative local Noetherian ring and that \(S\) is a flat extension of \(R\) with regular closed fiber. Hochster asked whether, for any ideal \(I\) of \(S\), the set of associated primes of \(H_{\mathfrak{m}S}^0 (H_I^i (S))\) is finite; he also raised a weaker statement, replacing \(S\) by either \(R[x_1,\ldots ,x_n]\) or \(R[\![x_1,\ldots ,x_n]\!]\). In the paper under review, the author proves the below statements. 1. If \(S\) is either \(R[x_1,\ldots ,x_n]\) or \(R[\![x_1,\ldots ,x_n]\!]\), and \(I\subseteq S\) is an ideal such that \(\dim\left(R/I\cap R\right)\leq 1\), then the set of associated primes of \(H_{\mathfrak{m}S}^0 (H_I^i (S))\) is finite (see Theorem 1.3). 2. If \(R\) contains a field, and \(R\subseteq S\) is a flat extension of local rings with regular closed fiber such that the induced extension on completions \(\widehat{R}\subseteq\widehat{S}\) maps a coefficient field of \(R\) into a coefficient field of \(S\), and that \(I\subseteq S\) is an ideal such that \(\dim\left(R/I\cap R\right)\leq 1\), then the set of associated primes of \(H_{\mathfrak{m}S}^0 (H_I^i (S))\) is finite (see Theorem 1.4). By the way, the author introduces the class of \(\Sigma\)-finite \(D\)-modules (see Definition 3.3), a subclass of \(D\)-modules which are interesting in its own right because, although they are, in general, not finitely generated as \(D\)-modules, they have a finite set of associated primes. | |||
Property / review text: Albeit it is well known that local cohomology modules are, in general, far away from being finitely generated, it is also true that, under certain assumptions, they behave in several aspects like finitely generated ones. The following conjecture, raised by \textit{G. Lyubeznik} [Invent. Math. 113, No. 1, 41--55 (1993; Zbl 0795.13004)], illustrates this fact. Conjecture (Lyubeznik). For any commutative Noetherian regular ring \(R\) and for any ideal \(I\) of \(R\), the set of associated primes of \(H_I^j (R)\) is finite. This conjecture is known to be true when \(R\) is of prime characteristic (by results of \textit{C. L. Huneke} and \textit{R. Y. Sharp} [Trans. Am. Math. Soc. 339, No. 2, 765--779 (1993; Zbl 0785.13005)]), when \(R\) is either a regular local ring of characteristic zero, or a finitely generated regular algebra over a field of characteristic zero (by results of Lyubeznik), when \(R\) is a regular unramified local ring of mixed characteristic (by results of Lyubeznik), and when \(R\) is a smooth \(\mathbb{Z}\)-algebra (by results of Bhatt, Blickle, Lyubeznik, Singh and Zhang [\textit{B. Bhatt} et al., Invent. Math. 197, No. 3, 509--519 (2014; Zbl 1318.13025)]). It is also worth mentioning that, by counterexamples provided by Katzman, Singh and Swanson, the above conjecture is, in general, false dropping the assumption of regularity. Hereafter, we suppose that \((R,\mathfrak{m},K)\) is a commutative local Noetherian ring and that \(S\) is a flat extension of \(R\) with regular closed fiber. Hochster asked whether, for any ideal \(I\) of \(S\), the set of associated primes of \(H_{\mathfrak{m}S}^0 (H_I^i (S))\) is finite; he also raised a weaker statement, replacing \(S\) by either \(R[x_1,\ldots ,x_n]\) or \(R[\![x_1,\ldots ,x_n]\!]\). In the paper under review, the author proves the below statements. 1. If \(S\) is either \(R[x_1,\ldots ,x_n]\) or \(R[\![x_1,\ldots ,x_n]\!]\), and \(I\subseteq S\) is an ideal such that \(\dim\left(R/I\cap R\right)\leq 1\), then the set of associated primes of \(H_{\mathfrak{m}S}^0 (H_I^i (S))\) is finite (see Theorem 1.3). 2. If \(R\) contains a field, and \(R\subseteq S\) is a flat extension of local rings with regular closed fiber such that the induced extension on completions \(\widehat{R}\subseteq\widehat{S}\) maps a coefficient field of \(R\) into a coefficient field of \(S\), and that \(I\subseteq S\) is an ideal such that \(\dim\left(R/I\cap R\right)\leq 1\), then the set of associated primes of \(H_{\mathfrak{m}S}^0 (H_I^i (S))\) is finite (see Theorem 1.4). By the way, the author introduces the class of \(\Sigma\)-finite \(D\)-modules (see Definition 3.3), a subclass of \(D\)-modules which are interesting in its own right because, although they are, in general, not finitely generated as \(D\)-modules, they have a finite set of associated primes. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13N10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6329116 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
local cohomology | |||
Property / zbMATH Keywords: local cohomology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
associated primes | |||
Property / zbMATH Keywords: associated primes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(D\)-modules | |||
Property / zbMATH Keywords: \(D\)-modules / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alberto Fernandez Boix / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963159805 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1210.3107 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local cohomology modules of a smooth \(\mathbb{Z}\)-algebra have finitely many associated primes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3964695 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4380359 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4317713 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomological dimension of algebraic varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the vanishing of local cohomology modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bass Numbers of Local Cohomology Modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5431016 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An example of an infinite set of associated primes of a local cohomology module / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness properties of local cohomology modules (an application of \(D\)- modules to commutative algebra) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: F-modules: applications to local cohomology and D-modules in characteristic p>0. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness properties of local cohomology modules: A characteristic-free approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness properties of local cohomology modules for regular local rings of mixed characteristic: the unramified case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A characteristic-free proof of a basic result on \(\mathcal D\)-modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The associated primes of local cohomology modules over rings of small dimension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992979 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local cohomology properties of direct summands / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local cohomology modules of polynomial or power series rings over rings of small dimension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On certain rings of differentiable type and finiteness properties of local cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local cohomological dimension of algebraic varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Associated primes of local cohomology and \(S_2\)-ification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(p\)-torsion elements in local cohomology modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5693341 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 22:03, 8 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Associated primes of local cohomology of flat extensions with regular fibers and \(\varSigma\)-finite \(D\)-modules |
scientific article |
Statements
Associated primes of local cohomology of flat extensions with regular fibers and \(\varSigma\)-finite \(D\)-modules (English)
0 references
12 August 2014
0 references
Albeit it is well known that local cohomology modules are, in general, far away from being finitely generated, it is also true that, under certain assumptions, they behave in several aspects like finitely generated ones. The following conjecture, raised by \textit{G. Lyubeznik} [Invent. Math. 113, No. 1, 41--55 (1993; Zbl 0795.13004)], illustrates this fact. Conjecture (Lyubeznik). For any commutative Noetherian regular ring \(R\) and for any ideal \(I\) of \(R\), the set of associated primes of \(H_I^j (R)\) is finite. This conjecture is known to be true when \(R\) is of prime characteristic (by results of \textit{C. L. Huneke} and \textit{R. Y. Sharp} [Trans. Am. Math. Soc. 339, No. 2, 765--779 (1993; Zbl 0785.13005)]), when \(R\) is either a regular local ring of characteristic zero, or a finitely generated regular algebra over a field of characteristic zero (by results of Lyubeznik), when \(R\) is a regular unramified local ring of mixed characteristic (by results of Lyubeznik), and when \(R\) is a smooth \(\mathbb{Z}\)-algebra (by results of Bhatt, Blickle, Lyubeznik, Singh and Zhang [\textit{B. Bhatt} et al., Invent. Math. 197, No. 3, 509--519 (2014; Zbl 1318.13025)]). It is also worth mentioning that, by counterexamples provided by Katzman, Singh and Swanson, the above conjecture is, in general, false dropping the assumption of regularity. Hereafter, we suppose that \((R,\mathfrak{m},K)\) is a commutative local Noetherian ring and that \(S\) is a flat extension of \(R\) with regular closed fiber. Hochster asked whether, for any ideal \(I\) of \(S\), the set of associated primes of \(H_{\mathfrak{m}S}^0 (H_I^i (S))\) is finite; he also raised a weaker statement, replacing \(S\) by either \(R[x_1,\ldots ,x_n]\) or \(R[\![x_1,\ldots ,x_n]\!]\). In the paper under review, the author proves the below statements. 1. If \(S\) is either \(R[x_1,\ldots ,x_n]\) or \(R[\![x_1,\ldots ,x_n]\!]\), and \(I\subseteq S\) is an ideal such that \(\dim\left(R/I\cap R\right)\leq 1\), then the set of associated primes of \(H_{\mathfrak{m}S}^0 (H_I^i (S))\) is finite (see Theorem 1.3). 2. If \(R\) contains a field, and \(R\subseteq S\) is a flat extension of local rings with regular closed fiber such that the induced extension on completions \(\widehat{R}\subseteq\widehat{S}\) maps a coefficient field of \(R\) into a coefficient field of \(S\), and that \(I\subseteq S\) is an ideal such that \(\dim\left(R/I\cap R\right)\leq 1\), then the set of associated primes of \(H_{\mathfrak{m}S}^0 (H_I^i (S))\) is finite (see Theorem 1.4). By the way, the author introduces the class of \(\Sigma\)-finite \(D\)-modules (see Definition 3.3), a subclass of \(D\)-modules which are interesting in its own right because, although they are, in general, not finitely generated as \(D\)-modules, they have a finite set of associated primes.
0 references
local cohomology
0 references
associated primes
0 references
\(D\)-modules
0 references
0 references
0 references
0 references