Showing 1–35 of 35 results for author: Toms, A S

Self-adjoint operators in Z-stable C$^*$-algebras with prescribed spectral data

Authors: Andrew S. Toms, Hao Wan

Abstract: We consider the variety of spectral measures that are induced by quasitraces on the spectrum of a self-adjoint operator in a simple separable unital and Z-stable C$^*$-algebra. This amounts to a continuous map from the simplex of quasitraces of the C$^*$-algebra into regular Borel probability measures on the spectrum of the operator under consideration. In the case of a connected spectrum this dat… ▽ More We consider the variety of spectral measures that are induced by quasitraces on the spectrum of a self-adjoint operator in a simple separable unital and Z-stable C$^*$-algebra. This amounts to a continuous map from the simplex of quasitraces of the C$^*$-algebra into regular Borel probability measures on the spectrum of the operator under consideration. In the case of a connected spectrum this data determines the unitary equivalence class of the operator, and may be reduced to to the case of an operator with spectrum equal to the closed unit interval. We prove that any continuous map from the simplex of quasitraces with the topology of pointwise convergence into regular faithful Borel probability measures on $[0,1]$ with the Levy-Prokhorov metric is realized by some self-adjoint operator in the C$^*$-algebra. △ Less

Submitted 28 May, 2025; originally announced May 2025.

Comments: 18 pages, no figures

MSC Class: 46L35

Contractible Cuntz classes in $Z$-stable C$^*$-algebras

Authors: Chrisil Ouseph, Andrew S. Toms

Abstract: Let $A$ be a unital, simple and Z-stable C$^*$-algebra. We show that the set of positive elements in $A$ (resp. $A \otimes K$) belonging to a fixed non-compact Cuntz class is contractible as a topological subspace of $A$ (resp. $A \otimes K$). In light of earlier work by Zhang, Jiang and Hua in the compact case, we deduce a complete calculation of the homotopy groups of Cuntz classes for these alg… ▽ More Let $A$ be a unital, simple and Z-stable C$^*$-algebra. We show that the set of positive elements in $A$ (resp. $A \otimes K$) belonging to a fixed non-compact Cuntz class is contractible as a topological subspace of $A$ (resp. $A \otimes K$). In light of earlier work by Zhang, Jiang and Hua in the compact case, we deduce a complete calculation of the homotopy groups of Cuntz classes for these algebras. △ Less

Submitted 16 December, 2024; originally announced December 2024.

Comments: 13 pages, no figures

MSC Class: 46L05; 55Q52

Higher homotopy groups of Cuntz classes

Authors: Andrew S. Toms

Abstract: Let $A$ be a unital simple separable exact C$^*$-algebra which is approximately divisible and of real rank zero. We prove that the set of positive elements in $A$ with a fixed non-compact Cuntz class has vanishing homotopy groups. Combined with work of S. Zhang for the case of compact elements, this gives a complete calculation of the homotopy groups of Cuntz classes for these algebras. Examples c… ▽ More Let $A$ be a unital simple separable exact C$^*$-algebra which is approximately divisible and of real rank zero. We prove that the set of positive elements in $A$ with a fixed non-compact Cuntz class has vanishing homotopy groups. Combined with work of S. Zhang for the case of compact elements, this gives a complete calculation of the homotopy groups of Cuntz classes for these algebras. Examples covered include approximately finite-dimensional (AF) algebras and irrational noncommutative tori. △ Less

Submitted 25 October, 2022; originally announced October 2022.

Comments: 10 pages, no figures

MSC Class: 46L05; 46L80

Homotopies of constant Cuntz class

Authors: Andrew S. Toms

Abstract: Let $A$ be a unital simple separable exact C$^*$-algebra which is approximately divisible and of real rank zero. We prove that the set of positive elements in $A$ with a fixed Cuntz class is path connected. This result applies in particular to irrational rotation algebras and AF algebras. Let $A$ be a unital simple separable exact C$^*$-algebra which is approximately divisible and of real rank zero. We prove that the set of positive elements in $A$ with a fixed Cuntz class is path connected. This result applies in particular to irrational rotation algebras and AF algebras. △ Less

Submitted 8 March, 2022; v1 submitted 21 February, 2022; originally announced February 2022.

Comments: 10 pages, no figures, v2, minor corrections and acknowledgement added

MSC Class: 46L05; 46L35

Unitary orbits of self-adjoint operators in simple Z-stable C*-algebras

Authors: Bhishan Jacelon, Karen R. Strung, Andrew S. Toms

Abstract: We prove that in a simple, unital, exact, Z-stable C*-algebra of stable rank one, the distance between the unitary orbits of self-adjoint elements with connected spectrum is completely determined by spectral data. This fails without the assumption of Z-stability. We prove that in a simple, unital, exact, Z-stable C*-algebra of stable rank one, the distance between the unitary orbits of self-adjoint elements with connected spectrum is completely determined by spectral data. This fails without the assumption of Z-stability. △ Less

Submitted 10 September, 2015; v1 submitted 18 February, 2015; originally announced February 2015.

Comments: 10 pages, this version agrees with the one that will be published in the Journal of Functional Analysis

MSC Class: 46L05; 46L35

The isomorphism relation for separable C*-algebras

Authors: George A. Elliott, Ilijas Farah, Vern Paulsen, Christian Rosendal, Andrew S. Toms, Asger Törnquist

Abstract: We prove that the isomorphism relation for separable C$^*$-algebras, and also the relations of complete and $n$-isometry for operator spaces and systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a standard Borel space. We prove that the isomorphism relation for separable C$^*$-algebras, and also the relations of complete and $n$-isometry for operator spaces and systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a standard Borel space. △ Less

Submitted 29 January, 2013; originally announced January 2013.

The descriptive set theory of C$^*$-algebra invariants

Authors: Ilijas Farah, Andrew S. Toms, Asger Törnquist

Abstract: We establish the Borel computability of various C$^*$-algebra invariants, including the Elliott invariant and the Cuntz semigroup. As applications we deduce that AF algebras are classifiable by countable structures, and that a conjecture of Winter and the second author for nuclear separable simple C*-algebras cannot be disproved by appealing to known standard Borel structures on these algebras. We establish the Borel computability of various C$^*$-algebra invariants, including the Elliott invariant and the Cuntz semigroup. As applications we deduce that AF algebras are classifiable by countable structures, and that a conjecture of Winter and the second author for nuclear separable simple C*-algebras cannot be disproved by appealing to known standard Borel structures on these algebras. △ Less

Submitted 21 April, 2012; v1 submitted 15 December, 2011; originally announced December 2011.

Comments: Appendix with Caleb Eckhardt

Turbulence, orbit equivalence, and the classification of nuclear C*-algebras

Authors: Ilijas Farah, Asger Tornquist, Andrew S. Toms

Abstract: We bound the Borel cardinality of the isomorphism relation for nuclear simple separable C*-algebras: It is turbulent, yet Borel reducible to the action of the automorphism group of the Cuntz algebra O_2 on its closed subsets. The same bounds are obtained for affine homeomorphism of metrizable Choquet simplexes. As a by-product we recover a result of Kechris and Solecki, namely, that homeomorphism… ▽ More We bound the Borel cardinality of the isomorphism relation for nuclear simple separable C*-algebras: It is turbulent, yet Borel reducible to the action of the automorphism group of the Cuntz algebra O_2 on its closed subsets. The same bounds are obtained for affine homeomorphism of metrizable Choquet simplexes. As a by-product we recover a result of Kechris and Solecki, namely, that homeomorphism of compacta in the Hilbert cube is Borel reducible to a Polish group action. These results depend intimately on the classification theory of nuclear simple C*-algebras by K-theory and traces. Both of necessity and in order to lay the groundwork for further study on the Borel complexity of C*-algebras, we prove that many standard C*-algebra constructions and relations are Borel, and we prove Borel versions of Kirchberg's O_2-stability and embedding theorems. We also find a C*-algebraic witness for a K_σhard equivalence relation. △ Less

Submitted 23 April, 2012; v1 submitted 30 May, 2011; originally announced May 2011.

Comments: 42 pages, largely minor changes with the exception of a corrected 4.4

MSC Class: 46L35; 03E15

Characterizing classifiable AH algebras

Authors: Andrew S. Toms

Abstract: We observe almost divisibility for the original Cuntz semigroup of a simple AH algebra with strict comparison. As a consequence, the properties of strict comparison, finite nuclear dimension, and Z-stability are equivalent for such algebras, confirming partially a conjecture of Winter and the author. We observe almost divisibility for the original Cuntz semigroup of a simple AH algebra with strict comparison. As a consequence, the properties of strict comparison, finite nuclear dimension, and Z-stability are equivalent for such algebras, confirming partially a conjecture of Winter and the author. △ Less

Submitted 4 February, 2011; originally announced February 2011.

Comments: 3 pages, closes a gap in the proof of Theorem 1.2, arXiv:0910.2061

An algebraic approach to the radius of comparison

Authors: Bruce Blackadar, Leonel Robert, Aaron P. Tikuisis, Andrew S. Toms, Wilhelm Winter

Abstract: The radius of comparison is an invariant for unital C*-algebras which extends the theory of covering dimension to noncommutative spaces. We extend its definition to general C*-algebras, and give an algebraic (as opposed to functional-theoretic) reformulation. This yields new permanence properties for the radius of comparison which strengthen its analogy with covering dimension for commutative spac… ▽ More The radius of comparison is an invariant for unital C*-algebras which extends the theory of covering dimension to noncommutative spaces. We extend its definition to general C*-algebras, and give an algebraic (as opposed to functional-theoretic) reformulation. This yields new permanence properties for the radius of comparison which strengthen its analogy with covering dimension for commutative spaces. We then give several applications of these results. New examples of C*-algebras with finite radius of comparison are given, and the question of when the Cuntz classes of finitely generated Hilbert modules form a hereditary subset of the Cuntz semigroup is addressed. Most interestingly, perhaps, we treat the question of when a full hereditary subalgebra B of a stable C*-algebra A is itself stable, giving a characterization in terms of the radius of comparison. We also use the radius of comparison to quantify the least n for which a C*-algebra D without bounded 2-quasitraces or unital quotients has the property that M_n(D) is stable. △ Less

