Showing 1–40 of 40 results for author: Rordam, M

The Space of Tracial States on a C$^*$-Algebra

Authors: Bruce Blackadar, Mikael Rørdam

Abstract: We give a simple and elementary proof that the tracial state space of a unital C$^*$-algebra is a Choquet simplex, using the center-valued trace on a finite von Neumann algebra. We give a simple and elementary proof that the tracial state space of a unital C$^*$-algebra is a Choquet simplex, using the center-valued trace on a finite von Neumann algebra. △ Less

Submitted 24 September, 2024; v1 submitted 15 September, 2024; originally announced September 2024.

Comments: 12 pages. Two extra references added, and last section organized differently

MSC Class: 46L35; 46L05

Around traces and quasitraces

Authors: Henning O. Milhøj, Mikael Rørdam

Abstract: This paper presents a survey of results on traces and quasitraces on C$^*$-algebras, and it provides some new results on traces on ultrapowers and on the existence of faithful traces. As for the former, we exhibit a sequence of traceless simple, separable, unital, nuclear C$^*$-algebras whose ultrapower does admit a quasitrace (and likely also a trace). We characterize in different ways C$^*$-alge… ▽ More This paper presents a survey of results on traces and quasitraces on C$^*$-algebras, and it provides some new results on traces on ultrapowers and on the existence of faithful traces. As for the former, we exhibit a sequence of traceless simple, separable, unital, nuclear C$^*$-algebras whose ultrapower does admit a quasitrace (and likely also a trace). We characterize in different ways C$^*$-algebras that admit a faithful trace, respectively, where each quotient of the C$^*$-algebra admits a faithful trace. △ Less

Submitted 30 November, 2023; v1 submitted 29 September, 2023; originally announced September 2023.

Comments: 21 pages

MSC Class: 46L35; 46L05

A Dixmier type averaging property of automorphisms on a $C^*$-algebra

Authors: Mikael Rørdam

Abstract: In his study of the relative Dixmier property for inclusions of von Neumann algebras and of $C^*$-algebras, Popa considered a certain property of automorphisms on $C^*$-algebras, that we here call the strong averaging property. In this note we characterize when an automorphism on a $C^*$-algebra has the strong averaging property. In particular, automorphisms on commutative $C^*$-algebras possess t… ▽ More In his study of the relative Dixmier property for inclusions of von Neumann algebras and of $C^*$-algebras, Popa considered a certain property of automorphisms on $C^*$-algebras, that we here call the strong averaging property. In this note we characterize when an automorphism on a $C^*$-algebra has the strong averaging property. In particular, automorphisms on commutative $C^*$-algebras possess this property precisely when they are free. An automorphism on a unital separable simple $C^*$-algebra with at least one tracial state has the strong averaging property precisely when its extension to the finite part of the bi-dual of the $C^*$-algebra is properly outer, and in the simple, non-tracial case the strong averaging property is equivalent to being outer. To illustrate the usefulness of the strong averaging property we give three examples where we can provide simpler proofs of existing results on crossed product $C^*$-algebras, and we are also able to extend these results in different directions. △ Less

Submitted 24 January, 2023; v1 submitted 7 November, 2022; originally announced November 2022.

Comments: 19 pages. To appear in International. J. Math

MSC Class: 46L05; 46L35; 46L55

Inclusions of $C^*$-algebras arising from fixed-point algebras

Authors: Siegfried Echterhoff, Mikael Rørdam

Abstract: We examine inclusions of $C^*$-algebras of the form $A^H \subseteq A \rtimes_{r} G$, where $G$ and $H$ are groups acting on a unital simple $C^*$-algebra $A$ by outer automorphisms and $H$ is finite. It follows from a theorem of Izumi that $A^H \subseteq A$ is $C^*$-irreducible, in the sense that all intermediate $C^*$-algebras are simple. We show that $A^H \subseteq A \rtimes_{r} G$ is $C^*$-irre… ▽ More We examine inclusions of $C^*$-algebras of the form $A^H \subseteq A \rtimes_{r} G$, where $G$ and $H$ are groups acting on a unital simple $C^*$-algebra $A$ by outer automorphisms and $H$ is finite. It follows from a theorem of Izumi that $A^H \subseteq A$ is $C^*$-irreducible, in the sense that all intermediate $C^*$-algebras are simple. We show that $A^H \subseteq A \rtimes_{r} G$ is $C^*$-irreducible for all $G$ and $H$ as above if and only if $G$ and $H$ have trivial intersection in the outer automorphisms of $A$, and we give a Galois type classification of all intermediate $C^*$-algebras in the case when $H$ is abelian and the two actions of $G$ and $H$ on $A$ commute. We illustrate these results with examples of outer group actions on the irrational rotation $C^*$-algebras. We exhibit, among other examples, $C^*$-irreducible inclusions of AF-algebras that have intermediate $C^*$-algebras that are not AF-algebras, in fact, the irrational rotation $C^*$-algebra appears as an intermediate $C^*$-algebra. △ Less

Submitted 18 November, 2021; v1 submitted 19 August, 2021; originally announced August 2021.

Comments: This is a substantially improved and reorganized version of the paper

MSC Class: 46L05; 46L35; 46L55

Irreducible inclusions of simple C$^*$-algebras

Authors: Mikael Rørdam

Abstract: The literature contains interesting examples of inclusions of simple C$^*$-algebras with the property that all intermediate C$^*$-algebras likewise are simple. In this article we take up a systematic study of such inclusions, which we refer to as being C$^*$-irreducible by the analogy that all intermediate von Neumann algebras of an inclusion of factors are again factors precisely when the given i… ▽ More The literature contains interesting examples of inclusions of simple C$^*$-algebras with the property that all intermediate C$^*$-algebras likewise are simple. In this article we take up a systematic study of such inclusions, which we refer to as being C$^*$-irreducible by the analogy that all intermediate von Neumann algebras of an inclusion of factors are again factors precisely when the given inclusion is irreducible. We give an intrinsic characterization of when an inclusion of C$^*$-algebras is C$^*$-irreducible, and use this to revisit known and exhibit new C$^*$-irreducible inclusions arising from groups and dynamical systems. Using a theorem of Popa one can show that an inclusion of II$_1$-factors is C$^*$-irreducible if and only if it is irreducible with finite Jones index. We further show how one can construct C$^*$-irreducible inclusions from inductive limits, and we discuss how the notion of C$^*$-irreducibility behaves under tensor products. △ Less

Submitted 30 November, 2021; v1 submitted 25 May, 2021; originally announced May 2021.

