Nuclear dimension of simple C*-algebras

TL;DR

This paper calculates the nuclear dimension of certain simple C*-algebras, enabling their classification and expanding the scope of the Elliott classification program to include more algebras related to group actions.

Contribution

It provides the first computation of nuclear dimension for a broad class of Z-stable C*-algebras, linking classification to Z-stability.

Findings

Nuclear dimension computed for separable, simple, unital, nuclear, Z-stable C*-algebras.

Classification becomes feasible for large classes of C*-algebras from group actions.

Expands the Elliott classification program to include new classes of C*-algebras.

Abstract

We compute the nuclear dimension of separable, simple, unital, nuclear, Z-stable C*-algebras. This makes classification accessible from Z-stability and in particular brings large classes of C*-algebras associated to free and minimal actions of amenable groups on finite dimensional spaces within the scope of the Elliott classification programme.

Equations

$${\mathrm{id}}_A\otimes h:A\to A\otimes \mathcal{Z}\text{ and }{\mathrm{id}}_A\otimes (1_{\mathcal{Z}}-h):A\to A\otimes \mathcal{Z}.$$

$$\theta (\cdot )=\sum _{i=1}^k{e}_i^{1/2}{\theta }_i(\cdot )e_i^{1/2};$$

$$\tau (e_{i}a)\approx \tau (e_i)\tau (a)\approx f_i(\tau )\tau (a),a\in A,\tau \in {\partial }_{e}T(A),$$

$$\underset{n\to \infty }{\lim }|\tau (e_{i,n}a)-\tau (a)\tau (e_{i,n})|=0,\tau \in {\partial }_{e}T(A),$$

$$\underset{\tau \in T(A)}{\sup }\underset{i}{\min }\tau (a_i)<\delta ,$$

$$1-\tau (\theta (1_A))\stackrel{(\mathrm{a})}{\approx }\sum _{i=1}^k\tau (e_i{a}_i)\stackrel{(\mathrm{b})}{⪅}\delta \sum _{i=1}^k\tau (e_i)\stackrel{(\mathrm{a})}{\approx }\delta ,\tau \in T(A),$$

