Given a Hopf algebra graded by a discrete group together with an action of the same group preserving the grading, we define a new Hopf algebra, which we call the graded twisting of . If the action is by adjoint maps, this new Hopf algebra is a twist of by a pseudo--cocycle. Analogous construction can be carried out for monoidal categories. As examples we consider graded twistings of the Hopf algebras of nondegenerate bilinear forms, their free products, hyperoctahedral quantum groups and -deformations of compact semisimple Lie groups. As applications, we show that the analogues of the Kazhdan–Wenzl categories in the general semisimple case cannot be always realized as representation categories of compact quantum groups, and for genuine compact groups, we analyze quantum subgroups of the new twisted compact quantum groups, providing a full description when the twisting group is cyclic of prime order.
À une algèbre de Hopf graduée par un groupe et munie d’une action de ce même groupe préservant cette graduation, nous associons une nouvelle algèbre de Hopf, que nous appelons le twist gradué de . Quand l’action est de type adjoint, cette nouvelle algèbre de Hopf est un twist de par un pseudo--cocycle. Une construction similaire est effectuée au niveau des catégories monoïdales. Nous étudions les exemples des algèbres de Hopf des formes bilinéaires non dégénérées, leurs produits libres, les groupes quantiques hyperoctaédraux, et les -déformations des groupes de Lie compacts semi-simples. En application, nous montrons que les analogues des catégories de Kazhdan–Wenzl dans le cas semi-simple général ne peuvent pas toujours être réalisées comme catégories de représentations de groupes quantiques compacts, et pour les groupes compacts usuels, nous décrivons complètement les sous-groupes quantiques du nouveau groupe quantique twisté, dans le cas où le groupe twisteur est d’ordre premier.
Revised:
Accepted:
Published online:
Classification: 16T05, 46L65, 18D10, 20G42
Keywords: quantum group, monoidal category, grading, pseudo-2-cocycle
@article{AIF_2016__66_6_2299_0, author = {Bichon, Julien and Neshveyev, Sergey and Yamashita, Makoto}, title = {Graded twisting of categories and quantum groups by group actions}, journal = {Annales de l'Institut Fourier}, pages = {2299--2338}, publisher = {Association des Annales de l{\textquoteright}institut Fourier}, volume = {66}, number = {6}, year = {2016}, doi = {10.5802/aif.3064}, language = {en}, url = {https://aif.centre-mersenne.org/articles/10.5802/aif.3064/} }
TY - JOUR TI - Graded twisting of categories and quantum groups by group actions JO - Annales de l'Institut Fourier PY - 2016 DA - 2016/// SP - 2299 EP - 2338 VL - 66 IS - 6 PB - Association des Annales de l’institut Fourier UR - https://aif.centre-mersenne.org/articles/10.5802/aif.3064/ UR - https://doi.org/10.5802/aif.3064 DO - 10.5802/aif.3064 LA - en ID - AIF_2016__66_6_2299_0 ER -
Bichon, Julien; Neshveyev, Sergey; Yamashita, Makoto. Graded twisting of categories and quantum groups by group actions. Annales de l'Institut Fourier, Volume 66 (2016) no. 6, pp. 2299-2338. doi : 10.5802/aif.3064. https://aif.centre-mersenne.org/articles/10.5802/aif.3064/
[1] Quantum deformations of , Comm. Pure Appl. Math., Tome 44 (1991) no. 8-9, pp. 879-895 | Article
[2] Théorie des représentations du groupe quantique compact libre , C. R. Acad. Sci. Paris Sér. I Math., Tome 322 (1996) no. 3, pp. 241-244
[3] Le groupe quantique compact libre , Comm. Math. Phys., Tome 190 (1997) no. 1, pp. 143-172 | Article
[4] Representations of compact quantum groups and subfactors, J. Reine Angew. Math., Tome 509 (1999), pp. 167-198 | Article
[5] Half-liberated manifolds, and their quantum isometries (2015) (to appear in Glasg. Math. J., http://arxiv.org/abs/1505.00646)
[6] The hyperoctahedral quantum group, J. Ramanujan Math. Soc., Tome 22 (2007) no. 4, pp. 345-384
[7] Classification results for easy quantum groups, Pacific J. Math., Tome 247 (2010) no. 1, pp. 1-26 | Article
[8] Liberation of orthogonal Lie groups, Adv. Math., Tome 222 (2009) no. 4, pp. 1461-1501 | Article
[9] Quantum isometries of the finite noncommutative geometry of the standard model, Comm. Math. Phys., Tome 307 (2011) no. 1, pp. 101-131 | Article
[10] Free wreath product by the quantum permutation group, Algebr. Represent. Theory, Tome 7 (2004) no. 4, pp. 343-362 | Article
[11] Co-representation theory of universal co-sovereign Hopf algebras, J. Lond. Math. Soc., Tome 75 (2007) no. 1, pp. 83-98 | Article
[12] Ergodic coactions with large multiplicity and monoidal equivalence of quantum groups, Comm. Math. Phys., Tome 262 (2006) no. 3, pp. 703-728 | Article
[13] Hopf algebras having a dense big cell, Trans. Amer. Math. Soc., Tome 368 (2016) no. 1, pp. 515-538 | Article
[14] Quantum subgroups of the compact quantum group , Bull. Lond. Math. Soc., Tome 46 (2014) no. 2, pp. 315-328 | Article
[15] Grothendieck rings of universal quantum groups, J. Algebra, Tome 349 (2012), pp. 80-97 | Article
[16] Braided bialgebras and quadratic bialgebras, Comm. Algebra, Tome 21 (1993) no. 5, pp. 1731-1749 | Article
[17] Quasi-Hopf algebras, Algebra i Analiz, Tome 1 (1989) no. 6, pp. 114-148 (Translation in Leningrad Math. J. 1 (1990), no. 6, 1419–1457)
[18] The quantum group of a nondegenerate bilinear form, Phys. Lett. B, Tome 245 (1990) no. 2, pp. 175-177 | Article
[19] Deformation of a Kac algebra by an abelian subgroup, Comm. Math. Phys., Tome 178 (1996) no. 3, pp. 571-596 http://projecteuclid.org/getRecord?id=euclid.cmp/1104286767 | Article
[20] Module categories over representations of and graphs, Math. Res. Lett., Tome 11 (2004) no. 1, pp. 103-114 | Article
[21] Quantum subgroups of , J. Algebra, Tome 324 (2010) no. 6, pp. 1392-1428 | Article
[22] Nilpotent fusion categories, Adv. Math., Tome 217 (2008) no. 3, pp. 1053-1071 | Article
[23] Amenability and strong amenability for fusion algebras with applications to subfactor theory, Internat. J. Math., Tome 9 (1998) no. 6, pp. 669-722 | Article
[24] Reconstructing monoidal categories, I. M. Gelʼfand Seminar (Adv. Soviet Math.) Tome 16, Amer. Math. Soc., Providence, RI, 1993, pp. 111-136
[25] Quantum groups and their representations, Texts and Monographs in Physics, Springer-Verlag, Berlin, 1997, xx+552 pages
[26] On the center of a compact group, Int. Math. Res. Not. (2004) no. 51, pp. 2751-2756 | Article
[27] Compact quantum groups and their representation categories, Cours Spécialisés [Specialized Courses], Tome 20, Société Mathématique de France, Paris, 2013, vi+169 pages
[28] Poisson boundaries of monoidal categories (2014) (http://arxiv.org/abs/1405.6572)
[29] Classification of Non-Kac Compact Quantum Groups of Type, Int. Math. Res. Not. (2015) (e-print, http://dx.doi.org/10.1093/imrn/rnv241)
[30] Twisting the -deformations of compact semisimple Lie groups, J. Math. Soc. Japan, Tome 67 (2015) no. 2, pp. 637-662 | Article
[31] Symmetries of quantum spaces. Subgroups and quotient spaces of quantum and groups, Comm. Math. Phys., Tome 170 (1995) no. 1, pp. 1-20 http://projecteuclid.org/getRecord?id=euclid.cmp/1104272946 | Article
[32] Hopf bi-Galois extensions, Comm. Algebra, Tome 24 (1996) no. 12, pp. 3797-3825 | Article
[33] A two-parameter quantization of , Proc. Japan Acad. Ser. A Math. Sci., Tome 66 (1990) no. 5, pp. 112-114 http://projecteuclid.org/euclid.pja/1195512514 | Article
[34] Cocycle deformations of coordinate rings of quantum matrices, J. Algebra, Tome 189 (1997) no. 1, pp. 23-33 | Article
[35] Invariants and semi-direct products for finite group actions on tensor categories, J. Math. Soc. Japan, Tome 53 (2001) no. 2, pp. 429-456 | Article
[36] A characterization of right coideals of quotient type and its application to classification of Poisson boundaries, Comm. Math. Phys., Tome 275 (2007) no. 1, pp. 271-296 | Article
[37] Homotopy quantum field theory, EMS Tracts in Mathematics, Tome 10, European Mathematical Society (EMS), Zürich, 2010, xiv+276 pages | Article
[38] Universal quantum groups, Internat. J. Math., Tome 7 (1996) no. 2, pp. 255-263 | Article
[39] Free products of compact quantum groups, Comm. Math. Phys., Tome 167 (1995) no. 3, pp. 671-692 http://projecteuclid.org/getRecord?id=euclid.cmp/1104272163 | Article
[40] Ergodic actions of compact groups on operator algebras. I. General theory, Ann. of Math. (2), Tome 130 (1989) no. 2, pp. 273-319 | Article
[41] Crossed products of -algebras, Mathematical Surveys and Monographs, Tome 134, American Mathematical Society, Providence, RI, 2007, xvi+528 pages | Article
Cited by Sources: