We categorify a coideal subalgebra of the quantum group of S[2r+ 1 by introducing a 2-category analogous to the one defined by Khovanov一Lauda-Rouquier， and show that self-dual indecomposable l-morphisms categorify the canonical basis of this algebra. This allows us to define a categorical action of this coideal algebra on the categories of modules over cohomology rings of partial flag varieties and on the category ð of type B/C.

Let O_25 be the vertex algebraic braided tensor category of finite-length modules for the Virasoro Lie algebra at central charge 25 whose composition factors are the irreducible quotients of reducible Verma modules. We show that O_25 is rigid and that its simple objects generate a semisimple tensor subcategory that is braided tensor equivalent to an abelian 3-cocycle twist of the category of finite-dimensional sl_2-modules. We also show that this sl_2-type subcategory is braid-reversed tensor equivalent to a similar category for the Virasoro algebra at central charge 1. As an application, we construct a simple conformal vertex algebra which contains the Virasoro vertex operator algebra of central charge 25 as a PSL_2(C)-orbifold. We also use our results to study Arakawa's chiral universal centralizer algebra of SL_2 at level -1, showing that it has a symmetric tensor category of representations equivalent to Rep PSL_2(C). This algebra is an extension of the tensor product of Virasoro vertex operator algebras of central charges 1 and 25, analogous to the modified regular representations of the Virasoro algebra constructed earlier for generic central charges by I. Frenkel-Styrkas and I. Frenkel-M. Zhu.

An irreducible II_1-subfactor A⊂B is exactly 1-supertransitive if B⊖A is reducible as an A − A bimodule. We classify exactly 1-supertransitive subfactors with index at most 6+1/5, leaving aside the composite subfactors at index exactly 6 where there are severe difficulties. Previously, such subfactors were only known up to index 3+\sqrt{5} ≈ 5.23. Our work is a significant extension, and also shows that index 6 is not an insurmountable barrier.There are exactly three such subfactors with index in (3+\sqrt{5},6+1/5], all with index 3+2\sqrt{2}. One of these comes from SO(3)_q at a root of unity, while the other two appear to be closely related, and are ‘braided up to a sign’.

The main purpose of this paper is to classify exchange relation planar algebras with 4 dimensional 2-boxes. Besides its skein theory, we emphasize the positivity of subfactor planar algebras based on the Schur product theorem. We will discuss the lattice of projections of 2-boxes, specifically the rank of the projections. From this point, several results about biprojections are obtained. The key break of the classification is to show the existence of a biprojection. By this method, we also classify another two families of subfactor planar algebras: subfactor planar algebras generated by 2-boxes with 4 dimensional 2-boxes and at most 23 dimensional 3-boxes; subfactor planar algebras generated by 2-boxes, such that the quotient of 3-boxes by the basic construction ideal is abelian. They extend the classification of singly generated planar algebras obtained by Bisch, Jones and the author.

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).