Abstract
If M is a nonzero finitely generated module over a commutative Noetherian local ring R such that M has finite injective dimension and finite Gorenstein dimension, then it follows from a result of Holm that M has finite projective dimension, and hence a result of Foxby implies that R is Gorenstein. We prove that the same conclusion holds for certain nonzero finitely generated modules that have finite injective dimension and finite reducing Gorenstein dimension, where the reducing Gorenstein dimension is a finer invariant than the classical Gorenstein dimension, in general. Along the way, we also prove new results, independent of the reducing dimensions, concerning modules of finite Gorenstein dimension.
Similar content being viewed by others
References
Araya, T., Celikbas, O.: Reducing invariants and total reflexivity. Ill. J. Math. 64(2), 169–184 (2020)
Araya, T., Takahashi, R.: On reducing homological dimensions over noetherian rings. Proc. Am. Math. Soc. 150(2), 469–480 (2022)
Auslander, M., Bridger, M.: Stable Module Theory, Mem. Amer. Math. Soc., No. 94. American Mathematical Society, Providence (1969)
Auslander, M., Buchweitz, R.-O.: The Homological Theory of Maximal Cohen-Macaulay Approximations. Mém. Soc. Math. France (N.S.) no. 38, pp. 5–37 (1989)
Avramov, L.L.: Infinite Free Resolutions, Six Lectures on Commutative Algebra (Bellaterra,: Progr. Math., vol. 166. Birkhäuser, Basel 1998, 1–118 (1996)
Bergh, P.A.: Modules with reducible complexity. J. Algebra 310, 132–147 (2007)
Bergh, P.A.: Modules with reducible complexity II. Commun. Algebra 37(6), 1908–1920 (2009)
Bruns, W., Herzog, J.: Cohen-Macaulay Rings, Cambridge Studies in Advanced Mathematics, vol. 39. Cambridge University Press, Cambridge (1993)
Christensen, L.W.: Gorenstein Dimensions. Lecture Notes in Mathematics, vol. 1747. Springer, Berlin (2000)
Dao, H., Takahashi, R.: Classification of resolving subcategories and grade consistent functions. Int. Math. Res. Not. (1), 119–149 (2015)
Foxby, H.-B.: Isomorphisms between complexes with applications to the homological theory of modules. Math. Scand. 40, 5–19 (1977)
Holm, H.: Rings with finite Gorenstein injective dimension. Proc. Am. Math. Soc. 132(5), 1279–1283 (2004)
Ischebeck, F.: Eine dualität zwischen den funktoren Ext und Tor. J. Algebra 11, 510–531 (1969)
Levin, G., Vasconcelos, W.V.: Homological dimensions and Macaulay rings. Pac. J. Math. 25, 315–323 (1968)
Peskine, C., Szpiro, L.: Dimension projective finie et cohomologie locale. Applications à la démonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck. Inst. Hautes Études Sci. Publ. Math. (42), 47–119 (1973)
Roberts, P.C.: Le théorème d’intersection. C. R. Acad. Sci. Paris Sér. I Math. 304(7), 177–180 (1987)
Roberts, P.C.: Multiplicities and Chern Classes in Local Algebra, Cambridge Tracts in Mathematics, vol. 133. Cambridge University Press, Cambridge (1998)
Takahashi, R.: Syzygy modules with semidualizing or G-projective summands. J. Algebra 295(1), 179–194 (2006)
Acknowledgements
The authors are grateful to Hiroki Matsui for pointing out several arguments used for the proof of Proposition 2.7. The authors also thank Henrik Holm, Arash Sadeghi, and Ryo Takahashi for helpful comments and discussions during the preparation of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Toshinori Kobayashi was partly supported by JSPS Grant-in-Aid for JSPS Fellows 18J20660.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Araya, T., Celikbas, O., Cook, J. et al. Modules with finite reducing Gorenstein dimension. Beitr Algebra Geom 65, 279–290 (2024). https://doi.org/10.1007/s13366-023-00687-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-023-00687-x