Q-system completion for C^ 2-categories

DOI10.1016/J.JFA.2022.109524MaRDI QIDQ2139178zbMATH OpenOpenAlexFDO

Authors Quan Chen, Roberto Hernández Palomares, Corey Jones, David Penneys

Publication date 17 May 2022

Published in Journal of Functional Analysis (Search for Journal in Brave)

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

zbMATH Keywords

fusion categoriesmodular tensor categoriesstring diagramsgraphical calculicategories, functors in functional analysismodular functorssubfactor classification

Mathematics Subject Classification ID

Subfactors and their classification (46L37) Categories, functors in functional analysis (46M15) 2-categories, bicategories, double categories (18N10) Fusion categories, modular tensor categories, modular functors (18M20)

Abstract: A Q-system in a C* 2-category is a unitary version of a separable Frobenius algebra object and can be viewed as a unitary version of a higher idempotent. We define a higher unitary idempotent completion for C* 2-categories called Q-system completion and study its properties. We show that the C* 2-category of right correspondences of unital C*-algebras is Q-system complete by constructing an inverse realization $dag$ 2-functor. We use this result to construct induced actions of group theoretical unitary fusion categories on continuous trace C*-algebras with connected spectra.

Recommendations

• Q-system completion is a 3-functor
• $Q$-systems and compact $W^*$-algebra objects
• \(2-C^{*}\)-categories with non-simple units
• A higher category approach to twisted actions on \(C^\ast\)-algebras
• \(C^\ast\)-algebras generalizing both relative Cuntz-Pimsner and Doplicher-Roberts algebras

Cites work

