English

Completion and torsion over commutative DG rings

Commutative Algebra 2019-08-12 v5 Algebraic Geometry K-Theory and Homology

Abstract

Let CDGcont\operatorname{CDG}_{cont} be the category whose objects are pairs (A,aˉ)(A,\bar{\mathfrak{a}}), where AA is a commutative DG-algebra and aˉH0(A)\bar{\mathfrak{a}}\subseteq \mathrm{H}^0(A) is a finitely generated ideal, and whose morphisms f:(A,aˉ)(B,bˉ)f:(A,\bar{\mathfrak{a}}) \to (B,\bar{\mathfrak{b}}) are morphisms of DG-algebras ABA \to B, such that (H0(f)(aˉ))bˉ(\mathrm{H}^0(f)(\bar{\mathfrak{a}})) \subseteq \bar{\mathfrak{b}}. Letting Ho(CDGcont)\mathrm{Ho}(\operatorname{CDG}_{cont}) be its homotopy category, obtained by inverting adic quasi-isomorphisms, we construct a functor LΛ:Ho(CDGcont)Ho(CDGcont)\mathrm{L}\Lambda:\mathrm{Ho}(\operatorname{CDG}_{cont}) \to \mathrm{Ho}(\operatorname{CDG}_{cont}) which takes a pair (A,aˉ)(A,\bar{\mathfrak{a}}) into its non-abelian derived aˉ\bar{\mathfrak{a}}-adic completion. We show that this operation has, in a derived sense, the usual properties of adic completion of commutative rings, and that if A=H0(A)A = \mathrm{H}^0(A) 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 k\Bbbk is a commutative ring, and AA is a commutative k\Bbbk-algebra which is a\mathfrak{a}-adically complete with respect to a finitely generated ideal aA\mathfrak{a}\subseteq A, then the derived Hochschild cohomology modules ExtAkLAn(A,A)\operatorname{Ext}^n_{A\otimes^{\mathrm{L}}_{\Bbbk} A} (A,A) and the derived complete Hochschild cohomology modules ExtA^kLAn(A,A)\operatorname{Ext}^n_{A\widehat{\otimes}^{\mathrm{L}}_{\Bbbk} A} (A,A) coincide, without assuming any finiteness or noetherian conditions on k,A\Bbbk, A or on the map kA\Bbbk \to A.

Keywords

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

R2 v1 2026-06-22T14:08:16.265Z