Content of local cohomology, parameter ideals, and robust algebras

Hochster, Melvin; Zhang, Wenliang

doi:10.1090/tran/7226

Content of local cohomology, parameter ideals, and robust algebras
HTML articles powered by AMS MathViewer

by Melvin Hochster and Wenliang Zhang PDF

Trans. Amer. Math. Soc. 370 (2018), 7789-7814 Request permission

Abstract:

This paper continues the investigation of quasilength, of content of local cohomology with respect to generators of the support ideal, and of robust algebras begun in joint work of Hochster and Huneke. We settle several questions raised by Hochster and Huneke. In particular, we give a family of examples of top local cohomology modules both in equal characteristic 0 and in positive prime characteristic that are nonzero but have content 0. We use the notion of a robust forcing algebra (the condition turns out to be strictly stronger than the notion of a solid forcing algebra in, for example, equal characteristic 0) to define a new closure operation on ideals. We prove that this new notion of closure coincides with tight closure for ideals in complete local domains of positive characteristic, which requires proving that forcing algebras for instances of tight closure are robust, and study several related problems. This gives, in effect, a new characterization of tight closure in complete local domains of positive characteristic. As a byproduct, we also answer a question of Lyubeznik in the negative.

References

Y. André: La conjecture du facteur direct, 15 pp., arXiv:1609.00345.
Y. André: La lemme d’abhyankar perfectoide, 55 pp., arXiv:1609.00320.
B. Bhatt: On the direct summand conjecture and its derived variant, 10 pp., arXiv:1608.08882.
Holger Brenner, How to rescue solid closure, J. Algebra 265 (2003), no. 2, 579–605. MR 1987018, DOI 10.1016/S0021-8693(03)00168-6
Holger Brenner and Paul Monsky, Tight closure does not commute with localization, Ann. of Math. (2) 171 (2010), no. 1, 571–588. MR 2630050, DOI 10.4007/annals.2010.171.571
Raymond C. Heitmann, Extended plus closure and colon-capturing, J. Algebra 293 (2005), no. 2, 407–426. MR 2172347, DOI 10.1016/j.jalgebra.2005.03.002
Melvin Hochster, Canonical elements in local cohomology modules and the direct summand conjecture, J. Algebra 84 (1983), no. 2, 503–553. MR 723406, DOI 10.1016/0021-8693(83)90092-3
Melvin Hochster, Solid closure, Commutative algebra: syzygies, multiplicities, and birational algebra (South Hadley, MA, 1992) Contemp. Math., vol. 159, Amer. Math. Soc., Providence, RI, 1994, pp. 103–172. MR 1266182, DOI 10.1090/conm/159/01508
Melvin Hochster and Craig Huneke, Tight closure and elements of small order in integral extensions, J. Pure Appl. Algebra 71 (1991), no. 2-3, 233–247. MR 1117636, DOI 10.1016/0022-4049(91)90149-V
Melvin Hochster and Craig Huneke, Quasilength, latent regular sequences, and content of local cohomology, J. Algebra 322 (2009), no. 9, 3170–3193. MR 2567415, DOI 10.1016/j.jalgebra.2008.11.016
C. Huneke and G. Lyubeznik, On the vanishing of local cohomology modules, Invent. Math. 102 (1990), no. 1, 73–93. MR 1069240, DOI 10.1007/BF01233420
Jee Koh, Finite super height of a homogeneous ideal in $\textbf {Z}^n$-graded extensions, J. Algebra 109 (1987), no. 2, 334–351. MR 902956, DOI 10.1016/0021-8693(87)90143-8
Gennady Lyubeznik, A partial survey of local cohomology, Local cohomology and its applications (Guanajuato, 1999) Lecture Notes in Pure and Appl. Math., vol. 226, Dekker, New York, 2002, pp. 121–154. MR 1888197
Paul C. Roberts, A computation of local cohomology, Commutative algebra: syzygies, multiplicities, and birational algebra (South Hadley, MA, 1992) Contemp. Math., vol. 159, Amer. Math. Soc., Providence, RI, 1994, pp. 351–356. MR 1266191, DOI 10.1090/conm/159/01515
J. Stückrad and W. Vogel, Buchsbaum rings and applications, Mathematische Monographien [Mathematical Monographs], vol. 21, VEB Deutscher Verlag der Wissenschaften, Berlin, 1986. An interaction between algebra, geometry, and topology. MR 873945, DOI 10.1007/978-3-662-02500-0