Existence of the subfactor
arXiv:1512.02493
Abstract
We give two different proofs of the existence of the subfactor, which is a -supertransitive self-dual subfactor with index . The first proof is a direct construction using connections on graphs and intertwiner calculus for bimodule categories. The second proof is indirect, and deduces the existence of from a recent alternative construction of the Asaeda-Haagerup subfactor and fusion combinatorics of the Brauer-Picard groupoid.
An earlier version of this paper appeared as an online appendix to arXiv:1202.4396