| Title:
|
Unitary dual functors for unitary multitensor categories (English) |
| Author:
|
Penneys, David |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
4 |
| Issue:
|
2 |
| Year:
|
2020 |
| Pages:
|
22-56 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
We classify which dual functors on a unitary multitensor category are compatible with the dagger structure in terms of groupoid homomorphisms from the universal grading groupoid to $\Bbb R_{>0}$ where the latter is considered as a groupoid with one object. We then prove that all unitary dual functors induce unitarily equivalent bi-involutive structures. As an application, we provide the unitary version of the folklore correspondence between shaded planar C$^*$ algebras with finite dimensional box spaces and unitary multitensor categories with a chosen unitary dual functor and chosen generator. We make connection with the recent work of Giorgetti-Longo to determine when the loop parameters in these planar algebras are scalars. Finally, we show that we can correct for many non-spherical choices of dual functor by adding the data of a spherical state on End$_C(1c)$, similar to the spherical state for a graph planar algebra. This is the published version of http://arxiv.org/pdf/1808.00323. (English) |
| Keyword:
|
tensor category |
| Keyword:
|
planar algebra |
| Keyword:
|
pivotal structure |
| Keyword:
|
unitary dual functor |
| MSC:
|
18D05 |
| MSC:
|
18D10 |
| MSC:
|
46L37 |
| idZBL:
|
Zbl 1457.18019 |
| idMR:
|
MR4133163 |
| DOI:
|
10.21136/HS.2020.09 |
| . |
| Date available:
|
2026-03-12T11:00:39Z |
| Last updated:
|
2026-03-12 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153425 |
| . |
| Reference:
|
[1] Asaeda, Marta, Haagerup, Uffe: Exotic subfactors of finite depth with Jones indices (5+sqrt13)/2 and (5+sqrt17)/2.Comm. Math. Phys. 202, no. 1, 1–63, , , arXiv:math.OA/9803044 10.1007/s002200050574 |
| Reference:
|
[2] Afzaly, Narjess, Morrison, Scott, Penneys, David: The classification of ubfactors with index at most 51/4.arXiv:1509.00038, to appear Mem. Amer. Math. Soc |
| Reference:
|
[3] Anantharaman, Claire, Popa, Sorin: An introduction to II₁ factors.preprint available at http://www.math.ucla.edu/~popa/books.html |
| Reference:
|
[4] Bartels, Arthur, Douglas, Christopher L., Henriques, André: Dualizability and index of subfactors.Quantum Topol. 5, no. 3, 289–345, arXiv:1110.5671 10.4171/qt/53 |
| Reference:
|
[5] Brothier, Arnaud, Hartglass, Michael, Penneys, David: Rigid C*-tensor categories of bimodules over interpolated free group factors.J. Math. Phys. 53, no. 12, 123525, 43, arxiv:1208.5505 http://arxiv.org/pdf/1208.5505 |
| Reference:
|
[6] Bisch, Dietmar: Bimodules, higher relative commutants and the fusion algebra associated to a subfactor.Operator algebras and their applications (Waterloo, ON, 1994/1995), 13-63, Fields Inst. Commun., 13, Amer. Math. Soc., Providence, RI, , |
| Reference:
|
[7] Bischoff, Marcel, Kawahigashi, Yasuyuki, Longo, Roberto, Rehren, Karl-Henning: Tensor categories and endomorphisms of von Neumann algebras—with applications to quantum field theory.SpringerBriefs in Mathematical Physics, vol. 3, Springer, Cham, |
| Reference:
|
[8] Bigelow, Stephen, Morrison, Scott, Peters, Emily, Snyder, Noah: Constructing the extended Haagerup planar algebra.Acta Math. 209, no. 1, 29–82, , arXiv:0909.4099, 10.1007/s11511-012-0081-7 |
| Reference:
|
[9] Coles, Desmond, Huston, Peter, Penneys, David, Srinivas, Srivatsa: The module embedding theorem via towers of algebras.arxiv:1810.07049 http://arxiv.org/pdf/1810.07049 |
| Reference:
|
[10] Clark, David, Morrison, Scott, Walker, Kevin: Fixing the functoriality of Khovanov homology.Geom. Topol. 13, no. 3, 1499–1582, arXiv:math.GT/0701339 10.2140/gt.2009.13.1499 |
| Reference:
|
[11] Douglas, Chris, Schommer-Pries, Chris, Snyder, Noah: Dualizable tensor categories.arxiv:1312.7188 http://arxiv.org/pdf/1312.7188 |
| Reference:
|
[12] Egger, J. M.: On involutive monoidal categories.Theory Appl. Categ. 25, No. 14, 368–393, |
| Reference:
|
[13] Etingof, Pavel, Gelaki, Shlomo, Nikshych, Dmitri, Ostrik, Victor: Tensor categories.Mathematical Surveys and Monographs, vol. 205, American Mathematical Society, Providence, RI, |
| Reference:
|
[14] Ghosh, Shamindra Kumar: Planar algebras: a category theoretic point of view.J. Algebra 339, 27–54, , arXiv:0810.4186, 10.1016/j.jalgebra.2011.04.017 |
| Reference:
|
[15] Giorgetti, Luca, Longo, Roberto: Minimal index and dimension for $2-C^(*)$-categories with finite-dimensional centers.Comm. Math. Phys. 370, no. 2, 719–757, arxiv:1805.09234 http://arxiv.org/pdf/1805.09234 |
| Reference:
|
[16] Ghez, P., Lima, R., Roberts, J. E.: W*-categories.Pacific J. Math. 120, no. 1, 79–109, |
| Reference:
|
[17] Grossman, Pinhas, Morrison, Scott, Penneys, David, Peters, Emily, Snyder, Noah: The Extended Haagerup fusion categories.arxiv:1810.06076 http://arxiv.org/pdf/1810.06076 |
| Reference:
|
[18] Goto, Satoshi: On Ocneanu’s theory of double triangle algebras for ubfactors and classification of irreducible connections on the Dynkin diagrams.Expo. Math. 28, no. 3, 218–253, 10.1016/j.exmath.2009.11.001 |
| Reference:
|
[19] Grossman, Pinhas, Snyder, Noah: Quantum subgroups of the Haagerup fusion categories.Comm. Math. Phys. 311, no. 3, 617–643, , 10.1007/s00220-012-1427-x |
| Reference:
|
[20] Gupta, Ved Prakash: Planar algebra of the subgroup-subfactor.Proc. Indian Acad. Sci. Math. Sci. 118, no. 4, 583–612, arxiv:0806.1791 http://arxiv.org/pdf/0806.1791 10.1007/s12044-008-0046-0 |
| Reference:
|
[21] Han, Richard: A Construction of the “2221” Planar Algebra.ProQuest LLC, Ann Arbor, MI, 2010, Thesis (Ph.D.)–University of California, Riverside, arxiv:1102.2052 http://arxiv.org/pdf/1102.2052 |
| Reference:
|
[22] Henriques, André, Penneys, David: Bicommutant categories from fusion categories.Selecta Math. (N.S.) 23, no. 3, 1669–1708, arxiv:1511.05226 http://arxiv.org/pdf/1511.05226 10.1007/s00029-016-0251-0 |
| Reference:
|
[23] Henriques, André, Penneys, David, Tener, James: Categorified trace for module tensor categories over braided tensor categories.Doc. Math. 21, 1089–1149, arxiv:1509.02937 http://arxiv.org/pdf/1509.02937 |
| Reference:
|
[24] Henriques, André, Penneys, David, Tener, James E.: Planar algebras in braided tensor categories.arxiv:1607.06041 http://arxiv.org/pdf/1607.06041 |
| Reference:
|
[25] Jones, Vaughan F. R., Morrison, Scott, Snyder, Noah: The classification of subfactors of index at most 5.Bull. Amer. Math. Soc. (N.S.) 51, no. 2, 277–327, , arxiv:1304.6141 http://arxiv.org/pdf/1304.6141, 10.1090/S0273-0979-2013-01442-3 |
| Reference:
|
[26] Jones, Vaughan F. R.: Index for subfactors.Invent. Math. 72, no. 1, 1–25, , 10.1007/BF01389127 |
| Reference:
|
[27] Jones, Vaughan F. R.: Planar algebras I.arXiv:math.QA/9909027 |
| Reference:
|
[28] Jones, Vaughan F. R.: The planar algebra of a bipartite graph.Knots in Hellas ’98 (Delphi), Ser. Knots Everything, vol. 24, World Sci. Publ., River Edge, NJ, , pp. 94–117 |
| Reference:
|
[29] Jones, Vaughan F. R.: The annular structure of subfactors.Essays on geometry and related topics, Vol. 1, 2, Monogr. Enseign. Math., vol. 38, Enseignement Math., Geneva, , pp. 401–463 |
| Reference:
|
[30] Jones, Vaughan F. R.: Jones’ notes on planar algebras.http://math.berkeley.edu/~vfr/VANDERBILT/pl21.pdf |
| Reference:
|
[31] Jones, Vaughan F. R.: Quadratic tangles in planar algebras.Duke Math. J. 161, no. 12, 2257–2295, , arxiv:1007.1158 http://arxiv.org/pdf/1007.1158, |
| Reference:
|
[32] Jones, Vaughan F. R., Penneys, David: The embedding theorem for finite depth subfactor planar algebras.Quantum Topol. 2, no. 3, 301–337, arXiv:1007.3173, , |
| Reference:
|
[33] Jones, Corey, Penneys, David: Realizations of algebra objects and discrete subfactors.Adv. Math. 350, 588–661, arxiv:1704.02035 http://arxiv.org/pdf/1704.02035 10.1016/j.aim.2019.04.039 |
| Reference:
|
[34] Liu, Zhengwei, Morrison, Scott, Penneys, David: 1-Supertransitive Subfactors with Index at Most 61/5.Comm. Math. Phys. 334, no. 2, 889–922, , arXiv:1310.8566, |
| Reference:
|
[35] Longo, R., Roberts, J. E.: A theory of dimension.K-Theory 11, no. 2, 103–159, |
| Reference:
|
[36] Morrison, Scott, Peters, Emily: The little desert? Some subfactors with index in the interval (5,3+sqrt5).Internat. J. Math. 25, no. 8, 1450080 (51 pages), arXiv:1205.2742 |
| Reference:
|
[37] Morrison, Scott, Penneys, David: 2-supertransitive subfactors at index 3 + sqrt5.J. Funct. Anal. 269, no. 9, 2845–2870, arxiv:1406.3401 http://arxiv.org/pdf/1406.3401 10.1016/j.jfa.2015.06.023 |
| Reference:
|
[38] Morrison, Scott, Penneys, David: Constructing spoke subfactors using the jellyfish algorithm.Trans. Amer. Math. Soc. 367, no. 5, 3257–3298, arxiv:1208.3637 http://arxiv.org/pdf/1208.3637 10.1090/S0002-9947-2014-06109-6 |
| Reference:
|
[39] Morrison, Scott, Peters, Emily, Snyder, Noah: Skein theory for the D_(2n) planar algebras.J. Pure Appl. Algebra 214, no. 2, 117–139, arXiv:0808.0764 10.1016/j.jpaa.2009.04.010 |
| Reference:
|
[40] Murray, F. J., Neumann, J. von: On rings of operators. IV.Ann. of Math. (2) 44, 716–808, |
| Reference:
|
[41] authors, nLab: principle of equivalence.http://ncatlab.org/nlab/show/principle%20of%20equivalence, July 2018, |
| Reference:
|
[42] Neshveyev, Sergey, Tuset, Lars: Compact quantum groups and their representation categories.Cours Spécialisés [Specialized Courses], vol. 20, Société Mathématique de France, Paris, |
| Reference:
|
[43] Penneys, David: A Planar Calculus for Infinite Index Subfactors.Comm. Math. Phys. 319, no. 3, 595–648, arXiv:1110.3504 10.1007/s00220-012-1627-4 |
| Reference:
|
[44] Peters, Emily: A planar algebra construction of the Haagerup subfactor.Internat. J. Math. 21, no. 8, 987–1045, , , arXiv:0902.1294 |
| Reference:
|
[45] Popa, Sorin: Classification of amenable subfactors of type II.Acta Math. 172, no. 2, 163–255, , 10.1007/BF02392646 |
| Reference:
|
[46] Penneys, David, Peters, Emily: Calculating two-strand jellyfish relations.Pacific J. Math. 277, no. 2, 463–510, arXiv:1308.5197 |
| Reference:
|
[47] Selinger, P.: A survey of graphical languages for monoidal categories.New structures for physics, Lecture Notes in Phys., vol. 813, Springer, Heidelberg, |
| Reference:
|
[48] Vicary, Jamie: Categorical formulation of finite-dimensional quantum algebras.Comm. Math. Phys. 304, no. 3, 765–796, arxiv:0805.0432 http://arxiv.org/pdf/0805.0432 10.1007/s00220-010-1138-0 |
| Reference:
|
[49] Yamagami, Shigeru: Frobenius duality in $C^(*)$-tensor categories.J. Operator Theory 52, no. 1, 3–20, |
| Reference:
|
[50] Yamagami, Shigeru: Representations of multicategories of planar diagrams and tensor categories.arXiv:1207.1923 |
| . |