Level and Gorenstein projective dimension (Q2168831)

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.