Related papers: Unique Pseudo-Expectations for Hereditarily Essent…

Given an inclusion D $\subseteq$ C of unital C*-algebras, a unital completely positive linear map $\Phi$ of C into the injective envelope I(D) of D which extends the inclusion of D into I(D) is a pseudo-expectation. The set PsExp(C,D) of…

Let $D \subseteq A$ be an inclusion of unital abelian $C^*$-algebras. In this note we characterize (in topological terms) when there is a unique conditional expectation $E:A \to D$, at least when $A$ is separable. As an application, we…

Let $G$ be a discrete group acting on a unital $C^*$-algebra $\mathcal{A}$ by $*$-automorphisms. We characterize (in terms of the dynamics) when the inclusion $\mathcal{A} \subseteq \mathcal{A} \rtimes_r G$ has a unique conditional…

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…

We prove that an inclusion $\mathcal{B} \subset \mathcal{A}$ of simple unital $C^*$-algebras with a finite-index conditional expectation is regular if and only if there exists a finite group $G$ that admits a cocycle action…

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…

We introduce diagonal comparison, a regularity property of diagonal pairs where the sub-C*-algebra has totally disconnected spectrum, and establish its equivalence with the concurrence of strict comparison of the ambient C*-algebra and…

Given an arbitrary countable ordinal $\alpha $, we introduce the notion of type $I_{\alpha }$ C*-algebra and $\alpha $-subhomogeneous C*-algebra. When $\alpha =0$, these recover the notions of Fell C*-algebra and of commutative C*-algebra,…

Let $j:Y \to X$ be a continuous surjection of compact metric spaces. Whyburn proved that $j$ is irreducible, meaning that $j(F) \subsetneq X$ for any proper closed subset $F \subsetneq Y$, if and only if $j$ is almost one-to-one, in the…

We examine inclusions of $C^*$-algebras of the form $A^H \subseteq A \rtimes_{r} G$, where $G$ and $H$ are groups acting on a unital simple $C^*$-algebra $A$ by outer automorphisms and $H$ is finite. It follows from a theorem of Izumi that…

In this paper we give characterizations of essential left ideals of a C*-algebra $A$ in terms of their properties as operator $A$-modules. Conversely, we seek C*-algebraic characterizations of those ideals $J$ in $A$ such that $A$ is an…

We give a number of equivalent conditions (including weak centrality) for a general $C^*$-algebra to have the centre-quotient property. We show that every $C^*$-algebra $A$ has a largest weakly central ideal $J_{wc}(A)$. For an ideal $I$ of…

In recent work of the second author, a technical result was proved establishing a bijective correspondence between certain open projections in a C*-algebra containing an operator algebra A, and certain one-sided ideals of A. Here we give…

Exotic group $C^*$-algebras are $C^*$-algebras that lie between the universal and the reduced group $C^*$-algebra of a locally compact group. We consider simple Lie groups $G$ with real rank one and investigate their exotic group…

We show that a $C^*$-algebra $\mathfrak{A}$ which is stably isomorphic to a unital graph $C^*$-algebra, is isomorphic to a graph $C^*$-algebra if and only if it admits an approximate unit of projections. As a consequence, a hereditary…

We classify all essential extensions of the form $$0 \rightarrow \W \rightarrow \D \rightarrow A \rightarrow 0$$ where $\W$ is the unique separable simple C*-algebra with a unique tracial state, with finite nuclear dimension and with…

Let $B \subseteq A$ be an inclusion of C$^*$-algebras. We study the relationship between the regular ideals of $B$ and regular ideals of $A$. We show that if $B \subseteq A$ is a regular C$^*$-inclusion and there is a faithful invariant…

Let $A$ be a C$^*$-algebra and let $D$ be a Cartan subalgebra of $A$. We study the following question: if $B$ is a C$^*$-algebra such that $D \subseteq B \subseteq A$, is $D$ a Cartan subalgebra of $B$? We give a positive answer in two…

We continue the study of regular ideals in regular inclusions of C*-algebras. Let $B \subseteq A$ be a regular inclusion of C*-algebras satisfying the ideal intersection property and with a faithful invariant pseudo-expectation. A complete…

We characterize exotic C*-algebras of twisted, principal \'etale groupoids, together with the abelian subalgebra associated to the unit space, as precisely being the inclusions "$A\subseteq B$" of C*-algebras in which $A$ is abelian,…