• scientific article; zbMATH DE number 4140557 (Why is no real title available?)
• scientific article; zbMATH DE number 3680516 (Why is no real title available?)
• scientific article; zbMATH DE number 3738326 (Why is no real title available?)
• scientific article; zbMATH DE number 3579447 (Why is no real title available?)
• scientific article; zbMATH DE number 3594100 (Why is no real title available?)
• scientific article; zbMATH DE number 1204074 (Why is no real title available?)
• scientific article; zbMATH DE number 1229227 (Why is no real title available?)
• scientific article; zbMATH DE number 2152051 (Why is no real title available?)
• scientific article; zbMATH DE number 1568730 (Why is no real title available?)
• scientific article; zbMATH DE number 1917731 (Why is no real title available?)
• scientific article; zbMATH DE number 2117180 (Why is no real title available?)
• scientific article; zbMATH DE number 798187 (Why is no real title available?)
• scientific article; zbMATH DE number 2201828 (Why is no real title available?)
• $Q$-systems and compact $W^*$-algebra objects
• 2-Dimensional Categories
• A classification of all finite index subfactors for a class of group-measure space II\(_{1}\) factors
• A duality for Hopf algebras and for subfactors. I
• A planar calculus for infinite index subfactors
• A remark about the Connes fusion tensor product
• A theory of dimension
• Actions of certain torsion-free elementary amenable groups on strongly self-absorbing \(\text{C}^\ast\)-algebras
• Actions of finite groups on the hyperfinite type 𝐼𝐼₁ factor
• Amalgamated free products of weakly rigid factors and calculation of their symmetry groups
• An axiomatization of the lattice of higher relative commutants of a subfactor
• An equivariant Brauer group and actions of groups on \(C^*\)-algebras
• Bicommutant categories from fusion categories
• Categorical formulation of finite-dimensional quantum algebras
• Categorically Morita equivalent compact quantum groups
• Categories for Quantum Theory
• Centrally free actions of amenable \(\mathrm{C}^*\)-tensor categories on von Neumann algebras
• Classification of amenable subfactors of type II
• Coherence in Three-Dimensional Category Theory
• Compact quantum groups and their representation categories
• Composed inclusions of \(A_3\) and \(A_4\) subfactors
• Crossed Products of Continuous-Trace C ∗ -Algebras by Smooth Actions
• Drinfeld center and representation theory for monoidal categories
• Dualizability and index of subfactors
• Every compact group arises as the outer automorphism group of a \(\text{II}_{1}\) factor
• Explicit computations of all finite index bimodules for a family of II$_1$ factors
• Extending states on preordered semigroups and the existence of quasitraces on \(C^ \ast\)-algebras
• Factors of type II₁ without non-trivial finite index subfactors
• Finite group actions on \(C^*\)-algebras with the Rohlin property. I
• Frobenius structures over Hilbert \(C^*\)-modules
• From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories
• Index for 𝐶*-subalgebras
• Index of subfactors and statistics of quantum fields. I
• Inner Product Modules Over B ∗ -Algebras
• Integrating quantum groups over surfaces
• Jones index theory by Hilbert C*-bimodules and K-theory
• Jones index theory for Hilbert \(C^*\)-bimodules and its equivalence with conjugation theory
• LOCAL FIELDS IN BOUNDARY CONFORMAL QFT
• Lectures on \(n\)-categories and cohomology
• Minimal index and dimension for 2-\(C^*\)-categories with finite-dimensional centers
• Module categories, weak Hopf algebras and modular invariants
• Morita equivalence for C\(^*\)-algebras and W\(^*\)-algebras
• Multifusion categories and finite semisimple 2-categories
• Notes on operator categories
• Notes on the bicategory of \(\mathrm{W}^\ast\)-bimodules
• Operator algebras in rigid \(\mathrm{C}^\ast\)-tensor categories
• Orbifold completion of defect bicategories
• Outer conjugacy classes of automorphisms of factors
• Planar algebras
• Poly-\(\mathbb{Z}\) group actions on Kirchberg algebras. II
• Poly-ℤ Group Actions on Kirchberg Algebras I
• Q-system completion is a 3-functor
• Quantum subgroups of the Haagerup fusion categories
• Quasitraces on exact \(C^*\)-algebras are traces
• Rank functions and \(K_0\) of regular rings
• Realizations of algebra objects and discrete subfactors
• Realizations of rigid \(C^*\)-tensor categories as bimodules over GJS \(C^*\)-algebras
• Remarks on anomalous symmetries of \(C^*\)-algebras
• Rokhlin actions of finite groups on UHF-absorbing \(C^\ast\)-algebras
• Solution of the factorial Stone-Weierstrass conjecture. An application of the theory of standard split \(W^*\)-inclusions
• Strong rigidity of generalized Bernoulli actions and computations of their symmetry groups
• Subalgebras of infinite \(C^*\)-algebras with finite Watatani indices. II: Cuntz-Krieger algebras
• Tensor \(C^\ast\)-categories arising as bimodule categories of \(II_{1}\) factors
• Tensor categories and endomorphisms of von Neumann algebras. With applications to quantum field theory
• The Asaeda-Haagerup fusion categories
• The classification of subfactors of index at most 5
• Three-tier CFTs from Frobenius algebras
• Twisted crossed products of C*-algebras
• Two subfactors and the algebraic decomposition of bimodules over II\(_1\) factors
• Unitary dual functors for unitary multitensor categories
• Unitary spherical representations of Drinfeld doubles
• \(2-C^{*}\)-categories with non-simple units
• \(W^ *\)-categories

Cited in

(15)

• A covariant Stinespring theorem
• Entanglement-invertible channels
• DHR bimodules of quasi-local algebras and symmetric quantum cellular automata
• $Q$-systems and compact $W^*$-algebra objects
• Standard \(\lambda\)-lattices, rigid \(\mathrm{C}^\ast\) tensor categories, and (bi)modules
• Covariant quantum combinatorics with applications to zero-error communication
• Q-system completion of 2-functors
• Haploid algebras in \(C^*\)-tensor categories and the Schellekens list
• Q-system completeness of unitary connections
• A lattice model for condensation in Levin-Wen systems
• \(2-C^{*}\)-categories with non-simple units
• An index for quantum cellular automata on fusion spin chains
• Q-system completion is a 3-functor
• Unitary braided-enriched monoidal categories
• K-theoretic classification of inductive limit actions of fusion categories on AF-algebras

This page was built for publication: Q-system completion for \(C^\ast 2\)-categories

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