Submitted 24 August, 2010; originally announced August 2010.

Comments: 19 pages

Ranks of operators in simple C*-algebras

Authors: Marius Dadarlat, Andrew S. Toms

Abstract: Let A be a unital simple separable C*-algebra with strict comparison of positive elements. We prove that the Cuntz semigroup of A is recovered functorially from the Murray-von Neumann semigroup and the tracial state space T(A) whenever the extreme boundary of T(A) is compact and of finite covering dimension. Combined with a result of Winter, we obtain Z \otimes A isomorphic to A whenever A moreo… ▽ More Let A be a unital simple separable C*-algebra with strict comparison of positive elements. We prove that the Cuntz semigroup of A is recovered functorially from the Murray-von Neumann semigroup and the tracial state space T(A) whenever the extreme boundary of T(A) is compact and of finite covering dimension. Combined with a result of Winter, we obtain Z \otimes A isomorphic to A whenever A moreover has locally finite decomposition rank. As a corollary, we confirm Elliott's classification conjecture under reasonably general hypotheses which, notably, do not require any inductive limit structure. These results all stem from our investigation of a basic question: what are the possible ranks of operators in a unital simple C*-algebra? △ Less

Submitted 3 December, 2009; originally announced December 2009.

Comments: 19 pages, no figures

MSC Class: 46L35

K-theoretic rigidity and slow dimension growth

Authors: Andrew S. Toms

Abstract: Let A be an approximately subhomogeneous (ASH) C*-algebra with slow dimension growth. We prove that if A is unital and simple, then the Cuntz semigroup of A agrees with that of its tensor product with the Jiang-Su algebra Z. In tandem with a result of W. Winter, this yields the equivalence of Z-stability and slow dimension growth for unital simple ASH algebras. This equivalence has several consequ… ▽ More Let A be an approximately subhomogeneous (ASH) C*-algebra with slow dimension growth. We prove that if A is unital and simple, then the Cuntz semigroup of A agrees with that of its tensor product with the Jiang-Su algebra Z. In tandem with a result of W. Winter, this yields the equivalence of Z-stability and slow dimension growth for unital simple ASH algebras. This equivalence has several consequences, including the following classification theorem: unital ASH algebras which are simple, have slow dimension growth, and in which projections separate traces are determined up to isomorphism by their graded ordered K-theory, and none of the latter three conditions can be relaxed in general. △ Less

Submitted 19 August, 2010; v1 submitted 11 October, 2009; originally announced October 2009.

Comments: 15 pages, to appear in Invent. Math

MSC Class: 46L80; 46L35

Minimal Dynamics and K-theoretic Rigidity: Elliott's Conjecture

Authors: Andrew S. Toms, Wilhelm Winter

Abstract: Let X be an infinite, compact, metrizable space of finite covering dimension and h a minimal homeomorphism of X. We prove that the crossed product of C(X) by h absorbs the Jiang-Su algebra tensorially and has finite nuclear dimension. As a consequence, these algebras are determined up to isomorphism by their graded ordered K-theory under the necessary condition that their projections separate tr… ▽ More Let X be an infinite, compact, metrizable space of finite covering dimension and h a minimal homeomorphism of X. We prove that the crossed product of C(X) by h absorbs the Jiang-Su algebra tensorially and has finite nuclear dimension. As a consequence, these algebras are determined up to isomorphism by their graded ordered K-theory under the necessary condition that their projections separate traces. This result applies, in particular, to those crossed products arising from uniquely ergodic homeomorphisms. △ Less

Submitted 24 March, 2009; originally announced March 2009.

Comments: 19 pages

MSC Class: 46L85; 46L35

K-Theory for operator algebras. Classification of C$^*$-algebras

Authors: Pere Ara, Francesc Perera, Andrew S. Toms

Abstract: In this article we survey some of the recent goings-on in the classification programme of C$^*$-algebras, following the interesting link found between the Cuntz semigroup and the classical Elliott invariant and the fact that the Elliott conjecture does not hold at its boldest. We review the construction of this object both by means of positive elements and via its recent interpretation using cou… ▽ More In this article we survey some of the recent goings-on in the classification programme of C$^*$-algebras, following the interesting link found between the Cuntz semigroup and the classical Elliott invariant and the fact that the Elliott conjecture does not hold at its boldest. We review the construction of this object both by means of positive elements and via its recent interpretation using countably generated Hilbert modules (due to Coward, Elliott and Ivanescu). The passage from one picture to another is presented with full, concise, proofs. We indicate the potential role of the Cuntz semigroup in future classification results, particularly for non-simple algebras. △ Less

