Showing 1–50 of 70 results for author: Phillips, N C

Simple AH algebras with the same Elliott invariant and radius of comparison

Authors: Ilan Hirshberg, N. Christopher Phillips

Abstract: We construct an uncountable family of pairwise nonisomorphic AH algebras with the same Elliott invariant and same radius of comparison. They can be distinguished by a local radius of comparison function, naturally defined on the positive cone of the K_0 group. We construct an uncountable family of pairwise nonisomorphic AH algebras with the same Elliott invariant and same radius of comparison. They can be distinguished by a local radius of comparison function, naturally defined on the positive cone of the K_0 group. △ Less

Submitted 2 July, 2024; v1 submitted 18 December, 2023; originally announced December 2023.

Comments: 34 pages; added some details and corrected misprints

MSC Class: Primary 46L35; Secondary 46L80

Minimal dynamical systems on prime C*-algebras

Authors: Eberhard Kirchberg, N. Christopher Phillips

Abstract: We give a number of examples of exotic actions of locally compact groups on separable nuclear C*-algebras. In particular, we give examples of the following: (1) Minimal effective actions of ${\mathbb{Z}}$ and $F_n$ on unital nonsimple prime AF algebras. (2) For any second countable noncompact locally compact group, a minimal effective action on a separable nuclear nonsimple prime C*-algebra.… ▽ More We give a number of examples of exotic actions of locally compact groups on separable nuclear C*-algebras. In particular, we give examples of the following: (1) Minimal effective actions of ${\mathbb{Z}}$ and $F_n$ on unital nonsimple prime AF algebras. (2) For any second countable noncompact locally compact group, a minimal effective action on a separable nuclear nonsimple prime C*-algebra. (3) For any amenable second countable noncompact locally compact group, a minimal effective action on a separable nuclear nonsimple prime C*-algebra (unital when the group is ${\mathbb{Z}}$ or ${\mathbb{R}}$) such that the crossed product is $K \otimes {\mathcal{O}}_2$ (${\mathcal{O}}_2$ when the group is ${\mathbb{Z}}$). (4) For any second countable locally compact abelian group which is not discrete, an action on $K \otimes {\mathcal{O}}_2$ such that the crossed product is a nonsimple prime C*-algebra. In most of these situations, we can specify the primitive ideal space of the C*-algebra (of the crossed product in the last item) within a class of spaces. △ Less

Submitted 6 December, 2023; originally announced December 2023.

Comments: This paper was nearly done about 10 years ago, but was pushed aside under the press of other projects, and then forgotten. It is now being posted, after Kirchberg's death. The key preprint of Harnisch and Kirchberg was never published and has disappeared from the website of the Universitaet Muenster. It is temporarily at: https://pages.uoregon.edu/ncp/Research/Misc/heft399.pdf

MSC Class: 46L

The radius of comparison of $C (X)$

Authors: N. Christopher Phillips

Abstract: Let X be a compact Hausdorff space. Then the radius of comparison rc ( C (X)) is related to the covering dimension dim (X) by rc ( C (X)) \geq [ dim (X) - 7 ] / 2. Except for the additive constant, this improves a result of Elliott and Niu, who proved that if X is metrizable then rc (C (X)) \geq [ dim_{\mathbb{Q}} (X) - 4 ] / 2. There are compact metric spaces X for which the estimate of E… ▽ More Let X be a compact Hausdorff space. Then the radius of comparison rc ( C (X)) is related to the covering dimension dim (X) by rc ( C (X)) \geq [ dim (X) - 7 ] / 2. Except for the additive constant, this improves a result of Elliott and Niu, who proved that if X is metrizable then rc (C (X)) \geq [ dim_{\mathbb{Q}} (X) - 4 ] / 2. There are compact metric spaces X for which the estimate of Elliott and Niu gives no information, but for which rc ( C (X)) is infinite or has arbitrarily large finite values. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Comments: AMSLaTeX; 8 pages

MSC Class: 46L80

Values of Rokhlin dimension for actions of compact groups

Authors: Ilan Hirshberg, N. Christopher Phillips

Abstract: We show that any finite group admits actions on simple AF algebras with unique trace which have arbitrarily large finite values of Rokhlin dimension with commuting towers. We show similar results for actions of compact Lie groups, with AH algebras with no dimension growth in place of AF algebras. We also relate Rokhlin dimension to the G-index for actions of compact Lie groups on commutative C*-al… ▽ More We show that any finite group admits actions on simple AF algebras with unique trace which have arbitrarily large finite values of Rokhlin dimension with commuting towers. We show similar results for actions of compact Lie groups, with AH algebras with no dimension growth in place of AF algebras. We also relate Rokhlin dimension to the G-index for actions of compact Lie groups on commutative C*-algebras. △ Less

Submitted 27 July, 2023; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: 22 pages. Added a reference

MSC Class: 46L40

Group actions on simple tracially $\mathcal{Z}$-absorbing C*-algebras

Authors: Massoud Amini, Nasser Golestani, Saeid Jamali, N. Christopher Phillips

Abstract: We show that if $A$ is a simple (not necessarily unital) tracially $\mathcal{Z}$-absorbing C*-algebra and $α\colon G \to \mathrm{Aut} (A)$ is an action of a finite group $G$ on $A$ with the weak tracial Rokhlin property, then the crossed product $C^*(G, A,α)$ and the fixed point algebra $A^α$ are simple and tracially $\mathcal{Z}$-absorbing, and they are $\mathcal{Z}$-stable if, in addition, $A$ i… ▽ More We show that if $A$ is a simple (not necessarily unital) tracially $\mathcal{Z}$-absorbing C*-algebra and $α\colon G \to \mathrm{Aut} (A)$ is an action of a finite group $G$ on $A$ with the weak tracial Rokhlin property, then the crossed product $C^*(G, A,α)$ and the fixed point algebra $A^α$ are simple and tracially $\mathcal{Z}$-absorbing, and they are $\mathcal{Z}$-stable if, in addition, $A$ is separable and nuclear. The same conclusion holds for all intermediate C*-algebras of the inclusions $A^α\subseteq A$ and $A \subseteq C^*(G, A,α)$. We prove that if $A$ is a simple tracially $\mathcal{Z}$-absorbing C*-algebra, then, under a finiteness condition, the permutation action of the symmetric group $S_m$ on the minimal $m$-fold tensor product of $A$ has the weak tracial Rokhlin property. We define the weak tracial Rokhlin property for automorphisms of simple C*-algebras and we show that -- under a mild assumption -- (tracial) $\mathcal{Z}$-absorption is preserved under crossed products by such automorphisms. △ Less

Submitted 21 April, 2022; v1 submitted 7 April, 2022; originally announced April 2022.

Comments: 42 pages, a new main result is added (Corollary C)

MSC Class: 46L55; 46L40; 46L05

Compact Group Actions with the Tracial Rokhlin Property

Authors: Javad Mohammadkarimi, N. Christopher Phillips

Abstract: We define a "tracial" analog of the Rokhlin property for actions of second countable compact groups on infinite dimensional simple separable unital C*-algebras. We prove that fixed point algebras under such actions (and, in the appropriate cases, crossed products by such actions) preserve simplicity, Property (SP), tracial rank zero, tracial rank at most one, the Popa property, tracial Jiang-Su st… ▽ More We define a "tracial" analog of the Rokhlin property for actions of second countable compact groups on infinite dimensional simple separable unital C*-algebras. We prove that fixed point algebras under such actions (and, in the appropriate cases, crossed products by such actions) preserve simplicity, Property (SP), tracial rank zero, tracial rank at most one, the Popa property, tracial Jiang-Su stability, Jiang-Su stability when the algebra is nuclear, infiniteness, and pure infiniteness. We also show that the radius of comparison of the fixed point algebra is no larger than that of the original algebra. Our version of the tracial Rokhlin property is an exact generalization of the tracial Rokhlin property for actions of finite groups on classifiable C*-algebras (in the sense of the Elliott program), but for actions of finite groups on more general C*-algebras it may be stronger. We discuss several alternative versions of the tracial Rokhlin property. We give examples of actions of a totally disconnected infinite compact group on a UHF algebra, and of the circle group on a simple unital AT algebra and on the Cuntz algebra ${\mathcal{O}}_{\infty}$, which have our version of the tracial Rokhlin property, but do not have the Rokhlin property, or even finite Rokhlin dimension with commuting towers. △ Less

Submitted 16 June, 2022; v1 submitted 23 October, 2021; originally announced October 2021.

Comments: 86 pages; AMSLaTeX. This revision adds an example of an action of circle group on the Cuntz algebra ${\mathcal{O}}_{\infty}$. Some misprints have been corrected

