We show that any graph, in the sequence given by Haagerup in 1991 as that of candidates of principal graphs of subfactors, is not realized as a principal graph except for the smallest two. This settles the remaining case of a previous work of the first author.
To a proper inclusion Nsubset M of II_1 factors of finite Jones index [M:N], we associate an ergodic C*-action of the quantum group S_mu U(2). The deformation parameter is determined by -1<mu<0 and [M:N]=|mu+mu^{-1}|. The higher relative commutants can be identified with the spectral spaces of the tensor powers of the defining representation of the quantum group. This ergodic action may be thought of as a virtual subgroup of S_mu U(2) in the sense of Mackey arising from the tensor category generated by M regarded as a bimodule over N. mu is negative as M is a real bimodule.
We construct analogs of the embedding of orthogonal and symplectic groups into unitary groups in the context of fusion categories. At least some of the resulting module categories also appear in boundary conformal field theory. We determine when these categories are unitarizable, and explicitly calculate the index and principal graph of the resulting subfactors.
Canonical tensor product subfactors (CTPSs) describe, among other things, the embedding of chiral observables in two-dimensional conformal quantum field theories. A new class of CTPSs is constructed some of which are associated with certain modular invariants, thereby establishing the expected existence of the corresponding two-dimensional theories.
Discrete subfactors include a particular class of infinite index subfactors and all finite index ones. A discrete subfactor is called local when it is braided and it fulfills a commutativity condition motivated by the study of inclusion of Quantum Field Theories in the algebraic Haag-Kastler setting. In [BDG21], we proved that every irreducible local discrete subfactor arises as the fixed point subfactor under the action of a canonical compact hypergroup. In this work, we prove a Galois correspondence between intermediate von Neumann algebras and closed subhypergroups, and we study the subfactor theoretical Fourier transform in this context. Along the way, we extend the main results concerning $alpha$-induction and $sigma$-restriction for braided subfactors previously known in the finite index case.
A theorem is derived which (i) provides a new class of subfactors which may be interpreted as generalized asymptotic subfactors, and which (ii) ensures the existence of two-dimensional local quantum field theories associated with certain modular invariant matrices.