Liftings and quasi-liftings of DG modules (Q2377429)

One of the main features of modern homological algebra is the development of a special kind of \textit{thinking in terms of complexes} as opposed to \textit{thinking in terms of objects and their cohomological invariants}, which was typical in the classical homological algebra (cf.~``Foreword'' in~[\textit{S. I. Gelfand} and \textit{Yu. I. Manin}, Methods of homological algebra. Transl. from the Russian. 2nd ed. Berlin: Springer (2003; Zbl 1006.18001)]). Given a commutative noetherian ring \(R\) and an ideal \(I\) in \(R\), a finitely generated \(R/I\)-module is said to be \textit{liftable} to \(R\) if there is a finitely generated \(R\)-module \(N\) such that \((R/I)\otimes_RN\cong M\) and \(\text{Tor}^R_i(R/I,N)=0\) for all \(i\geq1\). When \(R\) is local and \(I\) is generated by a regular \(R\)-sequence, a sufficient condition for an \(R/I\)-module to be uniquely liftable to \(R\) was given in [\textit{M. Auslander}, \textit{S. Ding} and \textit{Ø. Solberg}, J. Algebra 156, No. 2, 273--317 (1993; Zbl 0778.13007)]. To be more precise, it was proved that given a commutative noetherian local ring \(R\) and an \(R\)-regular sequence \(\underline{t}\in R\) such that \(R\) is \((\underline{t})\)-adically complete, a finitely generated \(R/(\underline{t})\)-module \(M\) is liftable to \(R\) if \(\text{Ext}^2_{R/(\underline{t})}(M,M)=0\). Moreover, if \(\text{Ext}^1_{R/(\underline{t})}(M,M)=0\), then \(M\) has at most one lift to \(R\). Working with differential graded modules (complexes) rather than modules (objects), the authors of the paper under review are able to generalize the previous result to the situation where the sequence \(\underline{t}\) is not \(R\)-regular. Given a commutative noetherian ring \(R\) (not necessarily local) and a sequence \(\underline{t}=t_1,\dots,t_n\) of elements in \(R\), the Koszul complex \(K^R(\underline{t})\) has a differential graded (or DG) \(R\)-algebra structure. The main result of the paper under review states that if \(R\) is \((\underline{t})\)-adically complete, then a homologically bounded below and homologically degreewise finite DG \(K^R(\underline{t})\)-module \(D\) is \textit{quasi-liftable} to \(R\) (meaning that there is a semi-free \(R\)-complex \(D^\prime\) such that \(D\simeq K^R(\underline{t})\otimes_R D^\prime\)), if \(\text{Ext}^2_{K^R(\underline{t})}(D,D)=0\). Moreover, when \(R\) is local, if \(D\) is quasi-liftable to \(R\) and \(\text{Ext}^1_{K^R(\underline{t})}(D,D)=0\), then any two homologically degreewise finite quasi-lifts of \(D\) to \(R\) are quasi-isomorphic over \(R\).