MSC Class: 46L55 (primary)

Simple tracially $\mathcal{Z}$-absorbing C*-algebras

Authors: Massoud Amini, Nasser Golestani, Saeid Jamali, N. Christopher Phillips

Abstract: We define a notion of tracial $\mathcal{Z}$-absorption for simple not necessarily unital C*-algebras, study it systematically, and prove its permanence properties. This extends the notion defined by Hirshberg and Orovitz for unital C*-algebras. The Razak-Jacelon algebra, simple C*-algebras with tracial rank zero, and simple purely infinite C*-algebras are tracially $\mathcal{Z}$-absorbing. We obta… ▽ More We define a notion of tracial $\mathcal{Z}$-absorption for simple not necessarily unital C*-algebras, study it systematically, and prove its permanence properties. This extends the notion defined by Hirshberg and Orovitz for unital C*-algebras. The Razak-Jacelon algebra, simple C*-algebras with tracial rank zero, and simple purely infinite C*-algebras are tracially $\mathcal{Z}$-absorbing. We obtain the first purely infinite examples of tracially $\mathcal{Z}$-absorbing C*-algebras which are not $\mathcal{Z}$-absorbing. We use techniques from reduced free products of von~Neumann algebras to construct these examples. A stably finite example was given by Z. Niu and Q. Wang in 2021. We study the Cuntz semigroup of a simple tracially $\mathcal{Z}$-absorbing C*-algebra and prove that it is almost unperforated and the algebra is weakly almost divisible. △ Less

Submitted 24 March, 2022; v1 submitted 11 September, 2021; originally announced September 2021.

Comments: 46 pages. Some misprints are fixed. Some references to 2108.08970v2 and 2101.07900v1 are added

MSC Class: 46L55; 46L80

The SHAI property for the operators on L^p

Authors: William B. Johnson, N. Christopher Phillips, Gideon Schechtman

Abstract: A Banach space X has the SHAI (surjective homomorphisms are injective) property provided that for every Banach space Y, every continuous surjective algebra homomorphism from the bounded linear operators on X onto the bounded linear operators on Y is injective. The main result gives a sufficient condition for X to have the SHAI property. The condition is satisfied for L^p (0, 1) for 1 < p < \infty,… ▽ More A Banach space X has the SHAI (surjective homomorphisms are injective) property provided that for every Banach space Y, every continuous surjective algebra homomorphism from the bounded linear operators on X onto the bounded linear operators on Y is injective. The main result gives a sufficient condition for X to have the SHAI property. The condition is satisfied for L^p (0, 1) for 1 < p < \infty, spaces with symmetric bases that have finite cotype, and the Schatten p-spaces for 1 < p < \infty. △ Less

Submitted 7 February, 2021; originally announced February 2021.

Comments: LaTeX; 14 pages

MSC Class: 47L20; 46E30

Radius of comparison and mean cohomological independence dimension

Authors: Ilan Hirshberg, N. Christopher Phillips

Abstract: We introduce a notion of mean cohomological independence dimension for actions of discrete amenable groups on compact metrizable spaces, as a variant of mean dimension, and use it to obtain lower bounds for the radius of comparison of the associated crossed product C*-algebras. Our general theory gives the following for the minimal subshifts constructed by Dou in 2017. Let G be a countable amenabl… ▽ More We introduce a notion of mean cohomological independence dimension for actions of discrete amenable groups on compact metrizable spaces, as a variant of mean dimension, and use it to obtain lower bounds for the radius of comparison of the associated crossed product C*-algebras. Our general theory gives the following for the minimal subshifts constructed by Dou in 2017. Let G be a countable amenable group, let Z be a polyhedron, and let T be Dou's subshift of Z^G (which also depends on a density parameter). Then the radius of comparison of the crossed product is greater than r (1/2) mdim (T) - 2, in which r depends on the density parameter and is close to 1 when the density parameter is close to 1. If Z is even dimensional and has nonvanishing rational cohomology in degree dim (Z), then the radius of comparison of the crossed product is greater than (1/2) mdim (T) - 1, regardless of what the density parameter is. △ Less

Submitted 27 September, 2020; originally announced September 2020.

Comments: AMSLaTeX; 27 pages

MSC Class: 46L05; 46L55; 54H20 (primary); 37B05; 46L80 (secondary)

The structure of crossed products by automorphisms of $C (X, D)$

Authors: Dawn Archey, Julian Buck, N. Christopher Phillips

Abstract: We construct centrally large subalgebras in crossed products of $C (X, D)$ by automorphisms in which $D$ is simple, $X$ is compact metrizable, the automorphism induces a minimal homeomorphism of $X$, and a mild technical assumption holds. We use this construction to prove structural properties of the crossed product, such as (tracial) $Z$-stability, stable rank one, real rank zero, and pure infini… ▽ More We construct centrally large subalgebras in crossed products of $C (X, D)$ by automorphisms in which $D$ is simple, $X$ is compact metrizable, the automorphism induces a minimal homeomorphism of $X$, and a mild technical assumption holds. We use this construction to prove structural properties of the crossed product, such as (tracial) $Z$-stability, stable rank one, real rank zero, and pure infiniteness, in a number of examples. Our examples are not accessible via methods based on finite Rokhlin dimension, either because $D$ is not $Z$-stable or because $X$ is infinite dimensional. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Comments: 45 pages; AMSLaTeX

MSC Class: 46L40; 46L55 (primary); 46L36 (secondary)

Simplicity of reduced group Banach algebras

Authors: N. Christopher Phillips

Abstract: Let G be a discrete group. Suppose that the reduced group C*-algebra of G is simple. We use results of Kalantar-Kennedy and Haagerup, and Banach space interpolation, to prove that, for p in (1,infinity), the reduced group L^p operator algebra F^p_r(G) and its *-analog B^{p,*}_r(G) are simple. If G is countable, we prove that the Banach algebras generated by the left regular representations on refl… ▽ More Let G be a discrete group. Suppose that the reduced group C*-algebra of G is simple. We use results of Kalantar-Kennedy and Haagerup, and Banach space interpolation, to prove that, for p in (1,infinity), the reduced group L^p operator algebra F^p_r(G) and its *-analog B^{p,*}_r(G) are simple. If G is countable, we prove that the Banach algebras generated by the left regular representations on reflexive Orlicz sequence spaces and certain Lorentz sequence spaces are also simple. We prove analogous results with simplicity replaced by the unique trace property. For use in the Orlicz sequence space case, we prove that if p is in (1,infinity), then any reflexive Orlicz sequence space is isomorphic (not necessarily isometrically) to a space gotten by interpolation between l^p and some other Orlicz sequence space. △ Less

Submitted 25 September, 2019; originally announced September 2019.

Comments: AMSLaTeX; 25 pages

MSC Class: 22D15; 46H20 (primary); 22D12; 43A15 (secondary)

A simple nuclear C*-algebra with an internal asymmetry

Authors: Ilan Hirshberg, N. Christopher Phillips

Abstract: We construct an example of a simple approximately homogeneous C*-algebra such that its Elliott invariant admits an automorphism which is not induced by an automorphism of the algebra. We construct an example of a simple approximately homogeneous C*-algebra such that its Elliott invariant admits an automorphism which is not induced by an automorphism of the algebra. △ Less

Submitted 7 February, 2021; v1 submitted 24 September, 2019; originally announced September 2019.

Comments: AMSLaTeX; 34 pages. In version 2, various misprints have been fixed, and a conceptually minor but messy correction has been made to the proof of the main theorem

MSC Class: 46L35; 46L40 (primary); 19K14; 46L80 (secondary)

Journal ref: Analysis & PDE 16 (2023) 711-745

The Cuntz semigroup and the radius of comparison of the crossed product by a finite group

Authors: M. Ali Asadi-Vasfi, Nasser Golestani, N. Christopher Phillips

Abstract: Let G be a finite group, let A be an infinite-dimensional stably finite simple unital C*-algebra, and let α\colon G \to Aut (A) be an action of G on A which has the weak tracial Rokhlin property. Let A^α be the fixed point algebra. Then the radius of comparison satisfies rc (A^α) \leq rc (A) and rc ( C* (G, A, α) ) \leq ( 1 / card (G) ) rc (A). The inclusion of A^α in A induces an isomorphism from… ▽ More Let G be a finite group, let A be an infinite-dimensional stably finite simple unital C*-algebra, and let α\colon G \to Aut (A) be an action of G on A which has the weak tracial Rokhlin property. Let A^α be the fixed point algebra. Then the radius of comparison satisfies rc (A^α) \leq rc (A) and rc ( C* (G, A, α) ) \leq ( 1 / card (G) ) rc (A). The inclusion of A^α in A induces an isomorphism from the purely positive part of the Cuntz semigroup Cu (A^α) to the fixed points of the purely positive part of Cu (A), and the purely positive part of Cu ( C* (G, A, α) ) is isomorphic to this semigroup. We construct an example in which G is the two element group, A is a simple unital AH algebra, αhas the Rokhlin property, rc (A) > 0, rc (A^α) = rc (A), and rc (C* (G, A, α)) = (1/2) rc (A). △ Less

