On Kumjian's C*-diagonals and the opaque ideal
arXiv:2110.09445
Abstract
We characterize exotic C*-algebras of twisted, principal étale groupoids, together with the abelian subalgebra associated to the unit space, as precisely being the inclusions "" of C*-algebras in which is abelian, regular, and satisfies the extension property (pure states extend uniquely to ). When is moreover nuclear, we deduce that the corresponding opaque ideal is trivial. As an application, we give a streamlined characterization of Kumjian's C*-diagonals as the regular abelian subalgebras satisfying the extension property with vanishing opaque ideal.
New results, including the addition of the converse in the first main result (now numbered 3.2)