Submitted 19 February, 2009; originally announced February 2009.

Comments: 56 pages, notes from the Summer School on Operator Algebras and Applications, held in Santander, July 21-25 2008. Submitted to Contemporary Mathematics

MSC Class: 46L05

A direct proof of Z-stability for AH algebras of bounded topological dimension

Authors: Marius Dadarlat, N. Christopher Phillips, Andrew S. Toms

Abstract: We prove that a unital simple approximately homogeneous (AH) C*-algebra with no dimension growth absorbs the Jiang-Su algebra tensorially without appealing to the classification theory of these algebras. Our main result continues to hold under the slightly weaker hypothesis of exponentially slow dimension growth. We prove that a unital simple approximately homogeneous (AH) C*-algebra with no dimension growth absorbs the Jiang-Su algebra tensorially without appealing to the classification theory of these algebras. Our main result continues to hold under the slightly weaker hypothesis of exponentially slow dimension growth. △ Less

Submitted 17 June, 2008; originally announced June 2008.

Comments: 15 pages, no figures

MSC Class: 46L35; 46L80

Comparison theory and smooth minimal C*-dynamics

Authors: Andrew S. Toms

Abstract: We prove that the C*-algebra of a minimal diffeomorphism satisfies Blackadar's Fundamental Comparability Property for positive elements. This leads to the classification, in terms of K-theory and traces, of the isomorphism classes of countably generated Hilbert modules over such algebras, and to a similar classification for the closures of unitary orbits of self-adjoint elements. We also obtain… ▽ More We prove that the C*-algebra of a minimal diffeomorphism satisfies Blackadar's Fundamental Comparability Property for positive elements. This leads to the classification, in terms of K-theory and traces, of the isomorphism classes of countably generated Hilbert modules over such algebras, and to a similar classification for the closures of unitary orbits of self-adjoint elements. We also obtain a structure theorem for the Cuntz semigroup in this setting, and prove a conjecture of Blackadar and Handelman: the lower semicontinuous dimension functions are weakly dense in the space of all dimension functions. These results continue to hold in the broader setting of unital simple ASH algebras with slow dimension growth and stable rank one. Our main tool is a sharp bound on the radius of comparison of a recursive subhomogeneous C*-algebra. This is also used to construct uncountably many non-Morita-equivalent simple separable amenable C*-algebras with the same K-theory and tracial state space, providing a C*-algebraic analogue of McDuff's uncountable family of II_1 factors. We prove in passing that the range of the radius of comparison is exhausted by simple C*-algebras. △ Less

Submitted 12 May, 2008; originally announced May 2008.

Comments: 30 pages, no figures

MSC Class: 46L35; 46L80

The Jiang-Su algebra does not always embed

Authors: Marius Dadarlat, Ilan Hirshberg, Andrew S. Toms, Wilhelm Winter

Abstract: We exhibit a unital simple nuclear non-type-I C*-algebra into which the Jiang-Su algebra does not embed unitally. This answers a question of M. Rørdam. We exhibit a unital simple nuclear non-type-I C*-algebra into which the Jiang-Su algebra does not embed unitally. This answers a question of M. Rørdam. △ Less

Submitted 12 December, 2007; originally announced December 2007.

Comments: 4 pages

MSC Class: Primary 46L35; Secondary 46L80

A universal property for the Jiang-Su algebra

Authors: Marius Dadarlat, Andrew S. Toms

Abstract: We prove that the infinite tensor power of a unital separable C*-algebra absorbs the Jiang-Su algebra Z tensorially if and only if it contains, unitally, a subhomogeneous algebra without characters. This yields a succinct universal property for Z in a category so large that there are no unital separable C*-algebras without characters known to lie outside it. This category moreover contains the v… ▽ More We prove that the infinite tensor power of a unital separable C*-algebra absorbs the Jiang-Su algebra Z tensorially if and only if it contains, unitally, a subhomogeneous algebra without characters. This yields a succinct universal property for Z in a category so large that there are no unital separable C*-algebras without characters known to lie outside it. This category moreover contains the vast majority of our stock-in-trade separable amenable C*-algebras, and is closed under passage to separable superalgebras and quotients, and hence to unital tensor products, unital direct limits, and crossed products by countable discrete groups. One consequence of our main result is that strongly self-absorbing ASH algebras are Z-stable, and therefore satisfy the hypotheses of a recent classification theorem of W. Winter. One concludes that Z is the only projectionless strongly self-absorbing ASH algebra, completing the classification of strongly self-absorbing ASH algebras. △ Less

Submitted 27 July, 2007; originally announced July 2007.

Comments: 22 pages