Submitted 17 August, 2019; originally announced August 2019.

Comments: 48 pages

MSC Class: 46L55 (primary); 19K14; 46L80 (secondary)

L^p operator algebras with approximate identities I

Authors: David P. Blecher, N. Christopher Phillips

Abstract: We initiate an investigation into how much the existing theory of (nonselfadjoint) operator algebras on a Hilbert space generalizes to algebras acting on L^p spaces. In particular we investigate the applicability of the theory of real positivity, which has recently been useful in the study of L^2-operator algebras and Banach algebras, to algebras of bounded operators on Lp spaces. We initiate an investigation into how much the existing theory of (nonselfadjoint) operator algebras on a Hilbert space generalizes to algebras acting on L^p spaces. In particular we investigate the applicability of the theory of real positivity, which has recently been useful in the study of L^2-operator algebras and Banach algebras, to algebras of bounded operators on Lp spaces. △ Less

Submitted 19 May, 2019; v1 submitted 12 February, 2018; originally announced February 2018.

Comments: 46 pages, Material from this paper and its sequel were presented at 2017 conferences in Houston (August), the East Coast Operator Algebras Symposium, and the SAMS congress. To appear Pacific J Math

Journal ref: Pacific J. Math. 303 (2019) 401-457

Relating properties of crossed products to those of fixed point algebras

Authors: Cornel Pasnicu, N. Christopher Phillips

Abstract: For a number of properties of C*-algebras, including real rank zero, stable rank one, pure infiniteness, residual hereditary infiniteness, the combination of pure infiniteness and the ideal property, the property of being an AT algebra with real rank zero, and stability under tensoring with a strongly selfabsorbing C*-algebra, we prove the following. Consider an arbitrary action of a second counta… ▽ More For a number of properties of C*-algebras, including real rank zero, stable rank one, pure infiniteness, residual hereditary infiniteness, the combination of pure infiniteness and the ideal property, the property of being an AT algebra with real rank zero, and stability under tensoring with a strongly selfabsorbing C*-algebra, we prove the following. Consider an arbitrary action of a second countable compact abelian group on a separable C*-algebra. Then the fixed point algebra under the action has the given property if and only if the crossed product has the same property. △ Less

Submitted 1 October, 2017; originally announced October 2017.

Comments: AMSLaTeX; 14 pages

MSC Class: 46L55

Classification of $L^p$ AF algebras

Authors: N. Christopher Phillips, Maria Grazia Viola

Abstract: We define spatial $L^p$ AF algebras for $p \in [1, \infty) \setminus \{ 2 \}$, and prove the following analog of the Elliott AF algebra classification theorem. If $A$ and $B$ are spatial $L^p$ AF algebras, then the following are equivalent: 1) $A$ and $B$ have isomorphic scaled preordered $K_0$-groups. 2) $A \cong B$ as rings. 3) $A \cong B$ (not necessarily isometrically) as Banach algebras. 4)… ▽ More We define spatial $L^p$ AF algebras for $p \in [1, \infty) \setminus \{ 2 \}$, and prove the following analog of the Elliott AF algebra classification theorem. If $A$ and $B$ are spatial $L^p$ AF algebras, then the following are equivalent: 1) $A$ and $B$ have isomorphic scaled preordered $K_0$-groups. 2) $A \cong B$ as rings. 3) $A \cong B$ (not necessarily isometrically) as Banach algebras. 4) $A$ is isometrically isomorphic to $B$ as Banach algebras. 5) $A$ is completely isometrically isomorphic to $B$ as matrix normed Banach algebra. As background, we develop the theory of matrix normed $L^p$ operator algebras, and show that there is a unique way to make a spatial $L^p$ AF algebra into a matrix normed $L^p$ operator algebra. We also show that any countable scaled Riesz group can be realized as the scaled preordered $K_0$-group of a spatial $L^p$ AF algebra. △ Less

Submitted 6 October, 2017; v1 submitted 28 July, 2017; originally announced July 2017.

Comments: 42 pages, added one comment to previous version of article

MSC Class: 47L10; 46L35

Centrally Large Subalgebras and Tracial ${\mathcal{Z}}$-Absorption

Authors: Dawn Archey, Julian Buck, N. Christopher Phillips

Abstract: Let $A$ be a simple infinite dimensional stably finite unital C*-algebra, and let $B$ be a centrally large subalgebra of $A$. We prove that if $A$ is tracially ${\mathcal{Z}}$-absorbing if and only if $B$ is tracially ${\mathcal{Z}}$-absorbing. If $A$ and $B$ are also separable and nuclear, we prove that $A$ is ${\mathcal{Z}}$-absorbing if and only if $B$ is ${\mathcal{Z}}$-absorbing. Let $A$ be a simple infinite dimensional stably finite unital C*-algebra, and let $B$ be a centrally large subalgebra of $A$. We prove that if $A$ is tracially ${\mathcal{Z}}$-absorbing if and only if $B$ is tracially ${\mathcal{Z}}$-absorbing. If $A$ and $B$ are also separable and nuclear, we prove that $A$ is ${\mathcal{Z}}$-absorbing if and only if $B$ is ${\mathcal{Z}}$-absorbing. △ Less

Submitted 20 August, 2016; originally announced August 2016.

Comments: 15 pages

MSC Class: 46L

The C*-algebra of a minimal homeomorphism with finite mean dimension has finite radius of comparison

Authors: N. Christopher Phillips

Abstract: Let $X$ be an infinite compact metric space and let $h$ be a minimal homeomorphism of $X$. We prove that the radius of comparison of the transformation group C*-algebra of $h$ is at most $1$ plus $36$ times the mean dimension of $h$. Let $X$ be an infinite compact metric space and let $h$ be a minimal homeomorphism of $X$. We prove that the radius of comparison of the transformation group C*-algebra of $h$ is at most $1$ plus $36$ times the mean dimension of $h$. △ Less

Submitted 25 May, 2016; originally announced May 2016.

Comments: 36 pages; AMSLaTeX

MSC Class: 46L55; 37B05; 46L40; 54H20

Simple nuclear C*-algebras not equivariantly isomorphic to their opposites

Authors: Marius Dadarlat, Ilan Hirshberg, N. Christopher Phillips

Abstract: We exhibit examples of simple separable nuclear C*-algebras, along with actions of the circle group and outer actions of the integers, which are not equivariantly isomorphic to their opposite algebras. In fact, the fixed point subalgebras are not isomorphic to their opposites. The C*-algebras we exhibit are well behaved from the perspective of structure and classification of nuclear C*-algebras: t… ▽ More We exhibit examples of simple separable nuclear C*-algebras, along with actions of the circle group and outer actions of the integers, which are not equivariantly isomorphic to their opposite algebras. In fact, the fixed point subalgebras are not isomorphic to their opposites. The C*-algebras we exhibit are well behaved from the perspective of structure and classification of nuclear C*-algebras: they are unital C*-algebras in the UCT class, with finite nuclear dimension. One is an AH-algebra with unique tracial state and absorbs the CAR algebra tensorially. The other is a Kirchberg algebra. △ Less

Submitted 15 February, 2016; originally announced February 2016.

Comments: AMSLaTeX; 20 pages

MSC Class: 46L35; 46L55

The weak ideal property and topological dimension zero

Authors: Cornel Pasnicu, N. Christopher Phillips

