Abstract
Let R be a commutative Noetherian ring that is a smooth \(\mathbb {Z}\)-algebra. For each ideal \(\mathfrak {a}\) of R and integer k, we prove that the local cohomology module \(H^{k}_{\mathfrak {a}}(R)\) has finitely many associated prime ideals. This settles a crucial outstanding case of a conjecture of Lyubeznik asserting this finiteness for local cohomology modules of all regular rings.
Similar content being viewed by others
Notes
Added in proof: In the formal power series case one cannot use [8, Theorem 2.4] for a proof of the finiteness of the prime ideals not containing u because the ring is not finitely generated over a field. A proof of this remains the same as in [10, pp. 5880 (from line −5)–5882]; but our proof in the formal power series case of the finiteness of the primes containing u is much simpler than in [10].
References
Àlvarez Montaner, J., Blickle, M., Lyubeznik, G.: Generators of D-modules in characteristic p>0. Math. Res. Lett. 12, 459–473 (2005)
Bourbaki, N.: Éléments de Mathématique, Algèbre Commutative, Chapitres 8 et 9. Springer, Berlin (2006)
Grothendieck, A.: Éléments de géométrie algébrique IV, étude locale des schémas et des morphismes de schémas IV. Inst. Hautes Études Sci. Publ. Math. 32, 5–361 (1967)
Hartshorne, R., Speiser, R.: Local cohomological dimension in characteristic p. Ann. Math. (2) 105, 45–79 (1977)
Huneke, C.: Problems on local cohomology. In: Free Resolutions in Commutative Algebra and Algebraic Geometry, Sundance, UT, 1990. Res. Notes Math., vol. 2, pp. 93–108. Jones and Bartlett, Boston (1992)
Huneke, C., Sharp, R.: Bass numbers of local cohomology modules. Trans. Am. Math. Soc. 339, 765–779 (1993)
Katzman, M.: An example of an infinite set of associated primes of a local cohomology module. J. Algebra 252, 161–166 (2002)
Lyubeznik, G.: Finiteness properties of local cohomology modules (an application of D-modules to commutative algebra). Invent. Math. 113, 41–55 (1993)
Lyubeznik, G.: F-modules: applications to local cohomology and D-modules in characteristic p>0. J. Reine Angew. Math. 491, 65–130 (1997)
Lyubeznik, G.: Finiteness properties of local cohomology modules for regular local rings of mixed characteristic: the unramified case. Commun. Algebra 28, 5867–5882 (2000). Special issue in honor of Robin Hartshorne
Lyubeznik, G.: On the vanishing of local cohomology in characteristic p>0. Compos. Math. 142, 207–221 (2006)
Núñez-Betancourt, L.: On certain rings of differentiable type and finiteness properties of local cohomology. J. Algebra 379, 1–10 (2013)
Singh, A.K.: p-torsion elements in local cohomology modules. Math. Res. Lett. 7, 165–176 (2000)
Singh, A.K., Swanson, I.: Associated primes of local cohomology modules and of Frobenius powers. Int. Math. Res. Not. 33, 1703–1733 (2004)
Singh, A.K., Walther, U.: On the arithmetic rank of certain Segre products. Contemp. Math. 390, 147–155 (2005)
Singh, A.K., Walther, U.: Bockstein homomorphisms in local cohomology. J. Reine Angew. Math. 655, 147–164 (2011)
Author information
Authors and Affiliations
Corresponding author
Additional information
B.B. was supported by NSF grants DMS 1160914 and DMS 1128155, M.B. by DFG grants SFB/TRR45 and his Heisenberg Professorship, G.L. by NSF grant DMS 1161783, A.K.S. by NSF grant DMS 1162585, and W.Z. by NSF grant DMS 1068946. A.K.S. thanks Uli Walther for several valuable discussions. The authors are grateful to the American Institute of Mathematics (AIM) for supporting their collaboration. All authors were also supported by NSF grant 0932078000 while in residence at MSRI.
Rights and permissions
About this article
Cite this article
Bhatt, B., Blickle, M., Lyubeznik, G. et al. Local cohomology modules of a smooth \(\mathbb{Z}\)-algebra have finitely many associated primes. Invent. math. 197, 509–519 (2014). https://doi.org/10.1007/s00222-013-0490-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-013-0490-z