Arens–Michael envelopes, homological epimorphisms, and relatively quasi-free algebras

Pirkovskii, Alexei

doi:10.1090/S0077-1554-08-00169-6

Arens–Michael envelopes, homological epimorphisms, and relatively quasi-free algebras
HTML articles powered by AMS MathViewer

by Alexei Yul’evich Pirkovskii
Translated by: Alex Martsinkovsky

Trans. Moscow Math. Soc. 2008, 27-104

DOI: https://doi.org/10.1090/S0077-1554-08-00169-6

Published electronically: November 19, 2008

PDF | Request permission

Abstract:

We describe and investigate Arens–Michael envelopes of associative algebras and their homological properties. We also introduce and study analytic analogs of some classical ring-theoretic constructs: Ore extensions, Laurent extensions, and tensor algebras. For some finitely generated algebras, we explicitly describe their Arens–Michael envelopes as certain algebras of noncommutative power series, and we also show that the embeddings of such algebras in their Arens–Michael envelopes are homological epimorphisms (i.e., localizations in the sense of J. Taylor). For that purpose we introduce and study the concepts of relative homological epimorphism and relatively quasi-free algebra. The above results hold for multiparameter quantum affine spaces and quantum tori, quantum Weyl algebras, algebras of quantum $(2\times 2)$-matrices, and universal enveloping algebras of some Lie algebras of small dimensions.

References

