Discrete Inclusions of \rm{C}^{*}-algebras

arXiv2305.05072MaRDI QIDQ6435844FDOQ6435844

Authors: Roberto Hernández Palomares, Brent Nelson 

Publication date: 8 May 2023

Abstract: We introduce the category of C*-discrete inclusions of C*-algebras $(AsubsetB,E)$ with a conditional expectation $E:BwoheadrightarrowA$. The C*-discrete 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, cores of Cuntz algebras $sf{UHF}_{n^{i}nfty}subsetmathcal{O}_n$, and certain $A$-valued semicircular systems. In our main result, we prove irreducible $(A^{\prime }capB=mathbbC1)$ C*-discrete inclusions are precisely crossed products by outer actions of unitary tensor categories and certain C*-algebra objects. In analogy with subfactors, one should view the tensor category, its action, and the C*-algebra object as the standard invariant for a C*-discrete inclusion. Conversely, we show every abstract standard invariant is realized by some C*-discrete inclusion, which is a C*-analogue of Popa's result for subfactors. We also obtain a Galois correspondence between the lattice of intermediate C*-discrete inclusions $AsubseteqDsubseteqB$ and the lattice of C*-algebra objects supported on $AsubsetB$, and characterize the former as targets of compatible conditional expectations $BwoheadrightarrowD$. Finally, we show that if the action of the UTC is ``free" in certain sense and $A$ is simple, then the resulting crossed product remains simple.

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) (C^*)-modules (46L08) Subfactors and their classification (46L37) Categories, functors in functional analysis (46M15) String diagrams and graphical calculi (18M30)

This page was built for publication: Discrete Inclusions of $\rm{C}^{*}$-algebras

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