MSC Class: 46L35; 46L80

Three Applications of the Cuntz Semigroup

Authors: Nathanial P. Brown, Andrew S. Toms

Abstract: Building on work of Elliott and coworkers, we present three applications of the Cuntz semigroup: (i) for many simple C$^*$-algebras, the Thomsen semigroup is recovered functorially from the Elliott invariant, and this yields a new proof of Elliott's classification theorem for simple, unital AI algebras; (ii) for the algebras in (i), classification of their Hilbert modules is similar to the von N… ▽ More Building on work of Elliott and coworkers, we present three applications of the Cuntz semigroup: (i) for many simple C$^*$-algebras, the Thomsen semigroup is recovered functorially from the Elliott invariant, and this yields a new proof of Elliott's classification theorem for simple, unital AI algebras; (ii) for the algebras in (i), classification of their Hilbert modules is similar to the von Neumann algebra context; (iii) for the algebras in (i), approximate unitary equivalence of self-adjoint operators is characterised in terms of the Elliott invariant. △ Less

Submitted 30 April, 2007; originally announced April 2007.

Comments: 10 pages

Regularity properties in the classification program for separable amenable C*-algebras

Authors: George A. Elliott, Andrew S. Toms

Abstract: We report on recent progress in the program to classify separable amenable C*-algebras. Our emphasis is on the newly apparent role of regularity properties such as finite decomposition rank, strict comparison of positive elements, and Z-stability, and on the importance of the Cuntz semigroup. We include a brief history of the program's successes since 1989, a more detailed look at the Villadsen-… ▽ More We report on recent progress in the program to classify separable amenable C*-algebras. Our emphasis is on the newly apparent role of regularity properties such as finite decomposition rank, strict comparison of positive elements, and Z-stability, and on the importance of the Cuntz semigroup. We include a brief history of the program's successes since 1989, a more detailed look at the Villadsen-type algebras which have so dramatically changed the landscape, and a collection of announcements on the structure and properties of the Cuntz semigroup. △ Less

Submitted 22 August, 2007; v1 submitted 13 April, 2007; originally announced April 2007.

Comments: 19 pages, to appear in Bull. AMS, April 2008

MSC Class: 46L35; 46L80

A class of simple C*-algebras with stable rank one

Authors: George A. Elliott, Toan M. Ho, Andrew S. Toms

Abstract: We study the limits of inductive sequences (A_i,φ_i) where each A_i is a direct sum of full matrix algebras over compact metric spaces and each partial map of φ_i is diagonal. We give a new characterisation of simplicity for such algebras, and apply it to prove that the said algebras have stable rank one whenever they are simple and unital. Significantly, our results do not require any dimension… ▽ More We study the limits of inductive sequences (A_i,φ_i) where each A_i is a direct sum of full matrix algebras over compact metric spaces and each partial map of φ_i is diagonal. We give a new characterisation of simplicity for such algebras, and apply it to prove that the said algebras have stable rank one whenever they are simple and unital. Significantly, our results do not require any dimension growth assumption. △ Less

Submitted 13 March, 2007; originally announced March 2007.

Comments: 14 pages

MSC Class: 46L35; 46L80

The Elliott conjecture for Villadsen algebras of the first type

Authors: Andrew S. Toms, Wilhelm Winter

Abstract: We study the class of simple C*-algebras introduced by Villadsen in his pioneering work on perforated ordered K-theory. We establish six equivalent characterisations of the proper subclass which satisfies the strong form of Elliott's classification conjecture: two C*-algebraic (Z-stability and approximate divisibility), one K-theoretic (strict comparison of positive elements), and three topologi… ▽ More We study the class of simple C*-algebras introduced by Villadsen in his pioneering work on perforated ordered K-theory. We establish six equivalent characterisations of the proper subclass which satisfies the strong form of Elliott's classification conjecture: two C*-algebraic (Z-stability and approximate divisibility), one K-theoretic (strict comparison of positive elements), and three topological (finite decomposition rank, slow dimension growth, and bounded dimension growth). The equivalence of Z-stability and strict comparison constitutes a stably finite version of Kirchberg's characterisation of purely infinite C*-algebras. The other equivalences confirm, for Villadsen's algebras, heretofore conjectural relationships between various notions of good behaviour for nuclear C*-algebras. △ Less

Submitted 2 November, 2006; originally announced November 2006.

Comments: 25 pages

MSC Class: 46L35; 46L80

An infinite family of non-isomorphic C*-algebras with identical K-theory

Authors: Andrew S. Toms

Abstract: We exhibit a countably infinite family of simple, separable, nuclear, and mutually non-isomorphic C*-algebras which agree on K-theory and traces. The algebras do not absorb the Jiang-Su algebra Z tensorially, answering a question of N. C. Phillips. They are also pairwise shape and Morita equivalent. The distinguishing invariant is the radius of comparison, a non-stable invariant of the Cuntz sem… ▽ More We exhibit a countably infinite family of simple, separable, nuclear, and mutually non-isomorphic C*-algebras which agree on K-theory and traces. The algebras do not absorb the Jiang-Su algebra Z tensorially, answering a question of N. C. Phillips. They are also pairwise shape and Morita equivalent. The distinguishing invariant is the radius of comparison, a non-stable invariant of the Cuntz semigroup. △ Less

