Liftings and weak liftings of modules
type: Item
instance of: scholarly article
title: Liftings and weak liftings of modules
zbMATH Open document ID: 0778.13007
author: Maurice Auslander
author: Songqing Ding
author: Ø. Solberg
published in: Journal of Algebra
publication date: 1993-06-29T00:00:00Z
review text: The context is mod \(\Lambda\), the category of all finitely generated (left) modules over a noetherian \(R\)-algebra \(\Lambda\) for a commutative local ring \(R\). Let \(\Lambda \to \Gamma\) be a homomorphism of rings and let \(M\) be in mod \(\Gamma\). \(L\) in mod \(\Lambda\) is called a lifting of \(M\) to \(\Lambda\) if (a) \(M \cong \Gamma \otimes_ \Lambda L\) and (b) \(\text{Tor}^ \Lambda{_ i(\Gamma,L)}=(0)\) for all \(i \geq 1\). When such a \(\Lambda\)-module \(L\) exists, \(M\) is said to be liftable to \(\Lambda\). If \(M\) is only a direct summand of \(\Gamma\otimes_ \Lambda L\) for some \(\Lambda\)-module \(L\) satisfying (b), then \(L\) is a weak lifting of \(M\) to \(\Lambda\) and \(M\) is said to be weakly liftable to \(\Lambda\). The main results follow. Section 1: Let \(\Lambda\) be a noetherian \(R\)-algebra with \(R\) a commutative complete local ring with maximal ideal \({\mathfrak m}\). Let \(\{x_ 1,x_ 2,\dots,x_ t\}\) be a \(\Lambda\)-regular sequence in \({\mathfrak m}\) and \(\Gamma = \Lambda/(x_ 1,x_ 2,\dots,x_ t)\Lambda\). If \(\text{Ext}^ 2_ \Gamma(M,M)=(0)\) for \(M\) in mod \(\Gamma\), then \(M\) is liftable to \(\Lambda\). Section 2: Every lifting of \(M\) to \(\Lambda\) is a factor module of \(\Omega_ \Lambda(M)\), the first syzygy of \(M\) over \(\Lambda\) given by the projective cover of \(M\) over \(\Lambda\). Section 3: \(R\) as in section 1 but not necessarily complete. Let \(\{x_ 1,x_ 2,\dots,x_ t\}\) be a \(\Lambda\)-regular sequence of central elements in \(\Lambda\) in \(I\), the ideal \((x_ 1,x_ 2,\dots,x_ t)\Lambda\) in \(\Lambda\). The following are equivalent for a \(\Gamma\)- module \(M\): (a) the module \(M\) is weakly liftable to \(\Lambda\), (b) the module \(M\) is liftable to \(\Gamma_ 2 = \Lambda/I^ 2 \Lambda\), and (c) the module \(M\) is isomorphic to a direct summand of \(\Omega^ t {_ \Lambda(M)}/I\Omega^ t{_ \Lambda(M)} \oplus Q/IQ\) for some projective \(\Lambda\)-module \(Q\) and for any given projective reso…
reviewed by: Rudolph M. Najar
Mathematics Subject Classification ID: 13D03
Mathematics Subject Classification ID: 13C05
Mathematics Subject Classification ID: 13H10
zbMATH DE Number: 222743
zbMATH Keywords: weak lifting
zbMATH Keywords: local Gorenstein ring
zbMATH Keywords: minimal Cohen-Macaulay approximation
MaRDI profile type: Publication
full work available at URL: jabr.1993.1076
OpenAlex ID: W2045950773
Wikidata QID: Q105541875
DOI: 10.1006/JABR.1993.1076
description: scientific article