Comments: 28 pages. To appear in l'Enseignement Mathematique

MSC Class: 46L05; 46L35; 46L55

Factorizable maps and traces on the universal free product of matrix algebras

Authors: Magdalena Musat, Mikael Rørdam

Abstract: We relate factorizable quantum channels on $M_n$, for $n \ge 2$, via their Choi matrix, to certain correlation matrices, which, in turn, are shown to be parametrized by traces on the unital free product $M_n * M_n$. Factorizable maps that admit a finite dimensional ancilla are parametrized by finite dimensional traces on $M_n * M_n$, and factorizable maps that approximately factor through finite d… ▽ More We relate factorizable quantum channels on $M_n$, for $n \ge 2$, via their Choi matrix, to certain correlation matrices, which, in turn, are shown to be parametrized by traces on the unital free product $M_n * M_n$. Factorizable maps that admit a finite dimensional ancilla are parametrized by finite dimensional traces on $M_n * M_n$, and factorizable maps that approximately factor through finite dimensional C*-algebras are parametrized by traces in the closure of the finite dimensional ones. The latter set is shown to be equal to the set of hyperlinear traces on $M_n * M_n$. We finally show that each metrizable Choquet simplex is a face of the simplex of tracial states on $M_n * M_n$. △ Less

Submitted 17 October, 2019; v1 submitted 25 March, 2019; originally announced March 2019.

Comments: 15 pages. To appear in Int. Math. Res. Not. IMRN

Report number: CPH-SYM-DNRF92 MSC Class: 46L10; 81P45; 47L90

Non-closure of quantum correlation matrices and factorizable channels that require infinite dimensional ancilla

Authors: Magdalena Musat, Mikael Rørdam

Abstract: We show that there exist factorizable quantum channels in each dimension $\ge 11$ which do not admit a factorization through any finite dimensional von Neumann algebra, and do require ancillas of type II$_1$, thus witnessing new infinite-dimensional phenomena in quantum information theory. We show that the set of n by n matrices of correlations arising as second-order moments of projections in fin… ▽ More We show that there exist factorizable quantum channels in each dimension $\ge 11$ which do not admit a factorization through any finite dimensional von Neumann algebra, and do require ancillas of type II$_1$, thus witnessing new infinite-dimensional phenomena in quantum information theory. We show that the set of n by n matrices of correlations arising as second-order moments of projections in finite dimensional von Neumann algebras with a distinguished trace is non-closed, for all $n \ge 5$, and we use this to give a simplified proof of the recent result of Dykema, Paulsen and Prakash that the set of synchronous quantum correlations $C_q^s(5,2)$ is non-closed. Using a trick originating in work of Regev, Slofstra and Vidick, we further show that the set of correlation matrices arising from second-order moments of unitaries in finite dimensional von Neumann algebras with a distinguished trace is non-closed in each dimension $\ge 11$, from which we derive the first result above. △ Less

Submitted 13 March, 2019; v1 submitted 26 June, 2018; originally announced June 2018.

Comments: 16 pages. An appendix by Narutaka Ozawa has been added. To appear in Comm. Math. Phys

Report number: CPH-SYM-DNRF92 MSC Class: 46L10; 81P45; 47L90

Fixed-points in the cone of traces on a C*-algebra

Authors: Mikael Rordam

Abstract: Nicolas Monod introduced the class of groups with the fixed-point property for cones, characterized by always admitting a non-zero fixed point whenever acting (suitably) on proper weakly complete cones. He proved that his class of groups contains the class of groups with subexponential growth and is contained in the class of supramenable groups. In this paper we investigate what Monod's results sa… ▽ More Nicolas Monod introduced the class of groups with the fixed-point property for cones, characterized by always admitting a non-zero fixed point whenever acting (suitably) on proper weakly complete cones. He proved that his class of groups contains the class of groups with subexponential growth and is contained in the class of supramenable groups. In this paper we investigate what Monod's results say about the existence of invariant traces on (typically non-unital) C*-algebras equipped with an action of a group with the fixed-point property for cones. As an application of these results we provide results on the existence (and non-existence) of traces on the (non-uniform) Roe algebra. △ Less

Submitted 2 January, 2019; v1 submitted 29 March, 2018; originally announced March 2018.

Comments: 31 pages

Report number: CPH-SYM-DNRF92 MSC Class: 46L35; 46L05; 37A55

Just-infinite C*-algebras and their invariants

Authors: Mikael Rordam

Abstract: Just-infinite C*-algebras, i.e., infinite dimensional C*-algebras, whose proper quotients are finite dimensional, were investigated in [Grigorchuk-Musat-Rordam, 2016]. One particular example of a just-infinite residually finite dimensional AF-algebras was constructed in that article. In this paper we extend that construction by showing that each infinite dimensional metrizable Choquet simplex is a… ▽ More Just-infinite C*-algebras, i.e., infinite dimensional C*-algebras, whose proper quotients are finite dimensional, were investigated in [Grigorchuk-Musat-Rordam, 2016]. One particular example of a just-infinite residually finite dimensional AF-algebras was constructed in that article. In this paper we extend that construction by showing that each infinite dimensional metrizable Choquet simplex is affinely homeomorphic to the trace simplex of a just-infinite residually finite dimensional C*-algebras. The trace simplex of any unital residually finite dimensional C*-algebra is hence realized by a just-infinite one. We determine the trace simplex of the particular residually finite dimensional AF-algebras constructed in the above mentioned article, and we show that it has precisely one extremal trace of type II_1. We give a complete description of the Bratteli diagrams corresponding to residually finite dimensional AF-algebras. We show that a modification of any such Bratteli diagram, similar to the modification that makes an arbitrary Bratteli diagram simple, will yield a just-infinite residually finite dimensional AF-algebra. △ Less

Submitted 28 December, 2017; v1 submitted 8 May, 2017; originally announced May 2017.

Comments: 22 pages. A more detailed proof of Proposition 2.2 is included in this version, and a missing condition in Proposition 2.2 (and Corollary 2.3) is added. To appear in Int. Math. Res. Not. IMRN

Report number: CPH-SYM-DNRF92 MSC Class: 46L05; 46L35; 46L45

Axiomatizability of the stable rank of C*-algebras

Authors: Ilijas Farah, Mikael Rørdam

Abstract: We show that the class of C*-algebras with stable rank greater than a given positive integer is axiomatizable in logic of metric structures. As a consequence we show that the stable rank is continuous with respect to forming ultrapowers of C*-algebras, and that stable rank is Kadison--Kastler stable. We show that the class of C*-algebras with stable rank greater than a given positive integer is axiomatizable in logic of metric structures. As a consequence we show that the stable rank is continuous with respect to forming ultrapowers of C*-algebras, and that stable rank is Kadison--Kastler stable. △ Less