Abstract: Following up on previous work, we prove a number of results for C*-algebras with the weak ideal property or topological dimension zero, and some results for C*-algebras with related properties. Some of the more important results include: The weak ideal property implies topological dimension zero. For a separable C*-algebra~A, topological dimension zero is equivalent to RR (O_2 \otimes A) = 0,… ▽ More Following up on previous work, we prove a number of results for C*-algebras with the weak ideal property or topological dimension zero, and some results for C*-algebras with related properties. Some of the more important results include: The weak ideal property implies topological dimension zero. For a separable C*-algebra~A, topological dimension zero is equivalent to RR (O_2 \otimes A) = 0, to D \otimes A having the ideal property for some (or any) Kirchberg algebra~D, and to A being residually hereditarily in the class of all C*-algebras B such that O_{\infty} \otimes B contains a nonzero projection. Extending the known result for Z_2, the classes of C*-algebras with topological dimension zero, with the weak ideal property, and with residual (SP) are closed under crossed products by arbitrary actions of abelian 2-groups. If A and B are separable, one of them is exact, A has the ideal property, and B has the weak ideal property, then A \otimes_{min} B has the weak ideal property. If X is a totally disconnected locally compact Hausdorff space and A is a C_0 (X)-algebra all of whose fibers have one of the weak ideal property, topological dimension zero, residual (SP), or the combination of pure infiniteness and the ideal property, then A also has the corresponding property (for topological dimension zero, provided A is separable). Topological dimension zero, the weak ideal property, and the ideal property are all equivalent for a substantial class of separable C*-algebras including all separable locally AH algebras. The weak ideal property does not imply the ideal property for separable Z-stable C*-algebras. We give other related results, as well as counterexamples to several other statements one might hope for. △ Less

Submitted 7 April, 2016; v1 submitted 31 December, 2015; originally announced January 2016.

Comments: 33 pages. Version 3 changes: Minor changes, mainly more discussion of previous work. Two added counterexamples related to previous work on the ideal property

MSC Class: 46L05

Journal ref: Can. J. Math.-J. Can. Math. 69 (2017) 1385-1421

Permanence of stable rank one for centrally large subalgebras and crossed products by minimal homeomorphisms

Authors: Dawn Archey, N. Christopher Phillips

Abstract: We define centrally large subalgebras of simple unital C*-algebras, strengthening the definition of large subalgebras in previous work. We prove that if A is any infinite dimensional simple separable unital C*-algebra which contains a centrally large subalgebra with stable rank one, then A has stable rank one. We also prove that large subalgebras of crossed product type are automatically centrally… ▽ More We define centrally large subalgebras of simple unital C*-algebras, strengthening the definition of large subalgebras in previous work. We prove that if A is any infinite dimensional simple separable unital C*-algebra which contains a centrally large subalgebra with stable rank one, then A has stable rank one. We also prove that large subalgebras of crossed product type are automatically centrally large. We use these results to prove that if X is a compact metric space which has a surjective continuous map to the Cantor set, and h is a minimal homeomorphism of X, then C* (Z, X, h) has stable rank one, regardless of the dimension of X or the mean dimension of h. In particular, the Giol-Kerr examples give crossed products with stable rank one but which are not stable under tensoring with the Jiang-Su algebra and are therefore not classifiable in terms of the Elliott invariant. △ Less

Submitted 20 August, 2016; v1 submitted 4 May, 2015; originally announced May 2015.

Comments: 32 pages; 2 figures; AMSLaTeX. Changes from first version: Improved exposition. Corrected misprints. Added mention of work using centrally large subalgebras constructed using methods which are not generalizations of Putnam's construction. Added references

MSC Class: 46L05 (Primary); 46L55 (Secondary)

Rokhlin dimension: obstructions and permanence properties

Authors: Ilan Hirshberg, N. Christopher Phillips

Abstract: This paper is a further study of finite Rokhlin dimension for actions of finite groups and the integers on C*-algebras, introduced by the first author, Winter, and Zacharias. We extend the definition of finite Rokhlin dimension to the nonunital case. This definition behaves well with respect to extensions, and is sufficient to establish permanence of finite nuclear dimension and Z-absorption. We e… ▽ More This paper is a further study of finite Rokhlin dimension for actions of finite groups and the integers on C*-algebras, introduced by the first author, Winter, and Zacharias. We extend the definition of finite Rokhlin dimension to the nonunital case. This definition behaves well with respect to extensions, and is sufficient to establish permanence of finite nuclear dimension and Z-absorption. We establish K-theoretic obstructions to the existence of actions of finite groups with finite Rokhlin dimension (in the commuting tower version). In particular, we show that there are no actions of any nontrivial finite group on the Jiang-Su algebra or on the Cuntz algebra O_\infty with finite Rokhlin dimension in this sense. △ Less

Submitted 20 February, 2015; v1 submitted 24 October, 2014; originally announced October 2014.

Comments: 33 pages, minor changes, to appear, Doc. Math

Large subalgebras

Authors: N. Christopher Phillips

