Completion by derived double centralizer (Q2015192): Difference between revisions

For a commutative ring \(A\) and an ideal \(\mathfrak{a}\) of \(A\) the \(\mathfrak{a}\)-torsion functor \(\Gamma_{\mathfrak{a}}\) can be right derived. A complex \(M\) in the derived category of \(A\) is a cohomologically \(\mathfrak{a}\)-torsion complex if it is naturally isomorphic to \(\mathbf{R}\Gamma_{\mathfrak{a}}(M)\). In the main result of the paper it is proved that if \(\mathfrak{a}\) is weakly proregular and \(M\) is a compact generator in the full triangulated category of the cohomologically torsion complexes then for every \(K\)-projective resolution \(P\to M\) the Ext-algebra of \(P\) over the derived endomorphism \(DG\)-algebra of \(P\) is isomorphic (as graded \(A\)-algebras) to the \(\mathfrak{a}\)-adic completion of \(A\). This result generalizes other results proved by \textit{A. I. Efimov} [``Formal completion of a category along a subcategory'', \url{arXiv:1006.4721}], respectively by Dwyer, Greenless and Iyengar [\textit{W. G. Dwyer} et al., Adv. Math. 200, No. 2, 357--402 (2006; Zbl 1155.55302)].