Submitted 16 January, 2017; v1 submitted 25 November, 2016; originally announced November 2016.

Comments: Minor changes. To appear in Münster J. Math

Report number: CPH-SYM-DNRF92

Just-infinite C*-algebras

Authors: Rostislav Grigorchuk, Magdalena Musat, Mikael Rørdam

Abstract: By analogy with the well-established notions of just-infinite groups and just-infinite (abstract) algebras, we initiate a systematic study of just-infinite C*-algebras, i.e., infinite dimensional C*-algebras for which all proper quotients are finite dimensional. We give a classification of such C*-algebras in terms of their primitive ideal space that leads to a trichotomy. We show that just-infini… ▽ More By analogy with the well-established notions of just-infinite groups and just-infinite (abstract) algebras, we initiate a systematic study of just-infinite C*-algebras, i.e., infinite dimensional C*-algebras for which all proper quotients are finite dimensional. We give a classification of such C*-algebras in terms of their primitive ideal space that leads to a trichotomy. We show that just-infinite, residually finite dimensional C*-algebras do exist by giving an explicit example of (the Bratteli diagram of) an AF-algebra with these properties. Further, we discuss when C*-algebras and *-algebras associated with a discrete group are just-infinite. If $G$ is the Burnside-type group of intermediate growth discovered by the first named author, which is known to be just-infinite, then its group algebra $C[G]$ and its group C*-algebra $C^*(G)$ are not just-infinite. Furthermore, we show that the algebra $B = π(C[G])$ under the Koopman representation $π$ of $G$ associated with its canonical action on a binary rooted tree is just-infinite. It remains an open problem whether the residually finite dimensional C*-algebra $C^*_π(G)$ is just-infinite. △ Less

Submitted 3 April, 2017; v1 submitted 29 April, 2016; originally announced April 2016.

Comments: 36 pages. To appear in Commentarii Math. Helvetici

Report number: CPH-SYM-DNRF92 MSC Class: 46L05; 37A55; 20C07; 46L36

Relative commutants of strongly self-absorbing C*-algebras

Authors: Ilijas Farah, Bradd Hart, Mikael Rørdam, Aaron Tikuisis

Abstract: The relative commutant $A'\cap A^{\mathcal{U}}$ of a strongly self-absorbing algebra $A$ is indistinguishable from its ultrapower $A^{\mathcal{U}}$. This applies both to the case when $A$ is the hyperfinite II$_1$ factor and to the case when it is a strongly self-absorbing C*-algebra. In the latter case we prove analogous results for $\ell_\infty(A)/c_0(A)$ and reduced powers corresponding to othe… ▽ More The relative commutant $A'\cap A^{\mathcal{U}}$ of a strongly self-absorbing algebra $A$ is indistinguishable from its ultrapower $A^{\mathcal{U}}$. This applies both to the case when $A$ is the hyperfinite II$_1$ factor and to the case when it is a strongly self-absorbing C*-algebra. In the latter case we prove analogous results for $\ell_\infty(A)/c_0(A)$ and reduced powers corresponding to other filters on $\bf N$. Examples of algebras with approximately inner flip and approximately inner half-flip are provided, showing the optimality of our results. We also prove that strongly self-absorbing algebras are smoothly classifiable, unlike the algebras with approximately inner half-flip. △ Less

Submitted 16 April, 2016; v1 submitted 18 February, 2015; originally announced February 2015.

Comments: Some minor corrections

Report number: CPH-SYM-DNRF92, SOAR-GMJT-01 MSC Class: 03C98; 46L05

When central sequence C*-algebras have characters

Authors: Eberhard Kirchberg, Mikael Rordam

Abstract: We investigate C*-algebras whose central sequence algebra has no characters, and we raise the question if such C*-algebras necessarily must absorb the Jiang-Su algebra (provided that they also are separable). We relate this question to a question of Dadarlat and Toms if the Jiang-Su algebra always embeds into the infinite tensor power of any unital C*-algebra without characters. We show that absen… ▽ More We investigate C*-algebras whose central sequence algebra has no characters, and we raise the question if such C*-algebras necessarily must absorb the Jiang-Su algebra (provided that they also are separable). We relate this question to a question of Dadarlat and Toms if the Jiang-Su algebra always embeds into the infinite tensor power of any unital C*-algebra without characters. We show that absence of characters of the central sequence algebra implies that the C*-algebra has the so-called strong Corona Factorization Property, and we use this result to exhibit simple nuclear separable unital C*-algebras whose central sequence algebra does admit a character. We show how stronger divisibility properties on the central sequence algebra imply stronger regularity properties of the underlying C*-algebra. △ Less

Submitted 28 November, 2014; v1 submitted 4 September, 2014; originally announced September 2014.

Comments: 28 pages

Report number: CPH-SYM-DNRF92 MSC Class: 46L35

Elementary amenable groups are quasidiagonal

Authors: Narutaka Ozawa, Mikael Rordam, Yasuhiko Sato

Abstract: We show that the group C*-algebra of any elementary amenable group is quasidiagonal. This is an offspring of recent progress in the classification theory of nuclear C*-algebras. We show that the group C*-algebra of any elementary amenable group is quasidiagonal. This is an offspring of recent progress in the classification theory of nuclear C*-algebras. △ Less

Submitted 22 September, 2014; v1 submitted 14 April, 2014; originally announced April 2014.

Comments: 8 pages, minor revisions. To appear in Geom. Funct. Anal

Report number: CPH-SYM-DNRF92 MSC Class: 46L05; 46L35; 22D25

Universal properties of group actions on locally compact spaces

Authors: Hiroki Matui, Mikael Rordam

Abstract: We study universal properties of locally compact G-spaces for countable infinite groups G. In particular we consider open invariant subsets of the β-compactification of G (which is a G-space in a natural way), and their minimal closed invariant subspaces. These are locally compact free G-spaces, and the latter are also minimal. We examine the properies of these G-spaces with emphasis on their univ… ▽ More We study universal properties of locally compact G-spaces for countable infinite groups G. In particular we consider open invariant subsets of the β-compactification of G (which is a G-space in a natural way), and their minimal closed invariant subspaces. These are locally compact free G-spaces, and the latter are also minimal. We examine the properies of these G-spaces with emphasis on their universal properties. As an example of our resuts, we use combinatorial methods to show that each countable infinite group admits a free minimal action on the locally compact non-compact Cantor set. △ Less