Submitted 22 August, 2007; v1 submitted 7 September, 2006; originally announced September 2006.

Comments: 12 pages, to appear in Trans. AMS

MSC Class: 46L35; 46L80

The Cuntz semigroup, the Elliott conjecture, and dimension functions on C*-algebras

Authors: Nathanial P. Brown, Francesc Perera, Andrew S. Toms

Abstract: We prove that the Cuntz semigroup is recovered functorially from the Elliott invariant for a large class of C*-algebras. In particular, our results apply to the largest class of simple C*-algebras for which K-theoretic classification can be hoped for. This work has three significant consequences. First, it provides new conceptual insight into Elliott's classification program, proving that the us… ▽ More We prove that the Cuntz semigroup is recovered functorially from the Elliott invariant for a large class of C*-algebras. In particular, our results apply to the largest class of simple C*-algebras for which K-theoretic classification can be hoped for. This work has three significant consequences. First, it provides new conceptual insight into Elliott's classification program, proving that the usual form of the Elliott conjecture is equivalent, among Z-stable algebras, to a conjecture which is in general substantially weaker and for which there are no known counterexamples. Second and third, it resolves, for the class of algebras above, two conjectures of Blackadar and Handelman concerning the basic structure of dimension functions on C*-algebras. We also prove in passing that the Cuntz-Pedersen semigroup is recovered functorially from the Elliott invariant for a large class of unital simple C*-algebras. △ Less

Submitted 22 August, 2007; v1 submitted 6 September, 2006; originally announced September 2006.

Comments: Sent to Jenny Craig, lost 3 pages, to appear in Crelle's Journal (18p.)

MSC Class: 46L35; 46L80

Stability in the Cuntz semigroup of a commutative C*-algebra

Authors: Andrew S. Toms

Abstract: We prove stability theorems in the Cuntz semigroup of a commutative C*-algebra which are analogues of classical stability theorems for topological vector bundles over compact Hausdorff spaces. Several applications to simple unital AH algebras of slow dimension growth are then given: such algebras have strict comparison of positive elements; their Cuntz semigroups are recovered functorially from… ▽ More We prove stability theorems in the Cuntz semigroup of a commutative C*-algebra which are analogues of classical stability theorems for topological vector bundles over compact Hausdorff spaces. Several applications to simple unital AH algebras of slow dimension growth are then given: such algebras have strict comparison of positive elements; their Cuntz semigroups are recovered functorially from the Elliott invariant; the lower-semicontinuous dimension functions are dense in the space of all dimension functions, and the latter is a Choquet simplex. △ Less

Submitted 22 August, 2007; v1 submitted 4 July, 2006; originally announced July 2006.

Comments: 26 pages, minor revisions, to appear in Proc. LMS

MSC Class: 46L35

Recasting the Elliott conjecture

Authors: Francesc Perera, Andrew S. Toms

Abstract: Let A be a simple, unital, exact, and finite C*-algebra which absorbs the Jiang-Su algebra Z tensorially. We prove that the Cuntz semigroup of A admits a complete order embedding into an ordered semigroup obtained from the Elliott invariant in a functorial manner. We conjecture that this embedding is an isomorphism, and prove the conjecture in several cases. In these same cases -- Z-stable algeb… ▽ More Let A be a simple, unital, exact, and finite C*-algebra which absorbs the Jiang-Su algebra Z tensorially. We prove that the Cuntz semigroup of A admits a complete order embedding into an ordered semigroup obtained from the Elliott invariant in a functorial manner. We conjecture that this embedding is an isomorphism, and prove the conjecture in several cases. In these same cases -- Z-stable algebras all -- we prove that the Elliott conjecture in its strongest form is equivalent to a conjecture which appears much weaker. Outside the class of Z-stable algebras, this weaker conjecture has no known counterexamples, and it is plausible that none exist. Thus, we reconcile the still intact principle of Elliott's classification conjecture -- that K-theoretic invariants will classify separable and nuclear C*-algebras -- with the recent appearance of counterexamples to its strongest concrete form. △ Less

Submitted 27 September, 2006; v1 submitted 19 January, 2006; originally announced January 2006.

Comments: 28 pages; several typos corrected, Lemma 3.4 added; to appear in Math. Ann

MSC Class: 46L35; 46L80

Flat dimension growth for C*-algebras

Authors: Andrew S. Toms