Abstract: We define and study large and stably large subalgebras of simple unital C*-algebras. The basic example is the orbit breaking subalgebra of a crossed product by Z, as follows. Let X be an infinite compact metric space, let h be a minimal homeomorphism of X, and let Y be a closed subset of X. Let u be the standard unitary in C* (Z, X, h). The Y-orbit breaking subalgebra is the subalgebra of C* (Z, X… ▽ More We define and study large and stably large subalgebras of simple unital C*-algebras. The basic example is the orbit breaking subalgebra of a crossed product by Z, as follows. Let X be an infinite compact metric space, let h be a minimal homeomorphism of X, and let Y be a closed subset of X. Let u be the standard unitary in C* (Z, X, h). The Y-orbit breaking subalgebra is the subalgebra of C* (Z, X, h) generated by C (X) and all elements f u for f in C (X) such that f vanishes on Y. If intersects each orbit of h at most once, then the Y-orbit breaking subalgebra is large in C* (Z, X, h). Large subalgebras obtained via generalizations of this construction have appeared in a number of places, and we unify their theory in this paper. We prove the following results for an infinite dimensional simple unital C*-algebra A and a stably large subalgebra B of A: B is simple and infinite dimensional. If B is stably finite then so is A, and if B is purely infinite then so is A. The restriction maps from the tracial states of A to the tracial states of B and from the normalized 2-quasitraces on A to the normalized 2-quasitraces on B are bijective. When A is stably finite, the inclusion of B in A induces an isomorphism on the semigroups that remain after deleting from the Cuntz semigroups of A and B all the classes of nonzero projections. B and A have the same radius of comparison. △ Less

Submitted 23 August, 2014; originally announced August 2014.

Comments: 54 pages; AMSLaTeX

MSC Class: 46L05 (Primary) 46L55 (Secondary)

Borel complexity and automorphisms of C*-algebras

Authors: David Kerr, Martino Lupini, N. Christopher Phillips

Abstract: We show that if $A$ is $\mathcal{Z}$, $\mathcal{O}_2$, $\mathcal{O}_{\infty}$, a UHF algebra of infinite type, or the tensor product of a UHF algebra of infinite type and $\mathcal{O}_{\infty}$, then the conjugation action $\mathrm{Aut}(A) \curvearrowright \mathrm{Aut}(A)$ is generically turbulent for the point-norm topology. We moreover prove that if $A$ is either (i) a separable C*-algebra which… ▽ More We show that if $A$ is $\mathcal{Z}$, $\mathcal{O}_2$, $\mathcal{O}_{\infty}$, a UHF algebra of infinite type, or the tensor product of a UHF algebra of infinite type and $\mathcal{O}_{\infty}$, then the conjugation action $\mathrm{Aut}(A) \curvearrowright \mathrm{Aut}(A)$ is generically turbulent for the point-norm topology. We moreover prove that if $A$ is either (i) a separable C*-algebra which is stable under tensoring with $\mathcal{Z}$ or $\mathcal{K}$, or (ii) a separable ${\mathrm{II}}_1$ factor which is McDuff or a free product of ${\mathrm{II}}_1$ factors, then the approximately inner automorphisms of $A$ are not classifiable by countable structures. △ Less

Submitted 14 April, 2014; originally announced April 2014.

Comments: 19 pages

MSC Class: Primary 46L40; Secondary 46L55; 03E15

Journal ref: Journal of Functional Analysis, 268 (2015), no. 12, 3767-3789

Semiprojectivity with and without a group action

Authors: N. Christopher Phillips, Adam P. W. Sørensen, Hannes Thiel

Abstract: The equivariant version of semiprojectivity was recently introduced by the first author. We study properties of this notion, in particular its relation to ordinary semiprojectivity of the crossed product and of the algebra itself. We show that equivariant semiprojectivity is preserved when the action is restricted to a cocompact subgroup. Thus, if a second countable compact group acts semiprojec… ▽ More The equivariant version of semiprojectivity was recently introduced by the first author. We study properties of this notion, in particular its relation to ordinary semiprojectivity of the crossed product and of the algebra itself. We show that equivariant semiprojectivity is preserved when the action is restricted to a cocompact subgroup. Thus, if a second countable compact group acts semiprojectively on a C*-algebra $A$, then $A$ must be semiprojective. This fails for noncompact groups: we construct a semiprojective action of the integers on a nonsemiprojective C*-algebra. We also study equivariant projectivity and obtain analogous results, however with fewer restrictions on the subgroup. For example, if a discrete group acts projectively on a C*-algebra $A$, then $A$ must be projective. This is in contrast to the semiprojective case. We show that the crossed product by a semiprojective action of a finite group on a unital C*-algebra is a semiprojective C*-algebra. We give examples to show that this does not generalize to all compact groups. △ Less

Submitted 13 March, 2014; originally announced March 2014.

Comments: 38 pages

Report number: CPH-SYM-00 MSC Class: 46L55 (Primary); 22D05; 22D15; 22D30; 46M10; 55P91; 54C55; 55M15 (Secondary)

Journal ref: J. Funct. Anal. 268 (2015), 929-973

Algebraic K-theory and properly infinite C*-algebras

Authors: Guillermo Cortiñas, N. Christopher Phillips

Abstract: We show that several known results about the algebraic K-theory of tensor products of algebras with the C*-algebra of compact operators in Hilbert space remain valid for tensor products with any properly infinite C*-algebra. We show that several known results about the algebraic K-theory of tensor products of algebras with the C*-algebra of compact operators in Hilbert space remain valid for tensor products with any properly infinite C*-algebra. △ Less

Submitted 13 February, 2014; originally announced February 2014.

Comments: AMSLaTeX; 9 pages

MSC Class: 19D50; 46L80 (Primary) 19D25; 46H99 (Secondary)

Crossed products of $L^p$ operator algebras and the K-theory of Cuntz algebras on $L^p$ spaces

Authors: N. Christopher Phillips

Abstract: For $p \in [1, \infty),$ we define and study full and reduced crossed products of algebras of operators on $σ$-finite $L^p$ spaces by isometric actions of second countable locally compact groups. We give universal properties for both crossed products. When the group is abelian, we prove the existence of a dual action on the full and reduced $L^p$ operator crossed products. When the group is discre… ▽ More For $p \in [1, \infty),$ we define and study full and reduced crossed products of algebras of operators on $σ$-finite $L^p$ spaces by isometric actions of second countable locally compact groups. We give universal properties for both crossed products. When the group is abelian, we prove the existence of a dual action on the full and reduced $L^p$ operator crossed products. When the group is discrete, we construct a conditional expectation to the original algebra which is faithful in a suitable sense. For a free action of a discrete group on a compact metric space $X,$ we identify all traces on the reduced $L^p$ operator crossed product, and if the action is also minimal we show that the reduced $L^p$ operator crossed product is simple. We prove that the full and reduced $L^p$ operator crossed products of an amenable $L^p$ operator algebra by a discrete amenable group are again amenable. We prove a Pimsner-Voiculescu exact sequence for the K-theory of reduced $L^p$ operator crossed products by ${\mathbb{Z}}.$ We show that the $L^p$ analogs ${\mathcal{O}}_d^p$ of the Cuntz algebras ${\mathcal{O}}_d$ are stably isomorphic to reduced $L^p$ operator crossed products of stabilized $L^p$ UHF algebra by ${\mathbb{Z}},$ and show that $K_0 ({\mathcal{O}}_d^p) \cong {\mathbb{Z}} / (d - 1) {\mathbb{Z}}$ and $K_1 ({\mathcal{O}}_d^p) = 0.$ △ Less

Submitted 25 September, 2013; originally announced September 2013.

Comments: AMSLaTeX; 54 pages

MSC Class: 46H05 (Primary) 19A49; 19K99; 46H35; 46M20; 47L10 (Secondary)

The K-Theory of a Simple Separable Exact C*-Algebra Not Isomorphic to Its Opposite Algebra

Authors: N. Christopher Phillips, Maria Grazia Viola

Abstract: We construct uncountably many mutually nonisomorphic simple separable stably finite unital exact C$^\ast$-algebras which are not isomorphic to their opposite algebras. In particular, we prove that there are uncountably many possibilities for the $K_0$-group, the $K_1$-group, and the tracial state space of such an algebra. We show that these C*-algebras satisfy the Universal Coefficient Theorem. Th… ▽ More We construct uncountably many mutually nonisomorphic simple separable stably finite unital exact C$^\ast$-algebras which are not isomorphic to their opposite algebras. In particular, we prove that there are uncountably many possibilities for the $K_0$-group, the $K_1$-group, and the tracial state space of such an algebra. We show that these C*-algebras satisfy the Universal Coefficient Theorem. This is new even for the already known example of an exact C*-algebra nonisomorphic to its opposite algebra produced in earlier work. △ Less

Submitted 12 February, 2024; v1 submitted 16 September, 2013; originally announced September 2013.

Comments: Added computation of the Connes invariant

MSC Class: 46L35 (Primary) 46L37; 46L40; 46L54 (Secondary)

Isomorphism, nonisomorphism, and amenability of L^p UHF algebras

Authors: N. Christopher Phillips

Abstract: In a previous paper, we introduced L^p UHF algebras for p in [1, \infty). We concentrated on the spatial L^p UHF algebras, which are classified up to isometric isomorphism by p and the scaled ordered K_0-group. In this paper, we concentrate on a larger class, the L^p UHF algebras of tensor product type constructed using diagonal similarities. Such an algebra is still simple and has the same K-theo… ▽ More In a previous paper, we introduced L^p UHF algebras for p in [1, \infty). We concentrated on the spatial L^p UHF algebras, which are classified up to isometric isomorphism by p and the scaled ordered K_0-group. In this paper, we concentrate on a larger class, the L^p UHF algebras of tensor product type constructed using diagonal similarities. Such an algebra is still simple and has the same K-theory as the corresponding spatial L^p UHF algebra. For each choice of p and the K-theory, we provide uncountably many nonisomorphic such algebras. We further characterize the spatial algebras among them. In particular, if A is one of these algebras, then A is isomorphic (not necessarily isometrically) to a spatial L^p UHF algebra if and only if A is amenable as a Banach algebra, also if and only if A has approximately inner tensor flip. These conditions are also equivalent to a natural numerical condition defined in terms of the ingredients used to construct the algebra. △ Less

Submitted 24 September, 2013; v1 submitted 14 September, 2013; originally announced September 2013.

Comments: AMSLaTeX; 42 pages. New in Version 2: Lemma 3.8 and Corollary 3.9, for use in the proof of what is now Lemma 3.10

MSC Class: Primary 46H20; Secondary 46H05; 47L10

Simplicity of UHF and Cuntz algebras on $L^p$~spaces

Authors: N. Christopher Phillips

Abstract: We prove that, for $p \in [1, \infty),$ and integers $d$ at least 2, the $L^p$ analog ${\mathcal{O}}_d^p$ of the Cuntz algebra ${\mathcal{O}}_d$ is a purely infinite simple amenable Banach algebra. The proof requires what we call the spatial $L^p$ UHF algebras, which are analogs of UHF algebras acting on $L^p$ spaces. As for the usual UHF C*-algebras, they have associated supernatural numbers. F… ▽ More We prove that, for $p \in [1, \infty),$ and integers $d$ at least 2, the $L^p$ analog ${\mathcal{O}}_d^p$ of the Cuntz algebra ${\mathcal{O}}_d$ is a purely infinite simple amenable Banach algebra. The proof requires what we call the spatial $L^p$ UHF algebras, which are analogs of UHF algebras acting on $L^p$ spaces. As for the usual UHF C*-algebras, they have associated supernatural numbers. For fixed $p \in [1, \infty),$ we prove that any spatial $L^p$ UHF algebra is simple and amenable, and that two such algebras are isomorphic if and only if they have the same supernatural number (equivalently, the same scaled ordered $K_0$-group). For distinct $p_1, p_2 \in [1, \infty),$ we prove that no spatial $L^{p_1}$ UHF algebra is isomorphic to any spatial $L^{p_2}$ UHF algebra. △ Less

Submitted 14 September, 2013; v1 submitted 31 August, 2013; originally announced September 2013.

Comments: AMSLaTeX; 36 pages. Changes from version 1: Lemma 1.4: Proof replaced by reference to literature. Theorem 3.7: Generalized to allow tensoring with a fixed algebra (for use in another paper). Misprints corrected

MSC Class: 46H20 (Primary) 46H05; 47L10 (Secondary)

Crossed products by spectrally free actions

Authors: Cornel Pasnicu, N. Christopher Phillips

Abstract: We define spectral freeness for actions of discrete groups on C*-algebras. We relate spectral freeness to other freeness conditions; an example result is that for an action of a finite group, spectral freeness is equivalent to strong pointwise outerness, and also to the condition that the strong Connes spectrum of the action of the integers generated by a nontrivial group element is always nontriv… ▽ More We define spectral freeness for actions of discrete groups on C*-algebras. We relate spectral freeness to other freeness conditions; an example result is that for an action of a finite group, spectral freeness is equivalent to strong pointwise outerness, and also to the condition that the strong Connes spectrum of the action of the integers generated by a nontrivial group element is always nontrivial. We then prove permanence results for reduced crossed products by exact spectrally free actions, for crossed products by arbitrary actions of the two element group, and for extensions, direct limits, stable isomorphism, and several related constructions, for the following properties: The combination of pure infiniteness and the ideal property. Residual hereditary infiniteness (closely related to pure infiniteness). Residual (SP) (a strengthening of Property (SP) suitable for nonsimple C*-algebras). The weak ideal property (closely related to the ideal property). For the weak ideal property, we can allow arbitrary crossed products by any finite abelian group. These properties of C*-algebras are shown to have formulations of the same general type, allowing them all to be handled using a common set of theorems. △ Less

Submitted 22 August, 2013; originally announced August 2013.

Comments: AMSLaTeX; 42 pages

MSC Class: 46L55 (Primary) 46L35; 46L40 (Secondary)

The tracial Rokhlin property is generic

Authors: N. Christopher Phillips

Abstract: We prove several results of the following general form: automorphisms of (or actions of ${\mathbb{Z}}^d$ on) certain kinds of simple separable unital C*-algebras $A$ which have a suitable version of the Rokhlin property are generic among all automorphisms (or actions), or in a suitable class of automorphisms. That is, the ones with the version of the Rokhlin property contain a dense $G_δ$-subset o… ▽ More We prove several results of the following general form: automorphisms of (or actions of ${\mathbb{Z}}^d$ on) certain kinds of simple separable unital C*-algebras $A$ which have a suitable version of the Rokhlin property are generic among all automorphisms (or actions), or in a suitable class of automorphisms. That is, the ones with the version of the Rokhlin property contain a dense $G_δ$-subset of the set of all such automorphisms (or actions). Specifically, we prove the following. If $A$ is stable under tensoring with the Jiang-Su algebra $Z,$ and has tracial rank zero, then automorphisms with the tracial Rokhlin property are generic. If $A$ has tracial rank zero, or, more generally, $A$ is tracially approximately divisible together with a technical condition, then automorphisms with the tracial Rokhlin property are generic among the approximately inner automorphisms. If $A$ is stable under tensoring with the Cuntz algebra ${\mathcal{O}}_{\infty}$ or with a UHF algebra of infinite type, then actions of ${\mathbb{Z}}^d$ on $A$ with the Rokhlin property are generic among all actions of ${\mathbb{Z}}^d.$ We further give a related but more restricted result for actions of finite groups. △ Less

Submitted 18 September, 2012; originally announced September 2012.

Comments: AMSLaTeX, 33 pages

MSC Class: 46L

Permanence properties for crossed products and fixed point algebras of finite groups

Authors: Cornel Pasnicu, N. Christopher Phillips

Abstract: For an action of a finite group on a C*-algebra, we present some conditions under which properties of the C*-algebra pass to the crossed product or the fixed point algebra. We mostly consider the ideal property, the projection property, topological dimension zero, and pure infiniteness. In many of our results, additional conditions are necessary on the group, the algebra, or the action. Sometimes… ▽ More For an action of a finite group on a C*-algebra, we present some conditions under which properties of the C*-algebra pass to the crossed product or the fixed point algebra. We mostly consider the ideal property, the projection property, topological dimension zero, and pure infiniteness. In many of our results, additional conditions are necessary on the group, the algebra, or the action. Sometimes the action must be strongly pointwise outer, and in a few results it must have the Rokhlin property. When the group is finite abelian, we prove that crossed products and fixed point algebras preserve topological dimension zero with no condition on the action. We give an example to show that the ideal property and the projection property do not pass to fixed point algebras (even for the two element group). The construction also gives an example of a C*-algebra which does not have the ideal property but such that the algebra of 2 by 2 matrices over it does have the ideal property; in fact, this matrix algebra has the projection property. △ Less

Submitted 19 August, 2012; originally announced August 2012.

Comments: 23 pages including 2 embedded image files

MSC Class: 46L

Analogs of Cuntz algebras on $L^p$ spaces

Authors: N. Christopher Phillips

Abstract: For $d = 2, 3, \ldots$ and $p \in [1, \infty),$ we define a class of representations $ρ$ of the Leavitt algebra $L_d$ on spaces of the form $L^p (X, μ),$ which we call the spatial representations. We prove that for fixed $d$ and $p,$ the Banach algebra ${\mathcal{O}_{d}^{p}}$ obtained as the closure of the image of $L_d$ under the representation $ρ$ is the same for all spatial representations… ▽ More For $d = 2, 3, \ldots$ and $p \in [1, \infty),$ we define a class of representations $ρ$ of the Leavitt algebra $L_d$ on spaces of the form $L^p (X, μ),$ which we call the spatial representations. We prove that for fixed $d$ and $p,$ the Banach algebra ${\mathcal{O}_{d}^{p}}$ obtained as the closure of the image of $L_d$ under the representation $ρ$ is the same for all spatial representations $ρ.$ When $p = 2,$ we recover the usual Cuntz algebra ${\mathcal{O}}_{d}.$ We give a number of equivalent conditions for a representation to be spatial. We show that for distinct $p_1$ and $p_2$ in $[1, \infty)$ and arbitrary $d_1$ and $d_2$ in $\{ 2, 3, \ldots \},$ there is no nonzero continuous homomorphism from ${\mathcal{O}}_{d_1}^{p_1}$ to ${\mathcal{O}}_{d_2}^{p_2}.$ △ Less

Submitted 19 January, 2012; originally announced January 2012.

Comments: 60 pages; AMSLaTeX

MSC Class: Primary 46H05; 47L10; Secondary 46H35

Equivariant semiprojectivity

Authors: N. Christopher Phillips

Abstract: We define equivariant semiprojectivity for C*-algebras equipped with actions of compact groups. We prove that the following examples are equivariantly semiprojective: arbitrary finite dimensional C*-algebras with arbitrary actions of compact groups; the Cuntz algebras ${\mathcal{O}}_d$ and extended Cuntz algebras $E_d,$ for finite $d,$ with quasifree actions of compact groups; the Cuntz algebra… ▽ More We define equivariant semiprojectivity for C*-algebras equipped with actions of compact groups. We prove that the following examples are equivariantly semiprojective: arbitrary finite dimensional C*-algebras with arbitrary actions of compact groups; the Cuntz algebras ${\mathcal{O}}_d$ and extended Cuntz algebras $E_d,$ for finite $d,$ with quasifree actions of compact groups; the Cuntz algebra ${\mathcal{O}}_{\infty}$ with any quasifree action of a finite group. For actions of finite groups, we prove that equivariant semiprojectivity is equivalent to a form of equivariant stability of generators and relations. We also prove that if $G$ is finite, then $C^* (G)$ is graded semiprojective. △ Less

Submitted 20 December, 2011; originally announced December 2011.

Comments: 44 pages; AMSLaTeX

MSC Class: 46L55

Profinite pro-C*-algebras and pro-C*-algebras of profinite groups

Authors: Rachid El Harti, N. Christopher Phillips, Paulo R. Pinto

Abstract: We define the profinite completion of a C*-algebra, which is a pro-C*-algebra, as well as the pro-C*-algebra of a profinite group. We show that the continuous representations of the pro-C*-algebra of a profinite group correspond to the unitary representations of the group which factor through a finite group. We define natural homomorphisms from the C*-algebra of a locally compact group and its pro… ▽ More We define the profinite completion of a C*-algebra, which is a pro-C*-algebra, as well as the pro-C*-algebra of a profinite group. We show that the continuous representations of the pro-C*-algebra of a profinite group correspond to the unitary representations of the group which factor through a finite group. We define natural homomorphisms from the C*-algebra of a locally compact group and its profinite completion to the pro-C*-algebra of the profinite completion of the group. We give some conditions for injectivity or surjectivity of these homomorphisms, but an important question remains open. △ Less

Submitted 20 April, 2012; v1 submitted 15 October, 2011; originally announced October 2011.

Comments: 18 pages; no figures. Changes from the previous version: Questions 3.14 and 3.15 in the previous version have been answered. In this version, see Corollary 3.14, Proposition 3.16, and Examples 3.17 and 3.18. Some related changes have been made elsewhere. Some local reorganization has been done, and some misprints corrected. Houston J. Math., to appear

MSC Class: 22D25; 46K05; 46K10; 46M40 (Primary) 22D10; 22D15; 46L05 (Secondary)

A Simple Separable Exact C*-Algebra not Anti-isomorphic to Itself

Authors: N. Christopher Phillips, Maria Grazia Viola

Abstract: We give an example of an exact, stably finite, simple. separable C*-algebra D which is not isomorphic to its opposite algebra. Moreover, D has the following additional properties. It is stably finite, approximately divisible, has real rank zero and stable rank one, has a unique tracial state, and the order on projections over D is determined by traces. It also absorbs the Jiang-Su algebra Z, and i… ▽ More We give an example of an exact, stably finite, simple. separable C*-algebra D which is not isomorphic to its opposite algebra. Moreover, D has the following additional properties. It is stably finite, approximately divisible, has real rank zero and stable rank one, has a unique tracial state, and the order on projections over D is determined by traces. It also absorbs the Jiang-Su algebra Z, and in fact absorbs the 3^{\infty} UHF algebra. We can also explicitly compute the K-theory of D, namely K_0 (D) = Z[1/3] with the standard order, and K_1 (D) = 0, as well as the Cuntz semigroup of D. △ Less

Submitted 20 January, 2014; v1 submitted 21 January, 2010; originally announced January 2010.

Comments: 16 pages; AMSLaTeX. The material on other possible K-groups for such an algebra has been moved to a separate paper (1309.4142 [math.OA])

MSC Class: 46L35; 46L37; 46L40; 46L54

Journal ref: Math. Ann. 355(2013), 783--799

Freeness of actions of finite groups on C*-algebras

Authors: N. Christopher Phillips

Abstract: We describe some of the forms of freeness of group actions on noncommutative C*-algebras that have been used, with emphasis on actions of finite groups. We give some indications of their strengths, weaknesses, applications, and relationships to each other. The properties discussed include the Rokhlin property, K-theoretic freeness, the tracial Rokhlin property, pointwise outerness, saturation, h… ▽ More We describe some of the forms of freeness of group actions on noncommutative C*-algebras that have been used, with emphasis on actions of finite groups. We give some indications of their strengths, weaknesses, applications, and relationships to each other. The properties discussed include the Rokhlin property, K-theoretic freeness, the tracial Rokhlin property, pointwise outerness, saturation, hereditary saturation, and the requirement that the strong Connes spectrum be the entire dual. △ Less

Submitted 27 February, 2009; originally announced February 2009.

Comments: 40 pages; AMSLaTeX. Submitted to the proceedings of the workshop "Operator Structures and Dynamical Systems", Leiden, July 2008

MSC Class: 46L55

The commutant of L(H) in its ultrapower may or may not be trivial

Authors: Ilijas Farah, N. Christopher Phillips, Juris Steprāns

Abstract: Kirchberg asked in 2004 whether the commutant of L(H)$ in its (norm) ultrapower is trivial. Assuming the Continnuum Hypothesis, we prove that the answer depends on the choice of the ultrafilter. Kirchberg asked in 2004 whether the commutant of L(H)$ in its (norm) ultrapower is trivial. Assuming the Continnuum Hypothesis, we prove that the answer depends on the choice of the ultrafilter. △ Less

Submitted 1 October, 2009; v1 submitted 27 August, 2008; originally announced August 2008.

Comments: 17 pages

MSC Class: 46L05; 03E50

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

Crossed products by finite group actions with the Rokhlin property

Authors: Hiroyuki Osaka, N. Christopher Phillips

Abstract: We prove that a number of classes of separable unital C*-algebras are closed under crossed products by finite group actions with the Rokhlin property, including: (1) AI algebras, AT algebras, and related classes characterized by direct limit decompositions using semiprojective building blocks. (2) Simple unital AH algebras with slow dimension growth and real rank zero. (3) C*-algebras with… ▽ More We prove that a number of classes of separable unital C*-algebras are closed under crossed products by finite group actions with the Rokhlin property, including: (1) AI algebras, AT algebras, and related classes characterized by direct limit decompositions using semiprojective building blocks. (2) Simple unital AH algebras with slow dimension growth and real rank zero. (3) C*-algebras with real rank zero or stable rank one. (4) C*-algebras whose quotients all satisfy the Universal Coefficient Theorem. Along the way, we give a systematic treatment of the derivation of direct limit decompositions from local approximation conditions by homomorphic images which are not necessarily injective. △ Less

Submitted 6 February, 2009; v1 submitted 27 April, 2007; originally announced April 2007.

Comments: 22 pages; AMSLaTeX. Changes for version 3: One theorem (on ideals in crossed products by the Rokhlin property) removed; it will appear in a different paper. Minor improvements. Changes for version 2: Substantial expansion

MSC Class: 46L55 (Primary) 46L35 (Secondary)

Cancellation for inclusions of C*-algebras of finite depth

Authors: Ja A Jeong, Hiroyuki Osaka, N. Christopher Phillips, Tamotsu Teruya

Abstract: Let B be a unital C*-algebra, let A be a unital subalgebra, and let E be a conditional expectation from B to A with index-finite type and a quasi-basis of n elements. Then the topological stable rank satisfies \tsr (B) \leq \tsr (A) + n - 1. As an application, we show that if a unital inclusion A \subset B of C*-algebras has index-finite type and finite depth, and A is simple with stable rank on… ▽ More Let B be a unital C*-algebra, let A be a unital subalgebra, and let E be a conditional expectation from B to A with index-finite type and a quasi-basis of n elements. Then the topological stable rank satisfies \tsr (B) \leq \tsr (A) + n - 1. As an application, we show that if a unital inclusion A \subset B of C*-algebras has index-finite type and finite depth, and A is simple with stable rank one and Property (SP), then B has cancellation. In particular, if A is a simple unital C*-algebra with stable rank one and Property (SP), and a finite group G acts on A, then the crossed product has cancellation. Separately, if the group is the integers, we obtain cancellation under the additional hypotheses that the group action is outer and is trivial on K_0 (A). △ Less

Submitted 26 April, 2007; originally announced April 2007.

Comments: 22 pages; AMSLaTeX

MSC Class: 46L55 (Primary) 19A13; 46L37 (Secondary)

Finite cyclic group actions with the tracial Rokhlin property

Authors: N. Christopher Phillips

Abstract: We give examples of actions of Z/2Z on AF algebras and AT algebras which demonstrate the differences between the (strict) Rokhlin property and the tracial Rokhlin property, and between (strict) approximate representability and tracial approximate representability. Specific results include the following. We determine exactly when a product type action of Z/2Z on a UHF algebra has the tracial Rokh… ▽ More We give examples of actions of Z/2Z on AF algebras and AT algebras which demonstrate the differences between the (strict) Rokhlin property and the tracial Rokhlin property, and between (strict) approximate representability and tracial approximate representability. Specific results include the following. We determine exactly when a product type action of Z/2Z on a UHF algebra has the tracial Rokhlin property; in particular, unlike for the strict Rokhlin property, every UHF algebra admits such an action. We prove that Blackadar's action of Z/2Z on the 2^{\infty} UHF algebra, whose crossed product is not AF because it has nontrivial K_1-group, has the tracial Rokhlin property, and we give an example of an action of Z/2Z on a simple unital AF algebra which has the tracial Rokhlin property and such that the K_0-group of the crossed product has torsion. In particular, the crossed product of a simple unital AF algebra by an action of Z/2Z with the tracial Rokhlin property need not be AF. We give examples of a tracially approximately representable action of Z/2Z on a simple unital AF algebra which is nontrivial on K_0, and of a tracially approximately representable action of Z/2Z on a simple unital AT algebra with real rank zero which is nontrivial on K_1. △ Less

Submitted 28 September, 2006; originally announced September 2006.

Comments: AMSLaTeX; 28 pages. This paper replaces Sections 12 and 13 of the unpublished long preprint arXiv:math.OA/0306410. The treatment of product type examples has been systematized, discussion of approximate representability and tracial approximate representability has been added, and the examples with torsion in the K_0-group of the crossed product are entirely new

MSC Class: 46L55 (Primary); 46L40 (Secondary)

The structure of crossed products of irrational rotation algebras by finite subgroups of SL_2 (Z)

Authors: Siegfried Echterhoff, Wolfgang Lueck, N. Christopher Phillips, Samuel Walters

Abstract: Let F be a finite subgroup of SL_2 (Z) (necessarily isomorphic to one of Z/2Z, Z/3Z, Z/4Z, or Z/6Z), and let F act on the irrational rotational algebra A_θ via the restriction of the canonical action of SL_2 (Z). Then the crossed product of A_θ by F, and the fixed point algebra for the action of F on A_θ, are AF algebras. The same is true for the crossed product and fixed point algebra of the fl… ▽ More Let F be a finite subgroup of SL_2 (Z) (necessarily isomorphic to one of Z/2Z, Z/3Z, Z/4Z, or Z/6Z), and let F act on the irrational rotational algebra A_θ via the restriction of the canonical action of SL_2 (Z). Then the crossed product of A_θ by F, and the fixed point algebra for the action of F on A_θ, are AF algebras. The same is true for the crossed product and fixed point algebra of the flip action of Z/2Z on any simple d-dimensional noncommutative torus A_Θ. Along the way, we prove a number of general results which should have useful applications in other situations. △ Less

Submitted 28 September, 2006; v1 submitted 28 September, 2006; originally announced September 2006.

Comments: AMSLaTeX; 43 pages. This paper is a greatly improved version of Sections 8 through 10 of the unpublished long preprint arXiv:math.OA/0306410. In particular, the conclusion that the crossed products and fixed point algebras for the actions of Z/3Z, Z/4Z, and Z/6Z on A_θ are AH algebras has been improved to state that they are AF algebras, and the ordered K-theory has been completely determined

MSC Class: 19K14; 46L35; 46L55; 46L80 (Primary); 18F25; 19K99; 46L40 (Secondary)

Every simple higher dimensional noncommutative torus is an AT algebra

Authors: N. Christopher Phillips

Abstract: We prove that every simple higher dimensional noncommutative torus is an AT algebra. We prove that every simple higher dimensional noncommutative torus is an AT algebra. △ Less

Submitted 28 September, 2006; originally announced September 2006.

Comments: AMSLaTeX; 22 pages. This paper replaces Sections 5 through 7 of the unpublished long preprint arXiv:math.OA/0306410. A number of minor improvements have been made, particularly near the end

MSC Class: 46L35; 46L55 (Primary); 22D15; 22D25 (Secondary)

The tracial Rokhlin property for actions of finite groups on C*-algebras

Authors: N. Christopher Phillips

Abstract: We define "tracial" analogs of the Rokhlin property for actions of finite groups, approximate representability of actions of finite abelian groups, and of approximate innerness. We prove four analogs of related "nontracial" results. First, the crossed product of an infinite dimensional simple separable unital C*-algebra with tracial rank zero by an action of a finite group with the tracial Rokhl… ▽ More We define "tracial" analogs of the Rokhlin property for actions of finite groups, approximate representability of actions of finite abelian groups, and of approximate innerness. We prove four analogs of related "nontracial" results. First, the crossed product of an infinite dimensional simple separable unital C*-algebra with tracial rank zero by an action of a finite group with the tracial Rokhlin property again has tracial rank zero. Second, an outer action of a finite abelian group on an infinite dimensional simple separable unital C*-algebra has the tracial Rokhlin property if and only if its dual is tracially approximately representable, and is tracially approximately representable if and only if its dual has the tracial Rokhlin property. Third, if a strongly tracially approximately inner action of a finite cyclic group on an infinite dimensional simple separable unital C*-algebra has the tracial Rokhlin property, then it is tracially approximately representable. Fourth, an automorphism of an infinite dimensional simple separable unital C*-algebra A with tracial rank zero is tracially approximately inner if and only if it is the identity on K_0 (A) mod infinitesimals. △ Less

Submitted 28 September, 2006; originally announced September 2006.

Comments: 45 pages. This paper replaces Sections 1 through 4 and Section 11 of the unpublished long preprint arXiv:math.OA/0306410. Finite cyclic groups have been replaced by finite groups, the material on tracial approximate representability is new, and numerous other smaller improvements have been made

MSC Class: 46L55

The Calkin algebra has outer automorphisms

Authors: N. Christopher Phillips, Nik Weaver

Abstract: Assuming the continuum hypothesis, we show that the Calkin algebra has 2^{aleph_1} outer automorphisms. Assuming the continuum hypothesis, we show that the Calkin algebra has 2^{aleph_1} outer automorphisms. △ Less

Submitted 23 June, 2006; originally announced June 2006.

Comments: 13 pages

MSC Class: 46L40; 46L05; 03E50

Realization of a simple higher dimensional noncommutative torus as a transformation group C*-algebra

Authors: Benjamín Itzá-Ortiz, N. Christopher Phillips

Abstract: Let $θ$ be a nondegenerate skew symmetric real $d$ by $d$ matrix, and let $A_θ$ be the corresponding simple higher dimensional noncommutative torus. Suppose that $d$ is odd, or that $d$ is greater or equal to 4 and the entries of $θ$ are not contained in a quadratic extension of $\mathbb{Q}$. Then $A_θ$ is isomorphic to the transformation group C*-algebra obtained from a minimal homeomorphism of… ▽ More Let $θ$ be a nondegenerate skew symmetric real $d$ by $d$ matrix, and let $A_θ$ be the corresponding simple higher dimensional noncommutative torus. Suppose that $d$ is odd, or that $d$ is greater or equal to 4 and the entries of $θ$ are not contained in a quadratic extension of $\mathbb{Q}$. Then $A_θ$ is isomorphic to the transformation group C*-algebra obtained from a minimal homeomorphism of a compact connected one dimensional space locally homeomorphic to the product of the interval and the Cantor set. The proof uses classification theory of C*-algebras. △ Less

Submitted 1 December, 2005; originally announced December 2005.

Comments: 11 pages

MSC Class: 46L55 (Primary) 46L35; 54H20 (Secondary)

Journal ref: Bull. London Math. Soc., (40) 2008, 217--226

Banach Algebras and Rational Homotopy Theory

Authors: Gregory Lupton, N. Christopher Phillips, Claude L. Schochet, Samuel B. Smith

Abstract: Let $A$ be a unital commutative Banach algebra with maximal ideal space $X.$ We determine the rational H-type of the group $GL_n (A)$ of invertible n by n matrices with coefficients in A, in terms of the rational cohomology of $X.$ We also address an old problem of J. L. Taylor. Let $Lc_n (A)$ denote the space of "last columns" of $GL_n (A).$ For $n > 1 + s/2,$ we construct a natural isomorphism… ▽ More Let $A$ be a unital commutative Banach algebra with maximal ideal space $X.$ We determine the rational H-type of the group $GL_n (A)$ of invertible n by n matrices with coefficients in A, in terms of the rational cohomology of $X.$ We also address an old problem of J. L. Taylor. Let $Lc_n (A)$ denote the space of "last columns" of $GL_n (A).$ For $n > 1 + s/2,$ we construct a natural isomorphism from the rational Cech cohomology group $H^s (X; Q)$ to the rational homotopy group $π_{2 n - 1 - s} (Lc_n (A)) \otimes Q,$ which shows that the rational cohomology groups of $X$ are determined by a topological invariant associated to $A.$ As part of our analysis, we determine the rational H-type of certain gauge groups $F (X, G)$ for $G$ a Lie group or, more generally, a rational H-space. △ Less

Submitted 26 April, 2007; v1 submitted 12 September, 2005; originally announced September 2005.

Comments: 29 pages, AMSLaTeX2e, uses xypic. Version 2 contains various minor corrections and improvements (including additional references), and is to appear in Trans. AMS

MSC Class: 46J05; 46L85; 55P62; 54C35; 55P15; 55P45

Furstenberg transformations on irrational rotation algebras

Authors: Hiroyuki Osaka, N. Christopher Phillips

Abstract: We introduce a general class of automorphisms of rotation algebras, the noncommutative Furstenberg transformations. We prove that fully irrational noncommutative Furstenberg transformations have the tracial Rokhlin property, which is a strong form of outerness. We conclude that crossed products by these automorphisms have stable rank one, real rank zero, and order on projections determined by tr… ▽ More We introduce a general class of automorphisms of rotation algebras, the noncommutative Furstenberg transformations. We prove that fully irrational noncommutative Furstenberg transformations have the tracial Rokhlin property, which is a strong form of outerness. We conclude that crossed products by these automorphisms have stable rank one, real rank zero, and order on projections determined by traces (Blackadar's Second Fundamental Comparability Question). We also prove that several classes of simple quotients of the C*-algebras of discrete subgroups of five dimensional nilpotent Lie groups, considered by Milnes and Walters, are crossed products of simple C*-algebras (C*-algebras of minimal ordinary Furstenberg transformations) by automorphisms which have the tracial Rokhlin property. It follows that these algebras also have stable rank one, real rank zero, and order on projections determined by traces. △ Less

Submitted 9 September, 2004; originally announced September 2004.

Comments: AMSLaTeX; 25 pages

MSC Class: 46L55