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

Shaul, Liran

Canadian mathematical bulletin, Tome 61 (2018) no. 4, pp. 865-877

Résumé

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.

Détail

DOI : 10.4153/CMB-2017-054-1

Mots-clés : 13B35, 13D05, 13D45, 16E45, local cohomology, derived completion, homological dimension, commutative DG-ring

Bibliographie

[1] [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-Q Google Scholar

[2] [2] Buchweitz, R.-O. and Flenner, H., Power series rings and projectivity. Manuscripta Math. 119 (2006), 107–114. http://dx.doi.org/10.1007/s00229-005-0608-8 Google Scholar

[3] [3] Enochs, E. E., Complete flat modules. Comm. Algebra 23 (1995), no. 13, 4821-4831. http://dx.doi.org/10.1080/00927879508825502 Google Scholar

[4] [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/S0024610703004496 Google Scholar

[5] [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-1 Google Scholar

[6] [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-8 Google Scholar

[7] [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.1206345 Google Scholar

[8] [8] Shaul, L., The twisted inverse image pseudofunctor over commutative DG rings and perfect base change. Adv. Math. 320 (2017), 279–328. http://dx.doi.Org/10.1016/j.aim.2O17.08.041 Google Scholar

[9] [9] Shaul, L., Completion and torsion over commutative DG rings. arxiv:1605.07447v3 Google Scholar

[10] [10] The Stacks Project, de Jong, J. A. (Editor), http://stacks.math.columbia.edu. Google Scholar

[11] [11] Yekutieli, A., Duality and tilting for commutative DG rings. arxiv:1312.6411v4 Google Scholar

[12] [12] Yekutieli, A., Flatness and completion revisited. arxiv:1606.01832v2 Google Scholar