Pure infiniteness and ideal structure of \(C^{\ast}\)-algebras associated to Fell bundles (Q323882): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(8 intermediate revisions by 6 users not shown) | |||
Property / review text | |||
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)]. | |||
Property / review text: 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)]. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46L05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46L55 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6636807 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Fell bundle | |||
Property / zbMATH Keywords: Fell bundle / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
aperiodicity | |||
Property / zbMATH Keywords: aperiodicity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
paradoxicality | |||
Property / zbMATH Keywords: paradoxicality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
pure infiniteness | |||
Property / zbMATH Keywords: pure infiniteness / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ideals | |||
Property / zbMATH Keywords: ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cross-sectional algebra | |||
Property / zbMATH Keywords: cross-sectional algebra / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q58205390 / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Nadia S. Larsen / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2276999297 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1505.05202 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ideals in cross sectional \(C^\ast\)-algebras of Fell bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Product systems over Ore monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crossed product of a<i>C*</i>-algebra by an endomorphism, coefficient algebras and transfer operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topologically free actions and ideals in discrete <i>C</i>*-dynamical systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The ideal structure of the \(C^*\)-algebras of infinite graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-Multipliers and Embeddings of Hilbert C*-Bimodules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Co-universal \(C^*\)-algebras associated to generalised graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Co-universal algebras associated to product systems, and gauge-invariant uniqueness theorems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dimension functions on simple \(C^*\)-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The primitive ideal space of the C*-algebra of the affine semigroup of algebraic integers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Amenability for Fell bundles. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exact groups and Fell bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new look at the crossed-product of a C *-algebra by an endomorphism / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interactions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new look at the crossed product of a<i>C</i><sup>*</sup>-algebra by a semigroup of endomorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partial Dynamical Systems, Fell Bundles and Applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partial dynamical systems and C*-algebras generated by partial isometries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Purely infinite partial crossed products / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The local structure of twisted covariance algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PURELY INFINITE CUNTZ–KRIEGER ALGEBRAS OF DIRECTED GRAPHS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simple purely infinite \(C^*\)-algebras and \(n\)-filling actions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4762248 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-simple purely infinite C*-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinite non-simple \(C\)*-algebras: absorbing the Cuntz algebra \({\mathcal O}_\infty\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Outer automorphisms and reduced crossed products of simple C*-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crossed products for interactions and graph algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological freeness for Hilbert bimodules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crossed product of a \(C^\ast\)-algebra by a semigroup of interactions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ideal structure of crossed products by endomorphisms via reversible extensions of C*-dynamical systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crossed products by endomorphisms of \(C_{0}(X)\)-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exel's crossed product and crossed products by completely positive maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crossed product of a \(C^{*}\)-algebra by a semigroup of endomorphisms generated by partial isometries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological aperiodicity for product systems over semigroups of Ore type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4716807 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crossed products by abelian semigroups via transfer operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topologically free partial actions and faithful representations of crossed products / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Morita Equivalence of Tensor Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Applications of the Connes spectrum to C*-dynamical systems. III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Purely infinite crossed products by endomorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4529398 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crossed products by spectrally free actions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Purely infinite C*-algebras of real rank zero / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4883481 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4681774 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4210018 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Morita equivalence for C\(^*\)-algebras and W\(^*\)-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Purely infinite <i>C</i><sup>*</sup>-algebras arising from crossed products / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The ideal structure of reduced crossed products / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:28, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pure infiniteness and ideal structure of \(C^{\ast}\)-algebras associated to Fell bundles |
scientific article |
Statements
Pure infiniteness and ideal structure of \(C^{\ast}\)-algebras associated to Fell bundles (English)
0 references
10 October 2016
0 references
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)].
0 references
Fell bundle
0 references
aperiodicity
0 references
paradoxicality
0 references
pure infiniteness
0 references
ideals
0 references
cross-sectional algebra
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references