Skip to main content

The Weak Ideal Property and Topological Dimension Zero

  • Cornel Pasnicu (a1) and N. Christopher Phillips (a2)

Following up on previous work, we prove a number of results for C* -algebras with the weak ideal property or topological dimension zero, and some results for C* -algebras with related properties. Some of the more important results include the following:

The weak ideal property implies topological dimension zero.

For a separable C* -algebra A, topological dimension zero is equivalent to , to D ⊗ A having the ideal property for some (or any) Kirchberg algebra D, and to A being residually hereditarily in the class of all C* -algebras B such that contains a nonzero projection.

Extending the known result for , the classes of C* -algebras with residual (SP), which are residually hereditarily (properly) infinite, or which are purely infinite and have the ideal property, are closed under crossed products by arbitrary actions of abelian 2-groups.

If A and B are separable, one of them is exact, A has the ideal property, and B has the weak ideal property, then A ⊗ B has the weak ideal property.

If X is a totally disconnected locally compact Hausdorff space and A is a C0(X)-algebra all of whose fibers have one of the weak ideal property, topological dimension zero, residual (SP), or the combination of pure infiniteness and the ideal property, then A also has the corresponding property (for topological dimension zero, provided A is separable).

Topological dimension zero, the weak ideal property, and the ideal property are all equivalent for a substantial class of separable C* -algebras, including all separable locally AH algebras.

The weak ideal property does not imply the ideal property for separable Z-stable C* -algebras.

We give other related results, as well as counterexamples to several other statements one might conjecture.

