Standard -lattices, rigid C^ tensor categories, and (bi)modules

DOI10.4171/DM/944MaRDI QIDQ6200601zbMATH OpenFDO

Authors Quan Chen

Publication date 22 March 2024

Published in Documenta Mathematica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2009.09273

zbMATH Keywords

bimodule categoryMarkov towermodule categorymodule embeddingplanar algebrarigid \(\mathrm{C}^\ast\) tensor categorystandard \(\lambda\)-latticesubfactor

Mathematics Subject Classification ID

Fusion categories, modular tensor categories, modular functors (18M20) String diagrams and graphical calculi (18M30) 2-categories, bicategories, double categories (18N10) Subfactors and their classification (46L37)

Abstract: In this article, we construct a 2-shaded rigid ${mC}^{\ast }$ multitensor category with canonical unitary dual functor directly from a standard $lambda$-lattice. We use the notions of traceless Markov towers and lattices to define the notion of module and bimodule over standard $lambda$-lattice(s), and we explicitly construct the associated module category and bimodule category over the corresponding 2-shaded rigid ${mC}^{\ast }$ multitensor category. As an example, we compute the modules and bimodules for Temperley-Lieb-Jones standard $lambda$-lattices in terms of traceless Markov towers and lattices. Translating into the unitary 2-category of bigraded Hilbert spaces, we recover DeCommer-Yamshita's classification of $mathcalTLJ$ modules in terms of edge weighted graphs, and a classification of $mathcalTLJ$ bimodules in terms of biunitary connections on square-partite weighted graphs. As an application, we show that every (infinite depth) subfactor planar algebra embeds into the bipartite graph planar algebra of its principal graph.

Review text

Summary: In this article, we construct a 2-shaded rigid \(\mathrm{C}^\ast\) multitensor category with canonical unitary dual functor directly from a standard \(\lambda\)-lattice. We use the notions of traceless Markov towers and lattices to define the notion of module and bimodule over standard \(\lambda\)-lattice(s), and we explicitly construct the associated module category and bimodule category over the corresponding 2-shaded rigid \(\mathrm{C}^\ast\) multitensor category. As an example, we compute the modules and bimodules for Temperley-Lieb-Jones standard \(\lambda\)-lattices in terms of traceless Markov towers and lattices. Translating into the unitary 2-category of bigraded Hilbert spaces, we recover De Commer-Yamashita's classification of \(\mathcal{T}\,\mathcal{L}\,\mathcal{J}\) module categories in terms of edge weighted graphs, and a classification of \(\mathcal{T}\,\mathcal{L}\,\mathcal{J}\) bimodule categories in terms of biunitary connections on square-partite weighted graphs. As an application, we show that every (infinite depth) subfactor planar algebra embeds into the bipartite graph planar algebra of its principal graph.

Recommendations

• Representation theory for subfactors, -lattices and C^-tensor categories
• Universal construction of subfactors
• A categorical Connes' \chi(M)
• The module embedding theorem via towers of algebras
• Realization of rigid C^*-tensor categories via Tomita bimodules

Cites work

• 1-supertransitive subfactors with index at most \(6\frac{1}{5}\)
• C^*-algebras from planar algebras. I: Canonical C^*-algebras associated to a planar algebra
• W^ *-categories
• A survey of graphical languages for monoidal categories
• A theory of dimension
• An axiomatization of the lattice of higher relative commutants of a subfactor
• Automorphisms of the bipartite graph planar algebra
• Biunitary constructions in quantum information
• Classifying module categories for generalized Temperley-Lieb-Jones -2-categories
• Composed inclusions of A₃ and A₄ subfactors
• Constructing the extended Haagerup planar algebra
• C∗-Tensor Categories and Subfactors for Totally Disconnected Groups
• Dualizability and index of subfactors
• Frobenius Reciprocity in Tensor Categories
• From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories
• scientific article; zbMATH DE number 4140557 (Why is no real title available?)
• scientific article; zbMATH DE number 1016363 (Why is no real title available?)
• scientific article; zbMATH DE number 1151370 (Why is no real title available?)
• scientific article; zbMATH DE number 1973935 (Why is no real title available?)
• scientific article; zbMATH DE number 195200 (Why is no real title available?)
• scientific article; zbMATH DE number 2201828 (Why is no real title available?)
• Index for subfactors
• Index for 𝐶*-subalgebras
• Index of subfactors and statistics of quantum fields. II: Correspondences, braid group statistics and Jones polynomial
• Jones index theory by Hilbert C*-bimodules and K-theory
• Perturbations of planar algebras
• Planar algebras
• Planar algebras: a category theoretic point of view
• Q-system completion for \(C^\ast 2\)-categories
• Realizations of algebra objects and discrete subfactors
• Subfactors of index less than 5. II: Triple points
• Tannaka-Krein duality for compact quantum homogeneous spaces. I: General theory
• Tannaka-Kreĭn duality for compact quantum homogeneous spaces. II: Classification of quantum homogeneous spaces for quantum \(\mathrm{SU}(2)\)
• Tensor categories
• The embedding theorem for finite depth subfactor planar algebras
• The Extended Haagerup fusion categories
• The little desert? Some subfactors with index in the interval \((5,3+\sqrt{5})\)
• The module embedding theorem via towers of algebras
• The planar algebra of a bipartite graph
• Traces on module categories over fusion categories
• Unitary dual functors for unitary multitensor categories

Cited in

(1)

• Graph planar algebra embeddings and infinite depth subfactors

This page was built for publication: Standard \(\lambda\)-lattices, rigid \(\mathrm{C}^\ast\) tensor categories, and (bi)modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200601)