Completion and torsion over commutative DG rings
Abstract
Let be the category whose objects are pairs , where is a commutative DG-algebra and is a finitely generated ideal, and whose morphisms are morphisms of DG-algebras , such that . Letting be its homotopy category, obtained by inverting adic quasi-isomorphisms, we construct a functor which takes a pair into its non-abelian derived -adic completion. We show that this operation has, in a derived sense, the usual properties of adic completion of commutative rings, and that if is an ordinary noetherian ring, this operation coincides with ordinary adic completion. As an application, following a question of Buchweitz and Flenner, we show that if is a commutative ring, and is a commutative -algebra which is -adically complete with respect to a finitely generated ideal , then the derived Hochschild cohomology modules and the derived complete Hochschild cohomology modules coincide, without assuming any finiteness or noetherian conditions on or on the map .
Cite
@article{arxiv.1605.07447,
title = {Completion and torsion over commutative DG rings},
author = {Liran Shaul},
journal= {arXiv preprint arXiv:1605.07447},
year = {2019}
}
Comments
40 pages, final version, to appear in Israel Journal of Mathematics