Stable homology over associative rings

Celikbas, Olgur; Christensen, Lars; Liang, Li; Piepmeyer, Greg

doi:10.1090/tran/6897

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