Abstract
We show that the small and large restricted injective dimensions coincide for Cohen-Macaulay rings of finite Krull dimension. Based on this, and inspired by the recent work of Sather-Wagstaff and Totushek, we suggest a new definition of Cohen-Macaulay Hom injective dimension. We show that the class of Cohen-Macaulay Hom injective modules is the right constituent of a perfect cotorsion pair. Our approach relies on tilting theory, and in particular, on the explicit construction of the tilting module inducing the minimal tilting class recently obtained in (Hrbek et al. 2022).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Auslander, M., Bridger, M.: Stable module theory. Memoirs of the American Mathematical Society, No. 94, pp. 0269685. Mathematical Society, Providence, R.I., (1969)
Aldrich, S.T., Enochs, E.E., Jenda, O.M.G., Oyonarte, L.: Envelopes and covers by modules of finite injective and projective dimensions. J Algebra 242(2), 447–459 (2001). 1848954
Hügel, L.A.: Infinite dimensional tilting theory. Advances In Representation Theory Of Algebras, EMS. Ser. Congr. Rep., Eur. Math. Soc., Zürich , 1–37 (2013)
Hügel, L.A., Pospíšil, D., Šťovíček, J., Trlifaj, J.: Tilting, cotilting, and spectra of commutative Noetherian rings. Trans. Amer. Math. Soc. 366(7), 3487–3517 (2014)
Bass, Hyman: Injective dimension in Noetherian rings. Trans. Am. Math. Soc. 102(1), 18–29 (1962)
Bazzoni, S., Herbera, D.: One dimensional tilting modules are of finite type. Algebr Represent Theory 11(1), 43–61 (2008). 2369100
Bazzoni, S., Herbera, D.: Cotorsion pairs generated by modules of bounded projective dimension. Israel J. Math. 174, 119–160 (2009). 2581211
Breaz, S., Hrbek, M., Modoi, G. C.: Silting, cosilting, and extensions of commutative ring, arXiv:2204.01374 (2022)
Bazzoni, S., Le Gros, G.: A characterisation of enveloping 1-tilting classes over commutative rings. J. Pure Appl. Algebr. 226(1), 4273084 (2022). Paper No. 106813, 29
Bazzoni, S., Šťovíček, J.: All tilting modules are of finite type. Proc. Am. Math. Soc. 135(12), 3771–3781 (2007)
Christensen, L.W., Foxby, H.B., Frankild, A.: Restricted homological dimensions and Cohen-Macaulayness. J. Algebr. 251(1), 479–502 (2002)
Chouinard, L.G.: On finite weak and injective dimension. Proc. Am. Math. Soc. 60(1), 57–60 (1976)
Christensen, L.W.: Gorenstein dimensions, No. 1747, Springer Science & Business Media, (2000)
Christensen, L., Köksal, F.: Injective modules under faithfully flat ring extensions. Proc. Am. Math. Soc. 144(3), 1015–1020 (2016)
Christensen, L.W., Köksal, F., Liang, L.: Gorenstein dimensions of unbounded complexes and change of base (with an appendix by Driss Bennis). Sci. China Math. 60(3), 401–420 (2017). 3600932
Christensen, L.W., Sather-Wagstaff, S.: Transfer of gorenstein dimensions along ring homomorphisms. J. Pure Appl. Algebr. 214(6), 982–989 (2010)
Enochs, E., Huang, Z.: Canonical filtrations of Gorenstein injective modules. Proc. Am. Math. Soc. 139(7), 2415–2421 (2011)
Enochs, E.E., Iacob, A.: Gorenstein injective covers and envelopes over Noetherian rings. Proc. Amer. Math. Soc. 143(1), 5–12 (2015). 3272726
Foxby, H.B., Iyengar, S., Providence, RI: Depth and amplitude for unbounded complexes. Commutative algebra Grenoble, Lyon, Contemp Math. vol. 331, Amer. Math. Soc., Providence, RI 2003, 119–137 (2001)
Ferrand, D., Raynaud, M.: Fibres formelles d’un anneau local noethérien. Ann. Sci. École Norm. Sup., Série 3(4), 295–311 (1970)
Frankild, A., Sather-Wagstaff, S.: Reflexivity and ring homomorphisms of finite flat dimension. Comm. Algebra 35(2), 461–500 (2007). 2294611
Gerko, A.A.: On homological dimensions. Sbornik: Mathematics 192(8), 1165 (2001)
Göbel, R., Trlifaj, J.: Approximations and endomorphism algebras of modules: Volume 1 – Approximations, second revised and extended ed., De Gruyter Expositions in Mathematics, vol. 41, Walter de Gruyter GmbH & Co. KG, Berlin, (2012)
Holm, Henrik, Jørgensen, Peter: Cohen-Macaulay homological dimensions. Rendiconti del Seminario Matematico della Università di Padova 117, 87–112 (2007)
Holm, H., Jørgensen, P.: Cotorsion pairs induced by duality pairs. J. Commut. Algebra 1(4), 621–633 (2009). 2575834
Hrbek, M., Le Gros, G.: The finite type of modules of bounded projective dimension and Serre’s conditions, arXiv:2311.14346 (2023)
Hrbek, M., Nakamura, T., Šťovíček, J.: Tilting complexes and codimension functions over commutative noetherian rings, arXiv:2207.01309 (2022). https://doi.org/10.1017/nmj.2024.1
Holm, H.: Gorenstein homological dimensions. J. Pure Appl. Algebra 189(1–3), 167–193 (2004). 2038564
Iyengar, Srikanth, Krause, Henning: Acyclicity versus total acyclicity for complexes over Noetherian rings. Doc. Math. 11, 207–240 (2006)
Iyengar, S.B., Leuschke, G.J., Leykin, A., Miller, C., Miller, E., Singh, A.K., Walther, U.: Twenty-four hours of local cohomology, vol. 87, American Mathematical Society, (2022)
Iyengar, S.: Depth for complexes, and intersection theorems. Math. Z. 230(3), 545–567 (1999). 1680036
Jensen, C.U.: On the vanishing of \(\varprojlim ^{(i)}\). J. Algebra 15, 151–166 (1970). 260839
Masek, V.: Gorenstein dimension and torsion of modules over commutative Noetherian rings. Special issue in honor of Robin Hartshorne, vol. 28, pp. 5783–5811 (2000). 1808604
Matsumura, H.: In: Reid, M. (ed.) Commutative ring theory, translated from the Japanese. Cambridge Studies in Advanced Mathematics, vol. 8, second ed. Cambridge University Press, Cambridge (1989)
Nishimura, J.-i: A few examples of local rings. I. Kyoto J. Math. 52(1), 51–87 (2012)
Prest, M.: Purity, spectra and localisation, Encyclopedia of Mathematics and its Applications, vol. 121, p. 2530988. Cambridge University Press, Cambridge (2009)
Raynaud, M., Gruson, L.: Critères de platitude et de projectivité. Techniques de “platification’’ d’un module, Invent. Math. 13, 1–89 (1971)
Rotthaus, Christel: On rings with low dimensional formal fibres. J. Pure Appl. Algebr. 71(2–3), 287–296 (1991)
Sahandi, Parviz, Sharif, Tirdad, Yassemi, Siamak: Cohen-macaulay homological dimensions. Mathematica Scandinavica 126(2), 189–208 (2020)
The Stacks Project Authors, Stacks Project, https://stacks.math.columbia.edu
Sather-Wagstaff, S.K., Totushek, J.P.: Complete intersection hom injective dimension. Algebras Represent. Theory 24(1), 149–167 (2021)
Yassemi, S.: Width of complexes of modules. Acta Math. Vietnam. 23(1), 161–169 (1998). 1628029
Acknowledgements
The first author was supported by the GAČR project 23-05148S and the Academy of Sciences of the Czech Republic (RVO 67985840). This project was partially developed during the visit of the first author to Università degli Studi di Padova, he would like to thank the Dipartimento di Matematica for their hospitality. The visit was partially funded by DFG (Deutsche Forschungsgemeinschaft) through a scientific network on silting theory.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by: Michel Brion
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Hrbek, M., Le Gros, G. Restricted Injective Dimensions over Cohen-Macaulay Rings. Algebr Represent Theor 27, 1373–1393 (2024). https://doi.org/10.1007/s10468-024-10262-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10468-024-10262-0
Keywords
- Hom injective dimension
- Cohen-Macaulay injective dimension
- Cohen-Macaulay rings
- Restricted injective dimension
- Finite type
- Tilting classes
- Finitistic dimensions