Submitted 6 December, 2014; v1 submitted 20 December, 2013; originally announced December 2013.

Comments: 42 pages

Report number: CPH-SYM-DNRF92 MSC Class: 43A07; 46L55; 22F05

Non-supramenable groups acting on locally compact spaces

Authors: Julian Kellerhals, Nicolas Monod, Mikael Rordam

Abstract: Supramenability of groups is characterised in terms of invariant measures on locally compact spaces. This opens the door to constructing interesting crossed product C*-algebras for non-supramenable groups. In particular, stable Kirchberg algebras in the UCT class are constructed using crossed products for both amenable and non-amenable groups. Supramenability of groups is characterised in terms of invariant measures on locally compact spaces. This opens the door to constructing interesting crossed product C*-algebras for non-supramenable groups. In particular, stable Kirchberg algebras in the UCT class are constructed using crossed products for both amenable and non-amenable groups. △ Less

Submitted 6 December, 2013; v1 submitted 23 May, 2013; originally announced May 2013.

Comments: Minor changes; to appear in Doc. Math

Report number: CPH-SYM-DNRF92

Central sequence C*-algebras and tensorial absorption of the Jiang-Su algebra

Authors: Eberhard Kirchberg, Mikael Rordam

Abstract: We study properties of the central sequence algebra of a C*-algebra, and we present an alternative approach to a recent result of Matui and Sato. They prove that every unital separable simple nuclear C*-algebra, whose trace simplex is finite dimensional, tensorially absorbs the Jiang-Su algebra if and only if it has the strict comparison property. We extend their result to the case where the extre… ▽ More We study properties of the central sequence algebra of a C*-algebra, and we present an alternative approach to a recent result of Matui and Sato. They prove that every unital separable simple nuclear C*-algebra, whose trace simplex is finite dimensional, tensorially absorbs the Jiang-Su algebra if and only if it has the strict comparison property. We extend their result to the case where the extreme boundary of the trace simplex is closed and of finite topological dimension. We are also able to relax the assumption on the C*-algebra of having the strict comparison property to a weaker property, that we call local weak comparison. Namely, we prove that a unital separable simple nuclear C*-algebra, whose trace simplex has finite dimensional closed extreme boundary, tensorially absorbs the Jiang-Su algebra if and only if it has the local weak comparison property. We can also eliminate the nuclearity assumption, if instead we assume the (SI) property of Matui and Sato, and, moreover, that each II_1-factor representation of the C*-algebra is a McDuff factor. △ Less

Submitted 7 June, 2013; v1 submitted 24 September, 2012; originally announced September 2012.

Comments: 41 pages. Third revised version. To appear in Journal fur die Reine und Angewandte Mathematik

Report number: CPH-SYM-00 MSC Class: 46L35

Divisibility properties for C*-algebras

Authors: Leonel Robert, Mikael Rordam

Abstract: We consider three notions of divisibility in the Cuntz semigroup of a C*-algebra, and show how they reflect properties of the C*-algebra. We develop methods to construct (simple and non-simple) C*-algebras with specific divisibility behaviour. As a byproduct of our investigations, we show that there exists a sequence $(A_n)$ of simple unital infinite dimensional C*-algebras such that the product… ▽ More We consider three notions of divisibility in the Cuntz semigroup of a C*-algebra, and show how they reflect properties of the C*-algebra. We develop methods to construct (simple and non-simple) C*-algebras with specific divisibility behaviour. As a byproduct of our investigations, we show that there exists a sequence $(A_n)$ of simple unital infinite dimensional C*-algebras such that the product $\prod_{n=1}^\infty A_n$ has a character. △ Less

Submitted 15 July, 2011; v1 submitted 27 June, 2011; originally announced June 2011.

Report number: CPH-SYM-00

The Cuntz Semigroup and Comparison of Open Projections

Authors: Eduard Ortega, Mikael Rordam, Hannes Thiel

Abstract: We show that a number of naturally occurring comparison relations on positive elements in a C*-algebra are equivalent to natural comparison properties of their corresponding open projections in the bidual of the C*-algebra. In particular we show that Cuntz comparison of positive elements corresponds to a comparison relation on open projections, that we call Cuntz comparison, and which is defined i… ▽ More We show that a number of naturally occurring comparison relations on positive elements in a C*-algebra are equivalent to natural comparison properties of their corresponding open projections in the bidual of the C*-algebra. In particular we show that Cuntz comparison of positive elements corresponds to a comparison relation on open projections, that we call Cuntz comparison, and which is defined in terms of-and is weaker than-a comparison notion defined by Peligrad and Zsidó. The latter corresponds to a well-known comparison relation on positive elements defined by Blackadar. We show that Murray-von Neumann comparison of open projections corresponds to tracial comparison of the corresponding positive elements of the C*-algebra. We use these findings to give a new picture of the Cuntz semigroup. △ Less

Submitted 20 August, 2010; originally announced August 2010.

Report number: CPH-SYM-00 MSC Class: 46L10; 46L35

Journal ref: J.Funct. Anal. 260 (2011), no. 12, 3474-3493

Purely infinite C*-algebras arising from crossed products

Authors: Mikael Rordam, Adam Sierakowski

Abstract: We study conditions that will ensure that a crossed product of a C*-algebra by a discrete exact group is purely infinite (simple or non-simple). We are particularly interested in the case of a discrete non-amenable exact group acting on a commutative C*-algebra, where our sufficient conditions can be phrased in terms of paradoxicality of subsets of the spectrum of the abelian C*-algebra. As an a… ▽ More We study conditions that will ensure that a crossed product of a C*-algebra by a discrete exact group is purely infinite (simple or non-simple). We are particularly interested in the case of a discrete non-amenable exact group acting on a commutative C*-algebra, where our sufficient conditions can be phrased in terms of paradoxicality of subsets of the spectrum of the abelian C*-algebra. As an application of our results we show that every discrete countable non-amenable exact group admits a free amenable minimal action on the Cantor set such that the corresponding crossed product C*-algebra is a Kirchberg algebra in the UCT class. △ Less

Submitted 27 October, 2010; v1 submitted 7 June, 2010; originally announced June 2010.

Comments: 22 pages, revised Remark 2.3 and the comments after Theorem 5.4

Report number: CPH-SYM-00 MSC Class: 46L05; 46L55; 46L35

Endomorphisms of O_n which preserve the canonical UHF-subalgebra

Authors: Roberto Conti, Mikael Rordam, Wojciech Szymanski

