The Cohen-Macaulay property in derived commutative algebra

Shaul, Liran

doi:10.1090/tran/8099

The Cohen-Macaulay property in derived commutative algebra

Author: Liran Shaul
Journal: Trans. Amer. Math. Soc. 373 (2020), 6095-6138
MSC (2010): Primary 13C14, 13D45, 16E35, 16E45
DOI: https://doi.org/10.1090/tran/8099
Published electronically: June 24, 2020
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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.

[1] Luchezar L. Avramov and Hans-Bjørn Foxby, Locally Gorenstein homomorphisms, Amer. J. Math. 114 (1992), no. 5, 1007–1047. MR 1183530, https://doi.org/10.2307/2374888
[2] Luchezar L. Avramov and Hans-Bjørn Foxby, Cohen-Macaulay properties of ring homomorphisms, Adv. Math. 133 (1998), no. 1, 54–95. MR 1492786, https://doi.org/10.1006/aima.1997.1684
[3] Hyman Bass, On the ubiquity of Gorenstein rings, Math. Z. 82 (1963), 8–28. MR 153708, https://doi.org/10.1007/BF01112819
[4] Kristen A. Beck and Sean Sather-Wagstaff, Krull dimension for differential graded algebras, Arch. Math. (Basel) 101 (2013), no. 2, 111–119. MR 3089766, https://doi.org/10.1007/s00013-013-0539-7
[5] 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, https://doi.org/10.24033/asens.2076
[6] David J. Benson, Srikanth B. Iyengar, and Henning Krause, Colocalizing subcategories and cosupport, J. Reine Angew. Math. 673 (2012), 161–207. MR 2999131, https://doi.org/10.1515/crelle.2011.180
[7] 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
[8] Lars Winther Christensen, Sequences for complexes, Math. Scand. 89 (2001), no. 2, 161–180. MR 1868172, https://doi.org/10.7146/math.scand.a-14336
[9] Lars Winther Christensen, Sequences for complexes. II, Math. Scand. 91 (2002), no. 2, 161–174. MR 1931568, https://doi.org/10.7146/math.scand.a-14384
[10] 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, https://doi.org/10.1016/j.aim.2005.11.004
[11] Yves Félix, Stephen Halperin, and Jean-Claude Thomas, Gorenstein spaces, Adv. in Math. 71 (1988), no. 1, 92–112. MR 960364, https://doi.org/10.1016/0001-8708(88)90067-9
[12] Hans-Bjørn Foxby, Bounded complexes of flat modules, J. Pure Appl. Algebra 15 (1979), no. 2, 149–172. MR 535182, https://doi.org/10.1016/0022-4049(79)90030-6
[13] Anders Frankild and Peter Jørgensen, Gorenstein differential graded algebras, Israel J. Math. 135 (2003), 327–353. MR 1997049, https://doi.org/10.1007/BF02776063
[14] 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, https://doi.org/10.1112/S0024610703004496
[15] J. P. C. Greenlees and J. P. May, Derived functors of 𝐼-adic completion and local homology, J. Algebra 149 (1992), no. 2, 438–453. MR 1172439, https://doi.org/10.1016/0021-8693(92)90026-I
[16] Robin Hartshorne, Residues and duality, Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64. With an appendix by P. Deligne. Lecture Notes in Mathematics, No. 20, Springer-Verlag, Berlin-New York, 1966. MR 0222093
[17] Peter Jørgensen, Amplitude inequalities for differential graded modules, Forum Math. 22 (2010), no. 5, 941–948. MR 2719763, https://doi.org/10.1515/FORUM.2010.049
[18] Peter Jørgensen, Amplitude inequalities for differential graded modules, math/0601416, (2006).
[19] Peter Jørgensen, Recognizing dualizing complexes, Fund. Math. 176 (2003), no. 3, 251–259. MR 1992822, https://doi.org/10.4064/fm176-3-4
[20] Takesi Kawasaki, On arithmetic Macaulayfication of Noetherian rings, Trans. Amer. Math. Soc. 354 (2002), no. 1, 123–149. MR 1859029, https://doi.org/10.1090/S0002-9947-01-02817-3
[21] 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.
[22] H. Minamoto, On commutative differential graded algebras, 1903.07514v1 (2019).
[23] Tetsushi Ogoma, Existence of dualizing complexes, J. Math. Kyoto Univ. 24 (1984), no. 1, 27–48. MR 737823, https://doi.org/10.1215/kjm/1250521383
[24] 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
[25] 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, https://doi.org/10.1007/s10468-012-9385-8
[26] Liran Shaul, The twisted inverse image pseudofunctor over commutative DG rings and perfect base change, Adv. Math. 320 (2017), 279–328. MR 3709107, https://doi.org/10.1016/j.aim.2017.08.041
[27] Liran Shaul, Completion and torsion over commutative DG rings, Israel J. Math. 232 (2019), no. 2, 531–588. MR 3990952, https://doi.org/10.1007/s11856-019-1866-6
[28] Liran Shaul, Injective DG-modules over non-positive DG-rings, J. Algebra 515 (2018), 102–156. MR 3859962, https://doi.org/10.1016/j.jalgebra.2018.07.040
[29] The Stacks Project, J.A. de Jong (Editor), http://stacks.math.columbia.edu.
[30] Amnon Yekutieli, Duality and tilting for commutative DG rings, 1312.6411v4 (2016).
[31] Amnon Yekutieli, The squaring operation for commutative DG rings, J. Algebra 449 (2016), 50–107. MR 3448166, https://doi.org/10.1016/j.jalgebra.2015.09.038
[32] Ammon Yekutieli, Derived Categories, Cambridge Studies in Advanced Mathematics, Cambridge: Cambridge University Press (2019).
[33] 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, https://doi.org/10.1007/s00029-006-0022-4