$$\lx@xy@svg{\hbox{\raise 0.0pt\hbox{\kern 0.0pt\hbox{\ignorespaces\immediate\immediate\immediate{\ignorespaces{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}{\immediate}\hbox{\vtop{{\immediate}\kern 0.0pt\offinterlineskip\halign{\entry@#!@&&\entry@@#!@\cr{\immediate}{\immediate}{\immediate}&{\immediate}{\immediate}{\immediate}&{\immediate}{\immediate}{\immediate}\\{\immediate}{\immediate}{\immediate}&{\immediate}{\immediate}{\immediate}\crcr}{\immediate}}}{\immediate}{\immediate}\ignorespaces{\immediate}{\immediate}\ignorespaces}\immediate\immediate}}}}\ignorespaces,$$

$$\Vert a{\Vert }_{2,X}:=\underset{\tau \in X}{\sup }(\tau (a^{\ast }a){)}^{1/2},a\in A.$$

$$A_{\omega }:={\ell }^{\infty }(A)/\{(a_n{)}_{n=1}^{\infty }\in {\ell }^{\infty }(A):\underset{n\to \omega }{\lim }\Vert a_n\Vert =0\}.$$

$$A^{\omega }:=A_{\omega }/J_A,$$

$$J_{A}:=\big{\{}(a_{n})_{n=1}^{\infty}\in A_{\omega}:\lim_{n\to\omega}\|a_{n}\|_{2,T(A)}=0\big{\}},$$

$$(a_n{)}_{n=1}^{\infty }\mapsto \underset{n\to \omega }{\lim }{\tau }_n(a_n).$$

$$J_A=\{x\in A_{\omega }:\Vert x{\Vert }_{2,T_{\omega }(A)}=0\}.$$

$$\epsilon^{(k)}:=\sup\big{\{}\|x^{(l)}-x^{(l^{\prime})}\|_{2,T_{\omega}(A)}:l,l^{\prime}\geq k\big{\}}.$$

$$\Vert x-x^{(k)}{\Vert }_{2,T_{\omega }(A)}\le {ϵ}^{(k)},k\in \mathbb{N}.$$

$$1\ge \tau (\iota (a)+x^{\ast }x)=\tau (\iota (a))+\tau (x^{\ast }x)>1-ϵ+ϵ=1,$$

$$\tau (a{p}_i)=\frac{1}{n}\tau (a),a\in A,\tau \in T_{\omega }(A),i=1,\dots ,n.$$

$${\tau }_{{\mathcal{M}}^{\omega }}(pa)={\tau }_{{\mathcal{M}}^{\omega }}(p){\tau }_{\mathcal{M}}(a),a\in \mathcal{M}.$$

$$\tau (a{p}_i)=\frac{1}{n}\tau (a),a\in S,\tau \in T_{\omega }(A),i=1,\dots ,n.$$

$$\tau (p_{i}a)=\tau (\psi (q_i)a)=\tau (a){\tau }_{M_n}(q_i)=\frac{1}{n}\tau (a).\text{qed}$$

$$\tau (ap)=\tau (ab)a\in T,\tau \in T_{\omega }(A).$$

$${\mathrm{id}}_{[0,1]}=\frac{1}{n}\sum _{i=1}^n{f}_i\text{and}$$

$$0\le \sum _{i=1}^n{f}_i-f_i^2\le 1_{C([0,1])}.$$

$$\tau (p_{i}x)=\frac{1}{n}\tau (x),\tau \in T_{\omega }(A),x\in {\mathrm{C}}^{\ast }(T\cup \{b\}).$$

$$\tau (pa)=\sum _{i=1}^n\tau (p_i{f}_i(b)a)\stackrel{\text{eqref}eq:Projectionization1}{=}\sum _{i=1}^n\frac{1}{n}\tau (f_i(b)a)\stackrel{\text{eqref}eq:Projectionization2}{=}\tau (ba).$$

$$\tau (p-p^2)$$

$$\Vert p-p^2{\Vert }_{2,T_{\omega }(A)}^2=\underset{\tau \in T_{\omega }(A)}{\sup }\tau ((p-p^2{)}^2)\le \underset{\tau \in T_{\omega }(A)}{\sup }\tau (p-p^2)\le \frac{1}{n},$$

$$\delta >\underset{\tau \in T_{\omega }(A)}{\sup }\min \{\tau (a_1),\dots ,\tau (a_k)\},$$

$$p_1+\cdots +p_k=1_{A^{\omega }}\text{and}\tau (a_i{p}_i)\le \delta \tau (p_i),\tau \in T_{\omega }(A),i=1,\dots ,k.$$

$$\delta >\underset{\tau \in T(A)}{\sup }\min \{\tau (a_1),\dots ,\tau (a_k)\},$$

$$\Vert [e_i,x]\Vert$$

Full text

Research partially supported by: EPSRC (EP/N00874X/1 (AT), EP/R025061/1 (SE, SW), EP/K503058/1 and EP/J500434 (SE)), DFG (SFB 878, EXC 2044 Mathematics Münster: Dynamics – Geometry – Structure (WW)), NSERC (AT), NCN (2014/14/E/ST1/00525 (SE)), by an Alexander von Humboldt Foundation fellowship (SW), and a Methusalem grant of the Flemish Government (JC)

Introduction

Nuclear dimension is a non-commutative generalisation of topological covering dimension to $\mathrm{C}^{*}$-algebras, introduced in [79]. A unital abelian $\mathrm{C}^{*}$-algebra consists of continuous functions on a compact Hausdorff space $X$; in this case the nuclear dimension recaptures the dimension of $X$. At the other extreme lie simple $\mathrm{C}^{*}$-algebras, where nuclear dimension divides the exotic examples of [69, 54, 65, 25] from those accessible to $\mathrm{K}$-theoretic classification. Indeed, through the work of generations of researchers ([38, 48, 27, 19, 64, 75] building on numerous works going back to [18]), we now have a complete classification of separable, simple, unital $\mathrm{C}^{*}$-algebras of finite nuclear dimension satisfying Rosenberg and Schochet’s universal coefficient theorem (UCT) [56]. This provides the $\mathrm{C}^{*}$-analogue of the celebrated classification of amenable factors due to Connes and Haagerup [13, 29].

A major task at this point is to identify simple nuclear $\mathrm{C}^{*}$-algebras of finite nuclear dimension, through establishing the Toms–Winter conjecture ([21, 72]; the precise statement is [79, Conjecture 9.3], and an overview is given in [77, Section 5]). This predicts that finite nuclear dimension is but one facet of a meta-notion of regularity for simple nuclear $\mathrm{C}^{*}$-algebras, with alternate descriptions of very different natures. Classification will then be accessed through regularity, the particular form depending on the example of interest.

In this paper we show that for separable, simple, unital, and nuclear $\mathrm{C}^{*}$-algebras, finite nuclear dimension is entailed by the tensorial absorption condition of $\mathcal{Z}$-stability, where $\mathcal{Z}$ is the Jiang–Su algebra of [34] ($\mathcal{Z}$-stability will be described further below). Combining this with the main result of [74] gives the following theorem, which was predicted by the Toms–Winter conjecture. Both implications making up this equivalence have striking applications: (i)$\Rightarrow$(ii) allows classification to be accessed via localisation at strongly self-absorbing algebras ([75]), while the implication (ii)$\Rightarrow$(i) proven here brings large classes of examples coming from topological dynamics within the scope of classification (see Corollaries E and F below).

Theorem A**.**

Let $A$ be an infinite dimensional, separable, simple, unital, nuclear $\mathrm{C}^{*}$-algebra. Then the following statements are equivalent:

1. (i)

$A$* has finite nuclear dimension;* 2. (ii)

$A$* is $\mathcal{Z}$-stable, i.e., $A\cong A\otimes\mathcal{Z}$.*

Let us put conditions (i) and (ii) into context. Tensorial absorption (or stability) phenomena are ubiquitous in operator algebras, originating with the characterisation of properly infinite von Neumann algebras $\mathcal{M}$ as those which tensorially absorb $\mathcal{B}(\mathcal{H})$, i.e., are isomorphic to the von Neumann tensor product $\mathcal{M}\,\overline{\otimes}\,\mathcal{B}(\mathcal{H})$. A major step in Connes’ seminal work [13] was to show that injective II1 factors are McDuff, i.e., they absorb the hyperfinite II1 factor tensorially, while Kirchberg famously characterised pure infiniteness for simple nuclear $\mathrm{C}^{*}$-algebras through tensorial absorption of the Cuntz algebra $\mathcal{O}_{\infty}$ ([38]).

In a precise sense, the Jiang–Su algebra $\mathcal{Z}$ is the smallest possible, and so from this perspective the most natural, $\mathrm{C}^{*}$-analogue of the hyperfinite II1 factor $\mathcal{R}$. It satisfies $\mathcal{Z}\otimes\mathcal{Z}\cong\mathcal{Z}$; moreover, this isomorphism occurs in a particularly strong way, analogous to the corresponding statement for $\mathcal{R}$ (see [66]), and $\mathcal{Z}$ is the minimal non-trivial $\mathrm{C}^{*}$-algebra with this property ([73]). Accordingly, $\mathcal{Z}$-stability is the weakest non-trivial form of tensorial absorption. Moreover, $\mathcal{Z}$-stability is to a vast extent necessary for $\mathrm{K}$-theoretic classification: $\mathcal{Z}$ has the same $\mathrm{K}$-theory as $\mathbb{C}$ — these algebras are $\mathrm{KK}$-equivalent (think of this as a very weak kind of homotopy equivalence) — and a unique trace. Therefore, under natural restrictions, a simple $\mathrm{C}^{*}$-algebra and its $\mathcal{Z}$-stabilisation share the same Elliott invariant ($\mathrm{K}$-theory and traces).

While all known constructions of the Jiang–Su algebra are a little involved, $\mathcal{Z}$-stability can be phrased entirely without reference to the algebra $\mathcal{Z}$ itself. Reminiscent of McDuff’s characterisation of $\mathcal{R}$-stability of a II1 factor in terms of approximately central matrix algebras ([45]), $\mathcal{Z}$-stability is equivalent to the existence of approximately central matrix cones which are large in a suitable sense ([53]). Moreover, for simple, nuclear $\mathrm{C}^{*}$-algebras, via the groundbreaking work of Matui and Sato ([43]), this largeness can be measured in trace ([32]). This criterion has enabled $\mathcal{Z}$-stability to be established in a number of settings where a direct proof of finite nuclear dimension is unavailable ([20, 35, 12, 36]).

Turning to (i) in Theorem A, one begins by noting that, through partitions of unity, a finite open cover of a compact Hausdorff space $X$ gives rise to a finite dimensional approximation of $C(X)$. These provide an explicit realisation of the completely positive approximations of Choi–Effros and Kirchberg ([9, 37]) which characterise nuclearity for $\mathrm{C}^{*}$-algebras. Covering dimension is determined by the existence of arbitrarily fine open covers which can be coloured so that no two sets of the same colour overlap; the number of colours needed determines the dimension.111The dimension is at most $n$ when $n+1$ colours suffice. For example, the interval $[0,1]$ is a $1$-dimensional space, and has $2$-colourable arbitrarily fine open covers. A finite colouring of an open cover gives a decomposition of the associated finite dimensional model of $C(X)$. In the general setting, completely positive approximations can be viewed as non-commutative partitions of unity. The nuclear dimension (and its forerunner, the decomposition rank from [41]) is defined in terms of uniformly decomposable completely positive approximations; i.e., finitely colourable non-commutative partitions of unity. We recall the precise definition in Paragraph 1.1.

In principle, a system of completely positive approximations fully encodes a nuclear $\mathrm{C}^{*}$-algebra $A$, but extracting information is not straightforward without imposing additional structure on the approximations.222Indeed, as described further below, we use a refined form of the completely positive approximation property which can be used to simultaneously approximate the trace simplex of $A$ in the proof of our main result. With finite nuclear dimension, one can use the uniform bound on the number of colours to transfer properties of the finite dimensional algebras in the approximation back to $A$, albeit at the cost of suitably loosening these properties, often in a dimensional way (see [52, 72, 74]). This strategy is at the heart of the construction of large approximately central matrix cones from nuclear dimension approximations in the proof of Theorem A (i)$\Rightarrow$(ii) given in [74].

The main result of this paper is the implication (ii)$\Rightarrow$(i) in Theorem A. We also determine the relationship between finite nuclear dimension and decomposition rank for simple $\mathrm{C}^{*}$-algebras in terms of quasidiagonality (see [70, 50, 2, 4, 41, 44, 64] for the history, and partial solutions to this problem).

Theorem B**.**

Let $A$ be a separable, simple, unital, nuclear, $\mathcal{Z}$-stable $\mathrm{C}^{*}$-algebra. Then $A$ has nuclear dimension at most $1$. If $A$ is also finite and all traces on $A$ are quasidiagonal, then $A$ has decomposition rank at most $1$.

As $\mathrm{C}^{*}$-algebras whose nuclear dimension or decomposition rank is zero are necessarily approximately finite dimensional (AF for short) by [41, 79], the previous theorem determines the nuclear dimension and decomposition rank of simple unital $\mathrm{C}^{*}$-algebras.

Corollary C**.**

The possible values of the nuclear dimension and decomposition rank of a simple, unital $\mathrm{C}^{*}$-algebra are [math], $1$ and $\infty$. The value [math] occurs precisely for AF algebras.

When $A$ has no traces in Theorem B, it is purely infinite, and the result is [3, Theorem G] (completing the line of research in [79, 44, 57, 22]). With traces, partial results were first found in the unique trace case ([44, 58]) and then when the trace space of $A$ is a Bauer simplex ([3]), i.e., has compact extreme boundary. The major technical hurdle which must be overcome to go beyond this setting is a strategy for combining behaviour at individual traces to obtain global properties uniformly over the trace space while respecting the affine structure.333In the Bauer simplex setting, the affine structure is not so important; one can just work with continuous functions on the boundary, as these extend to affine functions on the simplex. We resolve this by introducing a completely new technique — complemented partitions of unity — enabling us to perform partition of unity arguments inside a $\mathcal{Z}$-stable nuclear $\mathrm{C}^{*}$-algebra. We discuss this in more detail below, but we first turn to the consequences of Theorem A for classification.

Combining the very recent stably finite results ([27, 19] and [64, Corollary D]) with the celebrated Kirchberg–Phillips classification theorem, simple, separable, unital, nuclear $\mathrm{C}^{*}$-algebras of finite nuclear dimension with the UCT are classified by their Elliott invariants.444We will refer to this as ‘the classification theorem’ below. A key consequence of Theorem A is that the classification theorem can now be accessed using $\mathcal{Z}$-stability in place of finite nuclear dimension.

Corollary D**.**

Separable, simple, unital, nuclear, $\mathcal{Z}$-stable $\mathrm{C}^{*}$-algebras in the UCT class are classified by their Elliott invariants.

Even if $A$ is not itself $\mathcal{Z}$-stable, this can be forced by tensoring with $\mathcal{Z}$, at the cost of changing the algebra. So, in the language of [75], separable, simple, unital, nuclear $\mathrm{C}^{*}$-algebras in the UCT class are classified up to $\mathcal{Z}$-stability.

Recently, new techniques have been introduced to verify $\mathcal{Z}$-stability for $\mathrm{C}^{*}$-algebras constructed out of infinite dimensional objects where a direct nuclear dimension computation seems out of reach. For example, Elliott and Niu show that crossed products associated to minimal $\mathbb{Z}$-actions of mean dimension zero (in the sense of Gromov, Lindenstrauss, and Weiss) on infinite dimensional spaces are $\mathcal{Z}$-stable, [20]. In contrast, direct estimates of the nuclear dimension, using Rokhlin dimension or similar techniques, only work for finite dimensional spaces ([33, 61]).

Even more recently, the new tool of almost finiteness — which can be viewed as a dynamical analogue of the combination of $\mathcal{Z}$-stability and amenability — provides a method for obtaining $\mathcal{Z}$-stability of crossed products associated to free minimal actions of amenable groups ([35]). This approach constructs approximately central matrix cones using tiling methods from [15, 12], very much in the spirit of the Ornstein–Weiss Rokhlin lemma in the measurable setting. In [36], almost finiteness is obtained for all free actions on finite dimensional spaces of a countable discrete group whose finite subgroups have subexponential growth. This covers groups of intermediate growth, such as the Grigorchuk group [28]. In contrast, direct nuclear dimension computations via Rokhlin dimension methods seem to require serious conditions on the group, such as finite asymptotic dimension ([62]).

Corollary E**.**

Let $G$ be a countably infinite, discrete group such that all finitely generated subgroups have subexponential growth. Then crossed products $C(X)\rtimes G$ associated to free, minimal actions of $G$ on a compact metrisable finite dimensional space $X$ have finite nuclear dimension. All these crossed products are covered by the classification theorem.

Additionally, [12] shows that a generic free minimal action of a fixed amenable group $G$ on a Cantor set has $\mathcal{Z}$-stable crossed product. Accordingly, such crossed products are generically classifiable.

Corollary F**.**

Let $G$ be a countably infinite, discrete, amenable group, and let $X$ be the Cantor set. Then the set of all free, minimal actions $\alpha:G\curvearrowright X$, for which the crossed product $C(X)\rtimes_{\alpha}G$ has finite nuclear dimension, and so is covered by the classification theorem, is comeagre in the set of all free minimal actions of $G$ on $X$.555The Polish space structure on the space of all such free minimal actions is described just before [12, Theorem 4.2].

In the remainder of the introduction, we change gears and discuss the proof of our main results, isolating the key new technique — complemented partitions of unity — introduced in this paper. The reader may wish to return to the following two sections in parallel with the main body of the paper.

From $\mathcal{Z}$-stability to finite nuclear dimension

For most of the rest of the introduction, we think of $A$ as a separable, simple, unital, nuclear $\mathrm{C}^{*}$-algebra with at least one trace. At times we will allow more general $A$, and make this explicit.

The passage from $\mathcal{Z}$-stability to finite nuclear dimension runs through the classification of order zero maps (equivalently ∗-homomorphisms out of cones) by traces. As usual, there are two required components: (i) existence, and (ii) uniqueness (up to approximate unitary equivalence). Somewhat more precisely, one should:

1. (i)

Produce a sequence of approximately order zero maps $A\rightarrow A\otimes\mathcal{Z}$ of nuclear dimension zero which uniformly approximates $\mathrm{id}_{A}\otimes 1_{\mathcal{Z}}:A\rightarrow A\otimes\mathcal{Z}$ on traces. 2. (ii)

Establish a uniqueness theorem for approximately order zero maps which uniformly approximate the two maps in (0.1) below on traces.

Using the fact that $\mathcal{Z}$ is strongly self-absorbing, to show that $A\otimes\mathcal{Z}$ has nuclear dimension at most $1$ it suffices to control the nuclear dimension of the map $\mathrm{id}_{A}\otimes 1_{\mathcal{Z}}:A\rightarrow A\otimes\mathcal{Z}$. By taking a positive contraction $h\in\mathcal{Z}$ with spectrum $[0,1]$, $\mathrm{id}_{A}\otimes 1_{\mathcal{Z}}$ splits as the sum of the two order zero maps

[TABLE]

Now (i) and (ii) can be used to show that each map in (0.1) has nuclear dimension zero, and so $\mathrm{id}_{A}\otimes 1_{\mathcal{Z}}$, and hence $A\otimes\mathcal{Z}$ has nuclear dimension at most $1$. To obtain (i) and (ii), we introduce the new technique of complemented partitions of unity. For ease of exposition, we will primarily focus on the existence component (i) in the discussion below.

With hindsight, the strategy above was initiated in [44] in the case when $A$ is quasidiagonal and has a unique trace, when the existence component (i) is an immediate consequence of the quasidiagonality assumption. An ‘order-zero quasidiagonality’ result was subsequently developed in [58] to handle the case where $A$ is not assumed to be quasidiagonal (but still has unique trace). When $A$ has many traces, these methods give approximately order zero maps of nuclear dimension zero each behaving well on an individual trace; the challenge is to combine them into a single map with the required behaviour on all traces simultaneously. Via compactness of the tracial state space, $T(A)$, one can find an open cover $U_{1},\dots,U_{k}$ of $T(A)$, and approximately order zero maps $\theta_{1},\dots,\theta_{k}:A\rightarrow A\otimes\mathcal{Z}$ of nuclear dimension zero so that $\theta_{i}$ models $\mathrm{id}_{A}\otimes 1_{\mathcal{Z}}$ on the traces in $U_{i}$. Given pairwise orthogonal approximately central positive contractions $(e_{i})_{i=1}^{k}$ in $A\otimes\mathcal{Z}$, one can define a map $\theta:A\rightarrow A\otimes\mathcal{Z}$ by

[TABLE]

properties of the $e_{i}$ combine with those of the $\theta_{i}$ to ensure that $\theta$ is approximately order zero and of nuclear dimension zero. The idea is that $\theta$ is obtained by ‘gluing together’ the $\theta_{i}$ over the $e_{i}$, which should be well chosen with respect to the open cover $(U_{i})_{i=1}^{k}$ so $\theta$ has the global tracial behaviour required by (i). To do this it is necessary to control $\tau(e_{i}\theta_{i}(\cdot))$ for $\tau\in T(A)$.

This was achieved in [3] when $T(A)$ is a Bauer simplex, i.e., the extremal boundary $\partial_{e}T(A)$ is compact. In this case, continuous affine functions on $T(A)$ are in one-to-one correspondence with the continuous functions on the extreme boundary, and we only need to use extremal traces in the compactness argument to obtain the $U_{i}$’s. The required $(e_{i})_{i=1}^{k}$ arise via Ozawa’s theory of $\mathrm{W}^{*}$-bundles ([47]): one takes a partition of unity $(f_{i})_{i=1}^{k}$ in $C(\partial_{e}T(A))$ subordinate to the cover $(U_{i})_{i=1}^{k}$ and then one uses triviality of the $\mathrm{W}^{*}$-bundle associated to $A\otimes\mathcal{Z}$ to produce the elements $e_{i}$ so that $\tau(e_{i})\approx f_{i}(\tau)$. One can then show (see (0.4) below) that

[TABLE]

and then a partition of unity calculation shows that the map in (0.2) has the properties required by (i).

The uniqueness ingredient (ii) was obtained in [3] under the same compactness assumption on the tracial extreme boundary of $A$.666A sketch of the argument can be found in the introduction to [3]. This uses a detailed analysis of the structure of relative commutants, building on Matui and Sato’s groundbreaking techniques for transferring structure between von Neumann and $\mathrm{C}^{*}$-algebras ([43, 44]). As with (i), a local-to-global argument at the level of traces is a crucial ingredient. Without getting into detail, this again boils down to the existence of approximately central pairwise orthogonal elements $(e_{i})_{i=1}^{k}$ satisfying (0.3) for a suitable partition of unity $(f_{i})_{i=1}^{k}$ of $\partial_{e}T(A)$.

Fundamental difficulties arise outside the setting of Bauer simplices. Not all continuous functions on $\partial_{e}T(A)$ extend to continuous affine functions on $T(A)$, and $C(\partial_{e}T(A))$ need not embed into the centre of the strict closure of $A$ (the starting point for producing $(e_{i})_{i=1}^{k}$ in the Bauer simplex case). Worse, this centre can even be trivial. Moreover, to perform the required gluing argument it is not enough to specify the affine function $\hat{e}_{i}:\tau\mapsto\tau(e_{i})$ that $e_{i}$ should induce. Rather one needs to control $\widehat{e_{i}a}:\tau\mapsto\tau(e_{i}a)$ for a suitable finite collection of elements $a\in A$; cf. (0.3). To address this, one has to understand the subtle question of how $\mathrm{C}^{*}$-algebra multiplication interacts with the affine functions on $T(A)$ induced by positive elements.

For an approximately central sequence $e_{i}=(e_{i,n})_{n=1}^{\infty}$ in $A$ and $a\in A$,

[TABLE]

with uniform convergence when $\partial_{e}T(A)$ is compact.777See [60, Lemma 4.2(i)] and [23, Proposition 4.3.6] for closely related statements. This point is developed further in [8]. This is why (0.3) follows from $\tau(e_{i})\approx f_{i}(\tau)$ in the Bauer simplex case. But without compactness, uniform convergence fails, even in straightforward cases (see [8, Example 3.3]). In general, one cannot obtain $\widehat{e_{i}a}$ automatically from $\hat{e}_{i}$ outside the Bauer setting.

The key novelty of this paper is a technique for producing the $(e_{i})_{i=1}^{k}$ required for the gluing procedure of (0.2) taking into account the affine structure of $T(A)$. The precise definition is given in Definition 3.1; for now, we give a relatively informal version of the characterisation from Proposition 3.2.

Definition G**.**

Let $A$ be a separable, unital $\mathrm{C}^{*}$-algebra with $T(A)$ compact and non-empty. Then $A$ has complemented partitions of unity (CPoU) if, whenever $a_{1},\dots,a_{k}$ are positive elements in $A$ and $\delta>0$ is such that

[TABLE]

there exist pairwise orthogonal, approximately central, positive contractions $e_{1},\dots,e_{k}\in A$ such that

1. (a)

$\tau(\sum_{i=1}^{k}e_{i})\approx 1$, for all $\tau\in T(A)$; 2. (b)

$\tau(a_{i}e_{i})\lessapprox\delta\tau(e_{i})$ for all $\tau\in T(A)$ and $i=1,\dots,k$.

Here (0.5) means that $(\{\tau\in T(A):\tau(a_{i})<\delta\})_{i=1}^{k}$ is an open cover of $T(A)$. The conclusion (a) says that the $\hat{e}_{i}$ form an approximate partition of unity. Normally partitions of unity are constructed subordinate to a specified open cover or family of functions. But we need to control the affine functions $\widehat{e_{i}a_{i}}$ not just $\hat{e}_{i}$. This is the role of condition (b). Note that it has the effect of ensuring that $\hat{e}_{i}$ is to some extent subordinate to the complement $1-\hat{a}_{i}$ of $\hat{a}_{i}$: if $\tau\in T(A)$ satisfies $\tau(a_{i})\approx 1$, then $\tau(e_{i})\approx\tau(a_{i}e_{i})\lessapprox\delta\tau(e_{i})$, so that $\tau(e_{i})$ must be small.888This intuition is the reason behind our choice of terminology.

In applications, the $a_{i}$ in (0.5) will arise from compactness of the tracial state space. Returning to the sketch proof of existence above, we could set $a_{i}:=1_{A\otimes\mathcal{Z}}-\theta_{i}(1_{A})$, so that if $\theta_{i}$ models $\mathrm{id}_{A}\otimes 1_{\mathcal{Z}}$ on $U_{i}$ (on $1_{A}$ up to $\delta$), we obtain (0.5). Then given $(e_{i})_{i=1}^{k}$ in $A\otimes\mathcal{Z}$ as in Definition G for these $a_{i}$, defining $\theta$ as in (0.2), we would have

[TABLE]

i.e., $\theta(1_{A})$ globally models $1_{A}\otimes 1_{\mathcal{Z}}$ in trace. With a bit more care, the same strategy can be used to produce a $\theta$ which globally models $\mathrm{id}_{A}\otimes 1_{\mathcal{Z}}$ on an arbitrary finite subset of $A$ in place of $1_{A}$, establishing the required existence component (i).

The uniqueness ingredient (ii) is also obtained by using complemented partitions of unity in place of the $\mathrm{W}^{*}$-bundle methods used in [3] for the special case of Bauer simplices. This gives the following result which we set out in Sections 4 and 5.

Theorem H**.**

Let $A$ be a separable, simple, unital, nuclear, $\mathcal{Z}$-stable $\mathrm{C}^{*}$-algebra with $T(A)$ compact and non-empty, and with complemented partitions of unity. Then $\dim_{\mathrm{nuc}}(A)\leq 1$. If additionally all traces on $A$ are quasidiagonal, then $\mathrm{dr}(A)\leq 1$.

Having isolated the abstract condition of complemented partitions of unity, the other main challenge of this paper is to verify this condition in the presence of $\mathcal{Z}$-stability. This is the following theorem, which together with Theorem H gives Theorems A and B and their corollaries.

Theorem I**.**

Let $A$ be a separable, nuclear, $\mathcal{Z}$-stable $\mathrm{C}^{*}$-algebra with $T(A)$ compact and non-empty. Then $A$ has complemented partitions of unity.

Note that we establish CPoU in Theorem I without assuming $A$ to be unital. In the main results of our paper, unitality enters through Theorem H, as the methods from [3] are only available in the presence of a unit. However, in [7] the first two authors develop the necessary machinery to extend Theorem H, and hence the main results of this paper to the non-unital setting. It should be noted that their result, although more general, requires Theorem I and the CPoU technology introduced in this paper.

The partitions of unity of Theorem I are also applicable in other situations, some of which are discussed in [8] (for example the equivalence of strict comparison and $\mathcal{Z}$-stability under the assumption of uniform property $\Gamma$). Further, complemented partitions of unity will play a crucial role in the abstract approach to classification of $\mathrm{C^{*}}$-algebras being developed in [6].

Obtaining complemented partitions of unity

We end the introduction with an outline of the proof of Theorem I. Fix $a_{1},\dots,a_{k}$ and $\delta>0$ as in Definition G. The three main components of the proof are as follows:

1. (1)

Non-orthogonal partitions of unity: We produce approximately central positive contractions $e_{1},\dots,e_{k}$ satisfying (a) and (b), but without the pairwise orthogonality condition. 2. (2)

Tracial projectionisation: We replace the elements $(e_{i})_{i=1}^{k}$ by elements $(p_{i})_{i=1}^{k}$ which are approximately projections in trace while retaining conditions (a) and (b). 3. (3)

Orthogonalisation: We replace $(p_{i})_{i=1}^{k}$ by pairwise orthogonal tracial approximate projections, still satisfying (b) but at the cost of replacing (a) with the weaker condition $\tau(\sum_{i=1}^{k}p_{i})\approx 1/k$.

These steps produce elements satisfying (b) but they only cover approximately $1/k$ of the total trace. So we repeat the procedure999This in fact requires a stronger version of step (1). underneath the tracially approximate projection $1_{A}-\sum_{i=1}^{k}p_{i}$. Stage (2) is necessary at this point so that we have a (tracially approximate) orthogonal complement. Theorem I then follows using a maximality argument.

Our proof of step (1) uses nuclearity through the refined version of the completely positive approximation property obtained in [5]. This gives approximations of the identity map of the form

[TABLE]

where $F$ is finite dimensional, $\psi$ is completely positive, contractive and approximately order zero, and $\phi$ is a convex combination of order zero maps. In particular, $\phi$ preserves traces, and $\psi$ approximately does so. This gives an approximation of $T(A)$ by $T(F)$ — a finite dimensional simplex. The idea is to build complemented partitions of unity for $\psi(a_{1}),\dots,\psi(a_{k})$ in $F$ (by taking the corresponding $e_{i}$ to be supported only on those full matrix summands of $F$ where $\psi(a_{i})$ is small) and then push this back into $A$ (at the cost of losing orthogonality).

Stages (2) and (3) use the extra space given by a tensor factor of $\mathcal{Z}$ (and do not need nuclearity). To get a feeling for (3), suppose $A\cong A\otimes\mathcal{Q}$, where $\mathcal{Q}$ is the universal UHF algebra. One can identify $A\cong A\otimes M_{k}$, so that $a_{i}$ and $p_{i}$ are approximately of the form $\tilde{a}_{i}\otimes 1_{M_{k}}$ and $\tilde{p}_{i}\otimes 1_{M_{k}}$ respectively. Letting $(d_{ij})$ be a system of matrix units for $M_{k}$, one defines new approximate projections by $\tilde{p}_{i}\otimes d_{ii}$, which have approximately $\frac{1}{k}$ of the trace of $p_{i}$. Likewise, for (2), given elements $e_{i}\in A$, approximately of the form $\tilde{e}_{i}\otimes 1_{k}$ in $A\otimes M_{k}$, we can use the additional space to redistribute the trace of $\tilde{e}_{i}$ over the diagonal elements of $M_{k}$ to obtain a $\frac{1}{k}$-approximate projection in trace.

In fact, neither (2) nor (3) require the full strength of $\mathcal{Z}$-stability; all that is needed is tracial divisibility of positive elements in an approximately central fashion reminiscent of Murray and von Neumann’s property $\Gamma$ for II1 factors. We introduce the concept of uniform property $\Gamma$ for $\mathrm{C}^{*}$-algebras in Section 2, and use it to obtain complemented partitions of unity in Section 3. The follow-up paper [8] further develops the theory of uniform property $\Gamma$ and complemented partitions of unity, giving other applications to the Toms–Winter conjecture.

Acknowledgments

We thank Christopher Schafhauser and Gábor Szabó for helpful comments on a preliminary version of this paper.

1. Preliminaries

For a $\mathrm{C}^{*}$-algebra $A$, we write $A_{+}$ for the set of positive elements, $A^{1}$ for the closed unit ball, and $A_{+}^{1}$ for the set of positive contractions.

1.1. Nuclear dimension and decomposition rank

Let $A$ and $B$ be $\mathrm{C^{*}}$-algebras. A completely positive map $\phi:A\rightarrow B$ has order zero if it preserves orthogonality, i.e., $\phi(x)\phi(y)=0$ whenever $x,y\in A_{+}$ satisfy $xy=0$. Recall from [79], that $A$ has nuclear dimension at most $n$, written $\dim_{\mathrm{nuc}}(A)\leq n$, if there exists a net $(F_{i},\psi_{i},\phi_{i})_{i}$, where each $F_{i}$ is a finite dimensional $\mathrm{C}^{*}$-algebra, $\psi_{i}:A\rightarrow F_{i}$ is a completely positive and contractive (c.p.c.) map, $\phi_{i}:F\rightarrow A$ is a completely positive map which is a sum of at most $n+1$ c.p.c. maps of order zero, and $\|\phi_{i}(\psi_{i}(a))-a\|\stackrel{{\scriptstyle i}}{{\rightarrow}}0$ for all $a\in A$. Note that $\|\phi_{i}\|\leq n+1$. The stronger (and historically earlier) condition from [41] that $A$ has decomposition rank at most $n$ is satisfied when in addition, each $\phi_{i}$ can be taken to be contractive. Recall too that these definitions can be made at the level of maps; see [63, Definition 2.2].

1.2. Traces

In this paper a trace on a $\mathrm{C}^{*}$-algebra $A$ means a tracial state, and we denote the collection of all traces by $T(A)$. The set of traces $T(A)$ is equipped with the weak∗-topology it inherits from $A^{*}$, and if $X\subseteq T(A)$ then $\overline{X}$ refers to the closure in this topology. For a non-empty set $X\subseteq T(A)$, define the seminorm $\|\cdot\|_{2,X}$ on $A$ by

[TABLE]

Note that $\|\cdot\|_{2,T(A)}$ is a norm if, for every non-zero $a\in A$, there exists $\tau\in T(A)$ with $\tau(a^{*}a)>0$, and so in particular when $A$ is simple and $T(A)\neq\emptyset$. Any ∗-homomorphism $\phi:A\to B$ is $(\|\cdot\|_{2,T(A)},\|\cdot\|_{2,T(B)})$-contractive (since for $\tau\in T(B)$, $\tau\circ\phi$ is a contractive tracial functional). The (semi)norm $\|\cdot\|_{2,T(A)}$ plays a notable role in recent structural results ([43, 40, 47, 3]), where it is often denoted $\|\cdot\|_{2,u}$.

1.3. Ultrapowers

Throughout, $\omega$ will stand for a fixed free ultrafilter on $\mathbb{N}$. Given a separable $\mathrm{C}^{*}$-algebra $A$, the ultrapower of $A$ is

[TABLE]

When $T(A)\neq\emptyset$, the uniform tracial ultrapower is defined by

[TABLE]

where (abusing notation to use representative sequences in $\ell^{\infty}(A)$ to denote elements in $A_{\omega}$),

[TABLE]

is the trace-kernel ideal. We will also use representative sequences to stand for elements in $A^{\omega}$.

Notice that $A$ embeds canonically into $A_{\omega}$ as constant sequences. We will often regard $A$ as a subalgebra of the ultrapower, for example to form the central sequence algebra $A_{\omega}\cap A^{\prime}$. We shall adopt a similar notation in the case of uniform tracial ultrapowers.101010When $\|\cdot\|_{2,T(A)}$ is a norm, $A$ embeds canonically into $A^{\omega}$ as constant sequences, and we write $A^{\omega}\cap A^{\prime}$ for the central sequence algebra. In general only a quotient of $A$ embeds in $A^{\omega}$; in this case we view $A^{\omega}$ as an $A$-bimodule, and continue to write $A^{\omega}\cap A^{\prime}$ for the $A$-central elements of $A^{\omega}$.

We highlight two examples of the uniform tracial ultrapower.

1. (i)

If $A$ has a unique trace $\tau$, then the GNS representation $\pi_{\tau}$ generates a finite von Neumann factor $\mathcal{M}:=\pi_{\tau}(A)^{\prime\prime}$, which is II1 when it is infinite dimensional. In this case, the Kaplansky density theorem canonically identifies $A^{\omega}$ with the II1 factor ultraproduct $\mathcal{M}^{\omega}$. 2. (ii)

When $A$ is unital, $T(A)$ forms a Choquet simplex. If additionally the extreme boundary $\partial_{e}T(A)$ is compact, then $A^{\omega}\cong\mathcal{M}^{\omega}$, where $\mathcal{M}$ is the $\mathrm{W}^{*}$-bundle obtained from the strict closure of $A$ introduced by Ozawa in [47], and $\mathcal{M}^{\omega}$ is the $\mathrm{W}^{*}$-bundle ultraproduct defined in [3, Section 3.2]. This identification uses Kaplansky’s density theorem in the strict-topology.111111On $\|\cdot\|$-bounded subsets of $\mathcal{M}$, the strict topology agrees with the $\|\cdot\|_{2,T(A)}$-topology; see [23, Proposition 3.2.15].

1.4. Limit traces

Any sequence of traces $(\tau_{n})_{n=1}^{\infty}$ on $A$ induces a trace on $A_{\omega}$ by

[TABLE]

A trace on $A_{\omega}$ of this form is called a limit trace, and we will often denote a limit trace by a sequence $(\tau_{n})_{n=1}^{\infty}$ that induces it. Evidently, every limit trace vanishes on $J_{A}$, and thereby also induces a trace on $A^{\omega}$. We abuse notation, and write $T_{\omega}(A)$ for the collection of these limit traces on both $A_{\omega}$ and $A^{\omega}$; context will make it clear to which ultrapower such a trace applies. With this notation,

[TABLE]

1.5. Kirchberg’s $\epsilon$-test

As with the norm ultrapower, the uniform tracial ultrapower lends itself to reindexing or diagonal sequence arguments which can be used to turn statements involving $\|\cdot\|_{2,T(A)}$ approximations in $A$ into exact statements in $A^{\omega}$. Kirchberg’s $\epsilon$-test ([39, Lemma A.1]) provides a particularly convenient tool for this type of argument. A number of detailed examples of its application can be found in [3, Section 1.3]; we give a further example here.

Lemma 1.6**.**

Let $A$ be a separable $\mathrm{C}^{*}$-algebra with $T(A)\neq\emptyset$. Then the unit ball of $A^{\omega}$ is $\|\cdot\|_{2,T_{\omega}(A)}$-complete.

Proof.

Let $(x^{(k)})_{k=1}^{\infty}$ be a $\|\cdot\|_{2,T_{\omega}(A)}$-Cauchy sequence in $(A^{\omega})^{1}$. Take a representative sequence $(x^{(k)}_{n})_{n=1}^{\infty}$ in $A^{1}$ for each $x^{(k)}$, and set

[TABLE]

Define $f^{(k)}_{n}:A^{1}\rightarrow[0,2]$ by $f^{(k)}_{n}(y):=\max\{\|y-x^{(k)}_{n}\|_{2,T(A)}-\epsilon^{(k)},0\}$.

For $k_{0}\in\mathbb{N}$, we have $\lim_{n\rightarrow\omega}f^{(k)}_{n}(x^{(k_{0})}_{n})=0$, for $k=1,\dots,k_{0}$. Kirchberg’s $\epsilon$-test ([39, Lemma A.1]), gives a sequence $(x_{n})_{n=1}^{\infty}$ in $A^{1}$ representing some $x\in A^{\omega}$ with $\lim_{n\rightarrow\omega}f^{(k)}_{n}(x_{n})=0$ for all $k\in\mathbb{N}$. Therefore

[TABLE]

As $(x^{(k)})_{k=1}^{\infty}$ is $\|\cdot\|_{2,T_{\omega}(A)}$-Cauchy, we have $\epsilon^{(k)}\rightarrow 0$ and so $x^{(k)}\rightarrow x$. ∎

1.7. Central surjectivity

The following central surjectivity result is a key tool in transferring structural properties from $A^{\omega}$ to $A_{\omega}$ via Matui–Sato’s property (SI). It has its origins in Sato’s work [59], and was established in general by Kirchberg and Rørdam. Part (i) of the lemma below follows by combining [40, Propositions 4.5(iii) and 4.6].121212Note that while [40, Proposition 4.6] has a hypothesis that $A$ is unital, for the proof the unit can be taken in the minimal unitisation.

Lemma 1.8** (Central surjectivity).**

Let $A$ be a separable $\mathrm{C}^{*}$-algebra with $T(A)\neq\emptyset$. Let $S\subset A_{\omega}$ be a separable subset and let $\bar{S}\subset A^{\omega}$ be its image. Then

1. (i)

the image of $A_{\omega}\cap S^{\prime}$ in $A^{\omega}$ is $A^{\omega}\cap\bar{S}^{\prime}$ (the commutant of $\bar{S}$ in $A^{\omega}$), and 2. (ii)

for an $h\in(A_{\omega}\cap S^{\prime})_{+}^{1}$ whose image $\bar{h}$ in $A^{\omega}$ is a projection, the image of $\{x\in A_{\omega}\cap S^{\prime}:hx=x\}$ is $\{y\in A^{\omega}\cap\bar{S}^{\prime}:\bar{h}y=y\}$.

Proof of (ii).

Given $y\in A^{\omega}\cap\bar{S}^{\prime}$ with $\bar{h}y=y$, lift $y$ to $\tilde{x}\in A_{\omega}\cap S^{\prime}$ by (i). For each $n\in\mathbb{N}$, choose a positive contraction $f_{n}\in C_{0}((0,1])_{+}$ such that $f_{n}(1)=1$ and which is supported on $(1-1/n,1]$. Then as $\bar{h}$ is a projection, $f_{n}(h)\tilde{x}$ maps to $\bar{h}y=y\in A^{\omega}$ for each $n$. Moreover, we have $\|hf_{n}(h)-f_{n}(h)\|\leq 1/n$, and thus $\|hf_{n}(h)\tilde{x}-f_{n}(h)\tilde{x}\|\rightarrow 0$. By Kirchberg’s $\epsilon$-test ([39, Lemma A.1]), there exists some $x\in A_{\omega}\cap S^{\prime}$ with $hx=x$ which maps to $y\in A^{\omega}$. ∎

1.9. Compactness of $T(A)$

Throughout the rest of the paper, our standard assumption will be that $T(A)$ is non-empty and compact. We end this section by recording two consequences of this.

Lemma 1.10**.**

Let $A$ be a separable $\mathrm{C}^{*}$-algebra with $T(A)$ non-empty and compact. Let $\iota:A\rightarrow A^{\omega}$ denote the canonical ∗-homomorphism.131313Which is an embedding when $\|\cdot\|_{2,T(A)}$ is a norm. If $x\in A^{\omega}$ satisfies $\iota(a)x=x\iota(a)=0$ for all $a\in A$ then $x=0$.

Proof.

Assume that $x$ is a contraction, and for a contradiction that for some $\tau\in T_{\omega}(A)$ we have $\tau(x^{*}x)\geq\epsilon>0$. Let $\tau=(\tau_{n})_{n=1}^{\infty}$ with $\tau_{n}\in T(A)$ for all $n$. Since $\tau\circ\iota$, which a priori is a tracial functional on $A$ of norm at most $1$, is the limit as $n\rightarrow\omega$ of the tracial states $\tau_{n}$, by compactness of $T(A)$, $\tau\circ\iota$ is a tracial state on $A$. Therefore there exists $a\in A_{+}^{1}$ with $\tau(\iota(a))>1-\epsilon$. The hypothesis that $x$ is orthogonal to $A$ ensures that $\iota(a)+x^{*}x$ is a contraction. Thus,

[TABLE]

a contradiction. Thus $\|x\|_{2,\tau}=0$ for all $\tau\in T_{\omega}(A)$, so $x=0$. ∎

Proposition 1.11**.**

Let $A$ be a separable $\mathrm{C}^{*}$-algebra with $T(A)\neq\emptyset$. Then $A^{\omega}$ is unital if and only if $T(A)$ is compact.

Proof.

Suppose $T(A)$ is compact. Let $(e_{n})_{n=1}^{\infty}$ be an approximate unit for $A$, and let $e=(e_{n})_{n=1}^{\infty}\in(A^{\omega})_{+}^{1}$, so that $ea=a$ for all $a\in A$. Given any element $x\in A^{\omega}$, a standard application of Kirchberg’s $\epsilon$-test gives $f\in(A^{\omega})_{+}^{1}$ such that $fx=x$ and $fa=a$ for all $a\in A$ (see [3, Lemma 1.16] with $S_{1}=S_{2}=\{0\}$). Then $(e-f)a=0$ for all $a\in A$, whence $e=f$ by Lemma 1.10. It follows that $ex=fx=x$. Thus, $e$ was already a unit for $A^{\omega}$.

Conversely, if $A^{\omega}$ is unital, represent $1_{A^{\omega}}$ by a sequence $(e_{n})_{n=1}^{\infty}$ in $A_{+}^{1}$. Writing $\gamma_{n}:=\inf_{\tau\in T(A)}\tau(e_{n})$, since $\tau(1_{A^{\omega}})=1$ for all $\tau\in T_{\omega}(A)$, we have $\lim_{n\to\omega}\gamma_{n}=1$. Now suppose that some net $(\tau_{i})$ in $T(A)$ converges to a functional $\sigma$, so that $\sigma$ is a tracial functional and $\|\sigma\|\leq 1$. Then $\sigma(e_{n})=\lim_{i}\tau_{i}(e_{n})\geq\gamma_{n}\rightarrow 1$, so $\sigma$ is a state on $A$. This shows that $T(A)$ is weak∗-closed in the (compact) unit ball of $A^{*}$. ∎

2. Uniform property $\Gamma$ for $\mathrm{C}^{*}$-algebras

Property $\Gamma$ for II1 factors was introduced by Murray and von Neumann in [46] to prove the existence of non-hyperfinite II1 factors. In modern language, a separably acting II1 factor $\mathcal{M}$ has property $\Gamma$ if its central sequence algebra141414Here $\mathcal{M}^{\omega}$ refers to the tracial von Neumann ultrapower of $\mathcal{M}$, which is again a II1 factor with the induced trace $\tau_{\mathcal{M}^{\omega}}$ from $\mathcal{M}$. $\mathcal{M}^{\omega}\cap\mathcal{M}^{\prime}$ is non-trivial. In this case Dixmier showed that $\mathcal{M}^{\omega}\cap\mathcal{M}^{\prime}$ is diffuse ([14]), and hence for each $n\in\mathbb{N}$ one can find orthogonal projections $p_{1},\dots,p_{n}\in\mathcal{M}^{\omega}\cap\mathcal{M}^{\prime}$ with $\tau_{\mathcal{M}^{\omega}}(p_{i})=1/n$. It is in this formulation that property $\Gamma$ has been most often used to obtain striking structural consequences; see [49, 10, 11].

In this section we introduce a uniform version of property $\Gamma$ for $\mathrm{C}^{*}$-algebras, motivated by Dixmier’s formulation.151515Versions of property $\Gamma$ for $\mathrm{C}^{*}$-algebras have been considered previously in connection with the similarity property [26, 51]. For example, [51] considers those $\mathrm{C}^{*}$-algebras all of whose II1 factor representations have property $\Gamma$. The key difference between this concept and our notion is that uniform property $\Gamma$ requires division uniformly in all traces, as opposed to pointwise in trace. Recall our convention that $A^{\omega}$ denotes the uniform tracial ultrapower from (1.3), which is unital when $T(A)$ is non-empty and compact, and $A^{\omega}\cap A^{\prime}$ consists of the $A$-central elements of $A^{\omega}$ (see footnote 10).

Definition 2.1**.**

Let $A$ be a separable $\mathrm{C}^{*}$-algebra with $T(A)$ non-empty and compact. We say that $A$ has uniform property $\Gamma$ if for all $n\in\mathbb{N}$, there exist projections $p_{1},\dots,p_{n}\in A^{\omega}\cap A^{\prime}$ summing to $1_{A^{\omega}}$, such that

[TABLE]

Note that the projections $p_{1},\dots,p_{n}$ in Definition 2.1 are necessarily pairwise orthogonal.

While we insist in Definition 2.1 that every element $a\in A$ can be ‘tracially divided’ in an approximately central fashion (as opposed to just requiring division of the unit), this does parallel the II1 factor setting. If $\mathcal{M}$ is a II1 factor and $p\in\mathcal{M}^{\omega}\cap M^{\prime}$, then $\tau_{\mathcal{M}^{\omega}}(p\,\cdot)$ defines a tracial functional on $\mathcal{M}$, and hence by uniqueness of the trace on $\mathcal{M}$,

[TABLE]

So in the II1 factor setting, $p$ divides arbitrary elements in trace, in just the same way it divides the unit. This is not true for $\mathrm{C}^{*}$-algebras whose trace space is non-Bauer; [8, Example 3.3] gives an example.

Kirchberg’s $\epsilon$-test or other reindexing methods allow us to replace the central sequence algebra with the relative commutant of an arbitrary separable subset. The argument is standard and we omit the proof (cf. [74, Proposition 4.4] for an example of such a reindexing argument).

Lemma 2.2**.**

Let $A$ be a separable $\mathrm{C}^{*}$-algebra with $T(A)$ non-empty and compact. Suppose $A$ has uniform property $\Gamma$. Then for $n\in\mathbb{N}$ and a $\|\cdot\|_{2,T_{\omega}(A)}$-separable subset $S$ of $A^{\omega}$, there exist projections $p_{1},\dots,p_{n}\in A^{\omega}\cap S^{\prime}$ summing to $1_{A^{\omega}}$, such that

[TABLE]

In this paper, $\mathcal{Z}$-stable $\mathrm{C}^{*}$-algebras are the most important instances of uniform property $\Gamma$; for later use we record a stronger statement.

Proposition 2.3**.**

Suppose $A$ is a separable, $\mathcal{Z}$-stable $\mathrm{C}^{*}$-algebra with $T(A)$ non-empty and compact. Then for any $\|\cdot\|_{2,T_{\omega}(A)}$-separable subset $S$ of $A^{\omega}$ and any $n\in\mathbb{N}$, there is a unital embedding $M_{n}\to A^{\omega}\cap S^{\prime}$. In particular, $A$ has uniform property $\Gamma$.

Proof.

By [39, Proposition 4.4 (4)], there is a unital embedding $\mathcal{Z}\rightarrow(A_{\omega}\cap A^{\prime})/A^{\perp}$.161616Here $A^{\perp}$ is the annihilator $\{x\in A_{\omega}:xa=ax=0,\ a\in A\}$. Since $A^{\perp}\subseteq J_{A}$ (by Lemma 1.10), this induces a unital ∗-homomorphism $\mathcal{Z}\to A^{\omega}\cap A^{\prime}$. By a standard use of Kirchberg’s $\epsilon$-test ([39, Lemma A.1]), there is a unital ∗-homomorphism $\phi:\mathcal{Z}\to A^{\omega}\cap S^{\prime}$. As the unit ball of $A^{\omega}$ is $\|\cdot\|_{2,T_{\omega}(A)}$-complete (Lemma 1.6), so too is the unit ball of $A^{\omega}\cap S^{\prime}$. Since $\phi$ is $(\|\cdot\|_{2,\tau_{\mathcal{Z}}}$-$\|\cdot\|_{2,T_{\omega}(A)})$-contractive, using Kaplansky’s density theorem, it follows that $\phi$ extends by continuity to a map from the II1 factor $\pi_{\tau_{\mathcal{Z}}}(\mathcal{Z})^{\prime\prime}$.171717This is isomorphic to the hyperfinite II1 factor $\mathcal{R}$, but this is not needed. Composing with a unital embedding $M_{n}\to\mathcal{\pi}_{\tau_{\mathcal{Z}}}(\mathcal{Z})^{\prime\prime}$, we obtain a unital ∗-homomorphism $\psi:M_{n}\to A^{\omega}\cap S^{\prime}$, showing the first conclusion.

To get uniform property $\Gamma$, take equivalent, orthogonal projections $q_{1},\dots,q_{n}\in M_{n}$ which sum to $1_{M_{n}}$, and define $p_{i}:=\psi(q_{i})$. As $M_{n}$ has a unique trace, for any $\tau\in T(A^{\omega})$ and any $a\in A$, $\tau(\psi(\cdot)a)$ must be a scalar multiple of the trace on $M_{n}$, so that

[TABLE]

We now turn to one of the key applications of uniform property $\Gamma$.

Lemma 2.4** (Tracial projectionisation).**

Let $A$ be a separable $\mathrm{C}^{*}$-algebra with $T(A)$ non-empty and compact, and with uniform property $\Gamma$. Let $S,T\subseteq A^{\omega}$ be $\|\cdot\|_{2,T_{\omega}(A)}$-separable subsets. Let $b\in(A^{\omega}\cap S^{\prime})_{+}^{1}$. Then there is a projection $p\in A^{\omega}\cap S^{\prime}$ such that

[TABLE]

Proof.

Fix $n\in\mathbb{N}$. By Kirchberg’s $\epsilon$-test ([39, Lemma A.1]), it suffices to produce $p\in(A^{\omega}\cap S^{\prime})_{+}^{1}$ satisfying (2.5) and $\|p-p^{2}\|_{2,T_{\omega}(A)}^{2}\leq 1/n$.

Define functions $f_{1},\dots,f_{n}\in C([0,1])$ by requiring that $f_{i}|_{[0,\frac{i-1}{n}]}\equiv 0$, $f_{i}|_{[\frac{i}{n},1]}\equiv 1$, and $f_{i}$ is linear on $[\frac{i-1}{n},\frac{i}{n}]$. Note that

[TABLE]

Lemma 2.2 provides pairwise orthogonal projections $p_{1},\dots,p_{n}\in A^{\omega}\cap S^{\prime}\cap\{b\}^{\prime}$ satisfying

[TABLE]

Define $p:=\sum_{i=1}^{n}p_{i}f_{i}(b)\in A^{\omega}\cap S^{\prime}$. Then for $a\in T$ and $\tau\in T_{\omega}(A)$,

[TABLE]

Moreover, for $\tau\in T_{\omega}(A)$, using properties of the $p_{i}$ in the first line,

[TABLE]

Since $p-p^{2}$ is a positive contraction, we get

[TABLE]

as required. ∎

3. Complemented partitions of unity

In this section we perform the main technical argument of the paper, obtaining complemented partitions of unity for nuclear $\mathrm{C}^{*}$-algebras with uniform property $\Gamma$. Recall our standard convention from (1.3) that $A^{\omega}$ denotes the uniform tracial ultrapower, which, by Proposition 1.11, is unital when $T(A)$ is non-empty and compact, and $A^{\omega}\cap A^{\prime}$ consists of the $A$-central elements of $A^{\omega}$ (see footnote 10).

Definition 3.1**.**

Let $A$ be a separable $\mathrm{C}^{*}$-algebra with $T(A)$ non-empty and compact. We say that $A$ has complemented partitions of unity (CPoU) if for every $\|\cdot\|_{2,T_{\omega}(A)}$-separable subset $S$ of $A^{\omega}$, every family $a_{1},\dots,a_{k}\in(A^{\omega})_{+}$, and any scalar

[TABLE]

there exist orthogonal projections $p_{1},\dots,p_{k}\in A^{\omega}\cap S^{\prime}$ such that

[TABLE]

Standard methods yield the following characterisation of CPoU with approximations in place of the use of the uniform tracial ultrapower; this characterisation matches the informal version of CPoU given in Definition G. Note that central surjectivity (Lemma 1.8) shows that condition (3.4) may be interchanged with $\|[e_{i},x]\|_{2,T(A)}<\epsilon$.

Proposition 3.2**.**

Let $A$ be a separable $\mathrm{C}^{*}$-algebra with $T(A)$ non-empty and compact. Then $A$ has CPoU if and only if for every finite set $\mathcal{F}\subset A$, every $\epsilon>0$, every family $a_{1},\dots,a_{k}\in A_{+}$, and any scalar

[TABLE]

there exist pairwise orthogonal $e_{1},\dots,e_{k}\in A_{+}^{1}$ such that

[TABLE]

Remark 3.3**.**

In particular, it suffices to verify CPoU with the positive elements $a_{1},\dots,a_{k}$ taken in $A$ rather than in $A^{\omega}$ (and in this situation (3.3) is equivalent to (3.1)).

For later use, we note the following stability result regarding CPoU.

Lemma 3.4**.**

Let $A$ be a separable $\mathrm{C}^{*}$-algebra with $T(A)$ non-empty and compact. For $m\in\mathbb{N}$, $A$ has CPoU if and only if $M_{m}(A)$ has CPoU.

Proof.

Fix $m\in\mathbb{N}$ and note that $M_{m}(A)^{\omega}\cong M_{m}(A^{\omega})\cong A^{\omega}\otimes M_{m}$ with a corresponding identification between the amplifications of limit traces in $T_{\omega}(A)$ to $M_{m}(A^{\omega})$ and the limit traces $T_{\omega}(M_{m}(A))$.

Suppose that $A$ has CPoU. Let $a^{(1)},\dots,a^{(k)}\in(A^{\omega}\otimes M_{m})_{+}$ and $\delta>0$ be such that for all $\tau\in T_{\omega}(M_{m}(A))$, there exists $i\in\{1,\dots,k\}$ such that $\tau(a^{(i)})<\delta$. Write $a^{(i)}=\sum_{r,s=1}^{m}a_{r,s}^{(i)}\otimes e_{r,s}$ for $a_{r,s}^{(i)}\in A^{\omega}$ so that for every $\tau\in T_{\omega}(A)$, there exists $i\in\{1,\dots,k\}$ with $\tau(\sum_{r=1}^{m}a^{(i)}_{r,r})<m\delta$. Given any separable subset $S$ of $M_{m}(A^{\omega})$, let $\tilde{S}\subset A^{\omega}$ consist of the matrix entries of elements of $S$. By CPoU for $A$, there exists a partition of unity consisting of projections $p_{1},\dots,p_{k}\in A^{\omega}\cap\tilde{S}^{\prime}$ such that

[TABLE]

Then $p_{1}\otimes 1_{M_{m}},\dots,p_{k}\otimes 1_{M_{m}}$ are projections in $(A^{\omega}\otimes M_{m})\cap S^{\prime}$ with

[TABLE]

for each $i$. Therefore $M_{m}(A^{\omega})\cong M_{m}(A)^{\omega}$ has CPoU.

Conversely suppose $M_{m}(A)^{\omega}\cong A^{\omega}\otimes M_{m}$ has CPoU. Let $a_{1},\dots,a_{k}\in A^{\omega}$ be positive elements and $\delta>0$ such that (3.1) holds. Then

[TABLE]

Given a separable subset $S\subset A^{\omega}$ containing $1_{A^{\omega}}$ we can apply CPoU for $M_{m}(A)$ to find a partition of unity consisting of projections $\tilde{p}_{1},\dots,\tilde{p}_{k}$ in $(A^{\omega}\otimes M_{m})\cap(S\otimes M_{m})^{\prime}$ with

[TABLE]

Since each $\tilde{p}_{i}$ commutes with $1_{A^{\omega}}\otimes M_{m}$, it is of the form $p_{i}\otimes 1_{M_{m}}$ for some $p_{i}\in A^{\omega}\cap S^{\prime}$. The family $p_{1},\dots,p_{k}$ witnesses CPoU for $A$. ∎

We now turn towards the proof of Theorem I, beginning by recording the strong form of the completely positive approximation property we require. In the case when $\hat{S}=A$, and working with approximate statements rather than ultrapowers, the following is a consequence of [5, Theorem 3.1] (which is stated in terms of finite sets and $\epsilon$’s, and obtains a stronger convexity conclusion in (ii), which we do not need). The version stated here is obtained from [5, Theorem 3.1] via standard reindexing or applying Kirchberg’s $\epsilon$-test. We omit the details.

Lemma 3.5** ([5, Theorem 3.1]).**

Let $A$ be a separable, nuclear $\mathrm{C}^{*}$-algebra, let $\hat{S}$ be a $\|\cdot\|$-separable subalgebra of $A_{\omega}$, and let $S\subset A^{\omega}$ be the $\|\cdot\|_{2,T_{\omega}(A)}$-closure of the image of $\hat{S}$ in $A^{\omega}$. Then there exists a sequence $(F_{m},\psi_{m},\phi_{m})_{m=1}^{\infty}$, where each $F_{m}$ is a finite dimensional $\mathrm{C}^{*}$-algebra, and $\psi_{m}:A\rightarrow F_{m}$ and $\phi_{m}:F_{m}\rightarrow A$ are c.p.c. maps which induce c.p.c. maps $\psi:A_{\omega}\rightarrow\prod_{\omega}F_{m}$ and $\phi:\prod_{\omega}F_{m}\rightarrow A^{\omega}$ such that181818Here $\prod_{\omega}F_{m}$ is the norm ultraproduct of the sequence $(F_{m})_{m=1}^{\infty}$, defined analogously to the ultrapower.

1. (i)

the restriction of $\phi\circ\psi$ to $\hat{S}$ agrees with the (restricted) quotient map $\hat{S}\to S\subset A^{\omega}$, 2. (ii)

the $\phi_{m}$ are sums of c.p.c. order zero maps, 3. (iii)

the map $\psi$ restricts to an order zero map on $\hat{S}$.

In our use of these approximations to perform the first step in the proof of Theorem I (as outlined in the introduction), the key role of (ii) and (iii) is that the order zero maps preserves traciality ([78, Corollary 4.4]). Consequently, $\tau\circ\phi_{m}$ is a tracial functional on $F_{m}$ if $\tau\in T(A)$, and $\tau\circ\psi$ is a tracial functional on $\hat{S}$ if $\tau\in T(\prod_{\omega}F_{m}$).

Lemma 3.6**.**

Let $A$ be a separable, nuclear $\mathrm{C}^{*}$-algebra with $T(A)$ non-empty and compact. Let $S\subset A^{\omega}$ be a $\|\cdot\|_{2,T_{\omega}(A)}$-separable subset, and $q\in A^{\omega}\cap A^{\prime}$ a projection such that there exists $\mu\in(0,1]$ with $\tau(q)=\mu$ for all $\tau\in T_{\omega}(A)$. Let $a_{1},\dots,a_{k}\in A_{+}$ and $\delta>0$ be such that

[TABLE]

Then there exist $b_{1},\dots,b_{k}\in(A^{\omega}\cap S^{\prime})_{+}^{1}$ such that

[TABLE]

Proof.

Without loss of generality, we may assume that $A\cup\{q\}\subseteq S$. By central surjectivity (Lemma 1.8), choose $\hat{q}\in(A_{\omega}\cap A^{\prime})_{+}^{1}$ which quotients to $q\in A^{\omega}$. Let $\hat{S}\subset A_{\omega}$ be a $\|\cdot\|$-separable $\mathrm{C}^{*}$-algebra containing $A\cup\{\hat{q}\}$ and whose image in $A^{\omega}$ is $\|\cdot\|_{2,T_{\omega}(A)}$-dense in $S$.

Fix $0<\epsilon<\mu/2$. By Kirchberg’s $\epsilon$-test, it suffices to find $b_{1},\dots,b_{k}\in(A^{\omega}\cap S^{\prime})_{+}^{1}$ satisfying the weaker conditions

[TABLE]

Lift $\hat{q}$ to a sequence $(q_{m})_{m=1}^{\infty}$ in $A_{+}^{1}$. Let $(F_{m},\psi_{m},\phi_{m})_{m=1}^{\infty}$ be as in Lemma 3.5. For each $m$, decompose $F_{m}$ as $\bigoplus_{\lambda\in\Lambda_{m}}F_{m,\lambda}$, where $\Lambda_{m}$ is a finite set and each $F_{m,\lambda}$ is a full matrix algebra. Correspondingly, $\psi_{m}$ decomposes as a direct sum $\bigoplus_{\lambda\in\Lambda_{m}}\psi_{m,\lambda}$. We denote the tracial state on $F_{m,\lambda}$ by $\tau_{F_{m,\lambda}}$. As $T(A)$ is compact, applying Dini’s theorem to an approximate unit for $A$ gives $e\in A_{+}^{1}$ such that

[TABLE]

Then

[TABLE]

Let $\tau=(\tau_{m})_{m=1}^{\infty}\in T_{\omega}(A)$ be a limit trace. For each $m$, by Lemma 3.5(ii) and [78, Corollary 4.4], $\tau_{m}\circ\phi_{m}$ is a tracial functional on $F_{m}$ of norm at most $1$ (since $\phi_{m}$ is contractive), and hence of the form

[TABLE]

for positive real numbers $\alpha_{\lambda}^{(m,\tau_{m})}$ satisfying

[TABLE]

For each $m$, define

[TABLE]

We first claim that

[TABLE]

If this is not the case, then for any $\tau=(\tau_{m})_{m=1}^{\infty}\in T_{\omega}(A)$, as above, using that $\phi\psi(e\hat{q})=eq$, we have

[TABLE]

which combines with (3.16) to contradict the choice of $\epsilon<\mu/2$.

Inductively define for $i=1,\dots,k$,

[TABLE]

We next claim that

[TABLE]

If this is not the case, then there exists $\lambda_{m}\in\Lambda_{m}$ for each $m$, such that

[TABLE]

(this uses (3.20)). Define a linear functional $\sigma$ on $A$ by

[TABLE]

By Lemma 3.5(iii) and since $\hat{q}\in A_{\omega}\cap A^{\prime}$, $\sigma$ factors as an order zero map $A\rightarrow\prod_{\omega}F_{m,\lambda_{m}}$ followed by the canonical limit trace on this ultraproduct. Thus it is a tracial functional by [78, Corollary 4.4]. Now

[TABLE]

by (3.19), as $\{m:\lambda_{m}\in\tilde{\Lambda}_{m}\}\in\omega$. In particular, $\sigma\neq 0$. By hypothesis, there exists $i\in\{1,\dots,k\}$ such that $\sigma(a_{i})<\delta\|\sigma\|$. Since

[TABLE]

we get from $\sigma(a_{i})<\delta\|\sigma\|$ that

[TABLE]

But then the definition of the sets $\tilde{\Lambda}_{m}^{(j)}$ ensures that $\lambda_{m}\in\bigcup_{j=1}^{i}\tilde{\Lambda}_{m}^{(j)}$ for $\omega$-many $m$. This contradicts (3.24), and proves the claim.

Now, for $i=1,\dots,k$, and $m\in\mathbb{N}$, define

[TABLE]

Set $f_{i}:=(f_{m}^{(i)})_{m=1}^{\infty}\in\prod_{\omega}F_{m}$ and $b_{i}:=(b_{m}^{(i)})_{m=1}^{\infty}\in A^{\omega}$, so $b_{i}=\phi(f_{i})$. Since each $\phi_{m}$ is a contractive map, note that $\sum_{i=1}^{k}b_{i}$ has norm at most $1$, and thus $\tau(\sum_{i=1}^{k}b_{i}q)\leq\tau(q)=\mu$ for $\tau\in T_{\omega}(A)$.

By Lemma 3.5(i), it follows by the Stinespring argument of [41, Lemma 3.5], that $\psi$ maps $\hat{S}$ into the multiplicative domain of $\phi$, and so for $x\in\hat{S}$ and $\bar{x}\in S$ its image,

[TABLE]

In particular, as $f_{i}$ is central in $\prod_{\omega}F_{m}$ we have

[TABLE]

Since the image of $\hat{S}$ is $\|\cdot\|_{2,T_{\omega}(A)}$-dense in $S$, it follows that $b_{i}\in A^{\omega}\cap S^{\prime}$.

For $i=1,\dots,k$, and $\tau=(\tau_{m})_{m=1}^{\infty}\in T_{\omega}(A)$, we have

[TABLE]

proving (3.14). Likewise, we have

[TABLE]

establishing (3.13). ∎

We now show how the conclusion of the previous lemma combines with uniform property $\Gamma$ to give CPoU. The strategy has the spirit of geometric series arguments used in [74, 76], but as we work only with projections of constant value on (limit) traces we can use a maximality argument directly. Note that we do not require $A$ to be nuclear for this step, only that the conclusion of Lemma 3.6 has been obtained.

Lemma 3.7**.**

Let $A$ be a separable $\mathrm{C}^{*}$-algebra with $T(A)$ non-empty and compact. Suppose that $A$ has uniform property $\Gamma$ and that the conclusion of Lemma 3.6 holds. Then $A$ has CPoU.

Proof.

As in Remark 3.3, it suffices to verify CPoU for positive elements $a_{1},\dots,a_{k}\in A$ and $\delta>0$ such that

[TABLE]

Let $S\subset A^{\omega}$ be a $\|\cdot\|_{2,T_{\omega}(A)}$-separable subset.

Let $I$ denote the set of all $\alpha\in[0,1]$ such that there exist pairwise orthogonal projections $p_{1},\dots,p_{k}\in A^{\omega}\cap S^{\prime}$ such that for $i=1,\dots,k$,

[TABLE]

First of all, notice that $0\in I$, as $p_{1}=p_{2}=\dots=p_{k}:=0$ satisfy (3.35), so $I\neq\emptyset$. By Kirchberg’s $\epsilon$-test, $I$ is closed, so that $\beta:=\sup I\in I$. Our objective is to show that $\beta=1$, as then this gives CPoU.

Suppose for a contradiction that $\beta<1$ and let $p_{1}^{(1)},\dots,p_{k}^{(1)}\in A^{\omega}\cap S^{\prime}$ be orthogonal projections such that

[TABLE]

for all $\tau\in T_{\omega}(A)$. Using the conclusion of Lemma 3.6 (which we are assuming holds for $A$), with $q:=1_{A^{\omega}}-(p^{(1)}_{1}+\cdots+p^{(1)}_{k})$ and $S\cup\{q\}$ in place of $S$, there exist $b^{(2)}_{1},\cdots,b^{(2)}_{k}\in(A^{\omega}\cap S^{\prime}\cap\{q\}^{\prime})_{+}^{1}$ such that

[TABLE]

for all $\tau\in T_{\omega}(A)$ and $i=1,\dots,k$. As $A$ has uniform property $\Gamma$, for each $i$, we can apply Lemma 2.4 to $b^{(2)}_{i}$ to obtain a projection $p^{(2)}_{i}\in A^{\omega}\cap S^{\prime}\cap\{q\}^{\prime}$ such that

[TABLE]

Set

[TABLE]

Using uniform property $\Gamma$, Lemma 2.2 gives pairwise orthogonal projections $r_{1},\dots,r_{k}\in A^{\omega}\cap T^{\prime}$ such that

[TABLE]

Define

[TABLE]

By construction, $p_{1},\dots,p_{k}\in A^{\omega}\cap S^{\prime}$ are pairwise orthogonal projections. We will verify that they satisfy (3.35) for the value $\alpha:=\beta+\frac{1}{k}(1-\beta)>\beta$, providing the required contradiction.

Let $\tau\in T_{\omega}(A)$. Then

[TABLE]

establishing the first part of (3.35). Also, for $i=1,\dots,k$,

[TABLE]

Thus $p_{1},\dots,p_{k}$ witnesses that $\beta+\frac{1}{k}(1-\beta)\in I$, a contradiction. ∎

Combining the two previous results yields our main technical result, which we will subsequently use to obtain nuclear dimension estimates. Theorem I follows immediately from Theorem 3.8 and Proposition 2.3.

Theorem 3.8**.**

Let $A$ be a separable, nuclear $\mathrm{C}^{*}$-algebra with $T(A)$ non-empty and compact, and with uniform property $\Gamma$. Then $A$ has CPoU.

Proof.

This follows by combining Lemma 3.6 with Lemma 3.7. ∎

4. Structural results for relative commutants and classification of maps out of cones

With the key ingredient of complemented partitions of unity in place, we now turn to showing how to use it to obtain our main results. In this section we obtain the key structural results for $B^{\omega}$ (and its relative commutants), and transfer these to $B_{\omega}$ (and its relative commutants) leading to classification results for order zero maps, which will be used to obtain finite nuclear dimension in Section 5.

The strategy closely follows the arguments of [3]. The key difference is our use of CPoU to remove the hypothesis that the traces form a Bauer simplex from [3]. In comparing the results of this section with [3], recall from Section 1.3(11) that when $T(B)$ is a Bauer simplex, $B^{\omega}$ is canonically identified with the ultraproduct $\mathcal{M}^{\omega}$ of the $\mathrm{W}^{*}$-bundle $\mathcal{M}$ obtained from $B$, and the results of [3, Section 3] are all expressed in terms of this $\mathrm{W}^{*}$-bundle.191919The hypothesis that $B$ has CPoU used here, replaces the hypothesis that $\mathcal{M}$ is McDuff used in [3]; both are obtained from $\mathcal{Z}$-stability of $B$.

To make it transparent how we adapt the proofs of Sections 4 and 5 of [3], we start by showing how CPoU can be used to obtain a version of the key local-to-global transfer lemma ([3, Lemma 3.18]), used (there) to glue fibrewise properties of trivial $\mathrm{W}^{*}$-bundles to global properties. In the following lemma, think of the equation $h_{n}(a,y)=0$ as a condition we want $y$ to satisfy, with $a$ a fixed constant. For example, $h(a,y)=ay-ya$ describes the condition $y\in\{a\}^{\prime}$. The idea is that if for each trace there is an approximate solution to a family of conditions, then there are exact solutions in $B^{\omega}$ (i.e., $\|\cdot\|_{2,T(B)}$-approximate solutions in $B$).

Lemma 4.1** (cf. [3, Lemma 3.18]).**

Let $B$ be a separable, unital $\mathrm{C}^{*}$-algebra with $T(B)$ non-empty, and with CPoU. For each $m\in\mathbb{N}$, let

[TABLE]

be a ∗-polynomial in $r_{m}+s_{m}$ non-commuting variables. Let $(a_{i})_{i=1}^{\infty}$ be a sequence from $B^{\omega}$. Suppose that, for every $\epsilon>0$, $k\in\mathbb{N}$, and $\tau\in T(B^{\omega})$ in the closure of $T_{\omega}(B)$, there exist contractions $y^{\tau}_{1},y^{\tau}_{2},\dots\in\pi_{\tau}(B^{\omega})^{\prime\prime}$ (where $\pi_{\tau}$ is the GNS representation associated to $\tau$) such that

[TABLE]

Then there exist contractions $y_{i}\in B^{\omega}$ for $i\in\mathbb{N}$ such that

[TABLE]

Remark 4.2**.**

Before giving the proof, we point out the differences between Lemma 4.1 and [3, Lemma 3.18] beyond the change in framework from $\mathrm{W}^{*}$-bundles to uniform tracial ultrapowers $B^{\omega}$.

(i) [3, Lemma 3.18] was set up with exactly $2m$ variables in the $m^{\text{th}}$ polynomial. This was just a notational device, which we abandon here.

(ii) In [3, Lemma 3.18], the hypothesis and conclusion concern the absolute value of the trace applied to the ∗-polynomial, whereas here, we quantify approximate local solutions using the 2-norm coming from each trace. This is a genuine difference forced on us by the setup of CPoU, and the absolute value version in [3, Lemma 3.18] is formally stronger. However, in all applications of [3, Lemma 3.18] in [3], the ∗-polynomials are of the form $k_{m}(\cdot)^{*}k_{m}(\cdot)$, where $k_{m}$ is itself a non-commutative ∗-polynomial, and thus when we evaluate at the trace, we are taking the 2-norm squared of $k_{m}$.

(iii) The most fundamental difference between Lemma 4.1 and [3, Lemma 3.18] is the collection of traces we must use. When $T(B)$ is compact, and we take $\mathcal{M}_{n}$ to be the strict closure of $B$ in [3, Lemma 3.18], then the hypothesis and conclusion of [3, Lemma 3.18] only refer to those traces on $B^{\omega}$ coming from the ultra-coproduct of the extremal traces on $B$. In order to produce elements $a_{i}$ in Definition 3.1 so we can use CPoU, it is necessary to work with all traces (not just extremal traces), and thus we must ask for approximate solutions in general (not necessarily factorial) GNS representations. Every time we use Lemma 4.1 here in place of [3, Lemma 3.18] we are able to verify this stronger hypothesis (although it requires working with finite von Neumann algebras in place of just II1 factors).

Proof of Lemma 4.1..

Note that (4.3) is the same as

[TABLE]

(by (1.6)). Just as in the proof of [3, Lemma 3.18], by Kirchberg’s $\epsilon$-test, it suffices to find for each $k\in\mathbb{N}$ and $\epsilon>0$, contractions $(y_{i})_{i=1}^{\infty}\in B^{\omega}$ such that

[TABLE]

So, let us fix $k\in\mathbb{N}$ and $\epsilon>0$.

By hypothesis, for each $\tau\in\overline{T_{\omega}(B)}$ there exist contractions $(y^{\tau}_{i})_{i=1}^{\infty}$ in $\pi_{\tau}(B^{\omega})^{\prime\prime}$ such that

[TABLE]

Using Kaplansky’s density theorem, we may in fact assume each $y^{\tau}_{i}$ is in $B^{\omega}$ while retaining (4.6). Set

[TABLE]

so that

[TABLE]

By continuity and compactness, there are $\tau_{1},\dots,\tau_{n}\in\overline{T_{\omega}(B)}$ such that

[TABLE]

By CPoU, there exist pairwise orthogonal projections

[TABLE]

such that

[TABLE]

Define $y_{i}:=\textstyle\sum\limits_{j=1}^{n}p_{j}y^{\tau_{j}}_{i}$ for $i\in\mathbb{N}$. Then, from (4.10) and since the $p_{j}$ are a partition of unity consisting of projections,

[TABLE]

Using this, we obtain

[TABLE]

for all $\tau\in T_{\omega}(B)$, as required. ∎

Our first use of Lemma 4.1 is to obtain strict comparison for relative commutants in $B^{\omega}$.

Lemma 4.3** (cf. [3, Lemma 3.20]).**

Let $B$ be a separable, unital $\mathrm{C}^{*}$-algebra with $T(B)$ non-empty, and with CPoU. Let $S\subset B^{\omega}$ be a self-adjoint $\|\cdot\|_{2,T_{\omega}(B)}$-separable subset, and let $p$ be a projection in the centre of $B^{\omega}\cap S^{\prime}$. Then the $\mathrm{C}^{*}$-algebra $p(B^{\omega}\cap S^{\prime})$ has strict comparison of positive elements by bounded traces, as in [3, Definition 1.5].

Proof.

This is obtained by following the proof [3, Lemma 3.20] replacing $\mathcal{M}^{\omega}$ by $B^{\omega}$ and using Lemma 4.1 in place of [3, Lemma 3.18]. There are two things to note.

Firstly, strict comparison is a property defined at the level of matrix amplifications. The first paragraph of the proof of Lemma 3.20 of [3], notes that without loss of generality we do not need to perform this matrix amplification; this is equally valid in our setting as $M_{k}(B^{\omega})\cong(M_{k}(B))^{\omega}$, and $M_{k}(B)$ inherits CPoU from $B$ by Lemma 3.4.

Secondly, to verify the existence of approximate local solutions, (4.2) as in the last two paragraphs of the proof of [3, Lemma 3.20], we only require that $\pi_{\tau}(B^{\omega})^{\prime\prime}$ is a finite von Neumann algebra,202020In contrast to [3], where the relevant $\pi_{\tau}(M^{\omega})$ is automatically a von Neumann algebra, in our situation we must pass to the von Neumann closure, as $\pi_{\tau}(B^{\omega})$ is not generally a von Neumann algebra. so the additional traces required in the hypothesis of Lemma 4.1 (as discussed in Remark 4.2 (iii)) cause no difficulties. ∎

Our next goal is to use CPoU to determine all traces on relative commutants $B^{\omega}\cap\phi(A)^{\prime}$, where $A$ is a separable, nuclear $\mathrm{C}^{*}$-algebra and $\phi$ is a ∗-homomorphism. The compact tracial boundary version of this result (phrased in terms of McDuff $\mathrm{W}^{*}$-bundles) is [3, Proposition 3.22], obtained by gluing together the fibrewise result of [3, Lemma 3.21]. In order to clarify the Hahn–Banach argument used at the very last part of these two results,212121The results ([3, Lemma 3.21 and Proposition 3.22]) are correct as stated, but the presentation of the argument using the Hahn–Banach theorem at the end of their proofs was inappropriately terse. we give full details. We begin by extracting a Hahn–Banach argument from the proof of [47, Theorem 8].

Lemma 4.4** (cf. [47, Theorem 8]).**

Let $A$ be a $\mathrm{C}^{*}$-algebra, and let $T_{0}\subset T(A)$ be a collection of traces with the property that for all $z\in A$,

[TABLE]

Then the weak∗-closed convex hull of $T_{0}$ is $T(A)$.

Proof.

Suppose that this is not the case. Then there exists $\tau\in T(A)\setminus\overline{\mathrm{co}(T_{0})}$. By Hahn–Banach, let $z_{0}=z_{0}^{*}\in A$ be such that $\sup_{\sigma\in T_{0}}\sigma(z_{0})<\tau(z_{0})$. By hypothesis,

[TABLE]

Choose $a\in A_{+}$ such that $\tau(a)>\alpha$ and $\|a\|<\alpha+(\tau(z_{0})-\sup_{\sigma\in T_{0}}\sigma(z_{0}))$. Set $z:=z_{0}+a$, so that for $\rho\in T_{0}$,

[TABLE]

Thus, $\sup_{\sigma\in T_{0}}|\sigma(z)|\leq\sup_{\sigma\in T_{0}}|\sigma(z_{0})|$, and so

[TABLE]

contradicting the hypothesis. ∎

We now turn to the fibrewise statement for traces on relative commutants. The key difference between this and the original statement of [3, Lemma 3.21] is that we also need to consider elements which are uniformly small in trace, not just those which are zero in all traces.

Lemma 4.5** (cf. [3, Lemma 3.21]).**

Let $\mathcal{M}$ be a finite von Neumann algebra with faithful normal trace $\tau_{\mathcal{M}}$. Let $\mathcal{B}\subset\mathcal{M}$ be an injective von Neumann subalgebra with separable predual. Set $\mathcal{N}:=\mathcal{M}\cap\mathcal{B}^{\prime}\cap(1_{\mathcal{M}}-1_{\mathcal{B}})^{\perp}$. Define $T_{0}$ to be the set of all traces on $\mathcal{N}$ of the form $\tau(b\,\cdot)$ where $\tau\in T(\mathcal{M})$ is a normal trace and $b\in\mathcal{B}_{+}$ has $\tau(b)=1$. Suppose that $\delta>0$ and $z\in\mathcal{N}$ is a contraction such that $|\rho(z)|\leq\delta$ for all $\rho\in T_{0}$. Set $K:=12\cdot 12\cdot(1+\delta)$. Then for any finite subset $\mathcal{F}$ of $\mathcal{B}$ and $\epsilon>0$, there exist contractions $w,x_{1},\dots,x_{10},y_{1},\dots,y_{10}\in\mathcal{M}\cap(1_{\mathcal{M}}-1_{\mathcal{B}})^{\perp}$, such that $\|[w,a]\|_{2,\tau_{\mathcal{M}}},\|[x_{i},a]\|_{2,\tau_{\mathcal{M}}},\|[y_{i},a]\|_{2,\tau_{\mathcal{M}}}<\epsilon$ for all $a\in\mathcal{F}$, and

[TABLE]

If $(\mathcal{M},\tau_{\mathcal{M}})$ is an ultraproduct of tracial von Neumann algebras,222222This means that we have a sequence $(\mathcal{M}_{n})_{n=1}^{\infty}$ of finite von Neumann algebras with a distinguished faithful trace $\tau_{n}\in T(\mathcal{M}_{n})$ for each $n$, and $\mathcal{M}:=\prod^{\omega}\mathcal{M}_{n}$ is the tracial von Neumann ultrapower, i.e. the quotient of $\prod_{n=1}^{\infty}\mathcal{M}_{n}$ by $\{(x_{n})_{n=1}^{\infty}\in\prod_{n=1}^{\infty}\mathcal{M}_{n}:\lim_{n\to\omega}\tau_{n}(x_{n}^{*}x_{n})=0\}$. Then $\mathcal{M}$ is a finite von Neumann algebra and carries the distinguished faithful normal trace $\tau_{\mathcal{M}}$ arising from the sequence $(\tau_{n})_{n=1}^{\infty}$. then one can take $w,x_{1},\dots,x_{10},y_{1},\dots,y_{10}\in\mathcal{N}$ and have the equality

[TABLE]

Moreover, in this case, the weak∗-closed convex hull of $T_{0}$ is $T(\mathcal{N})$.

Proof.

Throughout the proof, we will write $\|\cdot\|_{2}$ as shorthand for $\|\cdot\|_{2,\tau_{\mathcal{M}}}$. Assume without loss of generality that $\mathcal{F}$ consists of contractions. As $\mathcal{B}$ is hyperfinite (by Connes’ theorem [13]), we may find a finite dimensional subalgebra $B$ of $\mathcal{B}$ with $1_{B}=1_{\mathcal{B}}$ such that for all $a\in\mathcal{F}$ there exists $b\in B$ such that $\|a-b\|_{2}<\tfrac{\epsilon}{2}$. We shall arrange that $w,x_{i},y_{i}\in\mathcal{M}\cap B^{\prime}\cap(1_{\mathcal{M}}-1_{B})^{\perp}$; it will then follow that $\|[w,a]\|_{2},\|[x_{i},a]\|_{2},\|[y_{i},a]\|_{2}<\epsilon$ for all $a\in\mathcal{F}$.

Let $p_{1},\dots,p_{l}$ be the minimal central projections in $B$, so that $\mathcal{M}\cap B^{\prime}\cap(1_{\mathcal{M}}-1_{B})^{\perp}$ decomposes as the direct sum $\bigoplus_{k=1}^{l}p_{k}(\mathcal{M}\cap B^{\prime})$. Identify the centre of $\mathcal{M}$ with $L^{\infty}(Y,\mu)$, where $\mu$ induces $\tau_{\mathcal{M}}$ and let $E:\mathcal{M}\rightarrow L^{\infty}(Y,\mu)$ denote the centre-valued trace. For each $k$, set $Y_{k}:=\{t\in Y:E(p_{k})(t)>(\epsilon/l)^{2}\}$, and let $q_{k}:=p_{k}\chi_{Y_{k}}\in p_{k}(\mathcal{M}\cap B^{\prime})$. Note that $p_{k}-q_{k}$ is a projection satisfying $\|E(p_{k}-q_{k})\|\leq(\epsilon/l)^{2}$, and hence $\|p_{k}-q_{k}\|_{2}\leq\epsilon/l$. Set $z^{\prime}:=z\sum_{k=1}^{l}q_{k}$ so that

[TABLE]

We claim that $|\sigma(z^{\prime})|\leq\delta$ for every trace $\sigma\in T(\mathcal{M}\cap B^{\prime}\cap(1_{\mathcal{M}}-1_{B})^{\perp})$. By convexity and density, it suffices to prove this for a normal trace $\sigma$ that is concentrated in a single direct summand $p_{k}(\mathcal{M}\cap B^{\prime})$. Since $p_{k}B$ is a unital matrix algebra in $p_{k}\mathcal{M}p_{k}$, we have

[TABLE]

and so such a $\sigma$ extends uniquely to a (necessarily normal) trace on $p_{k}\mathcal{M}p_{k}$, also denoted $\sigma$. Since $E(q_{k})$ is bounded away from [math] on $Y_{k}$, the tracial functional $\sigma(q_{k}\,\cdot)$ on $q_{k}\mathcal{M}q_{k}$ extends to a bounded normal tracial functional on $\chi_{Y_{k}}\mathcal{M}$,232323To see this, fix $m\in\mathbb{N}$ with $m>(l/\epsilon)^{2}$. Working in the von Neumann algebra $\chi_{Y_{k}}\mathcal{M}\otimes M_{m}$, as the centre-valued trace determines the order on projections, we have $\chi_{Y_{k}}\otimes e_{11}\precsim q_{k}\otimes 1_{m}$. As $\sigma(q_{k}\,\cdot)$ certainly extends to $q_{k}\mathcal{M}q_{k}\otimes M_{m}$, this Murray–von Neumann subequivalence can be used to define the trace on $\chi_{Y_{k}}\mathcal{M}$. and then to a bounded normal tracial functional $\sigma^{\prime}$ on $\mathcal{M}$. Note $\sigma^{\prime}(p_{k}z)=\sigma^{\prime}(p_{k}\chi_{Y_{k}}z)=\sigma(q_{k}z)$, and $\sigma^{\prime}(p_{k})=\sigma(q_{k})$. Accordingly, using the hypothesis on $z$ for the first inequality, we have

[TABLE]

establishing the claim.

Now, let h\in Z\big{(}\mathcal{M}\cap B^{\prime}\cap(1_{\mathcal{M}}-1_{B})^{\perp}\big{)} be the image of $z^{\prime}$ under the centre-valued trace on $\mathcal{M}\cap B^{\prime}\cap(1_{\mathcal{M}}-1_{B})^{\perp}$. By the claim, $\|h\|\leq\delta$, so $w:=\delta^{-1}h$ is a contraction, and $z^{\prime}-\delta w=z^{\prime}-h$ vanishes under this centre-valued trace. Therefore [24, Theorem 3.2] provides contractions242424This is why the constant $K$ appears. Note $\|z^{\prime}-h\|\leq 1+\delta$. $x_{1},\dots,x_{10},y_{1},\dots,y_{10}\in\mathcal{M}\cap B^{\prime}\cap(1_{\mathcal{M}}-1_{B})^{\perp}$, such that

[TABLE]

Since $\|z-z^{\prime}\|_{2}<\epsilon$, this gives (4.17).

Now consider the case when $(\mathcal{M},\tau_{\mathcal{M}})$ is an ultraproduct of tracial von Neumann algebras as set out in Footnote 22 above. In this case Kirchberg’s $\epsilon$-test enables us to take $x_{i},y_{i}\in\mathcal{N}$ and get the equality (4.18), which in turn ensures that for any trace $\rho\in T(\mathcal{N})$, we have $|\rho(z)|\leq\delta$. Thus $\mathcal{N}$ (in place of $A$) and $T_{0}$ satisfy the hypothesis of Lemma 4.4, and so the weak∗-closed convex hull of $T_{0}$ is $T(\mathcal{N})$. ∎

We now use CPoU to obtain a version of the previous result for relative commutants in $B^{\omega}$.

Proposition 4.6** (cf. [3, Proposition 3.22]).**

Let $B$ be a separable, unital $\mathrm{C}^{*}$-algebra with $T(B)$ non-empty, and with CPoU. Let $A$ be a separable, unital, nuclear $\mathrm{C}^{*}$-algebra and $\phi:A\rightarrow B^{\omega}$ a ∗-homomorphism. Set $C:=B^{\omega}\cap\phi(A)^{\prime}\cap(1_{B^{\omega}}-\phi(1_{A}))^{\perp}$. Define $T_{0}$ to be the set of all traces on $C$ of the form $\tau(\phi(a)\,\cdot)$ where $\tau\in T(B^{\omega})$ and $a\in A_{+}$ satisfies $\tau(\phi(a))=1$.

Suppose $\delta>0$ and $z\in C$ is a contraction satisfying $|\rho(z)|\leq\delta$ for all $\rho\in T_{0}$. Set $K:=12\cdot 12\cdot(1+\delta)$. Then there exist contractions $w,x_{1},\dots,x_{10},y_{1},\dots,y_{10}\in C$, such that

[TABLE]

In particular, $T(C)$ is the closed convex hull of $T_{0}$.

Proof.

Fix $z$ and $\delta$ as in the proposition, and a dense sequence $(a_{j})_{j=1}^{\infty}$ in $A$. We will use Lemma 4.1 to find contractions $w,x_{1},\dots,x_{10},y_{1},\dots,y_{10}$ in $B^{\omega}$ satisfying the following conditions

[TABLE]

which we can encode by a countable sequence of non-commutative polynomials $h_{m}$ for the purpose of verifying the hypotheses of Lemma 4.1.

Let $\tau\in\overline{T_{\omega}(B)}$, $\epsilon>0$ and $k\in\mathbb{N}$. Set $\mathcal{M}_{\tau}:=\pi_{\tau}(B^{\omega})^{\prime\prime}$, $\phi_{\tau}:=\pi_{\tau}\circ\phi:A\rightarrow\mathcal{M}_{\tau}$ and $\mathcal{B}:=\phi_{\tau}(A)^{\prime\prime}$, where $\pi_{\tau}$ denotes the GNS representation associated to $\tau$. As $A$ is nuclear, $\mathcal{B}$ is injective.

Given a normal trace $\rho\in T(\mathcal{M}_{\tau})$, and $b\in\mathcal{B}_{+}$ with $\rho(b)=1$, find a net $(a_{i})_{i}$ in $A_{+}$ with $\phi_{\tau}(a_{i})\rightarrow b$ weak∗. Then $\rho(\phi_{\tau}(a_{i}))\rightarrow 1$, so defining $\tilde{a}_{i}:=a_{i}/\rho(\phi_{\tau}(a_{i}))$, we have $\phi_{\tau}(\tilde{a}_{i})\rightarrow b$ weak∗ and $\rho(\phi_{\tau}(\tilde{a}_{i}))=1$ for all $i$. By hypothesis $|\rho(\phi_{\tau}(\tilde{a}_{i})\pi_{\tau}(z))|\leq\delta$ for all $i$, so that $|\rho(b\pi_{\tau}(z))|\leq\delta$. Lemma 4.5, then gives contractions $w^{\tau},x_{1}^{\tau},\dots,x_{10}^{\tau},y_{1}^{\tau},\dots,y_{10}^{\tau}\in\mathcal{M}_{\tau}\cap(1_{{\mathcal{M}}_{\tau}}-1_{\mathcal{B}})^{\perp}$ such that

[TABLE]

and $\|[w^{\tau},\phi_{\tau}(a_{j})]\|_{2,\tau},\|[x^{\tau}_{l},\phi_{\tau}(a_{j})]\|_{2,\tau},\|[y^{\tau}_{l}\phi_{\tau}(a_{j})]\|_{2,\tau}<\epsilon$ for all $1\leq j\leq k$ and $1\leq l\leq 10$. Hence the hypotheses of Lemma 4.1 are satisfied, i.e., we can approximately satisfy finitely many of the conditions from (4.24) in each trace. Therefore by Lemma 4.1, we can produce the contractions satisfying (4.24), thus establishing (4.23).

Since $w$ is a contraction, we have $|\tau(z)|\leq\delta$ for all $\tau\in T(C)$. Hence, the closure of $T_{0}$ is $T(C)$ by Lemma 4.4. ∎

With the above results in place, we can now use property (SI) as set up in [3, Section 4.1] (without any tracial boundary assumption) and central surjectivity to lift the structural results for relative commutants in $B^{\omega}$ back to the $\mathrm{C}^{*}$-level. In particular, using the results above in place of the corresponding results from [3], the proofs in [3] give the following omnibus lemma (which was shown in [3] in the compact boundary case). As in [3], from this point on we need the hypotheses that $B$ is simple, and all quasitraces on $B$ are traces (written $QT(B)=T(B)$, and famously automatic when $B$ is exact by Haagerup’s work [30]).

Lemma 4.7** (cf. [3, Theorem 4.1]).**

Let $B$ be a separable, simple, unital, $\mathcal{Z}$-stable $\mathrm{C}^{*}$-algebra with $QT(B)=T(B)\neq\emptyset$ and with CPoU. Let $A$ be a separable, unital, nuclear $\mathrm{C}^{*}$-algebra and $\pi:A\rightarrow B_{\omega}$ a c.p.c. order zero map such that $\pi(a)$ is full for each nonzero $a\in A$, and which induces a ∗-homomorphism $\bar{\pi}:A\rightarrow B_{\omega}/J_{B}=B^{\omega}$. Set

[TABLE]

Then

1. (i)

all traces on $C$ factor through $\bar{C}$, 2. (ii)

$C$* has strict comparison of positive elements by traces, and* 3. (iii)

the traces on $C$ are the closed convex hull of traces of the form $\tau(\pi(a)\,\cdot)$ for $\tau\in T(B_{\omega})$ and $a\in A_{+}$ with $\tau(\pi(a))=1$.

Proof.

(i) is just a repeat of [3, Theorem 4.1(i)], and CPoU is not required.

For (ii), we use the proof from [3] with the following small modifications. In place of the paragraph following Eq. (4.57) in [3], use Lemma 4.3 to obtain strict comparison for $\bar{C}$; the embedding of $M_{k}$ into $B^{\omega}\cap\bar{\pi}(A)^{\prime}\cap\{\bar{c}\}^{\prime}$ in Eq. (4.58) of [3] is obtained from Proposition 2.3 in place of [3, Remark 3.13]); and Lemma 1.8 is used in place of [3, Lemma 3.10] to justify Eq. (4.59) of [3].

Finally, (iii) follows from (i), Lemma 1.8, and Proposition 4.6. ∎

We now have all the tools in place to obtain the main classification lemma for order zero maps required to obtain our nuclear dimension estimates. The following removes the tracial boundary hypothesis from [3, Theorem 5.5] (though for simplicity we stick to a single algebra $B$ rather than the sequence of algebras $(B_{n})_{n=1}^{\infty}$ given in [3]).

Lemma 4.8** (cf. [3, Theorem 5.5]).**

Let $B$ be a separable, simple, unital, $\mathcal{Z}$-stable $\mathrm{C}^{*}$-algebra with $QT(B)=T(B)\neq\emptyset$ and with CPoU. Let $A$ be a separable, unital, nuclear $\mathrm{C}^{*}$-algebra, let $\phi_{1}:A\rightarrow B_{\omega}$ be a ∗-homomorphism such that $\phi_{1}(a)$ is full in $B_{\omega}$ for each nonzero $a\in A$, and let $\phi_{2}:A\rightarrow B_{\omega}$ a c.p.c. order zero map such that

[TABLE]

Let $k\in\mathcal{Z}_{+}^{1}$ have spectrum $[0,1]$, and define c.p.c. order zero maps $\psi_{i}:A\rightarrow(B\otimes\mathcal{Z})_{\omega}$ by $\psi_{i}(\cdot):=\phi_{i}(\cdot)\otimes k$. Then $\psi_{1}$ and $\psi_{2}$ are unitarily equivalent in $(B\otimes\mathcal{Z})_{\omega}$.

Proof.

The proof of [3, Theorem 5.5] works verbatim to give Lemma 4.8, using Lemma 4.7 in place of [3, Theorem 4.1]. Note that the key technical result ([3, Theorem 5.1]) used in the argument is set up with the hypothesis that the algebra $C$ of [3, Eq. (5.1)] has strict comparison of positive elements by traces. When we apply this, $C$ is a relative commutant of $M_{2}(B_{\omega})\cong(M_{2}(B))_{\omega}$ but otherwise of the form (4.26). Since $M_{2}(B)$ inherits CPoU from $B$ by Lemma 3.4, the hypotheses of Lemma 4.7 hold. So [3, Theorem 5.1] can be applied just as in [3]. ∎

We end this section by noting that we can remove the tracial boundary hypothesis from the $2$-coloured classification result [3, Corollary 6.5].262626The tracial boundary hypothesis can also be removed from [3, Theorem 6.2]; for conciseness we do not state this here. Recall from [3, Definition 6.1] that unital ∗-homomorphisms $\phi,\psi:A\rightarrow B$ are said to be approximately $n$-coloured equivalent if there exists $w^{(0)},\dots,w^{(n-1)}\in B_{\omega}$ such that $w^{(i)}{}^{*}w^{(i)}\in B_{\omega}\cap\psi(A)^{\prime}$ and $w^{(i)}w^{(i)}{}^{*}\in B_{\omega}\cap\phi(A)^{\prime}$ for each $i=0,\dots,n-1$ and

[TABLE]

Recall too, that under the hypotheses of the theorem which follows, $B$ has CPoU when it is nuclear by Theorem I. The proofs from [3, Section 6] work verbatim for Theorem 4.9, using Lemma 4.8 in place of [3, Theorem 5.5].

Theorem 4.9** (cf. [3, Corollary 6.5]).**

Let $A$ be a separable, unital, nuclear $\mathrm{C}^{*}$-algebra, and let $B$ be a separable, simple, unital, $\mathcal{Z}$-stable $\mathrm{C}^{*}$-algebra such that $QT(B)=T(B)\neq\emptyset$, and with CPoU. Let $\phi_{1},\phi_{2}:A\rightarrow B$ be unital ∗-homomorphisms such that $\phi_{1}$ is injective. Then the following are equivalent:

1. (i)

$\tau\circ\phi_{1}=\tau\circ\phi_{2}$* for all $\tau\in T(B)$;* 2. (ii)

$\phi_{1}$* and $\phi_{2}$ are approximately $n$-coloured equivalent for some $n\in\mathbb{N}$ with $n\geq 2$;* 3. (iii)

$\phi_{1}$* and $\phi_{2}$ are approximately $2$-coloured equivalent.*

5. Nuclear dimension

The final ingredient we need to prove Theorem B and its consequences, is the existence result (i) discussed in the outline ‘From $\mathcal{Z}$-stability to finite nuclear dimension’ in the introduction. The corresponding result with a compact tracial boundary assumption is [3, Lemma 7.4]. In order to use CPoU to extend this result to general trace simplices, we first handle the case of a single trace using a strategy from [5].

Lemma 5.1**.**

Let $A$ be a separable, unital, nuclear $\mathrm{C}^{*}$-algebra. Let $\mathcal{F}\subset A$ be a finite set, let $\epsilon>0$, and let $\tau\in T(A)$. Then there exist a finite dimensional $\mathrm{C}^{*}$-algebra $F$, a c.p.c. map $\theta:A\to F$, and a c.p.c. order zero map $\eta:F\to A$ such that

[TABLE]

If all traces on $A$ are quasidiagonal, then in place of (5.1) we may arrange that

[TABLE]

Proof.

Set $C:=(C_{0}((0,1])\otimes A)^{\sim}$, and define a c.p.c. order zero map $\psi:A\to C$ by $\psi(a):=\mathrm{id}_{(0,1]}\otimes a$. By [5, Proposition 3.2], every trace on $C$ is quasidiagonal.272727That proposition shows the result for $C_{0}((0,1])\otimes A$, but it directly follows for the unitisation as well, by unitising. Therefore [5, Lemma 2.5] applies to $C$.

Since the GNS representation $\pi_{\mathrm{ev}_{1}\otimes\tau}(C)^{\prime\prime}$, where $\mathrm{ev}_{1}$ denotes evaluation at $1$ on $C_{0}((0,1])^{\sim}$, is a direct summand of the finite part of $C^{**}$, it follows by [5, Lemma 2.5] that there are a finite dimensional $\mathrm{C}^{*}$-algebra $F$, a c.p.c. map $\tilde{\theta}:C\to F$, and a ∗-homomorphism $\tilde{\eta}:F\to\pi_{\delta_{1}\otimes\tau}(C)^{\prime\prime}$ such that

[TABLE]

Define $\theta:=\tilde{\theta}\circ\psi:A\to F$, so that (5.1) is a consequence of (5.4).

Since $\mathrm{ev}_{1}\otimes\mathrm{id}_{A}:C\to A$ is surjective, a routine computation with the GNS-construction gives an isomorphism $\pi_{\mathrm{ev}_{1}\otimes\tau}(C)^{\prime\prime}\cong\pi_{\tau}(A)^{\prime\prime}$ making

[TABLE]

commute. Thus we may view the codomain of $\tilde{\eta}$ as $\pi_{\tau}(A)^{\prime\prime}$. Moreover, for $x\in\mathcal{F}$, as $(\mathrm{ev}_{1}\circ\mathrm{id}_{A})\circ\psi(x)=x$, (5.5) gives

[TABLE]

By [31, Lemma 1.1], we may approximate the map $\tilde{\eta}$ in the point-strong∗ topology (equivalently point-$\|\cdot\|_{2,\tau}$) by a c.p.c. order zero map $\eta$ into $A$, so that $\|\eta\circ\theta(x)-x\|_{2,\tau}<\epsilon$ for $x\in\mathcal{F}$.

In the case that all traces on $A$ are quasidiagonal, we simply apply [5, Lemma 2.5] directly to $A$ (instead of $C$) to get $\tilde{\eta}$ and $\theta$, and then again use [31, Lemma 1.1] to get $\eta$. ∎

We now glue the previous lemma over $T(A)$ using CPoU to obtain our existence result. Note that the conclusion of Lemma 5.2 is stronger than its counterpart in [3], since it exactly factorises the map $A\to A^{\omega}$ (as opposed to producing a factorisation which agrees on traces).

Lemma 5.2** (cf. [3, Lemma 7.4]).**

Let $A$ be a separable, unital, nuclear $\mathrm{C}^{*}$-algebra with $T(A)\neq\emptyset$ and CPoU. Then there exists a sequence of c.p.c. maps $\phi_{n}:A\to A$ which factor through finite dimensional algebras $F_{n}$ as

[TABLE]

with $\theta_{n}$ c.p.c. and $\eta_{n}$ c.p.c. order zero in such a way that the induced map $(\theta_{n})_{n=1}^{\infty}:A\to\prod_{\omega}F_{n}$ is order zero and the induced map $\Phi=(\phi_{n})_{n=1}^{\infty}:A\rightarrow A^{\omega}$ agrees with the diagonal map $A\to A^{\omega}$.

If all traces on $A$ are quasidiagonal, then we may arrange that $(\theta_{n})_{n=1}^{\infty}$ is unital.

Proof.

By Kirchberg’s $\epsilon$-test (similar to the application of the $\epsilon$-test in the proof of [3, Lemma 7.4]), it suffices to show that for a finite set $\mathcal{F}\subset A$ and a tolerance $\epsilon>0$, there is a sequence of c.p.c. maps $\phi_{n}:A\to A$ which factor through finite dimensional algebras $F_{n}$ as in (5.8) with $\theta_{n}$ c.p.c. and $\eta_{n}$ c.p.c. order zero such that

[TABLE]

where $\Phi:A\rightarrow A^{\omega}$ is the map induced by $(\eta_{n}\circ\theta_{n})_{n=1}^{\infty}$. In fact, we will arrange for all the $F_{n}$ to be the same finite dimensional algebra $F$, and all the $\theta_{n}$ to be the same map $\theta$.

Fix a finite set $\mathcal{F}\subset A$ and $\epsilon>0$. For each $\tau\in T(A)$, by Lemma 5.1, there are a finite dimensional algebra $F_{\tau}$, a c.p.c. map $\theta_{\tau}:A\to F_{\tau}$ satisfying (5.9), and a c.p.c. order zero map $\eta_{\tau}:F_{\tau}\to A$ such that

[TABLE]

Define

[TABLE]

so that $\tau(a_{\tau})<\epsilon^{2}$.

Continuity and compactness give $\tau_{1},\dots,\tau_{k}\in T(A)$ such that

[TABLE]

Viewing $a_{\tau_{1}},\dots,a_{\tau_{k}}$ as elements of $A^{\omega}$, we apply CPoU282828Note that $\min\{\tau(a_{\tau_{1}}),\dots,\tau(a_{\tau_{k}})\}<\epsilon^{2}$ for all $\tau\in T_{\omega}(A)$. to get a partition of unity consisting of projections $e_{1},\dots,e_{k}\in A^{\omega}\cap A^{\prime}$ such that

[TABLE]

Define $F:=\bigoplus_{i=1}^{k}F_{\tau_{i}}$, $\theta:=\bigoplus_{i=1}^{k}\theta_{\tau_{i}}:A\to F$, and $\eta:F\to A^{\omega}$ by

[TABLE]

Since the $e_{i}$ are orthogonal projections commuting with the images of the c.p.c order zero maps $\eta_{\tau_{i}}$, it follows that $\eta$ is c.p.c. order zero. By projectivity of c.p.c. order zero maps with finite dimensional domains,292929Essentially due to Loring in [42, Theorem 4.9], but see [71, Proposition 1.2.4] for the form we use. $\eta$ may be lifted to a sequence of c.p.c. order zero maps $\eta_{n}:F\to A$.

It is evident that $\theta_{n}=\theta$ satisfies (5.9), since each map $\theta_{\tau_{i}}$ has the same property. Next, for $x\in\mathcal{F}$ and $\tau\in T_{\omega}(A)$, we have

[TABLE]

Therefore, $\|\Phi(x)-x\|_{2,T_{\omega}(A)}\leq\epsilon$, for all $x\in\mathcal{F}$, as required.

If all traces are quasidiagonal, then the above argument (using the last line of Lemma 5.1) yields the stronger conclusion that the induced map $(\theta_{n})_{n=1}^{\infty}:A\to\prod_{\omega}F_{n}$ is a ∗-homomorphism. Hence by cutting down by the image of $1_{A}$ under this map (which can be lifted to a projection in $\prod_{n=1}^{\infty}F_{n}$), we can arrange it to be unital. ∎

We now have all the pieces in place to obtain Theorem H, and deduce its consequences. This is a matter of using the existence and uniqueness results established above using CPoU in place of the versions of these results with a compact tracial boundary assumption in [3].

Proof of Theorem H.

The proof is almost exactly as in [3, Theorem 7.5] (the corresponding result with compact boundary), using Lemma 4.8 and Lemma 5.2 in place of [3, Theorem 5.5] and [3, Lemma 7.4].303030Recall that the maps produced in Lemma 5.2 satisfy a stronger conclusion than those of [3, Lemma 7.4].

For the reader’s convenience, we spell out a proof of the nuclear dimension component of the theorem explicitly. Let $(\phi_{n}:A\rightarrow A)_{n=1}^{\infty}$ be the sequence of maps produced by Lemma 5.2. By construction, each $\phi_{n}$ has nuclear dimension zero,313131Strictly speaking the definition of nuclear dimension in [63, Definition 2.2] is only made for ∗-homomorphisms; for the purpose of this proof, we use exactly the same definition for c.p.c. order zero maps. and the induced map $\tilde{\Phi}:A\rightarrow A_{\omega}$ is c.p.c. order zero. Following $\tilde{\Phi}$ with the quotient map $q:A_{\omega}\rightarrow A^{\omega}$, gives the inclusion $A\hookrightarrow A^{\omega}$.

Let $h\in\mathcal{Z}_{+}^{1}$ have spectrum $[0,1]$. We apply Lemma 4.8 with $B=A$ to the diagonal embedding $A\rightarrow A_{\omega}$ and $\tilde{\Phi}:A\rightarrow A_{\omega}$ in place of $\phi_{1}$ and $\phi_{2}$, once with $k:=h$ and once with $k:=1_{\mathcal{Z}}-h$. Simplicity of $A$ ensures that the diagonal embedding satisfies the fullness requirement, while the condition (4.27) follows from the form of $q\circ\tilde{\Psi}$. Accordingly there are unitaries $u^{(0)},u^{(1)}\in(A\otimes\mathcal{Z})_{\omega}$, which lift to sequences of unitaries $(u^{(0}_{n})_{n=1}^{\infty}$ and $(u^{(1)}_{n})_{n=1}^{\infty}$ in $A\otimes\mathcal{Z}$ such that for all $a\in A$, we have

[TABLE]

Noting that each of the maps $u_{n}^{(0)}(\phi_{n}(\cdot)\otimes h)u_{n}^{(0)}{}^{*}$ and $u_{n}^{(1)}(\phi_{n}(\cdot)\otimes(1_{\mathcal{Z}}-h))u_{n}^{(1)}{}^{*}$ has nuclear dimension zero, it follows that $\mathrm{id}_{A}\otimes 1_{\mathcal{Z}}:A\rightarrow A\otimes\mathcal{Z}$ has nuclear dimension at most $1$. As $A$ is $\mathcal{Z}$-stable, and $\mathcal{Z}$ is strongly self-absorbing, $\dim_{\mathrm{nuc}}(A)\leq 1$ by [63, Proposition 2.6]. ∎

In the presence of traces, Theorem B is a consequence of Theorems H and I (established at the end of Section 3). In the absence of traces, Theorem B is [3, Corollary 9.9] (as in this case $A$ is a Kirchberg algebra by [55, Corollary 5.1]).

Theorem A is then a combination of our Theorem B for (ii)$\Rightarrow$(i) and the main result of [74] for (i)$\Rightarrow$(ii).

Proof of Corollary C.

Firstly recall that a $\mathrm{C}^{*}$-algebra is AF323232For non-separable $\mathrm{C}^{*}$-algebras, there are various potential meanings of AF, which are not all equivalent. This corollary uses the local approximation formulation: $A$ is AF if and only if finite subsets of $A$ can be approximated inside finite dimensional subalgebras of $A$. if and only if it has nuclear dimension zero if and only if it has decomposition rank zero ([79, Remark 2.2(iii)] and [41, Example 4.1]), so this part of the statement is well known. For the rest of the proof we exclude finite dimensional $\mathrm{C}^{*}$-algebras, so that Winter’s $\mathcal{Z}$-stability theorem applies.

For separable $A$, these statements are consequences of Theorem B and Winter’s $\mathcal{Z}$-stability theorem (encompassed in Theorem A): if the nuclear dimension of $A$ is finite, then it is $\mathcal{Z}$-stable, so $A$ has nuclear dimension at most $1$. Likewise for decomposition rank, as in this case $A$ is finite with all traces quasidiagonal by [3, Proposition 8.5].

For the general case, if $A$ has finite nuclear dimension, then for any finite subset $\mathcal{F}$ of $A$ there exists a separable, simple, unital $\mathrm{C}^{*}$-subalgebra $A_{0}$ of $A$ containing $\mathcal{F}$ with finite nuclear dimension.333333This is the statement that being simple and of nuclear dimension at most $n$ is separably inheritable (in the sense of [1, Definition II.8.5.1]). This is a consequence of Proposition 2.6 of [79] (having nuclear dimension at most $n$ is separably inheritable, though this is not the language used in [79]), Theorem II.8.5.6 of [1] (separable inheritability of simplicity), and Proposition II.8.5.2 (intersection of countably many separably inheritable properties is separably inheritable). Thus $A_{0}$ has nuclear dimension at most $1$ by Theorem B. Since $\mathcal{F}$ was arbitrary, it follows that $A$ has nuclear dimension at most $1$. The same argument works for decomposition rank. ∎

Corollary D is a direct replacement of finite nuclear dimension by $\mathcal{Z}$-stability (using Theorem B) as the regularity hypothesis in the classification theorem (see [27], [19] and [64, Corollary D]).

In Corollaries E and F, the crossed products $C(X)\rtimes G$ are simple when the actions are free and minimal ([17, Corollary 5.16]), and when $G$ is amenable they have the UCT by work of Tu ([68]). Thus finite nuclear dimension is the remaining condition which must be checked to obtain classifiability, and so Corollary F is a combination of Theorem B and [12, Theorem 5.4].

Proof of Corollary E.

In [36, Theorem 8.1], Kerr and Szabó show that every free action of a group $G$ as in Corollary E on a finite dimensional space is almost finite (building on the zero dimensional case of this result in [16]), and hence if the action is also minimal, the crossed product is $\mathcal{Z}$-stable by [35, Theorem 12.4]. Finite nuclear dimension for these crossed products is a consequence of Theorem B, and classifiability follows from Corollary D.∎