Quasi-projective dimension

From MaRDI portal
Publication:2046740



Abstract: In this paper, we introduce a new homological invariant called quasi-projective dimension, which is a generalization of projective dimension. We discuss various properties of quasi-projective dimension. Among other things, we prove the following. (1) Over a quotient of a regular local ring by a regular sequence, every finitely generated module has finite quasi-projective dimension. (2) The Auslander--Buchsbaum formula and the depth formula for modules of finite projective dimension remain valid for modules of finite quasi-projective dimension. (3) Several results on vanishing of Tor and Ext hold for modules of finite quasi-projective dimension.


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.











This page was built for publication: Quasi-projective dimension

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