The Cohen-Macaulay property in derived commutative algebra

Shaul, Liran

doi:10.1090/tran/8099

The Cohen-Macaulay property in derived commutative algebra
HTML articles powered by AMS MathViewer

by Liran Shaul PDF

Trans. Amer. Math. Soc. 373 (2020), 6095-6138 Request permission

Abstract:

By extending some basic results of Grothendieck and Foxby about local cohomology to commutative DG-rings, we prove new amplitude inequalities about finite DG-modules of finite injective dimension over commutative local DG-rings, complementing results of Jørgensen and resolving a recent conjecture of Minamoto. When these inequalities are equalities, we arrive at the notion of a local-Cohen-Macaulay DG-ring. We make a detailed study of this notion, showing that much of the classical theory of Cohen-Macaulay rings and modules can be generalized to the derived setting, and that there are many natural examples of local-Cohen-Macaulay DG-rings. In particular, local Gorenstein DG-rings are local-Cohen-Macaulay. Our work is in a non-positive cohomological situation, allowing the Cohen-Macaulay condition to be introduced to derived algebraic geometry, but we also discuss extensions of it to non-negative DG-rings, which could lead to the concept of Cohen-Macaulayness in topology.

References

Luchezar L. Avramov and Hans-Bjørn Foxby, Locally Gorenstein homomorphisms, Amer. J. Math. 114 (1992), no. 5, 1007–1047. MR 1183530, DOI 10.2307/2374888
Luchezar L. Avramov and Hans-Bjørn Foxby, Cohen-Macaulay properties of ring homomorphisms, Adv. Math. 133 (1998), no. 1, 54–95. MR 1492786, DOI 10.1006/aima.1997.1684
Hyman Bass, On the ubiquity of Gorenstein rings, Math. Z. 82 (1963), 8–28. MR 153708, DOI 10.1007/BF01112819
Kristen A. Beck and Sean Sather-Wagstaff, Krull dimension for differential graded algebras, Arch. Math. (Basel) 101 (2013), no. 2, 111–119. MR 3089766, DOI 10.1007/s00013-013-0539-7
Dave Benson, Srikanth B. Iyengar, and Henning Krause, Local cohomology and support for triangulated categories, Ann. Sci. Éc. Norm. Supér. (4) 41 (2008), no. 4, 573–619 (English, with English and French summaries). MR 2489634, DOI 10.24033/asens.2076
David J. Benson, Srikanth B. Iyengar, and Henning Krause, Colocalizing subcategories and cosupport, J. Reine Angew. Math. 673 (2012), 161–207. MR 2999131, DOI 10.1515/crelle.2011.180
M. P. Brodmann and R. Y. Sharp, Local cohomology, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 136, Cambridge University Press, Cambridge, 2013. An algebraic introduction with geometric applications. MR 3014449
Lars Winther Christensen, Sequences for complexes, Math. Scand. 89 (2001), no. 2, 161–180. MR 1868172, DOI 10.7146/math.scand.a-14336
Lars Winther Christensen, Sequences for complexes. II, Math. Scand. 91 (2002), no. 2, 161–174. MR 1931568, DOI 10.7146/math.scand.a-14384
W. G. Dwyer, J. P. C. Greenlees, and S. Iyengar, Duality in algebra and topology, Adv. Math. 200 (2006), no. 2, 357–402. MR 2200850, DOI 10.1016/j.aim.2005.11.004
Yves Félix, Stephen Halperin, and Jean-Claude Thomas, Gorenstein spaces, Adv. in Math. 71 (1988), no. 1, 92–112. MR 960364, DOI 10.1016/0001-8708(88)90067-9
Hans-Bjørn Foxby, Bounded complexes of flat modules, J. Pure Appl. Algebra 15 (1979), no. 2, 149–172. MR 535182, DOI 10.1016/0022-4049(79)90030-6
Anders Frankild and Peter Jørgensen, Gorenstein differential graded algebras, Israel J. Math. 135 (2003), 327–353. MR 1997049, DOI 10.1007/BF02776063
Anders Frankild, Srikanth Iyengar, and Peter Jørgensen, Dualizing differential graded modules and Gorenstein differential graded algebras, J. London Math. Soc. (2) 68 (2003), no. 2, 288–306. MR 1994683, DOI 10.1112/S0024610703004496
J. P. C. Greenlees and J. P. May, Derived functors of $I$-adic completion and local homology, J. Algebra 149 (1992), no. 2, 438–453. MR 1172439, DOI 10.1016/0021-8693(92)90026-I
Robin Hartshorne, Residues and duality, Lecture Notes in Mathematics, No. 20, Springer-Verlag, Berlin-New York, 1966. Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64; With an appendix by P. Deligne. MR 0222093, DOI 10.1007/BFb0080482
Peter Jørgensen, Amplitude inequalities for differential graded modules, Forum Math. 22 (2010), no. 5, 941–948. MR 2719763, DOI 10.1515/FORUM.2010.049
Peter Jørgensen, Amplitude inequalities for differential graded modules, arXiv:math/0601416, (2006).
Peter Jørgensen, Recognizing dualizing complexes, Fund. Math. 176 (2003), no. 3, 251–259. MR 1992822, DOI 10.4064/fm176-3-4
Takesi Kawasaki, On arithmetic Macaulayfication of Noetherian rings, Trans. Amer. Math. Soc. 354 (2002), no. 1, 123–149. MR 1859029, DOI 10.1090/S0002-9947-01-02817-3
J. Lurie, Spectral algebraic geometry (version of February 3, 2018). Available from author’s website as http://www.math.harvard.edu/~lurie/papers/SAG-rootfile.pdf.
H. Minamoto, On commutative differential graded algebras, arXiv:1903.07514v1 (2019).
Tetsushi Ogoma, Existence of dualizing complexes, J. Math. Kyoto Univ. 24 (1984), no. 1, 27–48. MR 737823, DOI 10.1215/kjm/1250521383
C. Peskine and L. Szpiro, Dimension projective finie et cohomologie locale. Applications à la démonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck, Inst. Hautes Études Sci. Publ. Math. 42 (1973), 47–119 (French). MR 374130, DOI 10.1007/BF02685877
Marco Porta, Liran Shaul, and Amnon Yekutieli, On the homology of completion and torsion, Algebr. Represent. Theory 17 (2014), no. 1, 31–67. MR 3160712, DOI 10.1007/s10468-012-9385-8
Liran Shaul, The twisted inverse image pseudofunctor over commutative DG rings and perfect base change, Adv. Math. 320 (2017), 279–328. MR 3709107, DOI 10.1016/j.aim.2017.08.041
Liran Shaul, Completion and torsion over commutative DG rings, Israel J. Math. 232 (2019), no. 2, 531–588. MR 3990952, DOI 10.1007/s11856-019-1866-6
Liran Shaul, Injective DG-modules over non-positive DG-rings, J. Algebra 515 (2018), 102–156. MR 3859962, DOI 10.1016/j.jalgebra.2018.07.040
The Stacks Project, J.A. de Jong (Editor), http://stacks.math.columbia.edu.
Amnon Yekutieli, Duality and tilting for commutative DG rings, arXiv:1312.6411v4 (2016).
Amnon Yekutieli, The squaring operation for commutative DG rings, J. Algebra 449 (2016), 50–107. MR 3448166, DOI 10.1016/j.jalgebra.2015.09.038
Ammon Yekutieli, Derived Categories, Cambridge Studies in Advanced Mathematics, Cambridge: Cambridge University Press (2019).
Amnon Yekutieli and James J. Zhang, Dualizing complexes and perverse sheaves on noncommutative ringed schemes, Selecta Math. (N.S.) 12 (2006), no. 1, 137–177. MR 2244264, DOI 10.1007/s00029-006-0022-4