Hide All
[1] Atiyah, M. F., K-Theory.W. A. Benjamin, New York, 1967.
[2] Blackadar, B., Matricial and ultramatricial topology. In: Operator algebras, mathematical physics and low dimensional topology (Istanbul, 1991), R. Herman and B. Tanbay (eds.), A. K. Peters, Wellesley, MA, 1993, pp. 1138.
[3] Blanchard, E. and Kirchberg, E., Non-simple purely infinite C' -algebras: The Hausdorff case. J. Funct. Anal. 207(2004), 461513. http://dx.doi.Org/10.1016/j.jfa.2003.06.008
[4] O.|Bratteli and G. A.|Elliott, Structure spaces of approximately finite-dimensional C' -algebras, II. J. Funct. Anal. 30(1978), 7482. http://dx.doi.Org/10.1016/0022-1236(78)90056-3
[5] Brown, L. G. and Pedersen, G. K., C' -algebras of real rank zero. J. Funct. Anal. 99(1991), 131149.http://dx.doi.Org/10.1016/0022-1236(91)90056-B
[6] Brown, L. G., Limits and C' -algebras of low rank or dimension. J. Operator Theory 61(2009), 381417.
[7] Carrion, J. R. and Pasnicu, C., Approximations of C' -algebras and the ideal property. J. Math. Anal. Appl. 338(2008), 925945.http://dx.doi.Org/10.1016/j.jmaa.2007.05.074
[8] Dadarlat, M. and Gong, G., A classification result for approximately homogeneous C' -algebras of real rank zero. Geom. Funct. Anal. 7(1997), 646711.http://dx.doi.Org/10.1007/s000390050023
[9] Dixmier, J., C' -Algebras. North-Holland, Amsterdam, 1977.
[10] Elliott, G. A., A classification of certain simple C' -algebras. In: Quantum and non-commutative analysis. H. Araki et al., eds. Kluwer, Dordrecht, 1993, pp. 373385.
[11] Elliott, G. A., Gong, G., and Li, L., Injectivity of the connecting maps in AH inductive limit systems. Canad. Math. Bull. 48(2005), 5068.
[12] Elliott, G. A., On the classification of simple inductive limit C' -algebras, II: The isomorphism theorem. Invent. Math. 168(2007), 249320.
[13] Fell, J. M. G., The structure of algebras of operator fields. Acta Math. 106(1961), 233280.
[14] Gong, G., Jiang, C., Li, L., and Pasnicu, C., structure of AH algebras with the ideal property and torsion free K-theory. J. Funct. Anal. 258(2010), 21192143. http://dx.doi.Org/10.1016/j.jfa.2009.11.016
[15] Izumi, M., Finite group actions on C' -algebras with the Rohlin property. I. Duke Math. J. 122(2004), 233280.
[16] Jeong, J. A. and Osaka, H., Extremally rich C' -crossed products and the cancellation property. J. Austral. Math. Soc. (Series A) 64(1998), 285301.http://dx.doi.Org/10.1017/S1446788700039161
[17] Kirchberg, E., On permanence properties of strongly purely infinite C' -algebras. Preprint, 2003. (Preprintreihe SFB 478-Geometrische Strukturen in der Mathematik, Westfälische Wilhelmsuniversität Munster, Heft 284; ISSN 1435-1188).
[18] Kirchberg, E., The classification of purely infinite C' -algebras using Kasparov's theory. Preprint (3rd draft).
[19] Kirchberg, E. and Phillips, N. C., Embedding of exact C' -algebras in the Cuntz algebra . J. Reine Angew. Math. 525(2000), 1753.
[20] Kirchberg, E. and Rordam, M., Non-simple purely infinite C' -algebras. Amer. J. Math. 122(2000), 637666.
[21] Kirchberg, E., Infinite non-simple C' -algebras: absorbing the Cuntz algebra . Adv. Math. 167(2002), 195264.http://dx.doi.Org/10.1OO6/aima.2OO1.2041
[22] Kirchberg, E. and Wassermann, S., Operations on continuous bundles ofC' -algebras. Math.Annalen 303(1995), 677697.
[23] Nagisa, M., Osaka, H., and Phillips, N. C., Ranks of algebras of continuous C' -algebra valued functions. Canad. J. Math. 53(2001), 9791030.
[24] Nilsen, M., C' -bundles and C0(X)-algebras. Indiana Univ. Math. J. 45(1996), 463477.
[25] Pasnicu, C., Shape equivalence, nonstable K-theory and AH algebras. Pacific J. Math. 192(2000),159182.http://dx.doi.Org/10.2140/pjm.2000.192.159
[26] Pasnicu, C., On the AH algebras with the ideal property. J. Operator Theory 43(2000), 389407.
[27] Pasnicu, C., The projection property. Glasgow Math. J. 44(2002), 293300. http://dx.doi.Org/10.1017/S0017089502020104
[28] Pasnicu, C., The ideal property and tensor products of C' -algebras. Rev. Roumaine Math. Pures Appl. 49(2004), 153162.
[29] Pasnicu, C., Real rank zero and continuous fields of C' -algebras. Bull. Math. Soc. Sci. Math. Roumanie (N.S.) 48(96)(2005), 319325.
[30] Pasnicu, C., The ideal property, the projection property, continuous fields and crossed products. J. Math. Anal. Appl. 323(2006), 12131224.http://dx.doi.Org/10.1016/j.jmaa.2005.11.040
[31] Pasnicu, C., D-stable C' -algebras, the ideal property and real rank zero. Bull. Math. Soc. Sci. Math. Roumanie 52(2009), 177192.
[32] Pasnicu, C. and Phillips, N. C., Permanence properties for crossed products and fixed point algebras of finite groups. Trans. Amer. Math. Soc. 366(2014), 46254648.
[33] Pasnicu, C., Crossed products by spectrally free actions. J. Funct. Anal. 269(2015), 915967.http://dx.doi.Org/10.1016/j.jfa.2O15.04.020
[34] Pasnicu, C. and Rordam, M., Tensor products of C' -algebras with the ideal property. J. Funct. Anal. 177(2000), 130137.
[35] Pasnicu, C., Purely infinite C' -algebras of real rank zero. J. Reine Angew. Math. 613(2007), 5173.
[36] Pedersen, G. K., C' -Algebras and their automorphism groups. Academic Press, London, 1979.
[37] Phillips, N. C., Equivariant K-theory and freeness of group actions on C' -algebras. Lecture Notes in Mathematics, 1274. Springer-Verlag, Berlin, 1987.
[38] Phillips, N. C., A classification theorem for nuclear purely infinite simple C' -algebras. Documenta Math. 5(2000), 49114 (electronic).
[39] Phillips, N. C., Freeness of actions of finite groups on C' -algebras. In: Operator structures and dynamical systems. M. de Jeu, S. Silvestrov, C. Skau, and J. Tomiyama, eds. Contemporary Mathematics, 503. American Mathematical Society, Providence RI, 2009, pp. 217257.
[40] Razak, S., On the classification of simple stably projectionless C' -algebras. Canad. J. Math. 54(2002), 138224.
[41] Rordam, M., Classification of extensions of certain C' -algebras by their six term exact sequences in K-theory. Math. Ann. 308(1997), 93117.http://dx.doi.Org/10.1007/s002080050067
[42] Rosenberg, J., Appendix to O. Bratteli's paper on “Crossed products of UHF algebras”. DukeMath. J. 46(1979), 2526.
[43] Schochet, C., Topological methods for C' -algebras II: geometric resolutions and the Kunneth formula. Pacific J. Math. 98(1982), 443458.http://dx.doi.Org/10.1016/j.jfa.2O15.05.013
[44] Tikuisis, A., High-dimensional -stable AH algebras. J. Funct. Anal. 269(2015), 21712186.http://dx.doi.Org/10.1016/j.jfa.2015.05.013
[45] Wassermann, S., Tensor products of '-automorphisms of C' -algebras. Bull. London Math. Soc. 7(1975),6570.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Canadian Journal of Mathematics
  • ISSN: 0008-414X
  • EISSN: 1496-4279
  • URL: /core/journals/canadian-journal-of-mathematics
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed