Hostname: page-component-8448b6f56d-c47g7 Total loading time: 0 Render date: 2024-04-18T00:59:39.289Z Has data issue: false hasContentIssue false

Homological Dimensions of Local (Co)homology Over Commutative DG-rings

Published online by Cambridge University Press:  20 November 2018

Liran Shaul*
Affiliation:
Faculty of Mathematics, Bielefeld University, 33501 Bielefeld, Germany, e-mail : LShaul@math.uni-bielefeld.de
*
Department of Mathematics, Ben Gurion University of the Negev, Beer Sheva 84105, Israel, e-mail : shlir@post.bgu.ac.il
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let $A$ be a commutative noetherian ring, let $\mathfrak{a}\subseteq A$ be an ideal, and let $I$ be an injective $A$-module. A basic result in the structure theory of injective modules states that the $A$-module ${{\Gamma }_{\alpha }}\left( I \right)$ consisting of $\mathfrak{a}$-torsion elements is also an injective $A$-module. Recently, de Jong proved a dual result: If $F$ is a flat $A$-module, then the $\mathfrak{a}$-adic completion of $F$ is also a flat $A$-module. In this paper we generalize these facts to commutative noetherian $\text{DG}$-rings: let $A$ be a commutative non-positive $\text{DG}$-ring such that ${{\text{H}}^{0}}\left( A \right)$ is a noetherian ring and for each $i\,<\,0,\,\text{the}\,{{\text{H}}^{0}}\left( A \right)$-module ${{\text{H}}^{i}}\left( A \right)$ is finitely generated. Given an ideal $\overline{\mathfrak{a}}\,\subseteq \,{{\text{H}}^{0}}\left( A \right)$, we show that the local cohomology functor $\text{R}{{\Gamma }_{\overline{\mathfrak{a}}}}$ associated with $\overline{\mathfrak{a}}$ does not increase injective dimension. Dually, the derived $\overline{\mathfrak{a}}$-adic completion functor $\text{L}{{\Lambda }_{\overline{\mathfrak{a}}}}$ does not increase flat dimension.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 2018

References

[1] Avramov, L. L. and Foxby, H.-B., Homological dimensions of unbounded complexes. J. Pure Appl. Algebra 71 (1991), no. 2-3, 129-155. http://dx.doi.Org/10.1016/0022-4049(91)90144-QGoogle Scholar
[2] Buchweitz, R.-O. and Flenner, H., Power series rings and projectivity. Manuscripta Math. 119 (2006), 107114. http://dx.doi.org/10.1007/s00229-005-0608-8Google Scholar
[3] Enochs, E. E., Complete flat modules. Comm. Algebra 23 (1995), no. 13, 4821-4831. http://dx.doi.org/10.1080/00927879508825502Google Scholar
[4] Frankild, A., Iyengar, S. B., P. and Jorgensen, Dualizing differential graded modules and Gorenstein differential graded algebras. J. London Math. Soc. (2) 68 (2003), no. 2, 288-306. http://dx.doi.Org/10.1112/S0024610703004496Google Scholar
[5] Greenlees, J. P. C. and May, J. P., Derived functors of l-adic completion and local homology. J. Algebra 149 (1992), no. 2, 438-453. http://dx.doi.org/10.1016/0021-8693(92)90026-1Google Scholar
[6] Porta, M., Shaul, L., and Yekutieli, A., On the homology of completion and torsion. Algebr. Represent. Theory 17 (2014), no. 1, 31-67. http://dx.doi.org/10.1007/s10468-012-9385-8Google Scholar
[7] Quy, P. H. and Rohrer, F., Injective modules and torsion functors. Comm. Algebra 45 (2017), no. 1, 285-298. http://dx.doi.org/10.1080/00927872.2016.1206345Google Scholar
[8] Shaul, L., The twisted inverse image pseudofunctor over commutative DG rings and perfect base change. Adv. Math. 320 (2017), 279328. http://dx.doi.Org/10.1016/j.aim.2O17.08.041Google Scholar
[9] Shaul, L., Completion and torsion over commutative DG rings. arxiv:1605.07447v3Google Scholar
[10] The Stacks Project, de Jong, J. A. (Editor), http://stacks.math.columbia.edu.Google Scholar
[11] Yekutieli, A., Duality and tilting for commutative DG rings. arxiv:1312.6411v4Google Scholar
[12] Yekutieli, A., Flatness and completion revisited. arxiv:1606.01832v2Google Scholar