Q-system completion for C* 2-categories

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 $†$ 2-functor. We use this result to construct induced actions of group theoretical unitary fusion categories on continuous trace C*-algebras with connected spectra.

48 pages, many tikz figures, comments welcome!

References in corpus (5)

• Fusion 2-categories and a state-sum invariant for 4-manifolds
• Quasitraces on exact C*-algebras are traces
• Centrally free actions of amenable C${}^{\ast }$-tensor categories on von Neumann algebras
• Q-system completion is a 3-functor
• Notes on the bicategory of W*-bimodules

Cited by in corpus (15)

• Haploid algebras in $C^{\ast }$-tensor categories and the Schellekens list
• A covariant Stinespring theorem
• K-theoretic classification of inductive limit actions of fusion categories on AF-algebras
• Covariant quantum combinatorics with applications to zero-error communication
• Quantum cellular automata and categorical dualities of spin chains
• Q-system completion is a 3-functor
• Quantum graphs, subfactors and tensor categories I
• Inclusions of Operator Algebras from Tensor Categories: beyond irreducibility
• Separable algebras in multitensor C${}^{\ast }$-categories are unitarizable
• On a Connes Fusion Approach to Finite Index Extensions of Conformal Nets
• A categorical Connes' $\chi (M)$
• A planar algebraic description of conditional expectations
• Entanglement-invertible channels
• Discrete Inclusions of C*-algebras
• The stable uniqueness theorem for unitary tensor category equivariant KK-theory