Homological dimension based on a class of Gorenstein flat modules

Dalezios, Georgios; Emmanouil, Ioannis

Comptes Rendus. Mathématique, Tome 361 (2023) no. G9, pp. 1429-1448

In this paper, we study the relative homological dimension based on the class of projectively coresolved Gorenstein flat modules (PGF-modules), that were introduced by Saroch and Stovicek in [26]. The resulting PGF-dimension of modules has several properties in common with the Gorenstein projective dimension, the relative homological theory based on the class of Gorenstein projective modules. In particular, there is a hereditary Hovey triple in the category of modules of finite PGF-dimension, whose associated homotopy category is triangulated equivalent to the stable category of PGF-modules. Studying the finiteness of the PGF global dimension reveals a connection between classical homological invariants of left and right modules over the ring, that leads to generalizations of certain results by Jensen [24], Gedrich and Gruenberg [17] that were originally proved in the realm of commutative Noetherian rings.

[1] Auslander, Maurice; Bridger, Mark Stable Module Theory, Memoirs of the American Mathematical Society, 94, American Mathematical Society, 1969

[2] Auslander, Maurice; Reiten, Idun; Smalø, Sverre O. Representation Theory of Artin Algebras, Cambridge Studies in Advanced Mathematics, 36, Cambridge University Press, 1995 | DOI

[3] Bai, Jiu-Hong; Liang, Li PGF-modules and strongly semi-Gorenstein-projective modules, J. Shandong Univ., Nat. Sci., Volume 56 (2021) no. 8, pp. 105-110 | DOI

[4] Beligiannis, Apostolos Cohen-Macaulay modules, (co)torsion pairs and virtually Gorenstein algebras, J. Algebra, Volume 288 (2005) no. 1, pp. 137-211 | Zbl | DOI | MR

[5] Beligiannis, Apostolos; Reiten, Idun Homological and homotopical aspects of torsion theories, Memoirs of the American Mathematical Society, 883, American Mathematical Society, 2007

[6] Bennis, Driss A note on Gorenstein flat dimension, Algebra Colloq., Volume 18 (2011) no. 1, pp. 155-161 | DOI | MR | Zbl

[7] Bennis, Driss; Mahdou, Najib Global Gorenstein dimensions, Proc. Am. Math. Soc., Volume 138 (2010) no. 2, pp. 461-465 | DOI | MR | Zbl

[8] Bühler, Theo Exact categories, Expo. Math., Volume 28 (2010) no. 1, pp. 1-69 | DOI | MR | Zbl

[9] Cartan, Henri; Eilenberg, Samuel Homological Algebra, Princeton Mathematical Series, 19, Princeton University Press, 1956

[10] Christensen, Lars Winther; Estrada, Sergio; Thompson, Peder Gorenstein weak global dimension is symmetric, Math. Nachr., Volume 294 (2021) no. 11, pp. 2121-2128 | DOI | MR | Zbl

[11] Christensen, Lars Winther; Frankild, Anders; Holm, Henrik On Gorenstein projective, injective and flat dimensions—a functorial description with applications, J. Algebra, Volume 302 (2006) no. 1, pp. 231-279 | DOI | MR | Zbl

[12] Cornick, Jonathan; Kropholler, Peter H. On complete resolutions, Topology Appl., Volume 78 (1997) no. 3, pp. 235-250 | DOI | MR | Zbl

[13] Dalezios, Georgios; Estrada, Sergio; Holm, Henrik Quillen equivalences for stable categories, J. Algebra, Volume 501 (2018), pp. 130-149 | DOI | MR | Zbl

[14] Emmanouil, Ioannis On certain cohomological invariants of groups, Adv. Math., Volume 225 (2010) no. 6, pp. 3446-3462 | DOI | MR | Zbl

[15] Emmanouil, Ioannis On the finiteness of Gorenstein homological dimensions, J. Algebra, Volume 372 (2012), pp. 376-396 | DOI | MR | Zbl

[16] Enochs, Edgar E.; Jenda, Overtoun M. G. Relative Homological Algebra. Vol. 1, De Gruyter Expositions in Mathematics, 30, Walter de Gruyter, 2011

[17] Gedrich, T. V.; Gruenberg, Karl W. Complete cohomological functors on groups, Topology Appl., Volume 25 (1987), pp. 203-223 | DOI | MR | Zbl

[18] Gillespie, James Model structures on exact categories, J. Pure Appl. Algebra, Volume 215 (2011) no. 12, pp. 2892-2902 | DOI | MR | Zbl

[19] Gillespie, James; Iacob, Alina Duality pairs, generalized Gorenstein modules, and Ding injective envelopes, C. R. Math. Acad. Sci. Paris, Volume 360 (2022), pp. 381-398 | MR | Zbl

[20] Göbel, Rüdiger; Trlifaj, Jan Approximations and endomorphism algebras of modules, De Gruyter Expositions in Mathematics, 41, Walter de Gruyter, 2006 | DOI

[21] Happel, Dieter Triangulated categories in the representation theory of finite-dimensional algebras, London Mathematical Society Lecture Note Series, 119, London Mathematical Society, 1989

[22] Holm, Henrik Gorenstein homological dimensions, J. Pure Appl. Algebra, Volume 189 (2004) no. 1-3, pp. 167-193 | DOI | MR | Zbl

[23] Hovey, Mark Cotorsion pairs, model category structures, and representation theory, Math. Z., Volume 241 (2002) no. 3, pp. 553-592 | DOI | MR | Zbl

[24] Jensen, Christian U. Les foncteurs dérivés de $lim$ et leurs applications en théorie des modules, Lecture Notes in Mathematics, 254, Springer, 1972

[25] Moradifar, Pooyan; Šaroch, Jan Finitistic dimension conjectures via Gorenstein projective dimension, J. Algebra, Volume 591 (2022), pp. 15-35 | DOI | MR | Zbl

[26] Šaroch, Jan; Štʼovíček, Jan Singular compactness and definability for $\Sigma$-cotorsion and Gorenstein modules, Sel. Math., New Ser., Volume 26 (2020) no. 2, 23, 40 pages | Zbl | MR