Aperiodicity: the almost extension property and uniqueness of pseudo-expectations

Abstract

We prove implications among the conditions in the title for an inclusion of a C*-algebra A in a C*-algebra B, and we also relate this to several other properties in case B is a crossed product for an action of a group, inverse semigroup or an étale groupoid on A. We show that an aperiodic C*-inclusion has a unique pseudo-expectation. If, in addition, the unique pseudo-expectation is faithful, then A supports B in the sense of the Cuntz preorder. The almost extension property implies aperiodicity, and the converse holds if B is separable. A crossed product inclusion has the almost extension property if and only if the dual groupoid of the action is topologically principal. Topologically free actions are always aperiodic. If A is separable or of Type I, then topological freeness, aperiodicity and having a unique pseudo-expectation are equivalent to the condition that A detects ideals in all intermediate C*-algebras. If, in addition, B is separable, then all these conditions are equivalent to the almost extension property.

arXiv commentTitle modified and figure 1 moved to the introduction, what has been imposed by the editors

References in corpus (15)

• Consistency of a counterexample to Naimark's problem
• Inverse semigroup actions on groupoids
• Noncommutative boundaries and the ideal structure of reduced crossed products
• Noncommutative Cartan sub-algebras of C*-algebras
• Fell bundles over inverse semigroups and twisted etale groupoids
• Noncommutative Cartan C*-subalgebras
• Aperiodicity, topological freeness and pure outerness: from group actions to Fell bundles
• Essential crossed products for inverse semigroup actions: simplicity and pure infiniteness
• Remarks on the Ideal Structure of Fell Bundle C*-Algebras
• Reduced C*-algebras of Fell bundles over inverse semigroups
• Crossed products by endomorphisms of $C_0(X)$-algebras
• Stone duality and quasi-orbit spaces for generalised C*-inclusions
• Pure infiniteness and ideal structure of $C^{\ast }$-algebras associated to Fell bundles
• Unique expectations for discrete crossed products
• The pure extension property for discrete crossed products

Cited by in corpus (6)

• Essential crossed products for inverse semigroup actions: simplicity and pure infiniteness
• Topologically free actions and ideals in twisted Banach algebra crossed products
• Positive definiteness and Fell bundles over discrete groups
• Simplicity of crossed products by FC-hypercentral groups
• Inductive Limits of Noncommutative Cartan Inclusions
• Localised Hilbert modules and weak noncommutative Cartan pairs