We classify certain $\mathbb{Z}_2 $-graded extensions of generalized Haagerup categories in terms of numerical invariants satisfying polynomial equations. In particular, we construct a number of new examples of fusion categories, including: $\mathbb{Z}_2 $-graded extensions of $\mathbb{Z}_{2n} $ generalized Haagerup categories for all $n \leq 5 $; $\mathbb{Z}_2 \times \mathbb{Z}_2 $-graded extensions of the Asaeda-Haagerup categories; and extensions of the $\mathbb{Z}_2 \times \mathbb{Z}_2 $ generalized Haagerup category by its outer automorphism group $A_4 $. The construction uses endomorphism categories of operator algebras, and in particular, free products of Cuntz algebras with free group C$^*$-algebras.
We answer three related questions concerning the Haagerup subfactor and its even parts, the Haagerup fusion categories. Namely we find all simple module categories over each of the Haagerup fusion categories (in other words, we find the `"quantum subgroups" in the sense of Ocneanu), we find all subfactors whose principal even part is one of the Haagerup fusion categories, and we compute the Brauer-Picard groupoid of Morita equivalences of the Haagerup fusion categories. In addition to the two even parts of the Haagerup subfactor, there is exactly one more fusion category which is Morita equiva…
The classification of subfactors of small index revealed several new subfactors. The first subfactor above index 4, the Haagerup subfactor, is increasingly well understood and appears to lie in a (discrete) infinite family of subfactors where the Z/3Z symmetry is replaced by other finite Abelian groups. The goal of this paper is to give a similarly good description of the Asaeda-Haagerup subfactor which emerged from our study of its Brauer-Picard groupoid. More specifically, we construct a new subfactor S which is a Z/4Z x Z/2Z analogue of the Haagerup subfactor and we show that the even parts…
We prove that the Brauer-Picard group of Morita autoequiv- alences of each of the three fusion categories which arise as an even part of the Asaeda-Haagerup subfactor or of its index 2 extension is the Klein four-group. We describe the 36 bimodule categories which occur in the full subgroupoid of the Brauer-Picard groupoid on these three fusion categories. We also classify all irreducible subfactors both of whose even parts are among these categories, of which there are 111 up to isomorphism of the planar algebra (76 up to duality). Although we identify the entire Brauer-Picard group, there ma…
We consider generalized Haagerup categories such that $1 \oplus X$ admits a $Q$-system for every non-invertible simple object $X$. We show that in such a category, the group of order two invertible objects has size at most four. We describe the simple objects of the Drinfeld center and give partial formulas for the modular data. We compute the remaining corner of the modular data for several examples and make conjectures about the general case. We also consider several types of equivariantizations and de-equivariantizations of generalized Haagerup categories and describe their Drinfeld centers…
In this paper we construct two new fusion categories and many new subfactors related to the exceptional Extended Haagerup subfactor. The Extended Haagerup subfactor has two even parts EH1 and EH2. These fusion categories are mysterious and are the only known fusion categories which appear to be unrelated to finite groups, quantum groups, or Izumi quadratic categories. One key technique which has previously revealed hidden structure in fusion categories is to study all other fusion categories in the Morita equivalence class, and hope that one of the others is easier to understand. In this paper…
A fusion category is called transparent if the associator involving any invertible object is the identity map. For the Haagerup-Izumi fusion rings with $G = \mathbb{Z}_{2n+1}$ (the $\mathbb{Z}_3$ case is the Haagerup fusion ring with six simple objects), the transparent ansatz reduces the number of independent $F$-symbols from order $\mathcal{O}(n^6)$ to $\mathcal{O}(n^2)$, rendering the pentagon identity practically solvable. Transparent Haagerup-Izumi fusion categories are thereby constructively classified up to $G = \mathbb{Z}_9$, recovering all known Haagerup-Izumi fusion categories to thi…
Etingof, Nikshych and Ostrik ask in arXiv:math.QA/0203060 if every fusion category can be completely defined over a cyclotomic field. We show that this is not the case: in particular one of the fusion categories coming from the Haagerup subfactor arXiv:math.OA/9803044 and one coming from the newly constructed extended Haagerup subfactor arXiv:0909.4099 can not be completely defined over a cyclotomic field. On the other hand, we show that the double of the even part of the Haagerup subfactor is completely defined over a cyclotomic field. We identify the minimal field of definition for each of t…
We investigate a (potentially infinite) series of subfactors, called $3^n$ subfactors, including $A_4$, $A_7$, and the Haagerup subfactor as the first three members corresponding to $n=1,2,3$. Generalizing our previous work for odd $n$, we further develop a Cuntz algebra method to construct $3^n$ subfactors and show that the classification of the $3^n$ subfactors and related fusion categories is reduced to explicit polynomial equations under a mild assumption, which automatically holds for odd $n$.In particular, our method with $n=4$ gives a uniform construction of 4 finite depth subfactors, u…
We study deformation of tube algebra under twisting of graded monoidal categories. When a tensor category $\mathcal{C}$ is graded over a group $Γ$, a torus-valued 3-cocycle on $Γ$ can be used to deform the associator of $\mathcal{C}$. Based on a natural Fell bundle structure of the tube algebra over the action groupoid of the adjoint action of $Γ$, we show that the tube algebra of the twisted category is a 2-cocycle twisting of the original one.
Given a Hopf algebra $A$ graded by a discrete group together with an action of the same group preserving the grading, we define a new Hopf algebra, which we call the graded twisting of $A$. If the action is adjoint, this new Hopf algebra is a twist of $A$ by a pseudo-$2$-cocycle. Analogous construction can be carried out for monoidal categories. As examples we consider graded twistings of the Hopf algebras of nondegenerate bilinear forms, their free products, hyperoctahedral quantum groups and $q$-deformations of compact semisimple Lie groups. As applications, we show that the analogues of the…
Continuing our previous work on graded twisting of Hopf algebras and monoidal categories, we introduce a graded twisting construction for equivariant comodule algebras and module categories. As an example we study actions of quantum subgroups of $G\subset SL_{-1}(2)$ on $K_{-1}[x,y]$ and show that in most cases the corresponding invariant rings $K_{-1}[x,y]^G$ are invariant rings $K[x,y]^{G'}$ for the action of a classical subgroup $G'\subset SL(2)$. As another example we study Poisson boundaries of graded twisted categories and show that under the assumption of weak amenability they are grade…
We construct a long exact sequence computing the obstruction space, pi_1(BrPic(C_0)), to G-graded extensions of a fusion category C_0. The other terms in the sequence can be computed directly from the fusion ring of C_0. We apply our result to several examples coming from small index subfactors, thereby constructing several new fusion categories as G-extensions. The most striking of these is a Z/2Z-extension of one of the Asaeda-Haagerup fusion categories, which is one of only two known 3-supertransitive fusion categories outside the ADE series. In another direction, we show that our long exac…
In this article, we define operator algebras internal to a rigid C*-tensor category $\mathcal{C}$. A C*/W*-algebra object in $\mathcal{C}$ is an algebra object $\mathbf{A}$ in $\operatorname{ind}$-$\mathcal{C}$ whose category of free modules ${\sf FreeMod}_{\mathcal{C}}(\mathbf{A})$ is a $\mathcal{C}$-module C*/W*-category respectively. When $\mathcal{C}={\sf Hilb_{f.d.}}$, the category of finite dimensional Hilbert spaces, we recover the usual notions of operator algebras. We generalize basic representation theoretic results, such as the Gelfand-Naimark and von Neumann bicommutant theorems, a…
We show that all isomorphism classes of even rank Tambara-Yamagami categories arise as $\mathbb{Z}_2$-twisted representations of conformal nets. As a consequence, we show that their Drinfel'd centers are realized by (generalized) orbifolds of conformal nets associated with (self-dual) lattices. The quantum double subfactors of even rank Tambara-Yamagami categories are Bisch-Haagerup subfactors and we describe their (dual) principal graphs. For every abelian group of odd order the Drinfel'd centers of the associated Tambara-Yamagami categories give a fusion ring generalizing the Verlinde ring $…
