Descent via Koszul extensions (Q2654053)

Let \(R\) be a commutative noetherian local ring with completion \(\widehat{R}\). A sequence \(\underline{a}\) in the maximal ideal of \(R\) is called co-complete if \(R/(\underline{a})\) is complete. Denote by \(K^{\widehat{R}}\) the Koszul complex over \(\widehat{R}\) on a co-complete sequence in \(R\). The main technical result of this paper asserts that if \(R\) is excellent and henselian then there exist for every homologically finite \(\widehat{R}\)-complex (or maximal Cohen--Macaulay \(\widehat{R}\)-module) \(N\) a homologically finite \(R\)-complex (or maximal Cohen--Macaulay \(R\)-module) \(M\) and an isomorphism \(K^{\widehat{R}} \otimes_{R} M \cong K^{\widehat{R}} \otimes_{\widehat{R}} N\) in the derived category \(\mathsf{D}(K^{\widehat{R}})\) of the differential graded algebra \(K^{\widehat{R}}\). The authors give a number of applications of this result; we mention some of them below. (a) Assume that \(R\) is excellent and henselian. Let \(\underline{x}\) be a co-complete and regular sequence in \(R\), and set \(S=R/(\underline{x})\). Furthermore, let \(N\) be a homologically finite \(S\)-complex. If \(\mathrm{Ext}^i_{S}(N,N)=0\) for \(i=1,2\) then there exists a homologically finite \(R\)-complex \(M\), which is unique up to isomorphism in \(\mathsf{D}(R)\), such that \(S \otimes^{\mathrm{\mathbf L}}_R M \cong N\) in \(\mathsf{D}(S)\). (b) Assume that \(R\) is excellent, henselian, and Cohen--Macaulay. If \(R\) satisfies the (uniform) Auslander condition then so does \(\widehat{R}\). (c) Assume that \(R\) is excellent and henselian. The functor \(\widehat{R} \otimes_R- : \mathsf{D}(R) \to \mathsf{D}(\widehat{R})\) induces a bijective correspondence between the set of shift-isomorphism classes of semidualizing \(R\)-complexes and the set of shift-isomorphism classes of semidualizing \(\widehat{R}\)-complexes.