Abstract: We introduce two nonnegative real-valued invariants for unital and stably finite C*-algebras whose minimal instances coincide with the notion of classifiability via the Elliott invariant. The first of these is defined for AH algebras, and may be thought of as a generalisation of slow dimension growth. The second invariant is defined for any unital and stably finite algebra, and may be thought of… ▽ More We introduce two nonnegative real-valued invariants for unital and stably finite C*-algebras whose minimal instances coincide with the notion of classifiability via the Elliott invariant. The first of these is defined for AH algebras, and may be thought of as a generalisation of slow dimension growth. The second invariant is defined for any unital and stably finite algebra, and may be thought of as an abstract version of the first invariant. We establish connections between both invariants and ordered K-theory, and prove that the range of the first invariant is exhausted by simple unital AH algebras. Consequently, the class of simple, unital, and non-Z-stable AH algebras is uncountable. △ Less

Submitted 23 January, 2006; v1 submitted 19 October, 2005; originally announced October 2005.

Comments: 27 pages, improvements to Propositions 2.2, 3.4, 6.2 and Theorem 3.10, Propositions 6.3 and 6.8 added, cleaned up in general, to appear in J. Funct. Anal

MSC Class: 46L80; 46L35

On the independence of K-theory and stable rank for simple C*-algebras

Authors: Andrew S. Toms

Abstract: We construct a simple, separable, unital, and nuclear C*-algebra with weakly unperforated K_0-group which does not absorb the Jiang-Su algebra Z tensorially. As a result, we obtain a stably finite counter-example to Elliott's classification conjecture for simple, separable, and nuclear C*-algebras. We construct a simple, separable, unital, and nuclear C*-algebra with weakly unperforated K_0-group which does not absorb the Jiang-Su algebra Z tensorially. As a result, we obtain a stably finite counter-example to Elliott's classification conjecture for simple, separable, and nuclear C*-algebras. △ Less

Submitted 19 September, 2005; originally announced September 2005.

Comments: 18 pages

MSC Class: 46L35; 46L80

Journal ref: J. Reine und Angew. Math. 578 (2005), pp. 185-199

Strong perforation in infinitely generated K_0-groups of simple C*-algebras

Authors: Andrew S. Toms

Abstract: Let (G,G^+) be a simple ordered abelian group. We say that G has strong perforation if there exists a non-positive element x in G such that nx is positive and non-zero for some natural number n. Otherwise, the group is said to be weakly unperforated. Examples of simple C*-algebras whose ordered K_0-groups have this property and for which the entire order structure on K_0 is known have, until now… ▽ More Let (G,G^+) be a simple ordered abelian group. We say that G has strong perforation if there exists a non-positive element x in G such that nx is positive and non-zero for some natural number n. Otherwise, the group is said to be weakly unperforated. Examples of simple C*-algebras whose ordered K_0-groups have this property and for which the entire order structure on K_0 is known have, until now, been restricted to the case where K_0 is group isomorphic to the integers. We construct simple, separable, unital C*-algebras with strongly perforated K_0-groups group isomorphic to an arbitrary infinitely generated subgroup of the rationals, and determine the order structure on K_0 in each case. △ Less

Submitted 19 September, 2005; originally announced September 2005.

Comments: 15 pages

MSC Class: 46L35; 46L80

Journal ref: Math. Scand. 96 (2005), pp. 147-160

Dimension growth for $C^*$-algebras

Authors: Andrew S. Toms

Abstract: We introduce the growth rank of a C*-algebra, a (N \cup {\infty})-valued invariant which measures how far an algebra is from absorbing the Jiang-Su algebra Z tensorially. We prove that its range is exhausted by simple nuclear C*-algebras, and obtain in the process a well developed theory of unbounded dimension growth for approximately homogeneous (AH) algebras. Another consequence of the range r… ▽ More We introduce the growth rank of a C*-algebra, a (N \cup {\infty})-valued invariant which measures how far an algebra is from absorbing the Jiang-Su algebra Z tensorially. We prove that its range is exhausted by simple nuclear C*-algebras, and obtain in the process a well developed theory of unbounded dimension growth for approximately homogeneous (AH) algebras. Another consequence of the range result is the existence of a simple, nuclear, and non-Z-stable C*-algebra which is not tensorially prime. The properties of the growth rank suggest a universal property which may be considered inside any class of unital and nuclear C*-algebras. We prove that Z satisfies this property inside a class of locally subhomogeneous algebras. △ Less

Submitted 31 January, 2007; v1 submitted 7 September, 2005; originally announced September 2005.

Comments: 26 pages; minor revisions; to appear in Adv. Math

MSC Class: 46L35; 46L80

Cancellation does not imply stable rank one

Authors: Andrew S. Toms

Abstract: An unital C*-algebra A is said to have cancellation of projections if the semigroup D(A) of Murray-von Neumann equivalence classes of projections in matrices over A is cancellative. It has long been known that stable rank one implies cancellation, and some partial convereses have been established. We prove that cancellation does not imply stable rank one for simple, stably finite C*-algebras. An unital C*-algebra A is said to have cancellation of projections if the semigroup D(A) of Murray-von Neumann equivalence classes of projections in matrices over A is cancellative. It has long been known that stable rank one implies cancellation, and some partial convereses have been established. We prove that cancellation does not imply stable rank one for simple, stably finite C*-algebras. △ Less

