Abstract view

Published:2016-06-28

Printed: Oct 2016

**Masaki Izumi**,

Kyoto University

**Scott Morrison**,

Mathematical Sciences Institute, Australian National University

**David Penneys**,

University of California Los Angeles

## Abstract

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.