Nous montrons que le morphisme de Frobenius quantique construit par Lusztig dans le cadre des algèbres enveloppantes quantiques $U_{\mathcal{B}}$ spécialisées en une racine de l’unité admet un scindage multiplicatif (non unitaire). Nous utilisons pour ce faire une base de la partie torique de la petite algèbre quantique constituée d’idempotents orthogonaux deux à deux et de somme 1 et faisons de même dans le cas «modulaire» pour l’algèbre des distributions d’un groupe algébrique semi-simple.

We define the i-restriction and i-induction functors on the category O of the cyclotomic rational double affine Hecke algebras. This yields a crystal on the set of isomorphism classes of simple modules, which is isomorphic to the crystal of a Fock space.

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 prove a conjecture of Miemietz and Kashiwara on canonical bases and branching rules of affine Hecke algebras of type D. The proof is similar to the proof of the type B case in Varagnolo and Vasserot (in press) [15].

In this article, we classify all standard invariants that can arise from a composed inclusion of an A3with an A4subfactor. More precisely, if N⊂P is an A3subfactor and P⊂M is an A4subfactor, then only four standard invariants can arise from the composed inclusion N⊂M. We answer a question posed by Bisch and Haagerup in 1994. The techniques of this paper also show that there are exactly four standard invariants for the composed inclusion of two A4subfactors.