On the classification of finite-dimensional pointed Hopf algebras.(English)Zbl 1208.16028

The authors give the classification of finite-dimensional complex Hopf algebras which are pointed, that is, all of whose irreducible comodules are one-dimensional, and whose group of group-like elements is Abelian with prime divisors of the order bigger than 7. This result is one of the few general classification results for Hopf algebras known so far. It can be read as an axiomatic description of generalized small quantum groups. The Hopf algebras are described by generators and relations and it is shown that they are the small quantum groups discovered by Lusztig and variations of them.
The main result says that a pointed finite-dimensional complex Hopf algebra with Abelian group $$\Gamma$$ of group-like elements having no prime divisors $$\leq 7$$ is necessarily isomorphic to one of the form $$u(\mathcal D,\lambda,\mu)$$, as described in Section 4.2 of the paper, where $$\mathcal D$$ is a datum of finite Cartan type for the group $$\Gamma$$, and $$\lambda$$ and $$\mu$$ are finite families of free parameters in $$k$$. In order to accomplish the classification of the Hopf algebras under consideration, the authors apply the so called Lifting Method, developed in their previous joint work; [see J. Algebra 209, No. 2, 658-691 (1998; Zbl 0919.16027)], which works for Hopf algebras whose coradical is a Hopf subalgebra. Other essential ingredients in the proof of the main result are the results of I. Heckenberger on Nichols algebras of diagonal type [Invent. Math. 164, No. 1, 175-188 (2006; Zbl 1174.17011)], which use V. K. Kharchenko’s theory [Algebra Logika 38, No. 4, 476-507 (1999); translation in Algebra Logic 38, No. 4, 259-276 (1999; Zbl 0936.16034)] of PBW-bases in braided Hopf algebras of diagonal type.
Several consequences of the main result are shown, like a version of Cauchy’s theorem from finite group theory for the Hopf algebras $$u(\mathcal D,\lambda,\mu)$$, and further support to the open conjecture that a pointed Hopf algebra is always generated by group-like and skew-primitive elements.

MSC:

 16T05 Hopf algebras and their applications 17B37 Quantum groups (quantized enveloping algebras) and related deformations
Full Text:

References:

 [1] N. Andruskiewitsch and H. -J. Schneider, ”Lifting of quantum linear spaces and pointed Hopf algebras of order $$p^3$$,” J. Algebra, vol. 209, iss. 2, pp. 658-691, 1998. · Zbl 0919.16027 [2] N. Andruskiewitsch and H. Schneider, ”Finite quantum groups and Cartan matrices,” Adv. Math., vol. 154, iss. 1, pp. 1-45, 2000. · Zbl 1007.16027 [3] N. Andruskiewitsch and H. -J. Schneider, ”Lifting of Nichols algebras of type $$A_2$$ and Pointed Hopf Algebras of order $$p^4$$,” in Hopf Algebras and Quantum Groups, Caenepeel, S. and van Oystaeyen, F., Eds., New York: Dekker, 2000, vol. 209, pp. 1-14. · Zbl 1020.16022 [4] N. Andruskiewitsch and H. Schneider, ”Finite quantum groups over abelian groups of prime exponent,” Ann. Sci. École Norm. Sup., vol. 35, iss. 1, pp. 1-26, 2002. · Zbl 1007.16028 [5] N. Andruskiewitsch and H. Schneider, ”Pointed Hopf algebras,” in New Directions in Hopf Algebras, Cambridge: Cambridge Univ. Press, 2002, pp. 1-68. · Zbl 1011.16025 [6] N. Andruskiewitsch and H. Schneider, ”A characterization of quantum groups,” J. Reine Angew. Math., vol. 577, pp. 81-104, 2004. · Zbl 1084.16027 [7] N. Andruskiewitsch and H. -J. Schneider, ”Isomorphism classes and automorphisms of finite Hopf algebras of type $$A_n$$,” in Proc. XVth Latin American Algebra Colloq. (Spanish), Madris, 2007, pp. 201-226. · Zbl 1193.16024 [8] N. Bourbaki, Éléments de Mathématique. Fasc. XXXIV. Groupes et Algèbres de Lie. Chapitre IV: Groupes de Coxeter et Systèmes de Tits. Chapitre V: Groupes engendrés par des réflexions. Chapitre VI: systèmes de racines, Paris: Hermann, 1968. · Zbl 0186.33001 [9] M. Beattie, S. Duascualescu, and \cS. Raianu, ”Lifting of Nichols algebras of type $$B_2$$,” Israel J. Math., vol. 132, pp. 1-28, 2002. · Zbl 1054.16027 [10] C. De Concini and V. G. Kac, ”Representations of quantum groups at roots of $$1$$,” in Operator Algebras, Unitary Representations, Enveloping Algebras, and Invariant Theory (Paris, 1989), Boston, MA: Birkhäuser, 1990, pp. 471-506. · Zbl 0738.17008 [11] C. De Concini and C. Procesi, ”Quantum groups,” in $$D$$-Modules, Representation Theory, and Quantum Groups (Venice, 1992), New York: Springer-Verlag, 1993, pp. 31-140. · Zbl 0795.17005 [12] D. Didt, ”Linkable Dynkin diagrams,” J. Algebra, vol. 255, iss. 2, pp. 373-391, 2002. · Zbl 1062.16042 [13] D. Didt, ”Linkable Dynkin diagrams and Quasi-isomorphisms for finite dimensional pointed Hopf algebras,” PhD Thesis , Ludwig-Maximilians-Universität München, 2002. · Zbl 1062.16042 [14] P. Etingof and V. Ostrik, ”Finite tensor categories,” Mosc. Math. J., vol. 4, iss. 3, pp. 627-654, 782, 2004. · Zbl 1077.18005 [15] M. R. Gaberdiel, ”An algebraic approach to logarithmic conformal field theory,” in Proceedings of the School and Workshop on Logarithmic Conformal Field Theory and its Applications (Tehran, 2001), 2003, pp. 4593-4638. · Zbl 1055.81064 [16] I. Heckenberger, Finite dimensional rank 2 Nichols algebras of diagonal type I: Examples, preprint math.QA/0402350v2, 2004. [17] I. Heckenberger, Finite dimensional rank 2 Nichols algebras of diagonal type II: Classification, preprint math.QA/0404008, 2004. [18] I. Heckenberger, ”The Weyl groupoid of a Nichols algebra of diagonal type,” Invent. Math., vol. 164, iss. 1, pp. 175-188, 2006. · Zbl 1174.17011 [19] Y. Kashina, Y. Sommerhäuser, and Y. Zhu, On Higher Frobenius-Schur Indicators, Providence, RI: A. M. S, 2006, vol. 811. · Zbl 1163.16029 [20] V. K. Kharchenko, ”A quantum analogue of the Poincaré-Birkhoff-Witt theorem,” Algebra Log., vol. 38, iss. 4, pp. 476-507, 509, 1999. · Zbl 0936.16034 [21] A. Klimyk and K. Schmüdgen, Quantum Groups and their Representations, New York: Springer-Verlag, 1997. · Zbl 0891.17010 [22] G. Lusztig, ”Finite-dimensional Hopf algebras arising from quantized universal enveloping algebra,” J. Amer. Math. Soc., vol. 3, iss. 1, pp. 257-296, 1990. · Zbl 0695.06006 [23] G. Lusztig, ”Quantum groups at roots of $$1$$,” Geom. Dedicata, vol. 35, iss. 1-3, pp. 89-113, 1990. · Zbl 0714.17013 [24] G. Lusztig, Introduction to Quantum Groups, Boston, MA: Birkhäuser, 1993. · Zbl 0788.17010 [25] A. Masuoka, ”On Hopf algebras with cocommutative coradicals,” J. Algebra, vol. 144, iss. 2, pp. 451-466, 1991. · Zbl 0737.16024 [26] S. Montgomery, Hopf Algebras and their Actions on Rings, Published for the Conference Board of the Mathematical Sciences, Washington, DC, 1993. · Zbl 0793.16029 [27] E. Müller, ”Some topics on Frobenius-Lusztig kernels. I, II,” J. Algebra, vol. 206, iss. 2, pp. 624-658, 659, 1998. · Zbl 0948.17010 [28] E. Müller, ”The coradical filtration of $$U_q(\mathfrakg)$$ at roots of unity,” Comm. Algebra, vol. 28, iss. 2, pp. 1029-1044, 2000. · Zbl 0961.17008 [29] C. M. Ringel, ”Hall algebras and quantum groups,” Invent. Math., vol. 101, iss. 3, pp. 583-591, 1990. · Zbl 0735.16009 [30] M. Rosso, ”Quantum groups and quantum shuffles,” Invent. Math., vol. 133, iss. 2, pp. 399-416, 1998. · Zbl 0912.17005 [31] M. E. Sweedler, Hopf Algebras, New York: W. A Benjamin, 1969. · Zbl 0194.32901 [32] Y. Zhu, ”Hopf algebras of prime dimension,” Internat. Math. Res. Notices, iss. 1, pp. 53-59, 1994. · Zbl 0822.16036
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.