Boundaries of Reduced Free Group C*-Algebras

We consider the ideal structure of a reduced crossed product of a unital $C^*$-algebra equipped with an action of a discrete group. More specifically we find sufficient and necessary conditions for the group action to have the intersection property, meaning that non-zero ideals in the reduced crossed product restrict to non-zero ideals in the underlying $C^*$-algebra. We show that the intersection property of a group action on a $C^*$-algebra is equivalent to the intersection...

In this paper we extend the constructions of Boava and Exel to present the C*-algebra associated with an injective endomorphism of a group with finite cokernel as a partial group algebra and consequently as a partial crossed product. With this representation we present another way to study such C*-algebras, only using tools from partial crossed products.

For any reduced free product $\mathrm{C}^*$-algebra $(A, \varphi) =(A_1, \varphi_1) \star (A_2, \varphi_2)$, we prove a boundary rigidity result for the embedding of $A$ into its associated $\mathrm{C}^*$-algebra $\Delta \mathbf{T}(A, \varphi)$. This provides new examples of rigid embeddings of exact $\mathrm{C}^*$-algebras into purely infinite simple nuclear $\mathrm{C}^*$-algebras.

A C*-dynamical system is said to have the ideal separation property if every ideal in the corresponding crossed product arises from an invariant ideal in the C*-algebra. In this paper we characterize this property for unital C*-dynamical systems over discrete groups. To every C*-dynamical system we associate a "twisted" partial C*-dynamical system that encodes much of the structure of the action. This system can often be "untwisted," for example when the algebra is commutativ...

We present a different way to study the C*-algebra associated with an injective endomorphism of a group G of infinite cokernel. We follow the work of Boava and Exel to construct a partial crossed product representation of that C*-algebra and show properties only using such tools.

Let $\alpha : \Gamma \curvearrowright A$ be an action of a discrete group $\Gamma$ on a unital C*-algebra $A$ by *-automorphisms and let $A \rtimes_{\alpha,\lambda} \Gamma$ denote the corresponding reduced crossed product C*-algebra. Assuming that $\Gamma$ satisfies the approximation property, we establish a sufficient and (almost always) necessary condition on the action $\alpha$ for the existence of a Galois correspondence between intermediate C*-algebras for the inclusion ...

We show that for a locally compact group G there is a one-to-one correspondence between G-invariant weak*-closed subspaces E of the Fourier-Stieltjes algebra B(G) containing B_r(G) and quotients C*_E(G) of C*(G) which are intermediate between C*(G) and the reduced group algebra C*_r(G). We show that the canonical comultiplication on C*(G) descends to a coaction or a comultiplication on C*_E(G) if and only if E is an ideal or subalgebra, respectively. When \alpha is an action ...

Let $B$ be a separable $C^*$-algebra, let $\Gamma$ be a discrete countable group, let $\alpha: \Gamma \to \text{Aut}(B)$ be an action, and let $A$ be an invariant subalgebra. We find certain freeness conditions which guarantee that any intermediate $C^*$-algebra $A \rtimes_{\alpha,r} \Gamma \subseteq C \subseteq B \rtimes_{\alpha,r} \Gamma$ is a crossed product of an intermediate invariant subalgebra $A \subseteq C_0 \subseteq B$ by $\Gamma$. Those are used to generalize rela...

Let $G$ be a discrete group acting on a unital $C^*$-algebra $\mathcal{A}$ by $*$-automorphisms. In this note, we show that the inclusion $\mathcal{A} \subseteq \mathcal{A} \rtimes_r G$ has the pure extension property (so that every pure state on $\mathcal{A}$ extends uniquely to a pure state on $\mathcal{A} \rtimes_r G$) if and only if $G$ acts freely on $\mathcal{\widehat{A}}$, the spectrum of $\mathcal{A}$. The same characterization holds for the inclusion $\mathcal{A} \su...

Given a Fell bundle $\mathcal{B}=\{B_t\}_{t\in G}$ over a locally compact and Hausdorff group $G$ and a closed subgroup $H\subset G,$ we construct quotients $C^*_{H\uparrow \mathcal{B}}(\mathcal{B})$ and $C^*_{H\uparrow G}(\mathcal{B})$ of the full cross-sectional C*-algebra $C^*(\mathcal{B})$ analogous to Exel-Ng's reduced algebras $C^*_{\mathop{\rm r}}(\mathcal{B})\equiv C^*_{\{e\}\uparrow \mathcal{B}}(\mathcal{B})$ and $C^*_R(\mathcal{B})\equiv C^*_{\{e\}\uparrow G}(\mathc...