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
    0 references
    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
    0 references
    level
    0 references
    derived category
    0 references
    ghost lemma
    0 references
    Gorenstein projective
    0 references

    Identifiers