25:
2598:
3302:
2403:
2792:
3502:
3053:
2940:
3113:
3622:
3390:
2683:
1972:
4011:
2593:{\displaystyle \gamma \gamma ^{*}=\gamma ^{*}\gamma ,\ \alpha \gamma =\mu \gamma \alpha ,\ \alpha \gamma ^{*}=\mu \gamma ^{*}\alpha ,\ \alpha \alpha ^{*}+\mu \gamma ^{*}\gamma =\alpha ^{*}\alpha +\mu ^{-1}\gamma ^{*}\gamma =I,}
1731:
1453:
2691:
3398:
2960:
223:. Compact matrix quantum groups are abstract structures on which the "continuous functions" on the structure are given by elements of a C*-algebra. The geometry of a compact matrix quantum group is a special case of a
2797:
205:, a commutative C*-algebra is isomorphic to the C*-algebra of continuous complex-valued functions on a compact Hausdorff topological space, and the topological space is uniquely determined by the C*-algebra up to
3297:{\displaystyle \beta \beta ^{*}=\beta ^{*}\beta ,\ \alpha \beta =\mu \beta \alpha ,\ \alpha \beta ^{*}=\mu \beta ^{*}\alpha ,\ \alpha \alpha ^{*}+\mu ^{2}\beta ^{*}\beta =\alpha ^{*}\alpha +\beta ^{*}\beta =I,}
4086:
2321:
1100:
309:
1264:
3701:
3664:
3880:
1557:
944:
569:
3507:
1807:
768:
3313:
422:
2609:
698:
192:
161:
1196:
1003:
2050:
1323:
613:
1840:
806:
460:
645:
492:
1147:
832:
1845:
1293:
197:
The basic motivation for this theory comes from the following analogy. The space of complex-valued functions on a compact
Hausdorff topological space forms a
3908:
1636:
1339:
2787:{\displaystyle \Delta (\alpha )=\alpha \otimes \alpha -\gamma \otimes \gamma ^{*},\Delta (\gamma )=\alpha \otimes \gamma +\gamma \otimes \alpha ^{*}}
3497:{\displaystyle \Delta (\alpha )=\alpha \otimes \alpha -\mu \beta \otimes \beta ^{*},\Delta (\beta )=\alpha \otimes \beta +\beta \otimes \alpha ^{*}}
3048:{\displaystyle v=\left({\begin{matrix}\alpha &{\sqrt {\mu }}\gamma \\-{\frac {1}{\sqrt {\mu }}}\gamma ^{*}&\alpha ^{*}\end{matrix}}\right).}
2935:{\displaystyle \kappa (\alpha )=\alpha ^{*},\kappa (\gamma )=-\mu ^{-1}\gamma ,\kappa (\gamma ^{*})=-\mu \gamma ^{*},\kappa (\alpha ^{*})=\alpha }
42:
3758:
165:
of continuous complex-valued functions on a compact group is generalised to an abstract structure on a not-necessarily commutative unital
4017:
2247:
108:
89:
1024:
61:
68:
46:
75:
249:
194:-algebra, which plays the role of the "algebra of continuous complex-valued functions on the compact quantum group".
1214:
2083:
can be regarded as the *-algebra of continuous complex-valued functions over the compact matrix quantum group, and
3673:
3627:
57:
3812:
3617:{\displaystyle \kappa (\alpha )=\alpha ^{*},\kappa (\beta )=-\mu ^{-1}\beta ,\kappa (\beta ^{*})=-\mu \beta ^{*}}
1489:
2111:
respectively, their minimal tensor product is defined to be the norm completion of the algebraic tensor product
885:
500:
3385:{\displaystyle w=\left({\begin{matrix}\alpha &\mu \beta \\-\beta ^{*}&\alpha ^{*}\end{matrix}}\right),}
2678:{\displaystyle u=\left({\begin{matrix}\alpha &\gamma \\-\gamma ^{*}&\alpha ^{*}\end{matrix}}\right),}
1762:
710:
4114:
224:
35:
365:
4124:
2947:
653:
202:
168:
137:
4119:
1162:
857:
963:
82:
2016:
1298:
577:
1812:
776:
430:
3754:
618:
465:
236:
2087:
can be regarded as a finite-dimensional representation of the compact matrix quantum group.
1967:{\displaystyle \sum _{k}\kappa (u_{ik})u_{kj}=\sum _{k}u_{ik}\kappa (u_{kj})=\delta _{ij}I,}
1122:
811:
212:
1326:
1272:
3773:
Woronowicz, S.L. "Compact Matrix
Pseudogrooups", Commun. Math. Phys. 111 (1987), 613-665
334:
4006:{\displaystyle \forall i,j:\qquad \Delta (v_{ij})=\sum _{k=1}^{n}v_{ik}\otimes v_{kj}}
4108:
1619:
is the C*-algebra tensor product - the completion of the algebraic tensor product of
206:
130:
4098:
van Daele, A. and Wang, S. "Universal quantum groups" Int. J. Math. (1996), 255-263.
846:
3794:
van Daele, A. and Maes, Ann. "Notes on compact quantum groups", arXiv:math/9803122
3783:
1726:{\displaystyle \forall i,j:\qquad \Delta (u_{ij})=\sum _{k}u_{ik}\otimes u_{kj};}
333:
is the minimal C*-algebra tensor product — the completion of the algebraic
1448:{\displaystyle 1=\sum _{k}u_{1k}\kappa (u_{k1})=\sum _{k}\kappa (u_{1k})u_{k1}.}
122:
24:
134:
3670:
is a unitary representation. The realizations can be identified by equating
2230:
1116:
865:
1594:
There exists a C*-algebra homomorphism, called the comultiplication,
1739:
There exists a linear antimultiplicative map, called the coinverse,
2229:
A representation of the compact matrix quantum group is given by a
4081:{\displaystyle \forall i,j:\qquad \epsilon (v_{ij})=\delta _{ij}.}
2316:{\displaystyle \forall i,j:\qquad \kappa (v_{ij})=v_{ji}^{*}.}
18:
1095:{\displaystyle \Delta (u_{ij})=\sum _{k}u_{ik}\otimes u_{kj}}
2056:
As a consequence of continuity, the comultiplication on
3803:
a corepresentation of a counital coassiative coalgebra
3782:
Woronowicz, S.L. "Compact
Quantum Groups". Notes from
3328:
2975:
2624:
4020:
3911:
3815:
3676:
3630:
3510:
3401:
3316:
3116:
2963:
2800:
2694:
2612:
2406:
2250:
2233:
2019:
1848:
1815:
1765:
1639:
1492:
1342:
1301:
1275:
1217:
1165:
1125:
1027:
966:
888:
814:
779:
713:
656:
647:. There also exists a linear multiplicative mapping
621:
580:
503:
468:
433:
368:
252:
171:
140:
49:. Unsourced material may be challenged and removed.
4080:
4005:
3874:
3695:
3658:
3616:
3496:
3384:
3296:
3047:
2934:
2786:
2677:
2592:
2315:
2044:
1966:
1834:
1801:
1725:
1551:
1447:
1317:
1287:
1258:
1190:
1141:
1094:
997:
938:
879:which is also a Hopf *-algebra. Specifically, if
826:
800:
762:
692:
639:
607:
563:
486:
454:
416:
303:
186:
155:
1208:is a Hopf *-algebra: the counit is determined by
2331:An example of a compact matrix quantum group is
304:{\displaystyle \Delta :C(G)\to C(G)\otimes C(G)}
1583:, which is generated by the matrix elements of
3784:http://www.fuw.edu.pl/~slworono/PDF-y/CQG3.pdf
3395:so that the comultiplication is determined by
2688:so that the comultiplication is determined by
1259:{\displaystyle \epsilon (u_{ij})=\delta _{ij}}
2954:is equivalent to the unitary representation
2149:A compact quantum group is defined as a pair
8:
3696:{\displaystyle \gamma ={\sqrt {\mu }}\beta }
3659:{\displaystyle \kappa (\alpha ^{*})=\alpha }
3875:{\displaystyle v=(v_{ij})_{i,j=1,\dots ,n}}
1552:{\displaystyle u=(u_{ij})_{i,j=1,\dots ,n}}
939:{\displaystyle g\mapsto (u_{ij}(g))_{i,j}}
564:{\displaystyle (f\otimes g)(x,y)=f(x)g(y)}
4066:
4047:
4019:
3994:
3978:
3968:
3957:
3938:
3910:
3842:
3829:
3814:
3683:
3675:
3641:
3629:
3608:
3586:
3561:
3530:
3509:
3488:
3442:
3400:
3365:
3353:
3327:
3315:
3276:
3260:
3244:
3234:
3221:
3199:
3183:
3137:
3124:
3115:
3028:
3016:
3000:
2983:
2974:
2962:
2917:
2898:
2876:
2851:
2820:
2799:
2778:
2732:
2693:
2658:
2646:
2623:
2611:
2572:
2559:
2543:
2527:
2511:
2489:
2473:
2427:
2414:
2405:
2304:
2296:
2277:
2249:
2136:; the norm completion is also denoted by
2036:
2018:
1949:
1930:
1911:
1901:
1885:
1869:
1853:
1847:
1826:
1814:
1764:
1711:
1695:
1685:
1666:
1638:
1519:
1506:
1491:
1433:
1417:
1401:
1382:
1363:
1353:
1341:
1306:
1300:
1274:
1247:
1228:
1216:
1176:
1164:
1130:
1124:
1083:
1067:
1057:
1038:
1026:
971:
965:
924:
902:
887:
813:
778:
748:
712:
655:
620:
579:
502:
467:
432:
367:
251:
243:, there exists a C*-algebra homomorphism
178:
173:
170:
147:
142:
139:
109:Learn how and when to remove this message
856:On the other hand, a finite-dimensional
834:. Strictly speaking, this does not make
3741:
3728:is equal to the concrete compact group
1802:{\displaystyle \kappa (\kappa (v*)*)=v}
763:{\displaystyle \kappa (f)(x)=f(x^{-1})}
2237:, is called unitary if the matrix for
2179:is a unital *-homomorphism satisfying
201:C*-algebra. On the other hand, by the
3504:, and the coinverse is determined by
2794:, and the coinverse is determined by
417:{\displaystyle \Delta (f)(x,y)=f(xy)}
7:
693:{\displaystyle \kappa :C(G)\to C(G)}
215:introduced the important concept of
47:adding citations to reliable sources
4021:
3928:
3912:
3451:
3402:
2741:
2695:
2251:
1656:
1640:
1028:
369:
253:
174:
143:
14:
16:Abstract structure in mathematics
2241:is unitary, or equivalently, if
187:{\displaystyle \mathrm {C} ^{*}}
156:{\displaystyle \mathrm {C} ^{*}}
23:
4036:
3927:
3099:is the C*-algebra generated by
2946:is a representation, but not a
2389:is the C*-algebra generated by
2266:
1655:
1191:{\displaystyle \kappa (u_{ij})}
953:-dimensional representation of
34:needs additional citations for
4056:
4040:
3947:
3931:
3839:
3822:
3751:Introduction to Quantum Groups
3647:
3634:
3592:
3579:
3548:
3542:
3520:
3514:
3460:
3454:
3411:
3405:
2923:
2910:
2882:
2869:
2838:
2832:
2810:
2804:
2750:
2744:
2704:
2698:
2286:
2270:
1939:
1923:
1878:
1862:
1790:
1784:
1775:
1769:
1675:
1659:
1516:
1499:
1426:
1410:
1391:
1375:
1237:
1221:
1185:
1169:
1047:
1031:
998:{\displaystyle u_{ij}\in C(G)}
992:
986:
921:
917:
911:
895:
892:
795:
789:
757:
741:
732:
726:
723:
717:
687:
681:
675:
672:
666:
602:
596:
558:
552:
546:
540:
531:
519:
516:
504:
449:
443:
411:
402:
393:
381:
378:
372:
298:
292:
283:
277:
271:
268:
262:
1:
2103:acting on the Hilbert spaces
1459:Compact matrix quantum groups
217:compact matrix quantum groups
2045:{\displaystyle v,w\in C_{0}}
1562:is a matrix with entries in
1465:compact matrix quantum group
1318:{\displaystyle \delta _{ij}}
219:, which he initially called
2345:is a positive real number.
2161:is a unital C*-algebra and
1978:is the identity element of
1333:, and the unit is given by
608:{\displaystyle f,g\in C(G)}
4141:
1835:{\displaystyle v\in C_{0}}
864:can be used to generate a
801:{\displaystyle f\in C(G)}
455:{\displaystyle f\in C(G)}
640:{\displaystyle x,y\in G}
487:{\displaystyle x,y\in G}
133:, where the commutative
2181:(Δ ⊗ id) Δ = (id ⊗ Δ) Δ
1986:is antimultiplicative,
1463:As a generalization, a
225:noncommutative geometry
129:are generalisations of
58:"Compact quantum group"
4082:
4007:
3973:
3876:
3697:
3660:
3618:
3498:
3386:
3298:
3049:
2948:unitary representation
2936:
2788:
2679:
2594:
2341:, where the parameter
2317:
2091:Compact quantum groups
2046:
1968:
1836:
1803:
1727:
1553:
1449:
1319:
1289:
1260:
1192:
1143:
1142:{\displaystyle u_{ij}}
1115:. It follows that the
1096:
999:
940:
828:
827:{\displaystyle x\in G}
802:
764:
694:
641:
609:
565:
488:
456:
418:
305:
188:
157:
127:compact quantum groups
4083:
4008:
3953:
3877:
3698:
3661:
3619:
3499:
3387:
3299:
3050:
2937:
2789:
2680:
2595:
2318:
2076:is a Hopf *-algebra.
2047:
1969:
1837:
1804:
1728:
1554:
1467:is defined as a pair
1450:
1320:
1290:
1261:
1193:
1144:
1097:
1000:
941:
829:
803:
765:
695:
642:
610:
566:
489:
457:
419:
306:
189:
158:
4018:
3909:
3813:
3749:Banica, Teo (2023).
3674:
3628:
3508:
3399:
3314:
3114:
2961:
2798:
2692:
2610:
2404:
2248:
2067:is a bialgebra, and
2017:
1846:
1813:
1763:
1637:
1490:
1483:is a C*-algebra and
1340:
1299:
1273:
1215:
1163:
1123:
1025:
964:
886:
812:
777:
711:
654:
619:
578:
501:
466:
431:
366:
359:) — such that
250:
221:compact pseudogroups
169:
138:
43:improve this article
3807:is a square matrix
2309:
1329:), the antipode is
1288:{\displaystyle i,j}
4078:
4003:
3872:
3693:
3656:
3614:
3494:
3382:
3373:
3294:
3045:
3036:
2932:
2784:
2675:
2666:
2590:
2313:
2292:
2060:is coassociative.
2042:
1964:
1906:
1858:
1832:
1799:
1723:
1690:
1570:The *-subalgebra,
1549:
1445:
1406:
1358:
1315:
1285:
1256:
1188:
1139:
1092:
1062:
995:
936:
824:
798:
760:
690:
637:
605:
561:
484:
452:
414:
301:
184:
153:
3760:978-3-031-23816-1
3688:
3213:
3175:
3151:
3059:Second definition
3010:
3009:
2988:
2503:
2465:
2441:
2095:For C*-algebras
1897:
1849:
1681:
1397:
1349:
1053:
237:topological group
119:
118:
111:
93:
4132:
4099:
4096:
4090:
4087:
4085:
4084:
4079:
4074:
4073:
4055:
4054:
4012:
4010:
4009:
4004:
4002:
4001:
3986:
3985:
3972:
3967:
3946:
3945:
3902:
3887:
3884:with entries in
3881:
3879:
3878:
3873:
3871:
3870:
3837:
3836:
3806:
3801:
3795:
3792:
3786:
3780:
3774:
3771:
3765:
3764:
3746:
3731:
3727:
3717:
3702:
3700:
3699:
3694:
3689:
3684:
3669:
3665:
3663:
3662:
3657:
3646:
3645:
3623:
3621:
3620:
3615:
3613:
3612:
3591:
3590:
3569:
3568:
3535:
3534:
3503:
3501:
3500:
3495:
3493:
3492:
3447:
3446:
3391:
3389:
3388:
3383:
3378:
3374:
3370:
3369:
3358:
3357:
3303:
3301:
3300:
3295:
3281:
3280:
3265:
3264:
3249:
3248:
3239:
3238:
3226:
3225:
3211:
3204:
3203:
3188:
3187:
3173:
3149:
3142:
3141:
3129:
3128:
3106:
3102:
3098:
3085:
3054:
3052:
3051:
3046:
3041:
3037:
3033:
3032:
3021:
3020:
3011:
3005:
3001:
2989:
2984:
2953:
2945:
2941:
2939:
2938:
2933:
2922:
2921:
2903:
2902:
2881:
2880:
2859:
2858:
2825:
2824:
2793:
2791:
2790:
2785:
2783:
2782:
2737:
2736:
2684:
2682:
2681:
2676:
2671:
2667:
2663:
2662:
2651:
2650:
2599:
2597:
2596:
2591:
2577:
2576:
2567:
2566:
2548:
2547:
2532:
2531:
2516:
2515:
2501:
2494:
2493:
2478:
2477:
2463:
2439:
2432:
2431:
2419:
2418:
2396:
2392:
2388:
2375:
2349:First definition
2344:
2340:
2322:
2320:
2319:
2314:
2308:
2303:
2285:
2284:
2231:corepresentation
2219:
2209:
2197:
2182:
2178:
2160:
2156:
2145:
2135:
2120:
2110:
2106:
2102:
2098:
2086:
2082:
2075:
2066:
2059:
2051:
2049:
2048:
2043:
2041:
2040:
2012:
1985:
1981:
1977:
1973:
1971:
1970:
1965:
1957:
1956:
1938:
1937:
1919:
1918:
1905:
1893:
1892:
1877:
1876:
1857:
1841:
1839:
1838:
1833:
1831:
1830:
1808:
1806:
1805:
1800:
1758:
1732:
1730:
1729:
1724:
1719:
1718:
1703:
1702:
1689:
1674:
1673:
1626:
1622:
1618:
1608:
1590:
1586:
1582:
1578:
1565:
1558:
1556:
1555:
1550:
1548:
1547:
1514:
1513:
1482:
1478:
1454:
1452:
1451:
1446:
1441:
1440:
1425:
1424:
1405:
1390:
1389:
1371:
1370:
1357:
1332:
1324:
1322:
1321:
1316:
1314:
1313:
1294:
1292:
1291:
1286:
1265:
1263:
1262:
1257:
1255:
1254:
1236:
1235:
1207:
1197:
1195:
1194:
1189:
1184:
1183:
1158:
1148:
1146:
1145:
1140:
1138:
1137:
1114:
1101:
1099:
1098:
1093:
1091:
1090:
1075:
1074:
1061:
1046:
1045:
1017:
1004:
1002:
1001:
996:
979:
978:
956:
952:
945:
943:
942:
937:
935:
934:
910:
909:
878:
863:
852:
844:
833:
831:
830:
825:
807:
805:
804:
799:
769:
767:
766:
761:
756:
755:
699:
697:
696:
691:
646:
644:
643:
638:
614:
612:
611:
606:
570:
568:
567:
562:
493:
491:
490:
485:
461:
459:
458:
453:
423:
421:
420:
415:
358:
347:
332:
310:
308:
307:
302:
242:
213:S. L. Woronowicz
193:
191:
190:
185:
183:
182:
177:
162:
160:
159:
154:
152:
151:
146:
114:
107:
103:
100:
94:
92:
51:
27:
19:
4140:
4139:
4135:
4134:
4133:
4131:
4130:
4129:
4105:
4104:
4103:
4102:
4097:
4093:
4062:
4043:
4016:
4015:
3990:
3974:
3934:
3907:
3906:
3889:
3885:
3838:
3825:
3811:
3810:
3804:
3802:
3798:
3793:
3789:
3781:
3777:
3772:
3768:
3761:
3748:
3747:
3743:
3738:
3729:
3725:
3719:
3712:
3709:
3672:
3671:
3667:
3637:
3626:
3625:
3604:
3582:
3557:
3526:
3506:
3505:
3484:
3438:
3397:
3396:
3372:
3371:
3361:
3359:
3349:
3343:
3342:
3334:
3323:
3312:
3311:
3272:
3256:
3240:
3230:
3217:
3195:
3179:
3133:
3120:
3112:
3111:
3104:
3100:
3096:
3087:
3079:
3069:
3063:
3061:
3035:
3034:
3024:
3022:
3012:
2994:
2993:
2981:
2970:
2959:
2958:
2951:
2943:
2913:
2894:
2872:
2847:
2816:
2796:
2795:
2774:
2728:
2690:
2689:
2665:
2664:
2654:
2652:
2642:
2636:
2635:
2630:
2619:
2608:
2607:
2568:
2555:
2539:
2523:
2507:
2485:
2469:
2423:
2410:
2402:
2401:
2394:
2390:
2386:
2377:
2369:
2359:
2353:
2351:
2342:
2338:
2332:
2329:
2273:
2246:
2245:
2227:
2225:Representations
2211:
2199:
2187:
2180:
2165:
2158:
2150:
2137:
2122:
2112:
2108:
2104:
2100:
2096:
2093:
2084:
2080:
2074:
2068:
2064:
2057:
2032:
2015:
2014:
1987:
1983:
1979:
1975:
1945:
1926:
1907:
1881:
1865:
1844:
1843:
1822:
1811:
1810:
1761:
1760:
1757:
1750:
1740:
1707:
1691:
1662:
1635:
1634:
1624:
1620:
1610:
1595:
1588:
1584:
1580:
1577:
1571:
1563:
1515:
1502:
1488:
1487:
1480:
1468:
1461:
1429:
1413:
1378:
1359:
1338:
1337:
1330:
1327:Kronecker delta
1302:
1297:
1296:
1271:
1270:
1243:
1224:
1213:
1212:
1199:
1172:
1161:
1160:
1150:
1126:
1121:
1120:
1106:
1079:
1063:
1034:
1023:
1022:
1009:
967:
962:
961:
954:
950:
920:
898:
884:
883:
869:
861:
850:
835:
810:
809:
775:
774:
744:
709:
708:
652:
651:
617:
616:
576:
575:
499:
498:
464:
463:
429:
428:
364:
363:
349:
338:
315:
248:
247:
240:
233:
203:Gelfand Theorem
172:
167:
166:
141:
136:
135:
115:
104:
98:
95:
52:
50:
40:
28:
17:
12:
11:
5:
4138:
4136:
4128:
4127:
4122:
4117:
4115:Quantum groups
4107:
4106:
4101:
4100:
4091:
4089:
4088:
4077:
4072:
4069:
4065:
4061:
4058:
4053:
4050:
4046:
4042:
4039:
4035:
4032:
4029:
4026:
4023:
4013:
4000:
3997:
3993:
3989:
3984:
3981:
3977:
3971:
3966:
3963:
3960:
3956:
3952:
3949:
3944:
3941:
3937:
3933:
3930:
3926:
3923:
3920:
3917:
3914:
3883:
3882:
3869:
3866:
3863:
3860:
3857:
3854:
3851:
3848:
3845:
3841:
3835:
3832:
3828:
3824:
3821:
3818:
3796:
3787:
3775:
3766:
3759:
3740:
3739:
3737:
3734:
3721:
3708:
3705:
3692:
3687:
3682:
3679:
3655:
3652:
3649:
3644:
3640:
3636:
3633:
3611:
3607:
3603:
3600:
3597:
3594:
3589:
3585:
3581:
3578:
3575:
3572:
3567:
3564:
3560:
3556:
3553:
3550:
3547:
3544:
3541:
3538:
3533:
3529:
3525:
3522:
3519:
3516:
3513:
3491:
3487:
3483:
3480:
3477:
3474:
3471:
3468:
3465:
3462:
3459:
3456:
3453:
3450:
3445:
3441:
3437:
3434:
3431:
3428:
3425:
3422:
3419:
3416:
3413:
3410:
3407:
3404:
3393:
3392:
3381:
3377:
3368:
3364:
3360:
3356:
3352:
3348:
3345:
3344:
3341:
3338:
3335:
3333:
3330:
3329:
3326:
3322:
3319:
3305:
3304:
3293:
3290:
3287:
3284:
3279:
3275:
3271:
3268:
3263:
3259:
3255:
3252:
3247:
3243:
3237:
3233:
3229:
3224:
3220:
3216:
3210:
3207:
3202:
3198:
3194:
3191:
3186:
3182:
3178:
3172:
3169:
3166:
3163:
3160:
3157:
3154:
3148:
3145:
3140:
3136:
3132:
3127:
3123:
3119:
3092:
3075:
3065:
3060:
3057:
3056:
3055:
3044:
3040:
3031:
3027:
3023:
3019:
3015:
3008:
3004:
2999:
2996:
2995:
2992:
2987:
2982:
2980:
2977:
2976:
2973:
2969:
2966:
2931:
2928:
2925:
2920:
2916:
2912:
2909:
2906:
2901:
2897:
2893:
2890:
2887:
2884:
2879:
2875:
2871:
2868:
2865:
2862:
2857:
2854:
2850:
2846:
2843:
2840:
2837:
2834:
2831:
2828:
2823:
2819:
2815:
2812:
2809:
2806:
2803:
2781:
2777:
2773:
2770:
2767:
2764:
2761:
2758:
2755:
2752:
2749:
2746:
2743:
2740:
2735:
2731:
2727:
2724:
2721:
2718:
2715:
2712:
2709:
2706:
2703:
2700:
2697:
2686:
2685:
2674:
2670:
2661:
2657:
2653:
2649:
2645:
2641:
2638:
2637:
2634:
2631:
2629:
2626:
2625:
2622:
2618:
2615:
2601:
2600:
2589:
2586:
2583:
2580:
2575:
2571:
2565:
2562:
2558:
2554:
2551:
2546:
2542:
2538:
2535:
2530:
2526:
2522:
2519:
2514:
2510:
2506:
2500:
2497:
2492:
2488:
2484:
2481:
2476:
2472:
2468:
2462:
2459:
2456:
2453:
2450:
2447:
2444:
2438:
2435:
2430:
2426:
2422:
2417:
2413:
2409:
2382:
2365:
2355:
2350:
2347:
2334:
2328:
2325:
2324:
2323:
2312:
2307:
2302:
2299:
2295:
2291:
2288:
2283:
2280:
2276:
2272:
2269:
2265:
2262:
2259:
2256:
2253:
2226:
2223:
2222:
2221:
2184:
2092:
2089:
2072:
2054:
2053:
2039:
2035:
2031:
2028:
2025:
2022:
1963:
1960:
1955:
1952:
1948:
1944:
1941:
1936:
1933:
1929:
1925:
1922:
1917:
1914:
1910:
1904:
1900:
1896:
1891:
1888:
1884:
1880:
1875:
1872:
1868:
1864:
1861:
1856:
1852:
1829:
1825:
1821:
1818:
1798:
1795:
1792:
1789:
1786:
1783:
1780:
1777:
1774:
1771:
1768:
1755:
1748:
1736:
1735:
1734:
1733:
1722:
1717:
1714:
1710:
1706:
1701:
1698:
1694:
1688:
1684:
1680:
1677:
1672:
1669:
1665:
1661:
1658:
1654:
1651:
1648:
1645:
1642:
1629:
1628:
1592:
1587:, is dense in
1575:
1560:
1559:
1546:
1543:
1540:
1537:
1534:
1531:
1528:
1525:
1522:
1518:
1512:
1509:
1505:
1501:
1498:
1495:
1460:
1457:
1456:
1455:
1444:
1439:
1436:
1432:
1428:
1423:
1420:
1416:
1412:
1409:
1404:
1400:
1396:
1393:
1388:
1385:
1381:
1377:
1374:
1369:
1366:
1362:
1356:
1352:
1348:
1345:
1312:
1309:
1305:
1284:
1281:
1278:
1267:
1266:
1253:
1250:
1246:
1242:
1239:
1234:
1231:
1227:
1223:
1220:
1187:
1182:
1179:
1175:
1171:
1168:
1136:
1133:
1129:
1103:
1102:
1089:
1086:
1082:
1078:
1073:
1070:
1066:
1060:
1056:
1052:
1049:
1044:
1041:
1037:
1033:
1030:
1006:
1005:
994:
991:
988:
985:
982:
977:
974:
970:
947:
946:
933:
930:
927:
923:
919:
916:
913:
908:
905:
901:
897:
894:
891:
858:representation
823:
820:
817:
797:
794:
791:
788:
785:
782:
771:
770:
759:
754:
751:
747:
743:
740:
737:
734:
731:
728:
725:
722:
719:
716:
702:
701:
689:
686:
683:
680:
677:
674:
671:
668:
665:
662:
659:
636:
633:
630:
627:
624:
604:
601:
598:
595:
592:
589:
586:
583:
572:
571:
560:
557:
554:
551:
548:
545:
542:
539:
536:
533:
530:
527:
524:
521:
518:
515:
512:
509:
506:
483:
480:
477:
474:
471:
462:, and for all
451:
448:
445:
442:
439:
436:
425:
424:
413:
410:
407:
404:
401:
398:
395:
392:
389:
386:
383:
380:
377:
374:
371:
335:tensor product
312:
311:
300:
297:
294:
291:
288:
285:
282:
279:
276:
273:
270:
267:
264:
261:
258:
255:
235:For a compact
232:
229:
181:
176:
150:
145:
131:compact groups
117:
116:
31:
29:
22:
15:
13:
10:
9:
6:
4:
3:
2:
4137:
4126:
4125:Hopf algebras
4123:
4121:
4118:
4116:
4113:
4112:
4110:
4095:
4092:
4075:
4070:
4067:
4063:
4059:
4051:
4048:
4044:
4037:
4033:
4030:
4027:
4024:
4014:
3998:
3995:
3991:
3987:
3982:
3979:
3975:
3969:
3964:
3961:
3958:
3954:
3950:
3942:
3939:
3935:
3924:
3921:
3918:
3915:
3905:
3904:
3900:
3896:
3892:
3867:
3864:
3861:
3858:
3855:
3852:
3849:
3846:
3843:
3833:
3830:
3826:
3819:
3816:
3809:
3808:
3800:
3797:
3791:
3788:
3785:
3779:
3776:
3770:
3767:
3762:
3756:
3752:
3745:
3742:
3735:
3733:
3724:
3715:
3706:
3704:
3690:
3685:
3680:
3677:
3666:. Note that
3653:
3650:
3642:
3638:
3631:
3609:
3605:
3601:
3598:
3595:
3587:
3583:
3576:
3573:
3570:
3565:
3562:
3558:
3554:
3551:
3545:
3539:
3536:
3531:
3527:
3523:
3517:
3511:
3489:
3485:
3481:
3478:
3475:
3472:
3469:
3466:
3463:
3457:
3448:
3443:
3439:
3435:
3432:
3429:
3426:
3423:
3420:
3417:
3414:
3408:
3379:
3375:
3366:
3362:
3354:
3350:
3346:
3339:
3336:
3331:
3324:
3320:
3317:
3310:
3309:
3308:
3291:
3288:
3285:
3282:
3277:
3273:
3269:
3266:
3261:
3257:
3253:
3250:
3245:
3241:
3235:
3231:
3227:
3222:
3218:
3214:
3208:
3205:
3200:
3196:
3192:
3189:
3184:
3180:
3176:
3170:
3167:
3164:
3161:
3158:
3155:
3152:
3146:
3143:
3138:
3134:
3130:
3125:
3121:
3117:
3110:
3109:
3108:
3107:, subject to
3095:
3090:
3083:
3078:
3073:
3068:
3058:
3042:
3038:
3029:
3025:
3017:
3013:
3006:
3002:
2997:
2990:
2985:
2978:
2971:
2967:
2964:
2957:
2956:
2955:
2949:
2929:
2926:
2918:
2914:
2907:
2904:
2899:
2895:
2891:
2888:
2885:
2877:
2873:
2866:
2863:
2860:
2855:
2852:
2848:
2844:
2841:
2835:
2829:
2826:
2821:
2817:
2813:
2807:
2801:
2779:
2775:
2771:
2768:
2765:
2762:
2759:
2756:
2753:
2747:
2738:
2733:
2729:
2725:
2722:
2719:
2716:
2713:
2710:
2707:
2701:
2672:
2668:
2659:
2655:
2647:
2643:
2639:
2632:
2627:
2620:
2616:
2613:
2606:
2605:
2604:
2587:
2584:
2581:
2578:
2573:
2569:
2563:
2560:
2556:
2552:
2549:
2544:
2540:
2536:
2533:
2528:
2524:
2520:
2517:
2512:
2508:
2504:
2498:
2495:
2490:
2486:
2482:
2479:
2474:
2470:
2466:
2460:
2457:
2454:
2451:
2448:
2445:
2442:
2436:
2433:
2428:
2424:
2420:
2415:
2411:
2407:
2400:
2399:
2398:
2397:, subject to
2385:
2380:
2373:
2368:
2363:
2358:
2348:
2346:
2337:
2326:
2310:
2305:
2300:
2297:
2293:
2289:
2281:
2278:
2274:
2267:
2263:
2260:
2257:
2254:
2244:
2243:
2242:
2240:
2236:
2232:
2224:
2218:
2214:
2210:are dense in
2207:
2203:
2195:
2191:
2185:
2177:
2173:
2169:
2164:
2163:
2162:
2154:
2147:
2144:
2140:
2133:
2129:
2125:
2119:
2115:
2090:
2088:
2077:
2071:
2061:
2037:
2033:
2029:
2026:
2023:
2020:
2010:
2006:
2002:
1998:
1994:
1990:
1961:
1958:
1953:
1950:
1946:
1942:
1934:
1931:
1927:
1920:
1915:
1912:
1908:
1902:
1898:
1894:
1889:
1886:
1882:
1873:
1870:
1866:
1859:
1854:
1850:
1827:
1823:
1819:
1816:
1796:
1793:
1787:
1781:
1778:
1772:
1766:
1754:
1747:
1743:
1738:
1737:
1720:
1715:
1712:
1708:
1704:
1699:
1696:
1692:
1686:
1682:
1678:
1670:
1667:
1663:
1652:
1649:
1646:
1643:
1633:
1632:
1631:
1630:
1617:
1613:
1607:
1603:
1599:
1593:
1574:
1569:
1568:
1567:
1544:
1541:
1538:
1535:
1532:
1529:
1526:
1523:
1520:
1510:
1507:
1503:
1496:
1493:
1486:
1485:
1484:
1476:
1472:
1466:
1458:
1442:
1437:
1434:
1430:
1421:
1418:
1414:
1407:
1402:
1398:
1394:
1386:
1383:
1379:
1372:
1367:
1364:
1360:
1354:
1350:
1346:
1343:
1336:
1335:
1334:
1328:
1310:
1307:
1303:
1282:
1279:
1276:
1251:
1248:
1244:
1240:
1232:
1229:
1225:
1218:
1211:
1210:
1209:
1206:
1202:
1180:
1177:
1173:
1166:
1157:
1153:
1134:
1131:
1127:
1119:generated by
1118:
1113:
1109:
1087:
1084:
1080:
1076:
1071:
1068:
1064:
1058:
1054:
1050:
1042:
1039:
1035:
1021:
1020:
1019:
1016:
1012:
989:
983:
980:
975:
972:
968:
960:
959:
958:
931:
928:
925:
914:
906:
903:
899:
889:
882:
881:
880:
876:
872:
867:
859:
854:
848:
842:
838:
821:
818:
815:
792:
786:
783:
780:
752:
749:
745:
738:
735:
729:
720:
714:
707:
706:
705:
684:
678:
669:
663:
660:
657:
650:
649:
648:
634:
631:
628:
625:
622:
599:
593:
590:
587:
584:
581:
555:
549:
543:
537:
534:
528:
525:
522:
513:
510:
507:
497:
496:
495:
481:
478:
475:
472:
469:
446:
440:
437:
434:
408:
405:
399:
396:
390:
387:
384:
375:
362:
361:
360:
356:
352:
345:
341:
336:
330:
326:
322:
318:
295:
289:
286:
280:
274:
265:
259:
256:
246:
245:
244:
238:
230:
228:
226:
222:
218:
214:
210:
208:
207:homeomorphism
204:
200:
195:
179:
164:
148:
132:
128:
124:
113:
110:
102:
99:December 2009
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: –
59:
55:
54:Find sources:
48:
44:
38:
37:
32:This article
30:
26:
21:
20:
4094:
3903:) such that
3898:
3894:
3890:
3799:
3790:
3778:
3769:
3753:. Springer.
3750:
3744:
3722:
3713:
3710:
3394:
3306:
3093:
3088:
3081:
3076:
3071:
3066:
3062:
2942:. Note that
2687:
2602:
2383:
2378:
2371:
2366:
2361:
2356:
2352:
2335:
2330:
2238:
2234:
2228:
2216:
2212:
2205:
2201:
2193:
2189:
2175:
2171:
2167:
2152:
2148:
2142:
2138:
2131:
2127:
2123:
2117:
2113:
2094:
2079:Informally,
2078:
2069:
2063:In general,
2062:
2055:
2008:
2004:
2000:
1996:
1992:
1988:
1752:
1745:
1741:
1615:
1611:
1605:
1601:
1597:
1572:
1561:
1474:
1470:
1464:
1462:
1268:
1204:
1200:
1155:
1151:
1111:
1107:
1104:
1014:
1010:
1007:
948:
874:
870:
866:*-subalgebra
855:
847:Hopf algebra
840:
836:
772:
703:
573:
426:
354:
350:
343:
339:
328:
324:
320:
316:
313:
234:
220:
216:
211:
198:
196:
126:
120:
105:
96:
86:
79:
72:
65:
53:
41:Please help
36:verification
33:
4120:C*-algebras
1627:) such that
853:is finite.
231:Formulation
199:commutative
123:mathematics
4109:Categories
3736:References
3707:Limit case
1759:such that
1566:such that
704:such that
69:newspapers
4064:δ
4038:ϵ
4022:∀
3988:⊗
3955:∑
3929:Δ
3913:∀
3888:(so that
3862:…
3691:β
3686:μ
3678:γ
3654:α
3643:∗
3639:α
3632:κ
3610:∗
3606:β
3602:μ
3599:−
3588:∗
3584:β
3577:κ
3571:β
3563:−
3559:μ
3555:−
3546:β
3540:κ
3532:∗
3528:α
3518:α
3512:κ
3490:∗
3486:α
3482:⊗
3479:β
3473:β
3470:⊗
3467:α
3458:β
3452:Δ
3444:∗
3440:β
3436:⊗
3433:β
3430:μ
3427:−
3424:α
3421:⊗
3418:α
3409:α
3403:Δ
3367:∗
3363:α
3355:∗
3351:β
3347:−
3340:β
3337:μ
3332:α
3283:β
3278:∗
3274:β
3267:α
3262:∗
3258:α
3251:β
3246:∗
3242:β
3232:μ
3223:∗
3219:α
3215:α
3206:α
3201:∗
3197:β
3193:μ
3185:∗
3181:β
3177:α
3168:α
3165:β
3162:μ
3156:β
3153:α
3144:β
3139:∗
3135:β
3126:∗
3122:β
3118:β
3086:, where
3030:∗
3026:α
3018:∗
3014:γ
3007:μ
2998:−
2991:γ
2986:μ
2979:α
2930:α
2919:∗
2915:α
2908:κ
2900:∗
2896:γ
2892:μ
2889:−
2878:∗
2874:γ
2867:κ
2861:γ
2853:−
2849:μ
2845:−
2836:γ
2830:κ
2822:∗
2818:α
2808:α
2802:κ
2780:∗
2776:α
2772:⊗
2769:γ
2763:γ
2760:⊗
2757:α
2748:γ
2742:Δ
2734:∗
2730:γ
2726:⊗
2723:γ
2720:−
2717:α
2714:⊗
2711:α
2702:α
2696:Δ
2660:∗
2656:α
2648:∗
2644:γ
2640:−
2633:γ
2628:α
2579:γ
2574:∗
2570:γ
2561:−
2557:μ
2550:α
2545:∗
2541:α
2534:γ
2529:∗
2525:γ
2521:μ
2513:∗
2509:α
2505:α
2496:α
2491:∗
2487:γ
2483:μ
2475:∗
2471:γ
2467:α
2458:α
2455:γ
2452:μ
2446:γ
2443:α
2434:γ
2429:∗
2425:γ
2416:∗
2412:γ
2408:γ
2306:∗
2268:κ
2252:∀
2186:the sets
2166:Δ :
2030:∈
1947:δ
1921:κ
1899:∑
1860:κ
1851:∑
1820:∈
1788:∗
1782:∗
1773:κ
1767:κ
1705:⊗
1683:∑
1657:Δ
1641:∀
1596:Δ :
1539:…
1408:κ
1399:∑
1373:κ
1351:∑
1304:δ
1245:δ
1219:ϵ
1167:κ
1117:*-algebra
1077:⊗
1055:∑
1029:Δ
981:∈
893:↦
849:, unless
819:∈
784:∈
750:−
715:κ
676:→
658:κ
632:∈
591:∈
511:⊗
479:∈
438:∈
370:Δ
287:⊗
272:→
254:Δ
180:∗
149:∗
2376:, where
2157:, where
2013:for all
1982:. Since
1809:for all
1744: :
1479:, where
1269:for all
1198:for all
1149:for all
1105:for all
1008:for all
808:and all
773:for all
615:and all
574:for all
494:, where
427:for all
163:-algebra
3718:, then
3070:(2) = (
2360:(2) = (
2327:Example
2192:⊗ 1) Δ(
1325:is the
1295:(where
957:, then
845:into a
83:scholar
3757:
3212:
3174:
3150:
3080:(2)),
2502:
2464:
2440:
2370:(2)),
2200:{(1 ⊗
1974:where
1609:(here
1018:, and
949:is an
314:where
85:
78:
71:
64:
56:
3730:SU(2)
3307:and
1579:, of
90:JSTOR
76:books
3893:∈ M(
3755:ISBN
3103:and
3097:(2))
2603:and
2393:and
2387:(2))
2204:) Δ(
2198:and
2155:, Δ)
2107:and
2099:and
1995:) =
1842:and
1623:and
1159:and
348:and
323:) ⊗
62:news
3726:(2)
3716:= 1
3711:If
3091:(SU
3074:(SU
2381:(SU
2364:(SU
2339:(2)
2208:)}
2196:)}
2121:in
868:of
860:of
337:of
121:In
45:by
4111::
3897:,
3732:.
3720:SU
3703:.
3624:,
3064:SU
2950:.
2354:SU
2333:SU
2215:⊗
2188:{(
2174:⊗
2170:→
2146:.
2141:⊗
2130:⊗
2116:⊗
1993:vw
1751:→
1614:⊗
1604:⊗
1600:→
1473:,
1203:,
1154:,
1110:,
1013:,
239:,
227:.
209:.
125:,
4076:.
4071:j
4068:i
4060:=
4057:)
4052:j
4049:i
4045:v
4041:(
4034::
4031:j
4028:,
4025:i
3999:j
3996:k
3992:v
3983:k
3980:i
3976:v
3970:n
3965:1
3962:=
3959:k
3951:=
3948:)
3943:j
3940:i
3936:v
3932:(
3925::
3922:j
3919:,
3916:i
3901:)
3899:A
3895:n
3891:v
3886:A
3868:n
3865:,
3859:,
3856:1
3853:=
3850:j
3847:,
3844:i
3840:)
3834:j
3831:i
3827:v
3823:(
3820:=
3817:v
3805:A
3763:.
3723:μ
3714:μ
3681:=
3668:w
3651:=
3648:)
3635:(
3596:=
3593:)
3580:(
3574:,
3566:1
3552:=
3549:)
3543:(
3537:,
3524:=
3521:)
3515:(
3476:+
3464:=
3461:)
3455:(
3449:,
3415:=
3412:)
3406:(
3380:,
3376:)
3325:(
3321:=
3318:w
3292:,
3289:I
3286:=
3270:+
3254:=
3236:2
3228:+
3209:,
3190:=
3171:,
3159:=
3147:,
3131:=
3105:β
3101:α
3094:μ
3089:C
3084:)
3082:w
3077:μ
3072:C
3067:μ
3043:.
3039:)
3003:1
2972:(
2968:=
2965:v
2952:u
2944:u
2927:=
2924:)
2911:(
2905:,
2886:=
2883:)
2870:(
2864:,
2856:1
2842:=
2839:)
2833:(
2827:,
2814:=
2811:)
2805:(
2766:+
2754:=
2751:)
2745:(
2739:,
2708:=
2705:)
2699:(
2673:,
2669:)
2621:(
2617:=
2614:u
2588:,
2585:I
2582:=
2564:1
2553:+
2537:=
2518:+
2499:,
2480:=
2461:,
2449:=
2437:,
2421:=
2395:γ
2391:α
2384:μ
2379:C
2374:)
2372:u
2367:μ
2362:C
2357:μ
2343:μ
2336:μ
2311:.
2301:i
2298:j
2294:v
2290:=
2287:)
2282:j
2279:i
2275:v
2271:(
2264::
2261:j
2258:,
2255:i
2239:v
2235:v
2220:.
2217:C
2213:C
2206:C
2202:C
2194:C
2190:C
2183:;
2176:C
2172:C
2168:C
2159:C
2153:C
2151:(
2143:B
2139:A
2134:)
2132:K
2128:H
2126:(
2124:B
2118:B
2114:A
2109:K
2105:H
2101:B
2097:A
2085:u
2081:C
2073:0
2070:C
2065:C
2058:C
2052:.
2038:0
2034:C
2027:w
2024:,
2021:v
2011:)
2009:v
2007:(
2005:κ
2003:)
2001:w
1999:(
1997:κ
1991:(
1989:κ
1984:κ
1980:C
1976:I
1962:,
1959:I
1954:j
1951:i
1943:=
1940:)
1935:j
1932:k
1928:u
1924:(
1916:k
1913:i
1909:u
1903:k
1895:=
1890:j
1887:k
1883:u
1879:)
1874:k
1871:i
1867:u
1863:(
1855:k
1828:0
1824:C
1817:v
1797:v
1794:=
1791:)
1785:)
1779:v
1776:(
1770:(
1756:0
1753:C
1749:0
1746:C
1742:κ
1721:;
1716:j
1713:k
1709:u
1700:k
1697:i
1693:u
1687:k
1679:=
1676:)
1671:j
1668:i
1664:u
1660:(
1653::
1650:j
1647:,
1644:i
1625:C
1621:C
1616:C
1612:C
1606:C
1602:C
1598:C
1591:;
1589:C
1585:u
1581:C
1576:0
1573:C
1564:C
1545:n
1542:,
1536:,
1533:1
1530:=
1527:j
1524:,
1521:i
1517:)
1511:j
1508:i
1504:u
1500:(
1497:=
1494:u
1481:C
1477:)
1475:u
1471:C
1469:(
1443:.
1438:1
1435:k
1431:u
1427:)
1422:k
1419:1
1415:u
1411:(
1403:k
1395:=
1392:)
1387:1
1384:k
1380:u
1376:(
1368:k
1365:1
1361:u
1355:k
1347:=
1344:1
1331:κ
1311:j
1308:i
1283:j
1280:,
1277:i
1252:j
1249:i
1241:=
1238:)
1233:j
1230:i
1226:u
1222:(
1205:j
1201:i
1186:)
1181:j
1178:i
1174:u
1170:(
1156:j
1152:i
1135:j
1132:i
1128:u
1112:j
1108:i
1088:j
1085:k
1081:u
1072:k
1069:i
1065:u
1059:k
1051:=
1048:)
1043:j
1040:i
1036:u
1032:(
1015:j
1011:i
993:)
990:G
987:(
984:C
976:j
973:i
969:u
955:G
951:n
932:j
929:,
926:i
922:)
918:)
915:g
912:(
907:j
904:i
900:u
896:(
890:g
877:)
875:G
873:(
871:C
862:G
851:G
843:)
841:G
839:(
837:C
822:G
816:x
796:)
793:G
790:(
787:C
781:f
758:)
753:1
746:x
742:(
739:f
736:=
733:)
730:x
727:(
724:)
721:f
718:(
700:,
688:)
685:G
682:(
679:C
673:)
670:G
667:(
664:C
661::
635:G
629:y
626:,
623:x
603:)
600:G
597:(
594:C
588:g
585:,
582:f
559:)
556:y
553:(
550:g
547:)
544:x
541:(
538:f
535:=
532:)
529:y
526:,
523:x
520:(
517:)
514:g
508:f
505:(
482:G
476:y
473:,
470:x
450:)
447:G
444:(
441:C
435:f
412:)
409:y
406:x
403:(
400:f
397:=
394:)
391:y
388:,
385:x
382:(
379:)
376:f
373:(
357:)
355:G
353:(
351:C
346:)
344:G
342:(
340:C
331:)
329:G
327:(
325:C
321:G
319:(
317:C
299:)
296:G
293:(
290:C
284:)
281:G
278:(
275:C
269:)
266:G
263:(
260:C
257::
241:G
175:C
144:C
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.