Pure infiniteness and ideal structure of C^-algebras associated to Fell bundles

From MaRDI portal
Publication:323882



Abstract: We investigate structural properties of the reduced cross-sectional algebra Cr∗(mathcalB) of a Fell bundle mathcalB over a discrete group G. Conditions allowing one to determine the ideal structure of Cr∗(mathcalB) are studied. Notions of aperiodicity, paradoxicality and mathcalB-infiniteness for the Fell bundle mathcalB are introduced and investigated by themselves and in relation to the partial dynamical system dual to mathcalB. Several criteria of pure infiniteness of Cr∗(mathcalB) are given. It is shown that they generalize and unify corresponding results obtained in the context of crossed products, by the following duos: Laca, Spielberg; Jolissaint, Robertson; Sierakowski, R{o}rdam; Giordano, Sierakowski and Ortega, Pardo. For exact, separable Fell bundles satisfying the residual intersection property primitive ideal space of Cr∗(mathcalB) is determined. The results of the paper are shown to be optimal when applied to graph C∗-algebras. Applications to a class of Exel-Larsen crossed products are presented.


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.NEWLINENEWLINEWhen 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}\).NEWLINENEWLINEIn 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.NEWLINENEWLINEAnother 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.NEWLINENEWLINETheorem 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)].



Cites work









This page was built for publication: Pure infiniteness and ideal structure of \(C^{\ast}\)-algebras associated to Fell bundles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q323882)