Submitted 27 January, 2006; v1 submitted 5 September, 2005; originally announced September 2005.

Comments: 4 pages, exposition improved in proof of main theorem, to appear in Bull. LMS

MSC Class: 46L05

On the classification problem for nuclear C*-algebras

Authors: Andrew S. Toms

Abstract: We construct a simple, unital AH algebra which is shape equivalent to its tensor product with any infinite-dimensional UHF algebra, has the same tracial simplex as the said tensor product, and yet is not isomorphic to it. An analogous result for automorphisms is also proved. We construct a simple, unital AH algebra which is shape equivalent to its tensor product with any infinite-dimensional UHF algebra, has the same tracial simplex as the said tensor product, and yet is not isomorphic to it. An analogous result for automorphisms is also proved. △ Less

Submitted 16 October, 2006; v1 submitted 5 September, 2005; originally announced September 2005.

Comments: 15 pages; minor revisions; version to appear in Ann. of Math. (2)

MSC Class: 46L35; 46L80

Inductive limits of K-theoretic complexes with torsion coefficients

Authors: Soren Eilers, Andrew S. Toms

Abstract: We present the first range result for the total K-theory of C*-algebras. This invariant has been used successfully to classify certain separable, nuclear C*-algebras of real rank zero. Our results complete the classification of the so-called AD algebras of real rank zero. We present the first range result for the total K-theory of C*-algebras. This invariant has been used successfully to classify certain separable, nuclear C*-algebras of real rank zero. Our results complete the classification of the so-called AD algebras of real rank zero. △ Less

Submitted 29 August, 2005; originally announced August 2005.

Comments: 24 pages

MSC Class: 46L35; 46L80

Z-stable ASH algebras

Authors: Andrew S. Toms, Wilhelm Winter

Abstract: The Jiang--Su algebra Z has come to prominence in the classification program for nuclear C*-algebras of late, due primarily to the fact that Elliott's classification conjecture predicts that all simple, separable, and nuclear C*-algebras with unperforated K-theory will absorb Z tensorially (i.e., will be Z-stable). There exist counterexamples which suggest that the conjecture will only hold for… ▽ More The Jiang--Su algebra Z has come to prominence in the classification program for nuclear C*-algebras of late, due primarily to the fact that Elliott's classification conjecture predicts that all simple, separable, and nuclear C*-algebras with unperforated K-theory will absorb Z tensorially (i.e., will be Z-stable). There exist counterexamples which suggest that the conjecture will only hold for simple, nuclear, separable and Z-stable C*-algebras. We prove that virtually all classes of nuclear C*-algebras for which the Elliott conjecture has been confirmed so far, consist of Z-stable C*-algebras. This result follows in large part from the following theorem, also proved herein: separable and approximately divisible C*-algebras are Z-stable. △ Less

Submitted 12 August, 2005; originally announced August 2005.

Comments: 19 pages

MSC Class: 46L85; 46L35

Strongly self-absorbing C*-algebras

Authors: Andrew S. Toms, Wilhelm Winter

Abstract: Say that a separable, unital C*-algebra D is strongly self-absorbing if there exists an isomorphism $φ: D \to D \otimes D$ such that $φ$ and $id_D \otimes 1_D$ are approximately unitarily equivalent $*$-homomorphisms. We study this class of algebras, which includes the Cuntz algebras $\mathcal{O}_2$, $\mathcal{O}_{\infty}$, the UHF algebras of infinite type, the Jiang--Su algebra Z and tensor pr… ▽ More Say that a separable, unital C*-algebra D is strongly self-absorbing if there exists an isomorphism $φ: D \to D \otimes D$ such that $φ$ and $id_D \otimes 1_D$ are approximately unitarily equivalent $*$-homomorphisms. We study this class of algebras, which includes the Cuntz algebras $\mathcal{O}_2$, $\mathcal{O}_{\infty}$, the UHF algebras of infinite type, the Jiang--Su algebra Z and tensor products of $\Oh_{\infty}$ with UHF algebras of infinite type. Given a strongly self-absorbing C*-algebra D we characterise when a separable C*-algebra absorbs D tensorially (i.e., is D-stable), and prove closure properties for the class of separable D-stable C*-algebras. Finally, we compute the possible K-groups and prove a number of classification results which suggest that the examples listed above are the only strongly self-absorbing C*-algebras. △ Less

Submitted 31 August, 2005; v1 submitted 10 February, 2005; originally announced February 2005.

Comments: 31 pages. Some minor errors corrected, table of reference updated. Exposition of Section 4 slightly improved. To appear in Trans. AMS

MSC Class: 46L85; 46L35