Abstract
For \((A,\mathfrak {m})\) a local ring, we study the natural map from the Koszul cohomology module \(H^{\dim A}(\mathfrak {m};\,A)\) to the local cohomology module \(H^{\dim A}_\mathfrak {m}(A)\). We prove that the injectivity of this map characterizes the Cohen-Macaulay property of the ring A. We also answer a question of Dutta by constructing normal rings A for which this map is zero.
Similar content being viewed by others
References
André, Y.: La conjecture du facteur direct. Publ. Math. Inst. Hautes Études Sci. 127, 71–93 (2018)
Bhatt, B.: On the direct summand conjecture and its derived variant. Invent. Math. 212, 297–317 (2018)
Bhatt, B., Blickle, M., Lyubeznik, G., Singh, A.K., Zhang, W.: Stabilization of the cohomology of thickenings. Am. J. Math. 141, 531–561 (2019)
Bruns, W., Herzog, J.: Cohen-Macaulay rings, revised edition, vol. 39. Cambridge University Press, Cambridge (1998). (Cambridge Stud. Adv. Math)
Cuong, N.T., Hoa, N.T., Loan, N.T.H.: On certain length functions associated to a system of parameters in local rings. Vietnam J. Math. 27, 259–272 (1999)
Dutta, S.P.: Dualizing complex and the canonical element conjecture. J. Lond. Math. Soc. II. Ser. 56, 49–63 (1997)
Goto, S., Watanabe, K.-I.: On graded rings I. J. Math. Soc. Jpn. 30, 179–213 (1978)
Grayson, D., Stillman, M. E.: Macaulay2, a software system for research in algebraic geometry, available at http://www.math.uiuc.edu/Macaulay2/
Heitmann, R.C.: The direct summand conjecture in dimension three. Ann. Math. 156(2), 695–712 (2002)
Hochster, M.: Contracted ideals from integral extensions of regular rings. Nagoya Math. J. 51, 25–43 (1973)
Hochster, M.: Cohen-Macaulay rings, combinatorics, and simplicial complexes in Ring theory II, (Oklahoma, 1975). Lecture Notes in Pure and Appl. Math., vol. 26, pp. 171–223. Dekker, New York (1977)
Hochster, M.: Canonical elements in local cohomology modules and the direct summand conjecture. J. Algebra 84, 503–553 (1983)
Huneke, C., Smith, K.E.: Tight closure and the Kodaira vanishing theorem. J. Reine Angew. Math. 484, 127–152 (1997)
Kaplansky, I.: Commutative rings, revised edn. The University of Chicago Press, Chicago (1974)
Ma, L., Quy, P.H., Smirnov, I.: Colength, multiplicity, and ideal closure operations. Comm. Algebra 48, 1601–1607 (2020)
Roberts, P.: Le théorème d’intersection. CR Acad. Sci. Paris Sér. I Math. 304, 177–180 (1987)
Schenzel, P.: Applications of dualizing complexes to Buchsbaum rings. Adv. Math. 44, 61–77 (1982)
Singh, A.K., Walther, U.: Local cohomology and pure morphisms. Illinois J. Math. 51, 287–298 (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
L.M. was supported by NSF Grant DMS 1901672, NSF FRG Grant DMS 1952366, and by a fellowship from the Sloan Foundation, A.K.S. by NSF Grant DMS 1801285, and U.W. by the Simons Foundation Collaboration Grant for Mathematicians 580839. A.K.S. thanks Purdue University and his coauthors for their hospitality. The authors are grateful to Srikanth B. Iyengar and to the referee for several helpful comments.
Rights and permissions
About this article
Cite this article
Ma, L., Singh, A.K. & Walther, U. Koszul and local cohomology, and a question of Dutta. Math. Z. 298, 697–711 (2021). https://doi.org/10.1007/s00209-020-02619-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-020-02619-0