Hostname: page-component-8448b6f56d-42gr6 Total loading time: 0 Render date: 2024-04-18T19:17:07.026Z Has data issue: false hasContentIssue false
  • English
  • Français

Quotients of A2 * T2

Published online by Cambridge University Press:  20 November 2018

Masaki Izumi ,
Scott Morrison  and
David Penneys
Masaki Izumi
Affiliation:
Department of Mathematics, Graduate School of Science, Kyoto University, Kyoto 606-8502, Japan e-mail: izumi@math.kyoto-u.ac.jp
Scott Morrison
Affiliation:
Mathematical Sciences Institute, Australian National University, Canberra, Australia e-mail: scott.morrison@anu.edu.au
David Penneys
Affiliation:
Department of Mathematics, University of California, Los Angeles, Los Angeles, CA, 90095-1555, USA e-mail: dpenneys@math.ucla.edu
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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\,\ge \,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\,\le \,n\,\le \,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 the 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\,\ge \,4$.

This is an abridged version of arxiv:1308.5723.

Keywords

46L37pivotal categoryfree productquotientsubfactorintermediate subfactor
Type
Research Article
Information
Canadian Journal of Mathematics , Volume 68 , Issue 5 , 01 October 2016 , pp. 999 - 1022
Copyright
Copyright © Canadian Mathematical Society 2016

References

[BHP12] Brothier, A., Hartglass, M., and Penneys, D., Rigid C*-tensor categories ofbimodules over interpolated free group factors. J. Math. Phys. 53(2012), no. 12,123525. http://dx.doi.Org/10.1 063/1.4769178 Google Scholar
[BiglO] Bigelow, S., Skein theory for the ADE planar algebras. J. Pure Appl. Algebra 214(2010), no.5, 658–666. http://dx.doi.Org/10.1 01 6/j.jpaa.2009.07.010 Google Scholar
[Bis94] Bisch, D., A note on intermediate subfactors. Pacific J. Math. 163(1994), no. 2, 201–216. http://dx.doi.org/10.2140/pjm.1994.163.201 Google Scholar
[BJ97] Bisch, D., Algebras associated to intermediate subfactors. Invent. Math. 128(1997), 89–157. http://dx.doi.Org/10.1 OO7/sOO222OO5O137 Google Scholar
[BL10] Bhattacharyya, B. and Landau, Z., Intermediate standard invariants and intermediate planar algebras. 2010. http://www.eecs.berkeley.edu/∼landau/publications.htm Google Scholar
[BMPS12] Bigelow, S., Morrison, S., Peters, E., and Snyder, N., Constructing the extended Haagerup planar algebra. Acta Math. 209(2012), no. 1, 29–82. http://dx.doi.Org/10.1007/s11 511 -012-0081 -7 Google Scholar
[Gol59] Goldman, M., On subfactors of factors of type II1. Michigan Math. J. 6(1959), 167–172. http://dx.doi.Org/10.1307/mmj71028998188 Google Scholar
[GS12] Grossman, P. and Snyder, N., Quantum subgroups of the Haagerup fusion categories. Comm.Math. Phys. 311(2012), no. 3, 617–643. http://dx.doi.Org/10.1OO7/sOO22O-O12-1427-x Google Scholar
[Haa94] Haagerup, U., Principal graphs of subfactors in the index range 4 < [M < : N] < 3 + \2. In: Subfactors (Kyuzeso, 1993), World Sci. Publ., River Edge, NJ, 1994, pp. 1–38.Google Scholar
[IK93] Izumi, M. and Kawahigashi, Y., Classification of subfactors with the principal graph D(1) n. J.Funct. Anal. 112(1993), no. 2, 257–286. http://dx.doi.org/10.1006/jfan.1993.1033 Google Scholar
[IMP13] Izumi, M., Morrison, S., and Penneys, D., Quotients of A2 * T2. Canad. J. Math., to appear;extended version available as Fusion categories between C ⊠ D and C * D. arxiv:1308.5723.Google Scholar
[LanO2] Landau, Z. A., Exchange relation planar algebras. In: Proceedings of the Conference on Geometric and Combinatorial Group Theory, Part II (Haifa, 2000), Geom. Dedicata 95(2002), 183–214. http://dx.doi.Org/10.1023/A:1021296230310 Google Scholar
[Liul3] Liu, Z., Composed inclusions of A3 and A4 subfactors. Adv. Math. 279(2015), 307–371. http://dx.doi.Org/10.1016/j.aim.2O15.03.017Google Scholar
[MP14] Morrison, S. and Penneys, D., 2-supertransitive subfactors at index3 + \5.J. Funct. Anal. 269(2015), no. 9, 2845–2870. http://dx.doi.Org/10.1016/j.jfa.2015.06.023 Google Scholar
[MPPS12] Morrison, S., Penneys, D., E.|Peters, and Snyder, N. , Subfactors of index less than 5, Part 2: Triple points. Internat. J. Math. 23(2012), 1250016, 33. http://dx.doi.Org/10.1142/S0129167X11007586 Google Scholar
[Pop94] Popa, S., Classification of amenable subfactors of type II. Acta Math. 172(1994), no. 2, 163–255. http://dx.doi.org/10.1007/BF02392646 Google Scholar
[PP13] Penneys, D. and Peters, E., Calculating two-strand jellyfish relations. Pacific J. Math. 277(2015), no. 2, 463–510. http://dx.doi.org/10.2140/pjm.2015.277.463 Google Scholar