PBW-bases of coideal subalgebras and a freeness theorem
HTML articles powered by AMS MathViewer
- by V. K. Kharchenko PDF
- Trans. Amer. Math. Soc. 360 (2008), 5121-5143 Request permission
Abstract:
Let $H$ be a character Hopf algebra. Every right coideal subalgebra U that contains the coradical has a PBW-basis which can be extended up to a PBW-basis of $H.$ If additionally U is a bosonization of an invariant with respect to the left adjoint action subalgebra, then $H$ is a free left (and right) U-module with a free PBW-basis over U. These results remain valid if $H$ is a braided Hopf algebra generated by a categorically ordered subset of primitive elements. If the ground field is algebraically closed, the results are still true provided that $H$ is a pointed Hopf algebra with commutative coradical and is generated over the coradical by a direct sum of finite-dimensional Yetter-Drinfeld submodules of skew primitive elements.References
- Nicolás Andruskiewitsch and Hans-Jürgen Schneider, Pointed Hopf algebras, New directions in Hopf algebras, Math. Sci. Res. Inst. Publ., vol. 43, Cambridge Univ. Press, Cambridge, 2002, pp. 1–68. MR 1913436, DOI 10.2977/prims/1199403805
- Georgia Benkart, Seok-Jin Kang, and Duncan Melville, Quantized enveloping algebras for Borcherds superalgebras, Trans. Amer. Math. Soc. 350 (1998), no. 8, 3297–3319. MR 1451594, DOI 10.1090/S0002-9947-98-02058-3
- Vyjayanthi Chari and Nanhua Xi, Monomial bases of quantized enveloping algebras, Recent developments in quantum affine algebras and related topics (Raleigh, NC, 1998) Contemp. Math., vol. 248, Amer. Math. Soc., Providence, RI, 1999, pp. 69–81. MR 1745255, DOI 10.1090/conm/248/03818
- M. Costantini and M. Varagnolo, Multiparameter quantum function algebra at roots of $1$, Math. Ann. 306 (1996), no. 4, 759–780. MR 1418352, DOI 10.1007/BF01445276
- Bangming Deng and Jie Du, Bases of quantized enveloping algebras, Pacific J. Math. 220 (2005), no. 1, 33–48. MR 2195061, DOI 10.2140/pjm.2005.220.33
- Bangming Deng and Jie Du, Monomial bases for quantum affine $\mathfrak {sl}_n$, Adv. Math. 191 (2005), no. 2, 276–304. MR 2103214, DOI 10.1016/j.aim.2004.03.008
- V. O. Ferreira, L. S. I. Murakami, and A. Paques, A Hopf-Galois correspondence for free algebras, J. Algebra 276 (2004), no. 1, 407–416. MR 2054404, DOI 10.1016/S0021-8693(03)00502-7
- Delia Flores de Chela and James A. Green, Quantum symmetric algebras, Algebr. Represent. Theory 4 (2001), no. 1, 55–76. Special issue dedicated to Klaus Roggenkamp on the occasion of his 60th birthday. MR 1825807, DOI 10.1023/A:1009953611721
- Fabio Gavarini, A PBW basis for Lusztig’s form of untwisted affine quantum groups, Comm. Algebra 27 (1999), no. 2, 903–918. MR 1672011, DOI 10.1080/00927879908826468
- Matías Graña, A freeness theorem for Nichols algebras, J. Algebra 231 (2000), no. 1, 235–257. MR 1779599, DOI 10.1006/jabr.2000.8363
- Seok-Jin Kang, Quantum deformations of generalized Kac-Moody algebras and their modules, J. Algebra 175 (1995), no. 3, 1041–1066. MR 1341758, DOI 10.1006/jabr.1995.1226
- V. K. Kharchenko, A quantum analogue of the Poincaré-Birkhoff-Witt theorem, Algebra Log. 38 (1999), no. 4, 476–507, 509 (Russian, with Russian summary); English transl., Algebra and Logic 38 (1999), no. 4, 259–276. MR 1763385, DOI 10.1007/BF02671731
- V. K. Kharchenko, Skew primitive elements in Hopf algebras and related identities, J. Algebra 238 (2001), no. 2, 534–559. MR 1823773, DOI 10.1006/jabr.2000.8663
- V. K. Kharchenko, A combinatorial approach to the quantification of Lie algebras, Pacific J. Math. 203 (2002), no. 1, 191–233. MR 1895931, DOI 10.2140/pjm.2002.203.191
- V. K. Kharchenko, Constants of coordinate differential calculi defined by Yang-Baxter operators, J. Algebra 267 (2003), no. 1, 96–129. MR 1993469, DOI 10.1016/S0021-8693(03)00337-5
- Bernard Leclerc, Dual canonical bases, quantum shuffles and $q$-characters, Math. Z. 246 (2004), no. 4, 691–732. MR 2045836, DOI 10.1007/s00209-003-0609-9
- Gail Letzter, Coideal subalgebras and quantum symmetric pairs, New directions in Hopf algebras, Math. Sci. Res. Inst. Publ., vol. 43, Cambridge Univ. Press, Cambridge, 2002, pp. 117–165. MR 1913438
- M. Lothaire, Combinatorics on words, Encyclopedia of Mathematics and its Applications, vol. 17, Addison-Wesley Publishing Co., Reading, Mass., 1983. A collective work by Dominique Perrin, Jean Berstel, Christian Choffrut, Robert Cori, Dominique Foata, Jean Eric Pin, Guiseppe Pirillo, Christophe Reutenauer, Marcel-P. Schützenberger, Jacques Sakarovitch and Imre Simon; With a foreword by Roger Lyndon; Edited and with a preface by Perrin. MR 675953
- George Lusztig, Finite-dimensional Hopf algebras arising from quantized universal enveloping algebra, J. Amer. Math. Soc. 3 (1990), no. 1, 257–296. MR 1013053, DOI 10.1090/S0894-0347-1990-1013053-9
- George Lusztig, Introduction to quantum groups, Progress in Mathematics, vol. 110, Birkhäuser Boston, Inc., Boston, MA, 1993. MR 1227098
- Akira Masuoka, Freeness of Hopf algebras over coideal subalgebras, Comm. Algebra 20 (1992), no. 5, 1353–1373. MR 1157912, DOI 10.1080/00927879208824408
- Susan Montgomery, Hopf algebras and their actions on rings, CBMS Regional Conference Series in Mathematics, vol. 82, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1993. MR 1243637, DOI 10.1090/cbms/082
- Warren D. Nichols and M. Bettina Zoeller, A Hopf algebra freeness theorem, Amer. J. Math. 111 (1989), no. 2, 381–385. MR 987762, DOI 10.2307/2374514
- Warren D. Nichols and M. Bettina Zoeller, Freeness of infinite-dimensional Hopf algebras over grouplike subalgebras, Comm. Algebra 17 (1989), no. 2, 413–424. MR 978483, DOI 10.1080/00927878908823736
- Warren D. Nichols and M. Bettina Richmond, Freeness of infinite-dimensional Hopf algebras, Comm. Algebra 20 (1992), no. 5, 1489–1492. MR 1157919, DOI 10.1080/00927879208824415
- Ulrich Oberst and Hans-Jürgen Schneider, Untergruppen formeller Gruppen von endlichem Index, J. Algebra 31 (1974), 10–44 (German). MR 360610, DOI 10.1016/0021-8693(74)90003-9
- David E. Radford, Pointed Hopf algebras are free over Hopf subalgebras, J. Algebra 45 (1977), no. 2, 266–273. MR 437582, DOI 10.1016/0021-8693(77)90326-X
- David E. Radford, Freeness (projectivity) criteria for Hopf algebras over Hopf subalgebras, J. Pure Appl. Algebra 11 (1977/78), no. 1-3, 15–28. MR 476790, DOI 10.1016/0022-4049(77)90035-4
- David E. Radford, On an analog of Lagrange’s theorem for commutative Hopf algebras, Proc. Amer. Math. Soc. 79 (1980), no. 2, 164–166. MR 565330, DOI 10.1090/S0002-9939-1980-0565330-9
- David E. Radford, The structure of Hopf algebras with a projection, J. Algebra 92 (1985), no. 2, 322–347. MR 778452, DOI 10.1016/0021-8693(85)90124-3
- Markus Reineke, Feigin’s map and monomial bases for quantized enveloping algebras, Math. Z. 237 (2001), no. 3, 639–667. MR 1845343, DOI 10.1007/PL00004885
- Claus Michael Ringel, PBW-bases of quantum groups, J. Reine Angew. Math. 470 (1996), 51–88. MR 1370206, DOI 10.1515/crll.1996.470.51
- M. Rosso, An analogue of the Poincaré-Birkhoff-Witt theorem and the universal $R$-matrix of $U_q(sl(N+1)),$ Comm. Math. Phys., vol. 124(1989), 307–318.
- Boris Scharfschwerdt, The Nichols Zoeller theorem for Hopf algebras in the category of Yetter Drinfeld modules, Comm. Algebra 29 (2001), no. 6, 2481–2487. MR 1845124, DOI 10.1081/AGB-100002402
- Hans-Jürgen Schneider, Some remarks on exact sequences of quantum groups, Comm. Algebra 21 (1993), no. 9, 3337–3357. MR 1228767, DOI 10.1080/00927879308824733
- A. I. Širšov, On free Lie rings, Mat. Sb. N.S. 45(87) (1958), 113–122 (Russian). MR 0099356
- A. I. Širšov, Some algorithm problems for Lie algebras, Sibirsk. Mat. Ž. 3 (1962), 292–296 (Russian). MR 0183753
- Serge Skryabin, Projectivity and freeness over comodule algebras, Trans. Amer. Math. Soc. 359 (2007), no. 6, 2597–2623. MR 2286047, DOI 10.1090/S0002-9947-07-03979-7
- Mitsuhiro Takeuchi, Relative Hopf modules—equivalences and freeness criteria, J. Algebra 60 (1979), no. 2, 452–471. MR 549940, DOI 10.1016/0021-8693(79)90093-0
- M. Takeuchi, The Nichols-Zoeller theorem for braided Hopf algebras, preprint.
- Mitsuhiro Takeuchi, Survey of braided Hopf algebras, New trends in Hopf algebra theory (La Falda, 1999) Contemp. Math., vol. 267, Amer. Math. Soc., Providence, RI, 2000, pp. 301–323. MR 1800719, DOI 10.1090/conm/267/04277
- Jacob Towber, Multiparameter quantum forms of the enveloping algebra $U{\mathfrak {g}}{\mathfrak {l}}_N$ related to the Faddeev-Reshetikhin-Takhtajan $U(R)$ constructions, J. Knot Theory Ramifications 4 (1995), no. 2, 263–317. MR 1331751, DOI 10.1142/S0218216595000144
- Stefan Ufer, PBW bases for a class of braided Hopf algebras, J. Algebra 280 (2004), no. 1, 84–119. MR 2081922, DOI 10.1016/j.jalgebra.2004.06.017
- Hiroyuki Yamane, A Poincaré-Birkhoff-Witt theorem for quantized universal enveloping algebras of type $A_N$, Publ. Res. Inst. Math. Sci. 25 (1989), no. 3, 503–520. MR 1018513, DOI 10.2977/prims/1195173355
- Tadashi Yanai, Galois correspondence theorem for Hopf algebra actions, Algebraic structures and their representations, Contemp. Math., vol. 376, Amer. Math. Soc., Providence, RI, 2005, pp. 393–411. MR 2147038, DOI 10.1090/conm/376/06974
Additional Information
- V. K. Kharchenko
- Affiliation: FES-Cuautitlan, Universidad Nacional Autónoma de México, Centro de Investigaciones Teóricas, Primero de Mayo s/n, Campo 1, CIT, Cuautitlan Izcalli, Edstado de México, 54768, Mexico
- Email: vlad@servidor.unam.mx
- Received by editor(s): February 8, 2006
- Published electronically: April 10, 2008
- Additional Notes: The author was supported by PAPIIT IN 108306-3, UNAM, México.
- © Copyright 2008
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 360 (2008), 5121-5143
- MSC (2000): Primary 16W30, 16W35; Secondary 17B37
- DOI: https://doi.org/10.1090/S0002-9947-08-04483-8
- MathSciNet review: 2415067