Stable homology over associative rings
HTML articles powered by AMS MathViewer
- by Olgur Celikbas, Lars Winther Christensen, Li Liang and Greg Piepmeyer PDF
- Trans. Amer. Math. Soc. 369 (2017), 8061-8086 Request permission
Abstract:
We analyze stable homology over associative rings and obtain results over Artin algebras and commutative noetherian rings. Our study develops similarly for these classes; for simplicity we only discuss the latter here.
Stable homology is a broad generalization of Tate homology. Vanishing of stable homology detects classes of rings—among them Gorenstein rings, the original domain of Tate homology. Closely related to Gorensteinness of rings is Auslander’s G-dimension for modules. We show that vanishing of stable homology detects modules of finite G-dimension. This is the first characterization of such modules in terms of vanishing of (co)homology alone.
Stable homology, like absolute homology, Tor, is a theory in two variables. It can be computed from a flat resolution of one module together with an injective resolution of the other. This betrays that stable homology is not balanced in the way Tor is balanced. In fact, we prove that a ring is Gorenstein if and only if stable homology is balanced.
References
- 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
- Luchezar L. Avramov and Hans-Bjørn Foxby, Homological dimensions of unbounded complexes, J. Pure Appl. Algebra 71 (1991), no. 2-3, 129–155. MR 1117631, DOI 10.1016/0022-4049(91)90144-Q
- Luchezar L. Avramov, Srikanth B. Iyengar, and Joseph Lipman, Reflexivity and rigidity for complexes. I. Commutative rings, Algebra Number Theory 4 (2010), no. 1, 47–86. MR 2592013, DOI 10.2140/ant.2010.4.47
- Luchezar L. Avramov and Alex Martsinkovsky, Absolute, relative, and Tate cohomology of modules of finite Gorenstein dimension, Proc. London Math. Soc. (3) 85 (2002), no. 2, 393–440. MR 1912056, DOI 10.1112/S0024611502013527
- Luchezar L. Avramov and Oana Veliche, Stable cohomology over local rings, Adv. Math. 213 (2007), no. 1, 93–139. MR 2331239, DOI 10.1016/j.aim.2006.11.012
- Hyman Bass and M. Pavaman Murthy, Grothendieck groups and Picard groups of abelian group rings, Ann. of Math. (2) 86 (1967), 16–73. MR 219592, DOI 10.2307/1970360
- Henri Cartan and Samuel Eilenberg, Homological algebra, Princeton Landmarks in Mathematics, Princeton University Press, Princeton, NJ, 1999. With an appendix by David A. Buchsbaum; Reprint of the 1956 original. MR 1731415
- Olgur Celikbas, Lars Winther Christensen, Li Liang, and Greg Piepmeyer, Complete homology over associative rings, Israel J. Math, to appear. Preprint arXiv:1501.00297.
- Lars Winther Christensen, Gorenstein dimensions, Lecture Notes in Mathematics, vol. 1747, Springer-Verlag, Berlin, 2000. MR 1799866, DOI 10.1007/BFb0103980
- Lars Winther Christensen, Anders Frankild, and Henrik Holm, On Gorenstein projective, injective and flat dimensions—a functorial description with applications, J. Algebra 302 (2006), no. 1, 231–279. MR 2236602, DOI 10.1016/j.jalgebra.2005.12.007
- Lars Winther Christensen and Henrik Holm, The direct limit closure of perfect complexes, J. Pure Appl. Algebra 219 (2015), no. 3, 449–463. MR 3279365, DOI 10.1016/j.jpaa.2014.05.004
- Lars Winther Christensen and David A. Jorgensen, Tate (co)homology via pinched complexes, Trans. Amer. Math. Soc. 366 (2014), no. 2, 667–689. MR 3130313, DOI 10.1090/S0002-9947-2013-05746-7
- Ioannis Emmanouil, On the finiteness of Gorenstein homological dimensions, J. Algebra 372 (2012), 376–396. MR 2990016, DOI 10.1016/j.jalgebra.2012.09.018
- Edgar E. Enochs, Sergio Estrada, and Alina C. Iacob, Balance with unbounded complexes, Bull. Lond. Math. Soc. 44 (2012), no. 3, 439–442. MR 2966988, DOI 10.1112/blms/bdr101
- Edgar E. Enochs and Overtoun M. G. Jenda, Copure injective resolutions, flat resolvents and dimensions, Comment. Math. Univ. Carolin. 34 (1993), no. 2, 203–211. MR 1241728
- Edgar E. Enochs and Overtoun M. G. Jenda, Relative homological algebra, De Gruyter Expositions in Mathematics, vol. 30, Walter de Gruyter & Co., Berlin, 2000. MR 1753146, DOI 10.1515/9783110803662
- Sergei I. Gelfand and Yuri I. Manin, Methods of homological algebra, 2nd ed., Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. MR 1950475, DOI 10.1007/978-3-662-12492-5
- François Goichot, Homologie de Tate-Vogel équivariante, J. Pure Appl. Algebra 82 (1992), no. 1, 39–64 (French, with English summary). MR 1181092, DOI 10.1016/0022-4049(92)90009-5
- Shiro Goto, Vanishing of $\textrm {Ext}^{i}_{A}(M,\,A)$, J. Math. Kyoto Univ. 22 (1982/83), no. 3, 481–484. MR 674605, DOI 10.1215/kjm/1250521731
- L. Gruson and C. U. Jensen, Dimensions cohomologiques reliées aux foncteurs $\underleftarrow {\mmlToken {mi}{lim}}^{(i)}$, Paul Dubreil and Marie-Paule Malliavin Algebra Seminar, 33rd Year (Paris, 1980) Lecture Notes in Math., vol. 867, Springer, Berlin-New York, 1981, pp. 234–294 (French). MR 633523
- Henrik Holm, Gorenstein homological dimensions, J. Pure Appl. Algebra 189 (2004), no. 1-3, 167–193. MR 2038564, DOI 10.1016/j.jpaa.2003.11.007
- Henrik Holm, Rings with finite Gorenstein injective dimension, Proc. Amer. Math. Soc. 132 (2004), no. 5, 1279–1283. MR 2053331, DOI 10.1090/S0002-9939-03-07466-5
- Thorsten Holm and Peter Jørgensen, Triangulated categories: definitions, properties, and examples, Triangulated categories, London Math. Soc. Lecture Note Ser., vol. 375, Cambridge Univ. Press, Cambridge, 2010, pp. 1–51. MR 2681706, DOI 10.1017/CBO9781139107075.002
- Alina Iacob, Absolute, Gorenstein, and Tate torsion modules, Comm. Algebra 35 (2007), no. 5, 1589–1606. MR 2317632, DOI 10.1080/00927870601169275
- 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
- David A. Jorgensen and Liana M. Şega, Independence of the total reflexivity conditions for modules, Algebr. Represent. Theory 9 (2006), no. 2, 217–226. MR 2238367, DOI 10.1007/s10468-005-0559-5
- Li Liang, Tate homology of modules of finite Gorenstein flat dimension, Algebr. Represent. Theory 16 (2013), no. 6, 1541–1560. MR 3127346, DOI 10.1007/s10468-012-9369-8
- Masayoshi Nagata, Local rings, Interscience Tracts in Pure and Applied Mathematics, No. 13, Interscience Publishers (a division of John Wiley & Sons, Inc.), New York-London, 1962. MR 0155856
- B. L. Osofsky, Homological dimension and cardinality, Trans. Amer. Math. Soc. 151 (1970), 641–649. MR 265411, DOI 10.1090/S0002-9947-1970-0265411-1
- C. Peskine and L. Szpiro, 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 (1973), 47–119 (French). MR 374130
- Paul Roberts, Two applications of dualizing complexes over local rings, Ann. Sci. École Norm. Sup. (4) 9 (1976), no. 1, 103–106. MR 399075
- Paul Roberts, Le théorème d’intersection, C. R. Acad. Sci. Paris Sér. I Math. 304 (1987), no. 7, 177–180 (French, with English summary). MR 880574
- Oana Veliche, Gorenstein projective dimension for complexes, Trans. Amer. Math. Soc. 358 (2006), no. 3, 1257–1283. MR 2187653, DOI 10.1090/S0002-9947-05-03771-2
- Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994. MR 1269324, DOI 10.1017/CBO9781139644136
Additional Information
- Olgur Celikbas
- Affiliation: Department of Mathematics, University of Missouri, Columbia, Missouri 65211
- Address at time of publication: Department of Mathematics, West Virginia University, Morgantown, West Virginia 26506
- MR Author ID: 942955
- ORCID: 0000-0002-5306-7589
- Email: olgur.celikbas@math.wvu.edu
- Lars Winther Christensen
- Affiliation: Department of Mathematics, Texas Tech University, Lubbock, Texas 79409
- MR Author ID: 671759
- ORCID: 0000-0002-9360-123X
- Email: lars.w.christensen@ttu.edu
- Li Liang
- Affiliation: School of Mathematics and Physics, Lanzhou Jiaotong University, Lanzhou 730070, People’s Republic of China
- MR Author ID: 756838
- Email: lliangnju@gmail.com
- Greg Piepmeyer
- Affiliation: Department of Mathematics, Columbia Basin College, Pasco, Washington 99301
- Email: pggreg@gmail.com
- Received by editor(s): September 11, 2014
- Received by editor(s) in revised form: December 29, 2015
- Published electronically: March 30, 2017
- Additional Notes: This research was partly supported by a Simons Foundation Collaboration Grant for Mathematicians, award no. 281886 (the second author), NSA grant H98230-14-0140 (the second author) and NSFC grant 11301240 (the third author). Part of the work was done during the corresponding author’s (third author) stay at Texas Tech University with support from the China Scholarship Council. He thanks the Department of Mathematics and Statistics at Texas Tech for its kind hospitality.
- © Copyright 2017 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 369 (2017), 8061-8086
- MSC (2010): Primary 16E05, 16E30, 16E10, 13H10
- DOI: https://doi.org/10.1090/tran/6897
- MathSciNet review: 3695854