Abstract: Unital endomorphisms of the Cuntz algebra O_n which preserve the canonical UHF-subalgebra F_n of O_n are investigated. We give examples of such endomorphisms for which the associated unitary element in O_n does not belong to F_n. One such example, in the case where n=2, arises from a construction of a unital endomorphism on O_2 which preserves the canonical UHF-subalgebra and where the relative… ▽ More Unital endomorphisms of the Cuntz algebra O_n which preserve the canonical UHF-subalgebra F_n of O_n are investigated. We give examples of such endomorphisms for which the associated unitary element in O_n does not belong to F_n. One such example, in the case where n=2, arises from a construction of a unital endomorphism on O_2 which preserves the canonical UHF-subalgebra and where the relative commutant of the image in O_2 contains a copy of O_2. △ Less

Submitted 7 October, 2009; originally announced October 2009.

Comments: 1 figure, requires prepictex.tex, pictex.tex, postpictex.tex

MSC Class: 46L05

Journal ref: J. Funct. Anal. 259, 602-617 (2010)

The Corona Factorization Property and Refinement Monoids

Authors: Eduard Ortega, Francesc Perera, Mikael Rordam

Abstract: The Corona Factorization Property of a C*-algebra, originally defined to study extensions of C*-algebras, has turned out to say something important about intrinsic structural properties of the C*-algebra. We show in this paper that a σ-unital C*-algebra A of real rank zero has the Corona Factorization roperty if and only if its monoid V(A) of Murray-von Neumann equivalence classes of projections… ▽ More The Corona Factorization Property of a C*-algebra, originally defined to study extensions of C*-algebras, has turned out to say something important about intrinsic structural properties of the C*-algebra. We show in this paper that a σ-unital C*-algebra A of real rank zero has the Corona Factorization roperty if and only if its monoid V(A) of Murray-von Neumann equivalence classes of projections in matrix algebras over A has a certain (rather weak) comparability property that we call the Corona Factorization Property (for monoids). We show that a projection in such a C*-algebra is properly infinite if (and only if) a multiple of it is properly infinite. The latter result is obtained from some more general result we establish about conical refinement monoids. We show that the set of order units (together with the zero-element) in a conical refinement monoid is again a refinement monoid under the assumption that the monoid satisfies weak divisibility; and if u is an element in a refinement monoid such that nu is properly infinite, then u can be written as a sum u = s + t such that ns and nt are properly infinite. △ Less

Submitted 3 April, 2009; originally announced April 2009.

Report number: CPH-SYM-00 MSC Class: 46L35; 06F05

Journal ref: Trans. Amer. Math. Soc. 363 (2011), 4505-4525

The Corona Factorization property, Stability, and the Cuntz semigroup of a C*-algebra

Authors: Eduard Ortega, Francesc Perera, Mikael Rordam

Abstract: The Corona Factorization Property, originally invented to study extensions of C*-algebras, conveys essential information about the intrinsic structure of the C*-algebras. We show that the Corona Factorization Property of a σ-unital C*-algebra is completely captured by its Cuntz semigroup (of equivalence classes of positive elements in the stabilization of A). The corresponding condition in the Cun… ▽ More The Corona Factorization Property, originally invented to study extensions of C*-algebras, conveys essential information about the intrinsic structure of the C*-algebras. We show that the Corona Factorization Property of a σ-unital C*-algebra is completely captured by its Cuntz semigroup (of equivalence classes of positive elements in the stabilization of A). The corresponding condition in the Cuntz semigroup is a very weak comparability property termed the Corona Factorization Property for semigroups. Using this result one can for example show that all unital C*-algebras with finite decomposition rank have the Corona Factorization Property. Applying similar techniques we study the related question of when C*-algebras are stable. We give an intrinsic characterization, that we term property (S), of C*-algebras that have no non-zero unital quotients and no non-zero bounded 2-quasitraces. We then show that property (S) is equivalent to stability provided that the Cuntz semigroup of the C*-algebras satisfies another (also very weak) comparability property, that we call the ω-comparison property. △ Less

Submitted 7 June, 2010; v1 submitted 17 March, 2009; originally announced March 2009.

Comments: We have changed the title and have improved and added results

Report number: CPH-SYM-00 MSC Class: 16D70; 46L35

Journal ref: Int. Math. Res. Not. (2012) vol. 1, 34-66

Strongly Self-Absorbing C*-algebras which contain a nontrivial projection

Authors: Marius Dadarlat, Mikael Rordam

Abstract: It is shown that a strongly self-absorbing C*-algebra is of real rank zero and absorbs the Jiang-Su algebra if it contains a nontrivial projection. We also consider cases where the UCT is automatic for strongly self-absorbing C*-algebras, and K-theoretical ways of characterizing when Kirchberg algebras are strongly self-absorbing. It is shown that a strongly self-absorbing C*-algebra is of real rank zero and absorbs the Jiang-Su algebra if it contains a nontrivial projection. We also consider cases where the UCT is automatic for strongly self-absorbing C*-algebras, and K-theoretical ways of characterizing when Kirchberg algebras are strongly self-absorbing. △ Less

Submitted 23 February, 2009; originally announced February 2009.

Comments: 10 pages

Report number: CPH-SYM-00 MSC Class: 46L05; 46L35

Journal ref: Münster J. Math. 2 (2009), 35-44

The Jiang-Su algebra revisited

Authors: Mikael Rordam, Wilhelm Winter

Abstract: We give a number of new characterizations of the Jiang-Su algebra Z, both intrinsic and extrinsic, in terms of C*-algebraic, dynamical, topological and K-theoretic conditions. Along the way we study divisibility properties of C*-algebras, we give a precise characterization of those unital C*-algebras of stable rank one that admit a unital embedding of the dimension-drop C*-algebra Z_{n,n+1}, and… ▽ More We give a number of new characterizations of the Jiang-Su algebra Z, both intrinsic and extrinsic, in terms of C*-algebraic, dynamical, topological and K-theoretic conditions. Along the way we study divisibility properties of C*-algebras, we give a precise characterization of those unital C*-algebras of stable rank one that admit a unital embedding of the dimension-drop C*-algebra Z_{n,n+1}, and we prove a cancellation theorem for the Cuntz semigroup of C*-algebras of stable rank one. △ Less

Submitted 15 January, 2008; originally announced January 2008.

Comments: 22 pages

MSC Class: 46L05; 46L35

Properly infinite C(X)-algebras and K_1-injectivity

Authors: Etienne Blanchard, Randi Rohde, Mikael Rordam

