Discrete Inclusions of C*-algebras

Abstract

We introduce the category of C*-discrete inclusions of C*-algebras $A\subset B$ with a faithful conditional expectation $E:B\twoheadrightarrow A$. This class includes many examples such as finite Watatani index inclusions, and also abundant infinite index inclusions like crossed products by outer actions of discrete (quantum) groups and unitary tensor categories. We prove irreducible $(A^{\prime }\cap B=\mathbb{C}1)$ C*-discrete inclusions are precisely crossed products by outer actions of unitary tensor categories and certain C*-algebra objects.

40 pages not including references, many figures, comments welcome. Portions from v1 have been split off into separate, forthcoming articles

References in corpus (10)

• The classification of subfactors of index at most 5
• Operator algebras in rigid C*-tensor categories
• Representation theory for subfactors, $\lambda$-lattices and C*-tensor categories
• Rigid C^*-tensor categories of bimodules over interpolated free group factors
• Complete descriptions of intermediate operator algebras by intermediate extensions of dynamical systems
• Q-system completion for C* 2-categories
• Composed inclusions of $A_3$ and $A_4$ subfactors
• Tannaka-Krein duality for compact quantum homogeneous spaces. II. Classification of quantum homogeneous spaces for quantum SU(2)
• K-theoretic classification of inductive limit actions of fusion categories on AF-algebras
• Discrete inclusions from Cuntz-Pimsner algebras