Level and Gorenstein projective dimension (Q2168831)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Level and Gorenstein projective dimension |
scientific article |
Statements
Level and Gorenstein projective dimension (English)
0 references
26 August 2022
0 references
It is interesting to compare the level of an object with other homological invariants. For instance, it is known that the projective level \(\mathrm{level}^{\mathsf{P}}_RM\) of a non-zero \(R\)-module \(M\) is equal to \(\mathrm{pd}_RM+1\). In the paper reviewed here, the authors study the levels of complexes with respect to the class \(\mathsf{G}\) of Gorenstein projective modules in the bounded derived category of a commutative ring \(R\). In particular, the authors prove that for a non-trivial bounded below \(R\)-complex \(M\), there is an inequality \[ \mathrm{level}^{\mathsf{G}}_RM \geq\mathrm{Gpd}_RM-\sup M+1. \] If further \(M\) is a non-zero \(R\)-module of finite Gorenstein projective dimension, they prove that \(\mathrm{level}^{\mathsf{G}}_RM =\mathrm{Gpd}_RM+1\). As applications, some characterizations of Gorenstein local rings are given in the paper. Finally, the authors establish a global bound on G-level over arbitrary Gorenstein local rings.
0 references
level
0 references
derived category
0 references
ghost lemma
0 references
Gorenstein projective
0 references
0 references