Pure infiniteness and ideal structure of \(C^{\ast}\)-algebras associated to Fell bundles (Q323882): Difference between revisions

This paper is a comprehensive study of structural properties of the reduced \(C^*\)-algebra \(C_r^*(\mathcal{B})\) of a Fell bundle \(\mathcal{B}\) over a discrete group \(G\), with emphasis on describing the space of primitive ideals and on characterising pure infiniteness and strong pure infiniteness. When studying structural properties of crossed products for ordinary (discrete) group actions on \(C^*\)-algebras, an important property is topological freeness of the action. Pure infiniteness and strong pure infiniteness are equivalent for \(C^*\)-algebras with the ideal property studied, e.g., by \textit{C. Pasnicu} [J. Oper. Theory 43, No. 2, 389--407 (2000; Zbl 0993.46040)]. Of more recent date, the intersection property introduced by \textit{A. Sierakowski} [Münster J. Math. 3, No. 1, 237--261 (2010; Zbl 1378.46050)] has turned out to be a crucial ingredient in describing ideal structure. For Fell bundles over discrete groups, topological freeness and the intersection property were introduced by \textit{B. Abadie} and \textit{F. Abadie} [Rocky Mt. J. Math. 47, No. 2, 351--381 (2017; Zbl 1373.46042)]. It follows, see Theorem 3.20 in the paper under review, that topological freeness for the dual partial dynamical system defined on the spectrum \(\widehat{\mathcal{B}_e}\) of the fibre of \(\mathcal{B}\) over the identity \(e\in G\) implies the intersection property for \(\mathcal{B}\). In Section 4, the authors introduce a notion of aperiodicity for a Fell bundle inspired by the similar notion for \(C^*\)-correspondences due to \textit{P. S. Muhly} and \textit{B. Solel} [Proc. Lond. Math. Soc. (3) 81, No. 1, 113--168 (2000; Zbl 1036.46046)] and show that aperiodicity implies the intersection property. In Theorem 4.10, the authors establish necessary and sufficient conditions for pure infiniteness of \(C_r^*(\mathcal{B})\) under the assumption that \(\mathcal{B}\) is exact and residually aperiodic, with \(\mathcal{B}_e\) either having the ideal property or containing finitely many \(\mathcal{B}\)-invariant ideals. The four conditions in this theorem reduce to the requirement that every non-zero projection in \(\mathcal{B}_e\) is properly infinite in \(C_r^*(\mathcal{B})\) when \(\mathcal{B}_e\) moreover has real rank zero in the sense of Brown-Pedersen. Another main result of the paper, Theorem 5.13, provides a number of conditions under which \(C_r^*(\mathcal{B})\) has the ideal property and is purely infinite, whenever the bundle \(\mathcal{B}\) is exact and residually aperiodic. The conditions are phrased in terms of a new concept, termed residually \(\mathcal{B}\)-infinite elements, introduced by the authors as a noncommutative, algebraic version of paradoxical sets. Theorem 6.8 provides parametrisations of \(\text{Prim}\,{C_r^*(\mathcal{B})}\). Section 7 applies the analysis carried out in the paper to graph algebras, and in particular it is shown that condition (L) is recovered as aperiodicity and the intersection property. Finally, Section 8 deals with semigroup dynamical systems \((A, G^+,\alpha, L)\) for \(G^+\) the positive cone of a totally ordered abelian group, \(\alpha\) an endomorphism action and \(L\) an action by positive maps. Results about pure infiniteness and ideal structure of \(A\rtimes_{\alpha, L} G^+\) are obtained, with the pure infiniteness extending results of \textit{E. Ortega} and \textit{E. Pardo} for Stacey crossed products [J. Math. Anal. Appl. 412, No. 1, 466--477 (2014; Zbl 1323.46044)].