Nuclear dimension of simple C*-algebras

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.


Introduction
Nuclear dimension is a non-commutative generalisation of topological covering dimension to C * -algebras, introduced in [79]. A unital abelian 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 C * -algebras, where nuclear dimension divides the exotic examples of [69,54,65,25] from those accessible to 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 C * -algebras of finite nuclear dimension satisfying Rosenberg and Schochet's universal coefficient theorem (UCT) [56]. This provides the 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 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 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 C * -algebras, finite nuclear dimension is entailed by the tensorial absorption condition of Z-stability, where Z is the Jiang-Su algebra of [34] (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)⇒(ii) allows classification to be accessed via localisation at strongly self-absorbing algebras ( [75]), while the implication (ii)⇒(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 C * -algebra. Then the following statements are equivalent: 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 M as those which tensorially absorb B(H), i.e., are isomorphic to the von Neumann tensor product M ⊗ B(H). A major step in Connes' seminal work [13] was to show that injective II 1 factors are McDuff, i.e., they absorb the hyperfinite II 1 factor tensorially, while Kirchberg famously characterised pure infiniteness for simple nuclear C * -algebras through tensorial absorption of the Cuntz algebra O ∞ ( [38]).
In a precise sense, the Jiang-Su algebra Z is the smallest possible, and so from this perspective the most natural, C * -analogue of the hyperfinite II 1 factor R. It satisfies Z ⊗ Z ∼ = Z; moreover, this isomorphism occurs in a particularly strong way, analogous to the corresponding statement for R (see [66]), and Z is the minimal non-trivial C * -algebra with this property ( [73]). Accordingly, Z-stability is the weakest non-trivial form of tensorial absorption. Moreover, Z-stability is to a vast extent necessary for K-theoretic classification: Z has the same K-theory as C -these algebras are KK-equivalent (think of this as a very weak kind of homotopy equivalence) -and a unique trace. Therefore, under natural restrictions, a simple C * -algebra and its Zstabilisation share the same Elliott invariant (K-theory and traces).
While all known constructions of the Jiang-Su algebra are a little involved, Z-stability can be phrased entirely without reference to the algebra Z itself. Reminiscent of McDuff's characterisation of Rstability of a II 1 factor in terms of approximately central matrix algebras ( [45]), Z-stability is equivalent to the existence of approximately central matrix cones which are large in a suitable sense ( [53]). Moreover, for simple, nuclear C * -algebras, via the groundbreaking work of Matui and Sato ([43]), this largeness can be measured in trace ( [32]). This criterion has enabled 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 37]) which characterise nuclearity for 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. 1 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 C * -algebra A, but extracting information is not straightforward without imposing additional structure on the approximations. 2 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)⇒(ii) given in [74].
The main result of this paper is the implication (ii)⇒(i) in Theorem A. We also determine the relationship between finite nuclear dimension and decomposition rank for simple 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, Z-stable 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 C * -algebras whose nuclear dimension or decomposition rank is zero are necessarily approximately finite dimensional (AF for short) by 1 The 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. 2 Indeed, 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.
Even more recently, the new tool of almost finiteness -which can be viewed as a dynamical analogue of the combination of Z-stability and amenability -provides a method for obtaining 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) ⋊ 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 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 α : G X, for which the crossed product C(X) ⋊ α 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. 5 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 Z-stability to finite nuclear dimension For most of the rest of the introduction, we think of A as a separable, simple, unital, nuclear C * -algebra with at least one trace. At times we will allow more general A, and make this explicit.
The passage from 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: (i) Produce a sequence of approximately order zero maps A → A⊗Z of nuclear dimension zero which uniformly approximates id A ⊗ 1 Z : A → A ⊗ Z on traces. (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 Z is strongly self-absorbing, to show that A ⊗ Z has nuclear dimension at most 1 it suffices to control the nuclear dimension of the map id A ⊗ 1 Z : A → A ⊗ Z. By taking a positive contraction h ∈ Z with spectrum [0, 1], id A ⊗ 1 Z splits as the sum of the two order zero maps Now (i) and (ii) can be used to show that each map in (0.1) has nuclear dimension zero, and so id A ⊗1 Z , and hence A⊗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 , . . . , U k of T (A), and approximately order zero maps θ 1 , . . . , θ k : A → A ⊗ Z of nuclear dimension zero so that θ i models id A ⊗ 1 Z on the traces in U i . Given pairwise orthogonal approximately central positive contractions properties of the e i combine with those of the θ i to ensure that θ is approximately order zero and of nuclear dimension zero. The idea is that θ is obtained by 'gluing together' the θ i over the e i , which should be well chosen with respect to the open cover (U i ) k i=1 so θ has the global tracial behaviour required by (i). To do this it is necessary to control τ (e i θ i (·)) for τ ∈ T (A).
This was achieved in [3] when T (A) is a Bauer simplex, i.e., the extremal boundary ∂ 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 ) k i=1 arise via Ozawa's theory of W * -bundles ( [47]): one takes a partition of unity and then one uses triviality of the W * -bundle associated to A ⊗ Z to produce the elements e i so that τ (e i ) ≈ f i (τ ). One can then show (see 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. 6 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 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 ) k i=1 satisfying (0.3) for a suitable partition of unity (f i ) k i=1 of ∂ e T (A). Fundamental difficulties arise outside the setting of Bauer simplices. Not all continuous functions on ∂ e T (A) extend to continuous affine functions on T (A), and C(∂ e T (A)) need not embed into the centre of the strict closure of A (the starting point for producing (e i ) k i=1 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ê i : τ → τ (e i ) that e i should induce. Rather one needs to control e i a : τ → τ (e i a) for a suitable finite collection of elements a ∈ A; cf. (0.3). To address this, one has to understand the subtle question of how 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 in A and a ∈ A, with uniform convergence when ∂ e T (A) is compact. 7 This is why (0.3) follows from τ (e i ) ≈ f i (τ ) in the Bauer simplex case. But without compactness, uniform convergence fails, even in straightforward cases (examples will be given in [8]). In general, one cannot obtain e i a automatically fromê i outside the Bauer setting.
The key novelty of this paper is a technique for producing the (e i ) k i=1 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 C * -algebra with T (A) compact and non-empty. Then A has complemented partitions of unity (CPoU) if, whenever a 1 , . . . , a k are positive elements in A and δ > 0 is such that there exist pairwise orthogonal, approximately central, positive contractions e 1 , . . . , e k ∈ A such that (a) τ ( k i=1 e i ) ≈ 1, for all τ ∈ T (A); (b) τ (a i e i ) δτ (e i ) for all τ ∈ T (A) and i = 1, . . . , k.
is an open cover of T (A). The conclusion (a) says that theê 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 e i a i not justê i . This is the role of condition (b). Note that it has the effect of ensuring thatê i is to some extent subordinate to the complement 1 −â i ofâ i : if τ ∈ T (A) satisfies τ (a i ) ≈ 1, then τ (e i ) ≈ τ (a i e i ) δτ (e i ), so that τ (e i ) must be small. 8 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⊗Z − θ i (1 A ), so that if θ i models id A ⊗ 1 Z on U i (on 1 A up to δ), we obtain (0.5). Then given (e i ) k i=1 in A ⊗ Z as in Definition G for these a i , defining θ as in (0.2), we would have i.e., θ(1 A ) globally models 1 A ⊗ 1 Z in trace. With a bit more care, the same strategy can be used to produce a θ which globally models id A ⊗ 1 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 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, Z-stable C * -algebra with T (A) compact and non-empty, and with complemented partitions of unity. Then dim nuc (A) ≤ 1. If additionally all traces on A are quasidiagonal, then dr(A) ≤ 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 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, Z-stable 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 will also be applicable in other situations, some of which will be discussed in [8] (for example the equivalence of strict comparison and Z-stability under the assumption of uniform property Γ). Further, complemented partitions of unity will play a crucial role in the abstract approach to classification of 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 , . . . , a k and δ > 0 as in Definition G. The three main components of the proof are as follows: (3) Orthogonalisation: We replace (p i ) k i=1 by pairwise orthogonal tracial approximate projections, still satisfying (b) but at the cost of replacing (a) with the weaker condition τ ( k i=1 p i ) ≈ 1/k. These steps produce elements satisfying (b) but they only cover approximately 1/k of the total trace. So we repeat the procedure 9 underneath the tracially approximate projection 1 A − k i=1 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 where F is finite dimensional, ψ is completely positive, contractive and approximately order zero, and φ is a convex combination of order zero maps. In particular, φ preserves traces, and ψ 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 ψ(a 1 ), . . . , ψ(a k ) in F (by taking the corresponding e i to be supported only on those full matrix summands of F where ψ(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 Z (and do not need nuclearity). To get a feeling for (3), suppose so that a i and p i are approximately of the formã i ⊗ 1 M k andp i ⊗ 1 M k respectively. Letting (d ij ) be a system of matrix units for M k , one defines new approximate projections byp i ⊗ d ii , which have approximately 1 k of the trace of p i . Likewise, for (2), given elements e i ∈ A, approximately of the formẽ i ⊗ 1 k in A ⊗ M k , we can use the additional space to redistribute the trace ofẽ i over the diagonal elements of M k to obtain a 1 k -approximate projection in trace. In fact, neither (2) nor (3) require the full strength of 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 Γ for II 1 factors. We introduce the concept of uniform property Γ for C * -algebras in Section 2, and use it to obtain complemented partitions of unity in Section 3. The follow-up paper [8] will further develop the theory of uniform property Γ and complemented partitions of unity, giving other applications to the Toms-Winter conjecture and the classification of strict closures of nuclear C * -algebras.
1.1. Nuclear dimension and decomposition rank. Let A and B be C * -algebras. A completely positive map φ : A → B has order zero if it preserves orthogonality, i.e., φ(x)φ(y) = 0 whenever x, y ∈ A + satisfy xy = 0. Recall from [79], that A has nuclear dimension at most n, The stronger (and historically earlier) condition from [41] that A has decomposition rank at most n is satisfied when in addition, each φ 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 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 ⊆ T (A) then X refers to the closure in this topology. For a non-empty set X ⊆ T (A), define the seminorm · 2,X on A by Note that · 2,T (A) is a norm if, for every non-zero a ∈ A, there exists τ ∈ T (A) with τ (a * a) > 0, and so in particular when A is simple and The (semi)norm · 2,T (A) plays a notable role in recent structural results ( [43,40,47,3]), where it is often denoted · 2,u .
1.3. Ultrapowers. Throughout, ω will stand for a fixed free ultrafilter on N. Given a separable C * -algebra A, the ultrapower of A is When T (A) = ∅, the uniform tracial ultrapower is defined by where (abusing notation to use representative sequences in ℓ ∞ (A) to denote elements in A ω ), is the trace-kernel ideal. We will also use representative sequences to stand for elements in A ω . Notice that A embeds canonically into A ω as constant sequences. We will often regard A as a subalgebra of the ultrapower, for example to form the central sequence algebra A ω ∩ A ′ . We shall adopt a similar notation in the case of uniform tracial ultrapowers. 10 We highlight two examples of the uniform tracial ultrapower.
(i) If A has a unique trace τ , then the GNS representation π τ generates a finite von Neumann factor M := π τ (A) ′′ , which is II 1 when it is infinite dimensional. In this case, the Kaplansky density theorem canonically identifies A ω with the II 1 factor ultraproduct where M is the W * -bundle obtained from the strict closure of A introduced by Ozawa in [47], and M ω is the W * -bundle ultraproduct defined in [3, Section 3.2]. This identification uses Kaplansky's density theorem in the strict-topology. 11 A trace on A ω of this form is called a limit trace, and we will often denote a limit trace by a sequence (τ n ) ∞ n=1 that induces it. Evidently, every limit trace vanishes on J A , and thereby also induces a trace on A ω . We abuse notation, and write T ω (A) for the collection of these limit traces on both A ω and A ω ; context will make it clear to which ultrapower such a trace applies. With this notation, 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 Then the unit ball of A ω is · 2,Tω(A) -complete. 10 When · 2,T (A) is a norm, A embeds canonically into A ω as constant sequences, and we write A ω ∩ A ′ for the central sequence algebra. In general only a quotient of A embeds in A ω ; in this case we view A ω as an A-bimodule, and continue to write A ω ∩ A ′ for the A-central elements of A ω . 11 On · -bounded subsets of M, the strict topology agrees with the · 2,T (A) - As ( Proof of (ii). Given y ∈ A ω ∩S ′ withhy = y, lift y tox ∈ A ω ∩ S ′ by (i). For each n ∈ N, choose a positive contraction f n ∈ C 0 ((0, 1]) + such that f n (1) = 1 and which is supported on (1 − 1/n, 1]. Then as h is a projection, f n (h)x maps tohy = y ∈ A ω for each n. Moreover, 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 C * -algebra with T (A) non-empty and compact. Let ι : A → A ω denote the canonical * -homomorphism. 13 If x ∈ A ω satisfies ι(a)x = xι(a) = 0 for all a ∈ A then x = 0.
Proof. Assume that x is a contraction, and for a contradiction that for some τ ∈ T ω (A) we have τ (x * x) ≥ ǫ > 0. Let τ = (τ n ) ∞ n=1 with τ n ∈ T (A) for all n. Since τ • ι, which a priori is a tracial functional on A of norm at most 1, is the limit as n → ω of the tracial states τ n , by compactness of T (A), τ • ι is a tracial state on A. Therefore there exists a ∈ A 1 + with τ (ι(a)) > 1 −ǫ. The hypothesis that x is orthogonal to A ensures that ι(a) + x * x is a contraction. Thus, converges to a functional σ, so that σ is a tracial functional and σ ≤ 1. Then σ(e n ) = lim i τ i (e n ) ≥ γ n → 1, so σ is a state on A. This shows that T (A) is weak * -closed in the (compact) unit ball of A * .

Uniform property Γ for C * -algebras
Property Γ for II 1 factors was introduced by Murray and von Neumann in [46] to prove the existence of non-hyperfinite II 1 factors. In modern language, a separably acting II 1 factor M has property Γ if its central sequence algebra 14 M ω ∩M ′ is non-trivial. In this case Dixmier showed that M ω ∩ M ′ is diffuse ( [14]), and hence for each n ∈ N one can find orthogonal projections p 1 , . . . , p n ∈ M ω ∩M ′ with τ M ω (p i ) = 1/n. It is in this formulation that property Γ has been most often used to obtain striking structural consequences; see [49,10,11].
In this section we introduce a uniform version of property Γ for C *algebras, motivated by Dixmier's formulation. 15 Recall our convention that A ω denotes the uniform tracial ultrapower from (1.3), which is 14 Here M ω refers to the tracial von Neumann ultrapower of M, which is again a II 1 factor with the induced trace τ M ω from M. 15 Versions of property Γ for C * -algebras have been considered previously in connection with the similarity property [26,51]. For example, [51] considers those C * -algebras all of whose II 1 factor representations have property Γ. The key difference between this concept and our notion is that uniform property Γ requires division uniformly in all traces, as opposed to pointwise in trace.
unital when T (A) is non-empty and compact, and A ω ∩ A ′ consists of the A-central elements of A ω (see footnote 10).
Definition 2.1. Let A be a separable C * -algebra with T (A) non-empty and compact. We say that A has uniform property Γ if for all n ∈ N, there exist projections p 1 , . . . , p n ∈ A ω ∩ A ′ summing to 1 A ω , such that . . , n. Note that the projections p 1 , . . . , p n in Definition 2.1 are necessarily pairwise orthogonal.
While we insist in Definition 2.1 that every element a ∈ A can be 'tracially divided' in an approximately central fashion (as opposed to just requiring division of the unit), this does parallel the II 1 factor setting. If M is a II 1 factor and p ∈ M, then τ M ω (p ·) defines a tracial functional on M, and hence by uniqueness of the trace on M, So division of arbitrary elements follows from division of the unit in II 1 factors. This is not true for C * -algebras; [8] will give an example. Kirchberg's ǫ-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 C * -algebra with T (A) non-empty and compact. Suppose A has uniform property Γ. Then for n ∈ N and a · 2,Tω(A) -separable subset S of A ω , there exist projections p 1 , . . . , p n ∈ A ω ∩ S ′ summing to 1 A ω , such that . . , n. In this paper, Z-stable C * -algebras are the most important instances of uniform property Γ; for later use we record a stronger statement. Proposition 2.3. Suppose A is a separable, Z-stable C * -algebra with T (A) non-empty and compact. Then for any · 2,Tω(A) -separable subset S of A ω and any n ∈ N, there is a unital embedding M n → A ω ∩ S ′ . In particular, A has uniform property Γ.
To get uniform property Γ, take equivalent, orthogonal projections q 1 , . . . , q n ∈ M n which sum to 1 Mn , and define p i := ψ(q i ). As M n has a unique trace, for any τ ∈ T (A ω ) and any a ∈ A, τ (ψ(·)a) must be a scalar multiple of the trace on M n , so that . We now turn to one of the key applications of uniform property Γ.
Lemma 2.4 (Tracial projectionisation). Let A be a separable C * -algebra with T (A) non-empty and compact, and with uniform property Γ. Let Lemma 2.2 provides pairwise orthogonal projections p 1 , . . . , p n ∈ A ω ∩ S ′ ∩ {b} ′ satisfying Then for a ∈ T and τ ∈ T ω (A), Moreover, for τ ∈ T ω (A), using properties of the p i in the first line, Since p − p 2 is a positive contraction, we get as required.

Complemented partitions of unity
In this section we perform the main technical argument of the paper, obtaining complemented partitions of unity for nuclear C * -algebras with uniform property Γ. Recall our standard convention from (1.3) that A ω denotes the uniform tracial ultrapower, which, by Proposition 1.11, is unital when T (A) is non-empty and compact, and A ω ∩ A ′ consists of the A-central elements of A ω (see footnote 10).
Definition 3.1. Let A be a separable C * -algebra with T (A) non-empty and compact. We say that A has complemented partitions of unity (CPoU) if for every · 2,Tω(A) -separable subset S of A ω , every family a 1 , . . . , a k ∈ (A ω ) + , and any scalar 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) < ǫ. For later use, we note the following stability result regarding CPoU. Suppose that A has CPoU. Let a (1) , . . . , a (k) ∈ (A ω ⊗M m ) + and δ > 0 be such that for all τ ∈ T ω (M m (A)), there exists i ∈ {1, . . . , k} such that τ (a (i) ) < δ. Write a (i) = m r,s=1 a (i) r,s ⊗ e r,s for a (i) r,s ∈ A ω so that for every τ ∈ T ω (A), there exists i ∈ {1, . . . , k} with τ ( m r=1 a (i) r,r ) < mδ. Given any separable subset S of M m (A ω ), letS ⊂ A ω consist of the matrix entries of elements of S. By CPoU for A, there exists a partition of unity consisting of projections p 1 , . . . , p k ∈ A ω ∩S ′ such that Then Let a 1 , . . . , a k ∈ A ω be positive elements and δ > 0 such that (3.1) holds. Then Given a separable subset S ⊂ A ω containing 1 A ω we can apply CPoU for M m (A) to find a partition of unity consisting of projectionsp 1 , . . . , Since eachp i commutes with 1 A ω ⊗ M m , it is of the form p i ⊗ 1 Mm for some p i ∈ A ω ∩ S ′ . The family p 1 , . . . , 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Ŝ = 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 ǫ'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 ǫ-test. We omit the details.

Lemma 3.5 ([5, Theorem 3.1]). Let
A be a separable, nuclear C *algebra, letŜ be a · -separable subalgebra of A ω , and let S ⊂ A ω be the · 2,Tω(A) -closure of the image ofŜ in A ω . Then there exists a sequence (F m , ψ m , φ m ) ∞ m=1 , where each F m is a finite dimensional C *algebra, and ψ m : A → F m and φ m : F m → A are c.p.c. maps which induce c.p.c. maps ψ : A ω → ω F m and φ : ω F m → A ω such that 18 (i) the restriction of φ•ψ toŜ agrees with the (restricted) quotient mapŜ → S ⊂ A ω , (ii) the φ m are sums of c.p.c. order zero maps, (iii) the map ψ restricts to an order zero map onŜ.
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, τ • φ m is a tracial functional on F m if τ ∈ T (A), and τ • ψ is a tracial functional onŜ if τ ∈ T ( ω F m ).
Fix 0 < ǫ < µ/2. By Kirchberg's ǫ-test, it suffices to find b 1 , . . . , b k ∈ (A ω ∩ S ′ ) 1 + satisfying the weaker conditions Liftq to a sequence (q m ) ∞ m=1 in A 1 + . Let (F m , ψ m , φ m ) ∞ m=1 be as in Lemma 3.5. For each m, decompose F m as λ∈Λm F m,λ , where Λ m is a finite set and each F m,λ is a full matrix algebra. Correspondingly, ψ m decomposes as a direct sum λ∈Λm ψ m,λ . We denote the tracial state on F m,λ by τ F m,λ . As T (A) is compact, applying Dini's theorem to an approximate unit for A gives e ∈ A 1 + such that (3.15) τ (e) ≥ 1 1+ǫ , τ ∈ T (A). Then For each m, define We first claim that If this is not the case, then for any τ = (τ m ) ∞ m=1 ∈ T ω (A), as above, using that φψ(eq) = eq, we have which combines with (3.16) to contradict the choice of ǫ < µ/2.
Inductively define for i = 1, . . . , k, We next claim that If this is not the case, then there exists λ m ∈ Λ m for each m, such that By Lemma 3.5(iii) and sinceq ∈ A ω ∩ A ′ , σ factors as an order zero map A → ω F m,λm followed by the canonical limit trace on this ultraproduct. Thus it is a tracial functional by [78,Corollary 4.4]. Now Since each φ m is a contractive map, note that k i=1 b i has norm at most 1, and thus τ ( k i=1 b i q) ≤ τ (q) = µ for τ ∈ T ω (A). By Lemma 3.5(i), it follows by the Stinespring argument of [41,Lemma 3.5], that ψ mapsŜ into the multiplicative domain of φ, and so for x ∈Ŝ andx ∈ S its image, (3.30) φ(ψ(x)y) = φ(ψ(x))φ(y) =xφ(y), y ∈ ω F m .
In particular, as f i is central in ω F m we have Since the image ofŜ is · 2,Tω(A) -dense in S, it follows that b i ∈ A ω ∩S ′ . For i = 1, . . . , k, and τ = (τ m ) ∞ m=1 ∈ T ω (A), we have proving (3.14). Likewise, we have We now show how the conclusion of the previous lemma combines with uniform property Γ 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 C * -algebra with T (A) non-empty and compact. Suppose that A has uniform property Γ and that the conclusion of Lemma 3.6 holds. Then A has CPoU.
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. Proof. This follows by combining Lemma 3.6 with Lemma 3.7.

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 ω (and its relative commutants), and transfer these to B ω (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(ii) that when T (B) is a Bauer simplex, B ω is canonically identified with the ultraproduct M ω of the W * -bundle M obtained from B, and the results of [3, Section 3] are all expressed in terms of this W * -bundle. 19 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 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 ∈ {a} ′ . 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 ω (i.e., · 2,T (B) -approximate solutions in B).  be a sequence from B ω . Suppose that, for every ǫ > 0, k ∈ N, and τ ∈ T (B ω ) in the closure of T ω (B), there exist contractions y τ 1 , y τ 2 , · · · ∈ π τ (B ω ) ′′ (where π τ is the GNS representation associated to τ ) such that (4.2) h m (a 1 , . . . , a rm , y τ 1 , . . . , y τ sm ) 2,τ < ǫ, m = 1, . . . , k. Then there exist contractions y i ∈ B ω for i ∈ N such that (4.3) h m (a 1 , . . . , a rm , y 1 , . . . , y sm ) = 0, m ∈ N. (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 (·) * k m (·), where k m is itself a noncommutative * -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 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 ω 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 II 1 factors).
So, let us fix k ∈ N and ǫ > 0.
Our first use of Lemma 4.1 is to obtain strict comparison for relative commutants in B ω . Proof. This is obtained by following the proof [3,Lemma 3.20] replacing M ω by B ω 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 ω ) ∼ = (M k (B)) ω , 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 π τ (B ω ) ′′ is a finite von Neumann algebra, 20 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 ω ∩φ(A) ′ , where A is a separable, nuclear C * -algebra and φ is a * -homomorphism. The compact tracial boundary version of this result (phrased in terms of McDuff 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, 21 we give full details. We begin by extracting a Hahn-Banach argument from the proof of [47,Theorem 8].  Then the weak * -closed convex hull of T 0 is T (A).
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. where τ ∈ T (M) is a normal trace and b ∈ B + has τ (b) = 1. Suppose that δ > 0 and z ∈ N is a contraction such that |ρ(z)| ≤ δ for all ρ ∈ T 0 . Set K := 12 · 12 · (1 + δ). Then for any finite subset F of B and ǫ > 0, there exist contractions w, x 1 , . . . , x 10 , y 1 , . . . , If (M, τ M ) is an ultraproduct of tracial von Neumann algebras, then one can take w, x 1 , . . . , x 10 , y 1 , . . . , y 10 ∈ N and have the equality Moreover, in this case, the weak * -closed convex hull of T 0 is T (N ).
Proof. Throughout the proof, we will write · 2 as shorthand for · 2,τ M . Assume without loss of generality that F consists of contractions. As B is hyperfinite (by Connes' theorem [13]), we may find a finite dimensional subalgebra B of B with 1 B = 1 B such that for all a ∈ F there exists b ∈ B such that a − b 2 < ǫ 2 . We shall arrange that w, Note that p k − q k is a projection satisfying E(p k − q k ) ≤ (ǫ/l) 2 , and hence p k − q k 2 ≤ ǫ/l. Set z ′ := z l k=1 q k so that We claim that |σ(z ′ )| ≤ δ for every trace σ ∈ T (M∩B ′ ∩(1 M −1 B ) ⊥ ). By convexity and density, it suffices to prove this for a normal trace σ that is concentrated in a single direct summand p k (M ∩ B ′ ). Since p k B is a unital matrix algebra in p k Mp k , we have (4.20) p and so such a σ extends uniquely to a (necessarily normal) trace on p k Mp k , also denoted σ. Since E(q k ) is bounded away from 0 on Y k , the tracial functional σ(q k ·) on q k Mq k extends to a bounded normal tracial functional on χ Y k M, 22 and then to a bounded normal tracial functional Accordingly, using the hypothesis on z for the first inequality, we have Since z − z ′ 2 < ǫ, this gives (4.17). Now consider the case when (M, τ M ) is an ultraproduct of tracial von Neumann algebras. This means that we have a sequence (M n ) ∞ n=1 of finite von Neumann algebras with a distinguished faithful trace τ n ∈ T (M n ) for each n, and M := ω M n is the tracial ultrapower, with the distinguished faithful trace τ M arising from the sequence (τ n ) ∞ n=1 . In this case Kirchberg's ǫ-test enables us to take x i , y i ∈ N and get the equality (4.18), which in turn ensures that for any trace ρ ∈ T (N ), we have |ρ(z)| ≤ δ. Thus 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 (N ).
We now use CPoU to obtain a version of the previous result for relative commutants in B ω . Proposition 4.6 (cf. [3,Proposition 3.22]). Let B be a separable, unital C * -algebra with T (B) non-empty, and with CPoU. Let A be a separable, unital, nuclear C * -algebra and φ : A → B ω a * -homomorphism.
Define T 0 to be the set of all 22 To see this, fix m ∈ N with m > (l/ǫ) 2 . Working in the von Neumann algebra χ Y k M ⊗ M m , as the centre-valued trace determines the order on projections, we have χ Y k ⊗ e 11 q k ⊗ 1 m . As σ(q k ·) certainly extends to q k Mq k ⊗ M m , this Murray-von Neumann subequivalence can be used to define the trace on χ Y k M. 23 This is why the constant K appears. Note z ′ − h ≤ 1 + δ.
Since w is a contraction, we have |τ (z)| ≤ δ for all τ ∈ 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 ω back to the 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, Z-stable C * -algebra with QT (B) = T (B) = ∅ and with CPoU. Let A be a separable, unital, nuclear C * -algebra and π : A → B ω a c.p.c. order zero map such that π(a) is full for each nonzero a ∈ A, and which induces a * -homomorphismπ :

Then
(i) all traces on C factor throughC, (ii) C has strict comparison of positive elements by traces, and (iii) the traces on C are the closed convex hull of traces of the form τ (π(a) ·) for τ ∈ T (B ω ) and a ∈ A + with τ (π(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 forC; the embedding of M k into B ω ∩π(A) ′ ∩ {c} ′ 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].
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 given in [3]). Lemma 4.8 (cf. [3,Theorem 5.5]). Let B be a separable, simple, unital, Z-stable C * -algebra with QT (B) = T (B) = ∅ and with CPoU. Let A be a separable, unital, nuclear C * -algebra, let φ 1 : A → B ω be a *homomorphism such that φ 1 (a) is full in B ω for each nonzero a ∈ A, and let φ 2 : A → B ω a c.p.c. order zero map such that 1], and define c.p.c. order zero maps ψ i : A → (B ⊗ Z) ω by ψ i (·) := φ i (·) ⊗ k. Then ψ 1 and ψ 2 are unitarily equivalent in (B ⊗ Z) ω .
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 ω ) ∼ = (M 2 (B)) ω 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]. 25 We refer to [3, Definition 6.1] for the definition of n-coloured equivalence. Recall from Theorem I that if B is separable, simple, unital, nuclear, and Z-stable, then it has CPoU. The proofs from [3] work verbatim, using Lemma 4.8 in place of [3,Theorem 5.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 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 C * -algebra. Let F ⊂ A be a finite set, let ǫ > 0, and let τ ∈ T (A). Then there exist a finite dimensional C * -algebra F , a c.p.c. map θ : A → F , and a c.p.c. order zero map η : F → A such that θ(x)θ(y) < ǫ for x, y ∈ F satisfying xy = 0, and (5.1) If all traces on A are quasidiagonal, then in place of (5.1) we may arrange that (5.3) θ(x)θ(y) − θ(xy) < ǫ for x, y ∈ F .
By [31, Lemma 1.1], we may approximate the mapη in the pointstrong * topology (equivalently point-· 2,τ ) by a c.p.c. order zero map η into A, so that η • θ(x) − x 2,τ < ǫ for x ∈ 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η and θ, and then again use [31, Lemma 1.1] to get η.
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 → A ω (as opposed to producing a factorisation which agrees on traces).
with θ n c.p.c. and η n c.p.c. order zero in such a way that the induced map (θ n ) ∞ n=1 : A → ω F n is order zero and the induced map Φ = (φ n ) ∞ n=1 : A → A ω agrees with the diagonal map A → A ω . If all traces on A are quasidiagonal, then we may arrange that (θ n ) ∞ n=1 is unital.
Proof. By Kirchberg's ǫ-test (similar to the application of the ǫ-test in the proof of [3, Lemma 7.4]), it suffices to show that for a finite set F ⊂ A and a tolerance ǫ > 0, there is a sequence of c.p.c. maps φ n : A → A which factor through finite dimensional algebras F n as in (5.8) with θ n c.p.c. and η n c.p.c. order zero such that θ n (x)θ n (y) < ǫ for x, y ∈ F satisfying xy = 0, and (5.9) In fact, we will arrange for all the F n to be the same finite dimensional algebra F , and all the θ n to be the same map θ.
Define F := k i=1 F τ i , θ := k i=1 θ τ i : A → F , and η : F → A ω by (5.15) η(x 1 , . . . , Since the e i are orthogonal projections commuting with the images of the c.p.c order zero maps η τ i , it follows that η is c.p.c. order zero. By projectivity of c.p.c. order zero maps with finite dimensional domains, 28 η may be lifted to a sequence of c.p.c. order zero maps η n : F → A. It is evident that θ n = θ satisfies (5.9), since each map θ τ i has the same property. Next, for x ∈ F and τ ∈ T ω (A), we have τ (e i a τ i ) (5.14) τ (e i )ǫ 2 = ǫ 2 . (5.16) Therefore, Φ(x) − x 2,Tω(A) ≤ ǫ, for all x ∈ 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 (θ n ) ∞ n=1 : A → ω 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 ∞ n=1 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]. 29 For the reader's convenience, we spell out a proof of the nuclear dimension component of the theorem explicitly. Let (φ n : A → A) ∞ n=1 be the sequence of maps produced by Lemma 5.2. By construction, each φ n has nuclear dimension zero, 30 and the induced mapΦ : A → A ω is c.p.c. order zero. FollowingΦ with the quotient map q : A ω → A ω , gives the inclusion A ֒→ A ω .
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)⇒(i) and the main result of [74] for (i)⇒(ii).
Proof of Corollary C. Firstly recall that a C * -algebra is AF 31 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 C * -algebras, so that Winter's Z-stability theorem applies.
For separable A, these statements are consequences of Theorem B and Winter's Z-stability theorem (encompassed in Theorem A): if the nuclear dimension of A is finite, then it is 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 F of A there exists a separable, simple, unital C * -subalgebra A 0 of A containing F with finite nuclear dimension. 32 Thus A 0 has nuclear dimension at most 1 by Theorem B. Since 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 Z-stability (using Theorem B) as the regularity hypothesis in the classification theorem (see [27], [19] and [64,Corollary D]). 31 For non-separable 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. 32 This 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).
In Corollaries E and F, the crossed products C(X) ⋊ 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 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.