Existence of unliftable modules

From MaRDI portal





Let \((Q, {\mathfrak n})\) be a commutative Noetherian local ring, and let \(R=Q/(x)\) where \(x\) is a non-zerodivisor of \(Q\) contained in \({\mathfrak n}\). Then a finitely generated \(R\)-module \(M\) is said to ``lift to \(Q\) if there exists a finitely generated \(Q\)-module \(M'\) such that \(x\) is \(M'\)-regular and \(M \cong M'/xM'\). The motivation for studying lifting is that, in most applications, homological algebra of modules over \(Q\) is better understood than homological algebra of modules over \(R\). Hence information involving the homological characteristics of a module over \(R\) is made more accessible upon knowing the module lifts to \(Q\). While it is desirable to establish sufficient conditions for the ability to lift \(R\)-modules to \(Q\), the purpose of this paper is to show that quite often there are \(R\)-modules which fail to lift to \(Q\). We give a general construction of finitely generated \(R\)-modules of finite projective dimension over \(R\) which fail to lift to \(Q\) provided \(x\in{\mathfrak n}^2\) and the depth of \(R\) is at least 2.











This page was built for publication: Existence of unliftable modules

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