Quasi-projective dimension (Q2046740)

Over a commutative noetherian ring, the authors introduce a new homological invariant, called the quasi-projective dimension, which generalizes the classical projective dimension, and then study its properties. A module \(M\) over a commutative noetherian ring \(R\) is said to have finite quasi-projective dimension if there exists a finite \(R\)-complex of projective modules whose homologies are isomorphic to finite direct sums of copies of \(M\). Such complexes are used to define the quasi-projective dimension denoted by \(\mathrm{qpd}_{R}(M)\). The authors provide interesting results regarding modules with finite quasi-projective dimension. More specifically, they establish a version of the celebrated Auslander-Buchsbaum formula. Theorem. Let \(R\) be a commutative noetherian local ring, and \(M\) a finitely generated \(R\)-module with finite quasi-projective dimension. Then the following formula holds: \[\mathrm{qpd}_{R}(M)=\mathrm{depth}(R)-\mathrm{depth}_{R}(M)\] Then they show that modules of finite quasi-projective dimension satisfy the Auslander's depth formula. Theorem. Let \(R\) be a commutative noetherian local ring, \(M\) a finitely generated \(R\)-module with finite quasi-projective dimension, and \(N\) a finitely generated \(R\)-module such that \(\mathrm{Tor}_{i}^{R}(M,N)=0\) for every \(i>0\). Then the following formula holds: \[\mathrm{depth}_{R}(M)+\mathrm{depth}_{R}(N)=\mathrm{depth}(R)+\mathrm{depth}_{R}(M\otimes_{R}N)\] They also prove the following result on symmetry in the vanishing of Ext over an arbitrary Gorenstein ring. Theorem. Let \(R\) be a Gorenstein ring, \(M\) a finitely generated \(R\)-module with finite quasi-projective dimension, and \(N\) a finitely generated \(R\)-module. Then \(\mathrm{Ext}_{R}^{i}(M,N)=0\) for \(i\gg0\) if and only if \(\mathrm{Ext}_{R}^{i}(N,M)=0\) for \(i\gg0\). They finally show that modules of finite quasi-projective dimension satisfy the condition of the Auslander-Reiten conjecture. Theorem. Let \(R\) be a commutative noetherian ring, and \(M\) a finitely generated \(R\)-module with finite quasi-projective dimension. Then \(\mathrm{Ext}_{R}^{i}(M,M)=0\) for every \(i>0\) if and only if \(M\) is projective.