Canadian Mathematical Society
Canadian Mathematical Society
  location:  PublicationsjournalsCJM
Abstract view

Quotients of $A_2 * T_2$

 Printed: Oct 2016
  • Masaki Izumi,
    Kyoto University
  • Scott Morrison,
    Mathematical Sciences Institute, Australian National University
  • David Penneys,
    University of California Los Angeles
Format:   LaTeX   MathJax   PDF  


We study unitary quotients of the free product unitary pivotal category $A_2*T_2$. We show that such quotients are parametrized by an integer $n\geq 1$ and an $2n$-th root of unity $\omega$. We show that for $n=1,2,3$, there is exactly one quotient and $\omega=1$. For $4\leq n\leq 10$, we show that there are no such quotients. Our methods also apply to quotients of $T_2*T_2$, where we have a similar result. The essence of our method is a consistency check on jellyfish relations. While we only treat the specific cases of $A_2 * T_2$ and $T_2 * T_2$, we anticipate that our technique can be extended to a general method for proving nonexistence of planar algebras with a specified principal graph. During the preparation of this manuscript, we learnt of Liu's independent result on composites of $A_3$ and $A_4$ subfactor planar algebras (arxiv:1308.5691). In 1994, Bisch-Haagerup showed that the principal graph of a composite of $A_3$ and $A_4$ must fit into a certain family, and Liu has classified all such subfactor planar algebras. We explain the connection between the quotient categories and the corresponding composite subfactor planar algebras. As a corollary of Liu's result, there are no such quotient categories for $n\geq 4$. This is an abridged version of arxiv:1308.5723.
Keywords: pivotal category, free product, quotient, subfactor, intermediate subfactor pivotal category, free product, quotient, subfactor, intermediate subfactor
MSC Classifications: 46L37 show english descriptions Subfactors and their classification 46L37 - Subfactors and their classification

© Canadian Mathematical Society, 2017 :