V. A. Artamonov, Algebras of quantum polynomials, Itogi Nauki Tekh. Ser. Sovrem. Mat. Prilozh. Temat. Obz. vol. 26, pp. 5–34, VINITI. Moscow, 2002. (Russian)
William B. Arveson, Subalgebras of $C^{\ast }$-algebras, Acta Math. 123 (1969), 141–224. MR 253059, DOI 10.1007/BF02392388
William Arveson, Subalgebras of $C^{\ast }$-algebras. II, Acta Math. 128 (1972), no. 3-4, 271–308. MR 394232, DOI 10.1007/BF02392166
B. Blackadar and J. Cuntz, Differential Banach algebra norms and smooth subalgebras of $C^*$-algebras, J. Operator Theory 26 (1991), no. 2, 255–282. MR 1225517
P. Bonneau, M. Flato, M. Gerstenhaber, and G. Pinczon, The hidden group structure of quantum groups: strong duality, rigidity and preferred deformations, Comm. Math. Phys. 161 (1994), no. 1, 125–156. MR 1266072
Nicolas Bourbaki, Éléments de mathématique, Masson, Paris, 1980 (French). Algèbre. Chapitre 10. Algèbre homologique. [Algebra. Chapter 10. Homological algebra]. MR 610795
Joachim Cuntz and Daniel Quillen, Algebra extensions and nonsingularity, J. Amer. Math. Soc. 8 (1995), no. 2, 251–289. MR 1303029, DOI 10.1090/S0894-0347-1995-1303029-0
Joachim Cuntz, Bivariante $K$-Theorie für lokalkonvexe Algebren und der Chern-Connes-Charakter, Doc. Math. 2 (1997), 139–182 (German, with English summary). MR 1456322
Joachim Cuntz, Cyclic theory and the bivariant Chern-Connes character, Noncommutative geometry, Lecture Notes in Math., vol. 1831, Springer, Berlin, 2004, pp. 73–135. MR 2058473, DOI 10.1007/978-3-540-39702-1_{2}
H. G. Dales, Banach algebras and automatic continuity, London Mathematical Society Monographs. New Series, vol. 24, The Clarendon Press, Oxford University Press, New York, 2000. Oxford Science Publications. MR 1816726
Kenneth R. Davidson, Free semigroup algebras. A survey, Systems, approximation, singular integral operators, and related topics (Bordeaux, 2000) Oper. Theory Adv. Appl., vol. 129, Birkhäuser, Basel, 2001, pp. 209–240. MR 1882697
Kenneth R. Davidson and David R. Pitts, The algebraic structure of non-commutative analytic Toeplitz algebras, Math. Ann. 311 (1998), no. 2, 275–303. MR 1625750, DOI 10.1007/s002080050188
Kenneth R. Davidson and Gelu Popescu, Noncommutative disc algebras for semigroups, Canad. J. Math. 50 (1998), no. 2, 290–311. MR 1618326, DOI 10.4153/CJM-1998-015-5
E. E. Demidov, Modules over a quantum Weyl algebra, Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1 (1993), 53–56, 112 (Russian, with Russian summary); English transl., Moscow Univ. Math. Bull. 48 (1993), no. 1, 49–51. MR 1293939
A. A. Dosiev, Algebras of holomorphic functions in elements of a nilpotent Lie algbera and Taylor localizations, Preprint.
A. A. Dosiev, Homological dimensions of the algebra of entire functions of elements of a nilpotent Lie algebra, Funktsional. Anal. i Prilozhen. 37 (2003), no. 1, 73–77 (Russian); English transl., Funct. Anal. Appl. 37 (2003), no. 1, 61–64. MR 1988010, DOI 10.1023/A:1022976011347
Werner Geigle and Helmut Lenzing, Perpendicular categories with applications to representations and sheaves, J. Algebra 144 (1991), no. 2, 273–343. MR 1140607, DOI 10.1016/0021-8693(91)90107-J
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
Murray Gerstenhaber and Samuel D. Schack, Algebraic cohomology and deformation theory, Deformation theory of algebras and structures and applications (Il Ciocco, 1986) NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., vol. 247, Kluwer Acad. Publ., Dordrecht, 1988, pp. 11–264. MR 981619, DOI 10.1007/978-94-009-3057-5_{2}
K. R. Goodearl, Quantized coordinate rings and related Noetherian algebras, Proceedings of the 35th Symposium on Ring Theory and Representation Theory (Okayama, 2002) Symp. Ring Theory Represent. Theory Organ. Comm., Okayama, 2003, pp. 19–45. MR 1969455
K. R. Goodearl and E. S. Letzter, Quantum $n$-space as a quotient of classical $n$-space, Trans. Amer. Math. Soc. 352 (2000), no. 12, 5855–5876. MR 1781280, DOI 10.1090/S0002-9947-00-02639-8
Richard S. Hamilton, The inverse function theorem of Nash and Moser, Bull. Amer. Math. Soc. (N.S.) 7 (1982), no. 1, 65–222. MR 656198, DOI 10.1090/S0273-0979-1982-15004-2
Robin Hartshorne, Residues and duality, Lecture Notes in Mathematics, No. 20, Springer-Verlag, Berlin-New York, 1966. Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64; With an appendix by P. Deligne. MR 0222093
A. Ya. Helemskii, Banach and locally convex algebras, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1993. Translated from the Russian by A. West. MR 1231796
A. Ya. Helemskii, The homology of Banach and topological algebras, Mathematics and its Applications (Soviet Series), vol. 41, Kluwer Academic Publishers Group, Dordrecht, 1989. Translated from the Russian by Alan West. MR 1093462, DOI 10.1007/978-94-009-2354-6
A. Ja. Helemskiĭ, Homological methods in the holomorphic calculus of several operators in Banach space, after Taylor, Uspekhi Mat. Nauk 36 (1981), no. 1(217), 127–172, 248 (Russian). MR 608943
A. Ja. Helemskiĭ, A certain class of flat Banach modules and its applications, Vestnik Moskov. Univ. Ser. I Mat. Meh. 27 (1972), no. 1, 29–36 (Russian, with English summary). MR 0295080
G. Hochschild, Relative homological algebra, Trans. Amer. Math. Soc. 82 (1956), 246–269. MR 80654, DOI 10.1090/S0002-9947-1956-0080654-0
David A. Jordan, A simple localization of the quantized Weyl algebra, J. Algebra 174 (1995), no. 1, 267–281. MR 1332871, DOI 10.1006/jabr.1995.1128
Masaki Kashiwara and Pierre Schapira, Sheaves on manifolds, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 292, Springer-Verlag, Berlin, 1990. With a chapter in French by Christian Houzel. MR 1074006, DOI 10.1007/978-3-662-02661-8
Christian Kassel, Quantum groups, Graduate Texts in Mathematics, vol. 155, Springer-Verlag, New York, 1995. MR 1321145, DOI 10.1007/978-1-4612-0783-2
Bernhard Keller, Derived categories and their uses, Handbook of algebra, Vol. 1, Handb. Algebr., vol. 1, Elsevier/North-Holland, Amsterdam, 1996, pp. 671–701. MR 1421815, DOI 10.1016/S1570-7954(96)80023-4
E. Kissin and V. S. Shul′man, Differential properties of some dense subalgebras of $C^\ast$-algebras, Proc. Edinburgh Math. Soc. (2) 37 (1994), no. 3, 399–422. MR 1297311, DOI 10.1017/S0013091500018873
Ya. A. Kopylov and V. I. Kuz′minov, Exactness of the cohomology sequence for a short exact sequence of complexes in a semiabelian category [translated from Proceedings of the Conference “Geometry and Applications” dedicated to the seventieth birthday of V. A. Toponogov (Russian) (Novosibirsk, 2000), 76–83, Ross. Akad. Nauk Sib. Otd. Inst. Mat., Novosibirsk, 2001; MR1858611], Siberian Adv. Math. 13 (2003), no. 3, 72–80. MR 2028407
Lectures on $q$-analogues of Cartan domains and associated Harish-Chandra modules, L. Vaksman (ed.), Kharkov, 2001. Preprint arXiv:math.QA/0109198.
G. L. Litvinov, Dual topological algebras and topological Hopf algebras, Trudy Sem. Vektor. Tenzor. Anal. 18 (1978), 372–375 (Russian). MR 504538
Denis Luminet, A functional calculus for Banach PI-algebras, Pacific J. Math. 125 (1986), no. 1, 127–160. MR 860755
Denis Luminet, Functions of several matrices, Boll. Un. Mat. Ital. B (7) 11 (1997), no. 3, 563–586 (English, with Italian summary). MR 1479512
Saunders Mac Lane, Categories for the working mathematician, 2nd ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR 1712872
Yu. I. Manin, Some remarks on Koszul algebras and quantum groups, Ann. Inst. Fourier (Grenoble) 37 (1987), no. 4, 191–205 (English, with French summary). MR 927397
J. C. McConnell and J. J. Pettit, Crossed products and multiplicative analogues of Weyl algebras, J. London Math. Soc. (2) 38 (1988), no. 1, 47–55. MR 949080, DOI 10.1112/jlms/s2-38.1.47
A. I. Markushevich, Theory of functions of a complex variable. Vol. I, II, III, Second English edition, Chelsea Publishing Co., New York, 1977. Translated and edited by Richard A. Silverman. MR 0444912
R. Meyer, Analytic cyclic cohomology, Ph.D. Thesis, Westfälische Wilhelms-Universität Münster, 1999. Preprint arXiv.org:math.KT/9906205.
R. Meyer, Embeddings of derived categories of bornological modules, Preprint arXiv.org:math.FA/0410596.
B. Mitiagin, S. Rolewicz, and W. Żelazko, Entire functions in $B_{0}$-algebras, Studia Math. 21 (1961/62), 291–306. MR 144222, DOI 10.4064/sm-21-3-291-306
A. Neeman and A. Ranicki, Noncommutative localization and chain complexes, I. Algebraic $K$- and $L$-theory, Preprint arXiv.org:math.RA/0109118.
Markus J. Pflaum and Martin Schottenloher, Holomorphic deformation of Hopf algebras and applications to quantum groups, J. Geom. Phys. 28 (1998), no. 1-2, 31–44. MR 1653122, DOI 10.1016/S0393-0440(98)00007-2
A. Yu. Pirkovskii, Stably flat completions of universal enveloping algebras, Dissertationes Math. 441 (2006), 60. MR 2283621, DOI 10.4064/dm441-0-1
A. Yu. Pirkovskii, Arens-Michael enveloping algebras and analytic smash products, Proc. Amer. Math. Soc. 134 (2006), no. 9, 2621–2631. MR 2213741, DOI 10.1090/S0002-9939-06-08251-7
Gelu Popescu, Non-commutative disc algebras and their representations, Proc. Amer. Math. Soc. 124 (1996), no. 7, 2137–2148. MR 1343719, DOI 10.1090/S0002-9939-96-03514-9
Gelu Popescu, Noncommutative joint dilations and free product operator algebras, Pacific J. Math. 186 (1998), no. 1, 111–140. MR 1665059, DOI 10.2140/pjm.1998.186.111
Daniil Proskurin and Yurii Samoĭlenko, Stability of the $C^*$-algebra associated with twisted CCR, Algebr. Represent. Theory 5 (2002), no. 4, 433–444. MR 1930972, DOI 10.1023/A:1020129429475
F. Prosmans, Algèbre homologique quasi-abelienne, Mem. DEA, Univ. Paris 13, Juin 1995.
Fabienne Prosmans, Derived categories for functional analysis, Publ. Res. Inst. Math. Sci. 36 (2000), no. 1, 19–83. MR 1749013, DOI 10.2977/prims/1195143226
W. Pusz and S. L. Woronowicz, Twisted second quantization, Rep. Math. Phys. 27 (1989), no. 2, 231–257. MR 1067498, DOI 10.1016/0034-4877(89)90006-2
Daniel Quillen, Higher algebraic $K$-theory. I, Algebraic $K$-theory, I: Higher $K$-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972) Lecture Notes in Math., Vol. 341, Springer, Berlin, 1973, pp. 85–147. MR 0338129
Ya. V. Radyno, Lineĭ nye uravneniya i bornologiya, Beloruss. Gos. Univ., Minsk, 1982 (Russian). MR 685429
D. A. Raĭkov, Semiabelian categories, Dokl. Akad. Nauk SSSR 188 (1969), 1006–1009 (Russian). MR 0255639
Walter Rudin, Functional analysis, 2nd ed., International Series in Pure and Applied Mathematics, McGraw-Hill, Inc., New York, 1991. MR 1157815
Helmut H. Schaefer, Topological vector spaces, Graduate Texts in Mathematics, Vol. 3, Springer-Verlag, New York-Berlin, 1971. Third printing corrected. MR 0342978
Jean-Pierre Schneiders, Quasi-abelian categories and sheaves, Mém. Soc. Math. Fr. (N.S.) 76 (1999), vi+134 (English, with English and French summaries). MR 1779315
Jean-Pierre Serre, Géométrie algébrique et géométrie analytique, Ann. Inst. Fourier (Grenoble) 6 (1955/56), 1–42 (French). MR 82175
S. Sinel′shchikov and L. Vaksman, On $q$-analogues of bounded symmetric domains and Dolbeault complexes, Math. Phys. Anal. Geom. 1 (1998), no. 1, 75–100. MR 1687517, DOI 10.1023/A:1009704002239
Bo Stenström, Rings of quotients, Die Grundlehren der mathematischen Wissenschaften, Band 217, Springer-Verlag, New York-Heidelberg, 1975. An introduction to methods of ring theory. MR 0389953
Moss E. Sweedler, Hopf algebras, Mathematics Lecture Note Series, W. A. Benjamin, Inc., New York, 1969. MR 0252485
Joseph L. Taylor, Homology and cohomology for topological algebras, Advances in Math. 9 (1972), 137–182. MR 328624, DOI 10.1016/0001-8708(72)90016-3
Joseph L. Taylor, A general framework for a multi-operator functional calculus, Advances in Math. 9 (1972), 183–252. MR 328625, DOI 10.1016/0001-8708(72)90017-5
Joseph L. Taylor, Functions of several noncommuting variables, Bull. Amer. Math. Soc. 79 (1973), 1–34. MR 315446, DOI 10.1090/S0002-9904-1973-13077-0
Joseph L. Taylor, Several complex variables with connections to algebraic geometry and Lie groups, Graduate Studies in Mathematics, vol. 46, American Mathematical Society, Providence, RI, 2002. MR 1900941, DOI 10.1090/gsm/046
L. Vaksman, The maximum principle for “holomorphic functions” in the quantum ball, Mat. Fiz. Anal. Geom. 10 (2003), no. 1, 12–28 (Russian, with English, Russian and Ukrainian summaries). MR 1937043
L. L. Vaksman and D. L. Shklyarov, Integral representations of functions in the quantum disk. I, Mat. Fiz. Anal. Geom. 4 (1997), no. 3, 286–308 (Russian, with English, Russian and Ukrainian summaries). MR 1615820
Lucien Waelbroeck, Topological vector spaces and algebras, Lecture Notes in Mathematics, Vol. 230, Springer-Verlag, Berlin-New York, 1971. MR 0467234
Wieslaw Żelazko, Operator algebras on locally convex spaces, Topological algebras and applications, Contemp. Math., vol. 427, Amer. Math. Soc., Providence, RI, 2007, pp. 431–442. MR 2326378, DOI 10.1090/conm/427/08175