Liftings and quasi-liftings of DG modules

Structure, classification theorems for modules and ideals in commutative rings (13C05) Module categories and commutative rings (13C60) Syzygies, resolutions, complexes and commutative rings (13D02) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Complete rings, completion (13J10)

Abstract: We prove lifting results for DG modules that are akin to Auslander, Ding, and Solberg's famous lifting results for modules.

Review text

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\).

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Liftings and quasi-liftings of DG modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377429)