Generalized orbifold construction for conformal nets

Let [Formula: see text] be a conformal net. We give the notion of a proper action of a finite hypergroup [Formula: see text] acting by vacuum preserving unital completely positive (so-called stochastic) maps on [Formula: see text] which generalizes the proper action of a finite group [Formula: see text]. Taking the fixed point under such an action gives a finite index subnet [Formula: see text] of [Formula: see text], which generalizes the [Formula: see text]-orbifold net. Conversely, we show that if [Formula: see text] is a finite inclusion of conformal nets, then [Formula: see text] is a generalized orbifold [Formula: see text] of the conformal net [Formula: see text] by a unique finite hypergroup [Formula: see text]. There is a Galois correspondence between intermediate nets [Formula: see text] and subhypergroups [Formula: see text] given by [Formula: see text]. In this case, the fixed point of [Formula: see text] is the generalized orbifold by the hypergroup of double cosets [Formula: see text]. If [Formula: see text] is a finite index inclusion of completely rational nets, we show that the inclusion [Formula: see text] is conjugate to an intermediate subfactor of a Longo–Rehren inclusion. This implies that if [Formula: see text] is a holomorphic net, and [Formula: see text] acts properly on [Formula: see text], then there is a unitary fusion category [Formula: see text] which is a categorification of [Formula: see text] and [Formula: see text] is braided equivalent to the Drinfel’d center [Formula: see text]. More generally, if [Formula: see text] is a completely rational conformal net and [Formula: see text] acts properly on [Formula: see text], then there is a unitary fusion category [Formula: see text] extending [Formula: see text], such that [Formula: see text] is given by the double cosets of the fusion ring of [Formula: see text] by the Verlinde fusion ring of [Formula: see text] and [Formula: see text] is braided equivalent to the Müger centralizer of [Formula: see text] in the Drinfel’d center [Formula: see text].

The center of the extended Haagerup subfactor has 22 simple objects

We explain a technique for discovering the number of simple objects in [Formula: see text], the center of a fusion category [Formula: see text], as well as the combinatorial data of the induction and restriction functors at the level of Grothendieck rings. The only input is the fusion ring [Formula: see text] and the dimension function [Formula: see text]. In particular, we apply this to deduce that the center of the extended Haagerup subfactor has 22 simple objects, along with their decompositions as objects in either of the fusion categories associated to the subfactor. This information has been used subsequently in [T. Gannon and S. Morrison, Modular data for the extended Haagerup subfactor (2016), arXiv:1606.07165 .] to compute the full modular data. This is the published version of arXiv:1404.3955 .

A classification of SU(d)-type C*-tensor categories

Kazhdan and Wenzl classified all rigid tensor categories with fusion ring isomorphic to the fusion ring of the group SU(d). In this paper we consider the C*-analogue of this problem. Given a rigid C*-tensor category 𝒞 with fusion ring isomorphic to the fusion ring of the group SU(d), we can extract a constant q from 𝒞 such that there exists a *-representation of the Hecke algebra Hn(q) into 𝒞. The categorical trace on 𝒞 induces a Markov trace on Hn(q). Using this Markov trace and a representation of Hn(q) in [Formula: see text] we show that 𝒞 is equivalent to a twist of the category [Formula: see text]. Furthermore a sufficient condition on a C*-tensor category 𝒞 is given for existence of an embedding of a twist of [Formula: see text] in 𝒞.

Fixed points and D-branes

The affine Kac-Moody algebras give rise to rational conformal field theories (RCFTs) called the Wess-Zumino-Witten (WZW) models. An important component of an RCFT is its fusion ring, whose structure constants are given by the associated S-matrix. We apply a fixed point property possessed by the WZW models ("fixed point factorization") to calculate nonnegative integer matrix representations of the fusion ring, allowing for the calculation of D-brane charges in string theory.