Abstract: We investigate if a unital C(X)-algebra is properly infinite when all its fibres are properly infinite. We show that this question can be rephrased in several different ways, including the question if every unital properly infinite C*-algebra is K_1-injective. We provide partial answers to these questions, and we show that the general question on proper infiniteness of C(X)-algebras can be reduc… ▽ More We investigate if a unital C(X)-algebra is properly infinite when all its fibres are properly infinite. We show that this question can be rephrased in several different ways, including the question if every unital properly infinite C*-algebra is K_1-injective. We provide partial answers to these questions, and we show that the general question on proper infiniteness of C(X)-algebras can be reduced to establishing proper infiniteness of a specific C([0,1])-algebra with properly infinite fibres. △ Less

Submitted 12 April, 2007; originally announced April 2007.

Comments: 19 pages

MSC Class: 47L05

Journal ref: J. Noncommutative Geometry 2 (2008), no. 3, 263-282

C_0(X)-algebras, stability and strongly self-absorbing C*-algebras

Authors: Ilan Hirshberg, Mikael Rordam, Wilhelm Winter

Abstract: We study permanence properties of the classes of stable and so-called D-stable C*-algebras, respectively. More precisely, we show that a C_0(X)-algebra A is stable if all its fibres are, provided that the underlying compact metrizable space X has finite covering dimension or that the Cuntz semigroup of A is almost unperforated (a condition which is automatically satisfied for C*-algebras absorbi… ▽ More We study permanence properties of the classes of stable and so-called D-stable C*-algebras, respectively. More precisely, we show that a C_0(X)-algebra A is stable if all its fibres are, provided that the underlying compact metrizable space X has finite covering dimension or that the Cuntz semigroup of A is almost unperforated (a condition which is automatically satisfied for C*-algebras absorbing the Jiang--Su algebra Z tensorially). Furthermore, we prove that if D is a K_1-injective strongly self-absorbing C*-algebra, then A absorbs D tensorially if and only if all its fibres do, again provided that X is finite-dimensional. This latter statement generalizes results of Blanchard and Kirchberg. We also show that the condition on the dimension of X cannot be dropped. Along the way, we obtain a useful characterization of when a C*-algebra with weakly unperforated Cuntz semigroup is stable, which allows us to show that stability passes to extensions of Z-absorbing C*-algebras. △ Less

Submitted 10 October, 2006; originally announced October 2006.

Comments: 33 pages

MSC Class: 46L05

Purely infinite C*-algebras of real rank zero

Authors: Cornel Pasnicu, Mikael Rordam

Abstract: We show that a separable purely infinite C*-algebra is of real rank zero if and only if its primitive ideal space has a basis consisting of compact-open sets and the natural map K_0(I) -> K_0(I/J) is surjective for all closed two-sided ideals J contained in I in the C*-algebra. It follows in particular that if A is any separable C*-algebra, then A tensor O_2 is of real rank zero if and only if t… ▽ More We show that a separable purely infinite C*-algebra is of real rank zero if and only if its primitive ideal space has a basis consisting of compact-open sets and the natural map K_0(I) -> K_0(I/J) is surjective for all closed two-sided ideals J contained in I in the C*-algebra. It follows in particular that if A is any separable C*-algebra, then A tensor O_2 is of real rank zero if and only if the primitive ideal space of A has a basis of compact-open sets, which again happens if and only if A tensor O_2 has the ideal property, also known as property (IP). △ Less

Submitted 4 July, 2006; v1 submitted 15 June, 2006; originally announced June 2006.

Comments: 24 pages. Revised version. Two earlier versions were mixtures of old and new versions, and even worse, the bibliography was missing in version 2!

MSC Class: 46L35; 46L05; 46L80

Journal ref: J. Reine Angew. Math. 613 (2007), 51-73

Rank-two graphs whose C^*-algebras are direct limits of circle algebras

Authors: David Pask, Iain Raeburn, Mikael Rordam, Aidan Sims

Abstract: We describe a class of rank-2 graphs whose C^*-algebras are AT algebras. For a subclass which we call rank-2 Bratteli diagrams, we compute the K-theory of the C*-algebra. We identify rank-2 Bratteli diagrams whose C*-algebras are simple and have real-rank zero, and characterise the K-invariants achieved by such algebras. We give examples of rank-2 Bratteli diagrams whose C*-algebras contain as f… ▽ More We describe a class of rank-2 graphs whose C^*-algebras are AT algebras. For a subclass which we call rank-2 Bratteli diagrams, we compute the K-theory of the C*-algebra. We identify rank-2 Bratteli diagrams whose C*-algebras are simple and have real-rank zero, and characterise the K-invariants achieved by such algebras. We give examples of rank-2 Bratteli diagrams whose C*-algebras contain as full corners the irrational rotation algebras and the Bunce-Deddens algebras. △ Less

Submitted 12 December, 2005; originally announced December 2005.

Comments: 41 pages, uses pictex for figures

MSC Class: 46L05

Perturbation of Hausdorff moment sequences, and an application to the theory of C*-algebras of real rank zero

Authors: George A. Elliott, Mikael Rordam

Abstract: We investigate the class of unital C*-algebras that admit a unital embedding into every unital C*-algebra of real rank zero, that has no finite-dimensional quotients. We refer to a C*-algebra in this class as an initial object. We show that there are many initial objects, including for example some unital, simple, infinite-dimensional AF-algebras, the Jiang-Su algebra, and the GICAR-algebra. T… ▽ More We investigate the class of unital C*-algebras that admit a unital embedding into every unital C*-algebra of real rank zero, that has no finite-dimensional quotients. We refer to a C*-algebra in this class as an initial object. We show that there are many initial objects, including for example some unital, simple, infinite-dimensional AF-algebras, the Jiang-Su algebra, and the GICAR-algebra. That the GICAR-algebra is an initial object follows from an analysis of Hausdorff moment sequences. It is shown that a dense set of Hausdorff moment sequences belong to a given dense subgroup of the real numbers, and hence that the Hausdorff moment problem can be solved (in a non-trivial way) when the moments are required to belong to an arbitrary simple dimension group (i.e., unperforated simple ordered group with the Riesz decomposition property). △ Less

Submitted 11 February, 2005; originally announced February 2005.

Comments: 23 pages

MSC Class: 46L35; 46L80; 44A60

Journal ref: Operator Algebras, The Abel Symposium 2004. Springer Verlag (2006), pp. 97-115

The stable and the real rank of Z-absorbing C*-algebras

Authors: Mikael Rordam

Abstract: Suppose that A is a C*-algebra for which A is isomorphic to A tensor Z, where Z is the Jiang-Su algebra: a unital, simple, stably finite, separable, nuclear, infinite dimensional C*-algebra with the same Elliott invariant as the complex numbers. We show that: (i) The Cuntz semigroup W(A) of equivalence classes of positive elements in matrix algebras over A is weakly unperforated. (ii) If A i… ▽ More Suppose that A is a C*-algebra for which A is isomorphic to A tensor Z, where Z is the Jiang-Su algebra: a unital, simple, stably finite, separable, nuclear, infinite dimensional C*-algebra with the same Elliott invariant as the complex numbers. We show that: (i) The Cuntz semigroup W(A) of equivalence classes of positive elements in matrix algebras over A is weakly unperforated. (ii) If A is exact, then A is purely infinite if and only if A is traceless. (iii) If A is separable and nuclear, then A is isomorphic to A tensor O_infty if and only if A is traceless. (iv) If A is simple and unital, then the stable rank of A is one if and only if A is finite. We also characterise when A is of real rank zero. △ Less

Submitted 30 August, 2004; v1 submitted 2 August, 2004; originally announced August 2004.

Comments: 24 pages. Minor revisions August 2004. To appear in International J. Math

MSC Class: 46L35; 46L06; 19K14

Journal ref: International J. Math., 15, No. 10 (2004), 1065-1084

Purely infinite C*-algebras: ideal-preserving zero homotopies

Authors: Eberhard Kirchberg, Mikael Rordam

Abstract: We show that if A is a separable, nuclear, O_infty-absorbing (or strongly purely infinite) C*-algebra, which is homotopic to zero in an ideal-system preserving way, then A is the inductive limit of C*-algebras of the form M_k(C_0(G,v)), where G is a finite graph (and C_0(G,v) is the algebra of continuous functions on G that vanish at a distinguished point v in G). We show further that any sepa… ▽ More We show that if A is a separable, nuclear, O_infty-absorbing (or strongly purely infinite) C*-algebra, which is homotopic to zero in an ideal-system preserving way, then A is the inductive limit of C*-algebras of the form M_k(C_0(G,v)), where G is a finite graph (and C_0(G,v) is the algebra of continuous functions on G that vanish at a distinguished point v in G). We show further that any separable, nuclear, stable, O_2-absorbing C*-algebra is isomorphic to a crossed product of a C*-algebra D with the integers by an action alpha, where D is an inductive limit of C*-algebras of the form M_k(C_0(G,v)) (and D is O_2-absorbing and homotopic to zero in an ideal-system preserving way). △ Less

Submitted 15 December, 2003; originally announced December 2003.

Comments: 42 pages

MSC Class: 46L35; 46L05; 46L80

Journal ref: Geom. Funct. Anal., 15, No. 2, (2005), 377-415

AF-embeddings into C*-algebras of real rank zero

Authors: Francesc Perera, Mikael Rordam

Abstract: It is proved that every separable $C^*$-algebra of real rank zero contains an AF-sub-$C^*$-algebra such that the inclusion mapping induces an isomorphism of the ideal lattices of the two $C^*$-algebras and such that every projection in a matrix algebra over the large $C^*$-algebra is equivalent to a projection in a matrix algebra over the AF-sub-$C^*$-algebra. This result is proved at the level… ▽ More It is proved that every separable $C^*$-algebra of real rank zero contains an AF-sub-$C^*$-algebra such that the inclusion mapping induces an isomorphism of the ideal lattices of the two $C^*$-algebras and such that every projection in a matrix algebra over the large $C^*$-algebra is equivalent to a projection in a matrix algebra over the AF-sub-$C^*$-algebra. This result is proved at the level of monoids, using that the monoid of Murray-von Neumann equivalence classes of projections in a $C^*$-algebra of real rank zero has the refinement property. As an application of our result, we show that given a unital $C^*$-algebra $A$ of real rank zero and a natural number $n$, then there is a unital $^*$-homomorphism $M_{n_1} \oplus ... \oplus M_{n_r} \to A$ for some natural numbers $r,n_1, ...,n_r$ with $n_j \ge n$ for all $j$ if and only if $A$ has no representation of dimension less than $n$. △ Less

Submitted 21 October, 2003; originally announced October 2003.

Comments: 28 pages

MSC Class: 46L05; 46L80; 46L35 (Primary); 06F05 (Secondary)

A purely infinite AH-algebra and an application to AF-embeddability

Authors: Mikael Rordam

Abstract: We show that there exists a purely infinite AH-algebra. The AH-algebra arises as an inductive limit of C*-algebras of the form C_0([0,1),M_k) and it absorbs the Cuntz algebra O_\infty tensorially. Thus one can reach an O_\infty-absorbing C*-algebra as an inductive limit of the finite and elementary C*-algebras C_0([0,1),M_k). As an application we give a new proof of a recent theorem of Ozawa t… ▽ More We show that there exists a purely infinite AH-algebra. The AH-algebra arises as an inductive limit of C*-algebras of the form C_0([0,1),M_k) and it absorbs the Cuntz algebra O_\infty tensorially. Thus one can reach an O_\infty-absorbing C*-algebra as an inductive limit of the finite and elementary C*-algebras C_0([0,1),M_k). As an application we give a new proof of a recent theorem of Ozawa that the cone over any separable exact C*-algebra is AF-embeddable, and we exhibit a concrete AF-algebra into which this class of C*-algebras can be embedded. △ Less

Submitted 2 January, 2004; v1 submitted 28 May, 2002; originally announced May 2002.

Comments: 20 pages, revised January 2004, to appear in Israel J. Math

MSC Class: 46L05; 46L35; 19K14

Journal ref: Israel J. Math. 141 (2004), 61-82

A simple C*-algebra with a finite and an infinite projection

Authors: Mikael Rordam

Abstract: An example is given of a simple, unital C*-algebra which contains an infinite and a non-zero finite projection. This C*-algebra is also an example of an infinite simple C*-algebra which is not purely infinite. A corner of this C*-algebra is a finite, simple, unital C*-algebra which is not stably finite. Our example shows that the type decomposition for von Neumann factors does not carry over t… ▽ More An example is given of a simple, unital C*-algebra which contains an infinite and a non-zero finite projection. This C*-algebra is also an example of an infinite simple C*-algebra which is not purely infinite. A corner of this C*-algebra is a finite, simple, unital C*-algebra which is not stably finite. Our example shows that the type decomposition for von Neumann factors does not carry over to simple C*-algebras. Added March 2002: We also give an example of a simple, separable, nuclear C*-algebra in the UCT class which contains an infinite and a non-zero finite projection. This nuclear C*-algebra arises as a crossed product of an inductive limit of type I C*-algebras by an action of the integers. △ Less

Submitted 28 August, 2002; v1 submitted 29 April, 2002; originally announced April 2002.

Comments: Revised version (contains a nuclear example), revised again August 2002

MSC Class: 47L05; 47L35

Journal ref: Acta Math. 191 (2003), 109-142

Real rank and squaring mapping for unital C*-algebras

Authors: A. Chigogidze, A. Karasev, M. Rordam

Abstract: It is proved that if X is a compact Hausdorff space of Lebesgue dimension $\dim(X)$, then the squaring mapping $α_{m} \colon (C(X)_{\mathrm{sa}})^{m} \to C(X)_{+}$, defined by $α_{m}(f_{1},..., f_{m}) = \sum_{i=1}^{m} f_{i}^{2}$, is open if and only if $m -1 \ge \dim(X)$. Hence the Lebesgue dimension of X can be detected from openness of the squaring maps $α_m$. In the case m=1 it is proved that… ▽ More It is proved that if X is a compact Hausdorff space of Lebesgue dimension $\dim(X)$, then the squaring mapping $α_{m} \colon (C(X)_{\mathrm{sa}})^{m} \to C(X)_{+}$, defined by $α_{m}(f_{1},..., f_{m}) = \sum_{i=1}^{m} f_{i}^{2}$, is open if and only if $m -1 \ge \dim(X)$. Hence the Lebesgue dimension of X can be detected from openness of the squaring maps $α_m$. In the case m=1 it is proved that the map $x \mapsto x^2$, from the self-adjoint elements of a unital $C^{\ast}$-algebra A into its positive elements, is open if and only if A is isomorphic to C(X) for some compact Hausdorff space X with $\dim(X)=0$. △ Less

Submitted 22 January, 2002; originally announced January 2002.

MSC Class: 46L05; 46L85

Projections in free product C*-algebras, II

Authors: Ken Dykema, Mikael Rordam

Abstract: Let (A,phi) be the reduced free product of infinitely many pairs (A_i,phi_i) of C*-algebras with faithful states. Assume that the A_i are not too small, in a specific sense. It is shown that if phi is a trace then K_0(A) is determined entirely by K_0(phi). If, furthermore, the image of K_0(phi) is dense in the reals then A has real rank zero. On the other hand, if phi is not a trace then A is si… ▽ More Let (A,phi) be the reduced free product of infinitely many pairs (A_i,phi_i) of C*-algebras with faithful states. Assume that the A_i are not too small, in a specific sense. It is shown that if phi is a trace then K_0(A) is determined entirely by K_0(phi). If, furthermore, the image of K_0(phi) is dense in the reals then A has real rank zero. On the other hand, if phi is not a trace then A is simple and purely infinite. △ Less

Submitted 2 November, 1999; originally announced November 1999.

MSC Class: 46L05; 46L35

Journal ref: Math. Z. 234 (2000) pp. 103-113

Projections in free product C*-algebras

Authors: Kenneth J. Dykema, Mikael Rordam

Abstract: Consider the reduced free product of C*-algebras, (A,φ)=(A_1,φ_1)*(A_2,φ_2), with respect to states φ_1 and φ_2 that are faithful. If φ_1 and φ_2 are traces, if the so-called Avitzour conditions are satisfied, (i.e. A_1 and A_2 are not ``too small'' in a specific sense) and if A_1 and A_2 are nuclear, then it is shown that the positive cone of the K_0-group of A consists of those elements g in K… ▽ More Consider the reduced free product of C*-algebras, (A,φ)=(A_1,φ_1)*(A_2,φ_2), with respect to states φ_1 and φ_2 that are faithful. If φ_1 and φ_2 are traces, if the so-called Avitzour conditions are satisfied, (i.e. A_1 and A_2 are not ``too small'' in a specific sense) and if A_1 and A_2 are nuclear, then it is shown that the positive cone of the K_0-group of A consists of those elements g in K_0(A) for which g=0 or K_0(φ)(g)>0. Thus, the ordered group K_0(A) is weakly unperforated. If, on the other hand, φ_1 or φ_2 is not a trace and if a certain condition weaker than the Avitzour conditions hold, then A is properly infinite. △ Less

Submitted 17 February, 1997; originally announced February 1997.

MSC Class: 46L80 (19K14; 46L05; 46L35)

The stable rank of some free product C*-algebras

Authors: Ken Dykema, Uffe Haagerup, Mikael Rordam

Abstract: It is proved that the reduced group C*-algebra C*_{red}(G) has stable rank one (i.e. its group of invertible elements is a dense subset) if G is a discrete group arising as a free product G_1*G_2 where |G_1|>=2 and |G_2|>=3. This follows from a more general result where it is proved that if (A,tau) is the reduced free product of a family (A_i,tau_i), i\in I, of unital C*-algebras A_i with normal… ▽ More It is proved that the reduced group C*-algebra C*_{red}(G) has stable rank one (i.e. its group of invertible elements is a dense subset) if G is a discrete group arising as a free product G_1*G_2 where |G_1|>=2 and |G_2|>=3. This follows from a more general result where it is proved that if (A,tau) is the reduced free product of a family (A_i,tau_i), i\in I, of unital C*-algebras A_i with normalized faithful traces tau_i, and if the family satisfies the Avitzour condition (i.e. the traces, tau_i, are not too lumpy in a specific sense), then A has stable rank one. △ Less

Submitted 12 September, 1996; v1 submitted 9 August, 1996; originally announced August 1996.

Comments: 30 pages, Latex. This revision includes an extra section where the special case of the reduced C*-algebra of the free group on two generators is considered separately. This has the advantage of making the main ideas more transparent

Purely infinite simple $C^*$-algebras arising from free product constructions

Authors: Kenneth J. Dykema, Mikael Rordam

Abstract: Examples of simple, separable, unital, purely infinite $C^*$--algebras are constructed, including: (1) some that are not approximately divisible; (2) those that arise as crossed products of any of a certain class of $C^*$--algebras by any of a certain class of non--unital endomorphisms; (3) those that arise as reduced free products of pairs of $C^*$--algebras with respect to any from a certai… ▽ More Examples of simple, separable, unital, purely infinite $C^*$--algebras are constructed, including: (1) some that are not approximately divisible; (2) those that arise as crossed products of any of a certain class of $C^*$--algebras by any of a certain class of non--unital endomorphisms; (3) those that arise as reduced free products of pairs of $C^*$--algebras with respect to any from a certain class of states. △ Less

Submitted 23 January, 1996; originally announced January 1996.

Comments: 22 pages, AMS-tex

Report number: 1995-32