Foxby duality and Gorenstein injective and projective modules
HTML articles powered by AMS MathViewer
- by Edgar E. Enochs, Overtoun M. G. Jenda and Jinzhong Xu PDF
- Trans. Amer. Math. Soc. 348 (1996), 3223-3234 Request permission
Abstract:
In 1966, Auslander introduced the notion of the $G$-dimension of a finitely generated module over a Cohen-Macaulay noetherian ring and found the basic properties of these dimensions. His results were valid over a local Cohen-Macaulay ring admitting a dualizing module (also see Auslander and Bridger (Mem. Amer. Math. Soc., vol. 94, 1969)). Enochs and Jenda attempted to dualize the notion of $G$-dimensions. It seemed appropriate to call the modules with $G$-dimension 0 Gorenstein projective, so the basic problem was to define Gorenstein injective modules. These were defined in Math. Z. 220 (1995), 611–633 and were shown to have properties predicted by Auslander’s results. The way we define Gorenstein injective modules can be dualized, and so we can define Gorenstein projective modules (i.e. modules of $G$-dimension 0) whether the modules are finitely generated or not. The investigation of these modules and also Gorenstein flat modules was continued by Enochs, Jenda, Xu and Torrecillas. However, to get good results it was necessary to take the base ring Gorenstein. H.-B. Foxby introduced a duality between two full subcategories in the category of modules over a local Cohen-Macaulay ring admitting a dualizing module. He proved that the finitely generated modules in one category are precisely those of finite $G$-dimension. We extend this result to modules which are not necessarily finitely generated and also prove the dual result, i.e. we characterize the modules in the other class defined by Foxby. The basic result of this paper is that the two classes involved in Foxby’s duality coincide with the classes of those modules having finite Gorenstein projective and those having finite Gorenstein injective dimensions. We note that this duality then allows us to extend many of our results to the original Auslander setting.References
- Anneaux de Gorenstein, et torsion en algèbre commutative, École Normale Supérieure de Jeunes Filles, Secrétariat mathématique, Paris, 1967 (French). Séminaire d’Algèbre Commutative dirigé par Pierre Samuel, 1966/67; Texte rédigé, d’après des exposés de Maurice Auslander, Marguerite Mangeney, Christian Peskine et Lucien Szpiro. MR 0225844
- Maurice Auslander and Mark Bridger, Stable module theory, Memoirs of the American Mathematical Society, No. 94, American Mathematical Society, Providence, R.I., 1969. MR 0269685
- Maurice Auslander and Ragnar-Olaf Buchweitz, The homological theory of maximal Cohen-Macaulay approximations, Mém. Soc. Math. France (N.S.) 38 (1989), 5–37 (English, with French summary). Colloque en l’honneur de Pierre Samuel (Orsay, 1987). MR 1044344
- Richard Belshoff, Edgar E. Enochs, and Jin Zhong Xu, The existence of flat covers, Proc. Amer. Math. Soc. 122 (1994), no. 4, 985–991. MR 1209416, DOI 10.1090/S0002-9939-1994-1209416-4
- Edgar Enochs, Flat covers and flat cotorsion modules, Proc. Amer. Math. Soc. 92 (1984), no. 2, 179–184. MR 754698, DOI 10.1090/S0002-9939-1984-0754698-X
- Edgar E. Enochs, Injective and flat covers, envelopes and resolvents, Israel J. Math. 39 (1981), no. 3, 189–209. MR 636889, DOI 10.1007/BF02760849
- E. Enochs and O.M.G. Jenda, Gorenstein injective and projective modules, Math. Zeit. 220 (1995), 611–633.
- E. Enochs and O.M.G. Jenda, Gorenstein balance of Hom and Tensor, Tsukuba J. Math. 19 (1995), 1–13.
- Edgar E. Enochs and Overtoun M. G. Jenda, On Gorenstein injective modules, Comm. Algebra 21 (1993), no. 10, 3489–3501. MR 1231612, DOI 10.1080/00927879308824744
- Edgar E. Enochs and Overtoun M. G. Jenda, Mock finitely generated Gorenstein injective modules and isolated singularities, J. Pure Appl. Algebra 96 (1994), no. 3, 259–269. MR 1303285, DOI 10.1016/0022-4049(94)90102-3
- Edgar E. Enochs, Overtoun M. G. Jenda, and Blas Torrecillas, Gorenstein flat modules, Nanjing Daxue Xuebao Shuxue Bannian Kan 10 (1993), no. 1, 1–9 (English, with Chinese summary). MR 1248299
- E. Enochs, O.M.G. Jenda and J. Xu, Covers and envelopes over Gorenstein rings (to appear in Tsukuba J. Math.).
- Hans-Bjørn Foxby, Gorenstein modules and related modules, Math. Scand. 31 (1972), 267–284 (1973). MR 327752, DOI 10.7146/math.scand.a-11434
- Hans-Bjørn Foxby, Duality homomorphisms for modules over certain Cohen-Macaulay rings, Math. Z. 132 (1973), 215–226. MR 327753, DOI 10.1007/BF01213866
- Hans-Bjørn Foxby, Quasi-perfect modules over Cohen-Macaulay rings, Math. Nachr. 66 (1975), 103–110. MR 376663, DOI 10.1002/mana.19750660111
- H.-B. Foxby, Gorenstein dimensions over Cohen-Macaulay rings, Proceedings of the international conference on commutative algebra, W. Bruns (editor), Universität Osnabrück, 1994.
- Takeshi Ishikawa, On injective modules and flat modules, J. Math. Soc. Japan 17 (1965), 291–296. MR 188272, DOI 10.2969/jmsj/01730291
- C. U. Jensen, On the vanishing of $\underleftarrow {\mmlToken {mi}{lim}}^{(i)}$, J. Algebra 15 (1970), 151–166. MR 260839, DOI 10.1016/0021-8693(70)90071-2
- Michel Raynaud and Laurent Gruson, Critères de platitude et de projectivité. Techniques de “platification” d’un module, Invent. Math. 13 (1971), 1–89 (French). MR 308104, DOI 10.1007/BF01390094
- J. Xu and E. Enochs, Gorenstein flat covers of modules over Gorenstein rings (to appear in J. Algebra).
Additional Information
- Edgar E. Enochs
- Affiliation: Department of Mathematics, University of Kentucky, Lexington, Kentucky 40506-0027
- Overtoun M. G. Jenda
- Affiliation: Department of Discrete Mathematics and Statistics, Auburn University, Auburn, Alabama 36849-5307
- MR Author ID: 94260
- Jinzhong Xu
- Affiliation: Department of Mathematics, University of Kentucky, Lexington, Kentucky 40506-0027
- Received by editor(s): September 7, 1994
- Received by editor(s) in revised form: October 2, 1995
- © Copyright 1996 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 348 (1996), 3223-3234
- MSC (1991): Primary 13C10, 13C11; Secondary 13C99
- DOI: https://doi.org/10.1090/S0002-9947-96-01624-8
- MathSciNet review: 1355071