Gorenstein homological dimensions and Auslander categories (Q868870): Difference between revisions

Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. This paper is concerned with homological dimensions for modules over commutative rings. The study of Gorenstein dimensions takes cues from the classical situation; an example: It is a trivial fact that projective modules are flat but a deep result, due to \textit{L. Gruson} and \textit{M. Raynaud} [Invent. Math. 13, 1--89 (1971; Zbl 0227.14010)] and \textit{C. U. Jensen} [J. Algebra 15, 151--166 (1970; Zbl 0199.36202)], says that flat \(R\)-modules have finite projective dimension. For Gorenstein dimensions the situation is more complicated. It is true but not trivial that Gorenstein projective \(R\)-modules are Gorenstein flat; in fact, the proof relies on the very result by Gruson, Raynaud and Jensen mentioned above. The most important result of this paper is the following: If \(R\) is a local noetherian ring and \(M\) is an \(R\)-module, then the next two conditions are equivalent: (i) \(M\) has finite Gorenstein projective dimension. (ii) \(M\) has finite Gorenstein flat dimension. This is a well-written paper which contains some interesting results.