We construct faithful actions of quantum permutation groups on connected compact metrizable spaces. This disproves a conjecture of Goswami.

The universal R operator for the positive representations of split real quantum groups is computed, generalizing the formula of compact quantum groups forumla by Kirillov–Reshetikhin and Levendorskiĭ–Soibelman, and the formula in the case of forumla by Faddeev, Kashaev, and Bytsko-Teschner. Several new functional relations of the quantum dilogarithm are obtained, generalizing the quantum exponential relations and the pentagon relations. The quantum Weyl element and Lusztig's isomorphism in the positive setting are also studied in detail. Finally, we introduce a C*-algebraic version of the split real quantum group in the language of multiplier Hopf algebras, and consequently the definition of R is made rigorous as the canonical element of the Drinfeld's double U of certain multiplier Hopf algebra Ub. Moreover, a ribbon structure is introduced for an extension of U.

The first two authors classified subfactor planar algebra generated by a non-trivial 2-box subject to the condition that the dimension of 3-boxes is at most 12 in Part I; 13 in Part II of this series. They are the group planar algebra for , the Fuss-Catalan planar algebra, and the group/subgroup planar algebra for Z_2 ⊂ Z_5 \rtimes Z_2.. In the present paper, we extend the classification to 14 dimensional 3-boxes. They are all Birman-Murakami-Wenzl algebras. Precisely it contains a depth 3 one from quantum O(3), and a one-parameter family from quantum S_p(4).

We introduce a new notion of an angle between intermediate subfactors and prove various interesting properties of the angle and relate it to the Jones index. We prove a uniform 60 to 90 degree bound for the angle between minimal intermediate subfactors of a finite index irreducible subfactor. From this rigidity we can bound the number of minimal (or maximal) intermediate subfactors by the kissing number in geometry. As a consequence, the number of intermediate subfactors of an irreducible subfactor has at most exponential growth with respect to the Jones index. This answers a question of Longo’s published in 2003.

No abstract uploaded!