Differential graded algebra over quotients of skew polynomial rings by normal elements

Ferraro, Luigi; Moore, W.

doi:10.1090/tran/8132

Differential graded algebra over quotients of skew polynomial rings by normal elements
HTML articles powered by AMS MathViewer

by Luigi Ferraro and W. Frank Moore PDF

Trans. Amer. Math. Soc. 373 (2020), 7755-7784 Request permission

Abstract:

Differential graded algebra techniques have played a crucial role in the development of homological algebra, especially in the study of homological properties of commutative rings carried out by Serre, Tate, Gulliksen, Avramov, and others. In this article, we extend the construction of the Koszul complex and acyclic closure to a more general setting. As an application of our constructions, we shine some light on the structure of the Ext algebra of quotients of skew polynomial rings by ideals generated by normal elements. As a consequence, we give a presentation of the Ext algebra when the elements generating the ideal form a regular sequence, generalizing a theorem of Bergh and Oppermann. It follows that in this case the Ext algebra is noetherian, providing a partial answer to a question of Kirkman, Kuzmanovich, and Zhang.

References

Luchezar L. Avramov, Infinite free resolutions, Six lectures on commutative algebra (Bellaterra, 1996) Progr. Math., vol. 166, Birkhäuser, Basel, 1998, pp. 1–118. MR 1648664
Luchezar L. Avramov, Vesselin N. Gasharov, and Irena V. Peeva, Complete intersection dimension, Inst. Hautes Études Sci. Publ. Math. 86 (1997), 67–114 (1998). MR 1608565, DOI 10.1007/BF02698901
Petter Andreas Bergh and Steffen Oppermann, Cohomology of twisted tensor products, J. Algebra 320 (2008), no. 8, 3327–3338. MR 2450729, DOI 10.1016/j.jalgebra.2008.08.005
Andreas Cap, Hermann Schichl, and Jiří Vanžura, On twisted tensor products of algebras, Comm. Algebra 23 (1995), no. 12, 4701–4735. MR 1352565, DOI 10.1080/00927879508825496
Thomas Cassidy and Brad Shelton, Generalizing the notion of Koszul algebra, Math. Z. 260 (2008), no. 1, 93–114. MR 2413345, DOI 10.1007/s00209-007-0263-8
Jörg Feldvoss, Representations of Lie colour algebras, Adv. Math. 157 (2001), no. 2, 95–137. MR 1813428, DOI 10.1006/aima.2000.1942
E. S. Golod, Standard bases and homology, Algebra—some current trends (Varna, 1986) Lecture Notes in Math., vol. 1352, Springer, Berlin, 1988, pp. 88–95. MR 981820, DOI 10.1007/BFb0082019
E. S. Golod and I. R. Šafarevič, On the class field tower, Izv. Akad. Nauk SSSR Ser. Mat. 28 (1964), 261–272 (Russian). MR 0161852
Tor H. Gulliksen and Gerson Levin, Homology of local rings, Queen’s Papers in Pure and Applied Mathematics, No. 20, Queen’s University, Kingston, Ont., 1969. MR 0262227
Tor Holtedahl Gulliksen, A proof of the existence of minimal $R$-algebra resolutions, Acta Math. 120 (1968), 53–58. MR 224607, DOI 10.1007/BF02394606
Vladislav Kharchenko, Quantum Lie theory, Lecture Notes in Mathematics, vol. 2150, Springer, Cham, 2015. A multilinear approach. MR 3445175, DOI 10.1007/978-3-319-22704-7
E. Kirkman, J. Kuzmanovich, and J. J. Zhang, Shephard-Todd-Chevalley theorem for skew polynomial rings, Algebr. Represent. Theory 13 (2010), no. 2, 127–158. MR 2601538, DOI 10.1007/s10468-008-9109-2
E. Kirkman, J. Kuzmanovich, and J. J. Zhang, Noncommutative complete intersections, J. Algebra 429 (2015), 253–286. MR 3320624, DOI 10.1016/j.jalgebra.2014.12.046
M. Mastnak, J. Pevtsova, P. Schauenburg, and S. Witherspoon, Cohomology of finite-dimensional pointed Hopf algebras, Proc. Lond. Math. Soc. (3) 100 (2010), no. 2, 377–404. MR 2595743, DOI 10.1112/plms/pdp030
M. Scheunert, Generalized Lie algebras, J. Math. Phys. 20 (1979), no. 4, 712–720. MR 529734, DOI 10.1063/1.524113
Colette Schoeller, Homologie des anneaux locaux noethériens, C. R. Acad. Sci. Paris Sér. A-B 265 (1967), A768–A771 (French). MR 224682
Jean-Pierre Serre, Sur la dimension homologique des anneaux et des modules noethériens, Proceedings of the international symposium on algebraic number theory, Tokyo & Nikko, 1955, Science Council of Japan, Tokyo, 1956, pp. 175–189 (French). MR 0086071
Gunnar Sjödin, A set of generators for $\textrm {Ext}_{R}(k,k)$, Math. Scand. 38 (1976), no. 2, 199–210. MR 422248, DOI 10.7146/math.scand.a-11629
S. Paul Smith, Some finite-dimensional algebras related to elliptic curves, Representation theory of algebras and related topics (Mexico City, 1994) CMS Conf. Proc., vol. 19, Amer. Math. Soc., Providence, RI, 1996, pp. 315–348. MR 1388568
John Tate, Homology of Noetherian rings and local rings, Illinois J. Math. 1 (1957), 14–27. MR 86072
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