Scholarly article on topic 'Nuclear dimension and $$\mathcal Z$$ Z -stability'

Nuclear dimension and $$\mathcal Z$$ Z -stability Academic research paper on "Mathematics"

0
0
Share paper
Academic journal
Inventiones mathematicae
OECD Field of science
Keywords
{""}

Academic research paper on topic "Nuclear dimension and $$\mathcal Z$$ Z -stability"

Invent. math.

DOI 10.1007/s00222-015-0580-1

Nuclear dimension and Z-stability

Yasuhiko Sato • Stuart White • Wilhelm Winter

Received: 25 October 2014 / Accepted: 27 January 2015

© The Author(s) 2015. This article is published with open access at Springerlink.com

Abstract Simple, separable, unital, monotracial and nuclear C*-algebras are shown to have finite nuclear dimension whenever they absorb the Jiang-Su algebra Z tensorially. This completes the proof of the Toms-Winter conjecture in the unique trace case.

The structure theory of simple nuclear C*-algebras is currently undergoing revolutionary progress, driven by the discovery of regularity properties of various flavours: topological, functional analytic and algebraic. Despite the diverse nature of these regularity properties, they are all satisfied by those classes of C*-algebras which have been successfully classified by K-theoretic data, and they all fail spectacularly for the "exotic" algebras in [30,40] which provide counterexamples to Elliott's classification conjecture. The observation that

Research partially supported by JSPS (the Grant-in-Aid for Research Activity Start-up 25887031), by EPSRC (Grant no. I019227/1-2), and by the DFG (SFB 878).

Y. Sato

Graduate School of Science, Kyoto University, Sakyo-ku, Kyoto 606-8502, Japan e-mail: ysato@math.kyoto-u.ac.jp

S. White

School of Mathematics and Statistics, University of Glasgow, University Gardens, Glasgow Q12 8QW, Scotland e-mail: stuart.white@glasgow.ac.uk

W. Winter (B)

Mathematisches Institut der WWU Münster, Einsteinstraße 62, 48149 Münster, Germany e-mail: wwinter@uni-muenster.de

Published online: 27 February 2015

<1 Springer

there are deep connections between these disparate properties was crystallised in the following conjecture of Toms and the third named author.

Conjeture A Let A be a simple, separable, unital, nuclear and non-elementary C*-algebra. Then the following statements are equivalent:

(i) A has finite nuclear dimension;

(ii) A absorbs the Jiang-Su algebra Z tensorially (A is Z-stable);

(iii) A has strict comparison.

For now we only give a rough idea of what these notions mean; we will discuss them in greater detail in Sect. 1.

Nuclear dimension is the C*-algebraic analogue of Lebesgue covering dimension as introduced in [52]. This should be thought of as a topological property, phrased in terms of approximating A via noncommutative partitions of unity; the numerical value of dimension enters as a colouring number for the latter. The notion is closely related to decomposition rank, its precursor from [21]. Having finite decomposition rank is a stronger condition than (i) which implies quasidiagonality, and so (in contrast to nuclear dimension) is only applicable to stably finite algebras.

A C*-algebra A is Z-stable if A = A ® Z, where Z denotes the Jiang-Su algebra (which is nuclear, so there is no need to specify the tensor product). Jiang and Su constructed Z in [16] as an inductive limit of so-called dimension drop algebras (i.e. certain bundles of matrices over the closed unit interval). Amongst all such inductive limits, they characterised it as the unique one which is simple and monotracial. The classification machinery for nuclear C*-algebras allows for a much more general statement: Z is the uniquely determined infinite dimensional, simple and monotracial C*-algebra which has finite decomposition rank and is KK-equivalent to the complex numbers; cf. [47, Corollary 5.5]. Here, KK-equivalence (in the sense of Kasparov) may be interpreted as a weak notion of homotopy equivalence. It implies in particular that Z and C have isomorphic ordered K-groups; in fact, in some sense Z plays the role of an infinite dimensional version of C. Thanks to [26], one can also replace the hypothesis of finite decomposition rank in the statement above by finite nuclear dimension combined with quasidiagonality. The Jiang-Su algebra is strongly self-absorbing in the sense of [42], i.e., there is an isomorphism Z = Z ® Z which is approximately unitarily equivalent to the first factor embedding. This is perhaps the most crucial feature of Z, since it provides the link to celebrated results of Connes on injective II1 factors and of Kirchberg on purely infinite nuclear C*-algebras (we will return to this point of view below). In [48], Z was characterised in an entirely abstract manner as the initial object in the category of strongly self-absorbing C*-algebras. Being Z-stable has a functional analytic flavour, which becomes particularly

clear when characterising Z-stability in terms of central sequence algebras; cf. Proposition 1.2.

Strict comparison means that positive elements (or rather their support projections) may be compared in the sense of Murray-von Neumann by looking at their values on traces. This can be rephrased in a much more algebraic manner in terms of a certain notion of order-completeness of a homological invariant (the so-called Cuntz semigroup). It is the different nature of these three regularity properties—topological, functional analytic, and algebraic—which makes the conjecture so useful, since it sheds light on the same phenomenon from completely different angles. Moreover, and quite strikingly, versions of these properties and their interplay also appear in other contexts, for example in von Neumann algebras and in topological dynamics.

Up to now the Toms-Winter conjecture has been verified for various naturally occurring classes of algebras: in particular many C*-algebras of the form C (X) x Z arising from minimal homeomorphisms of compact metric spaces satisfy the conjecture. In the uniquely ergodic case Elliott and Niu have shown that regularity is automatic [11] (a fact related to unique ergodicity implying mean dimension zero—regularity can fail for larger trace spaces). This leads to classification by K-theory ([44]; see [36,50] for the case of Zd actions). Moreover, the implications (i)^(ii) and (ii)^(iii) have been established in general by the third named author [47,49] (see [38] for an extension to the stably projectionless case) and R0rdam [31] respectively; recent progress of Matui and the first named author [25] establishes (iii)^(ii) for C*-algebras with a unique tracial state (this has subsequently been extended to somewhat more general trace simplices in [20,34,41]). In the traceless case, (iii)^(ii) boils down to Kirchberg's celebrated O^-stability theorem for purely infinite nuclear C*-algebras, [17]; (ii)^(i) follows from Kirchberg-Phillips classification combined with [52] in the presence of the universal coefficient theorem (UCT), and was shown in general in [26] (see also [2]).

The focus of this paper is the implication from (ii) to (i) in the tracial case. Classification results provide one route towards the implication (ii)^(i), via the strategy of comparing an algebra with a directly constructed model which has finite topological dimension. As well as passing through vast amounts of technical machinery, this approach is inevitably restricted to C*-algebras satisfying the still mysterious UCT. A direct approach was pioneered by Tikuisis and the third named author in [39] (heavily based on the results of Kirchberg and R0rdam in [19]), which proves that Z-stable locally homogeneous algebras have finite decomposition rank (even outside the simple setting); however this too relies in an essential way on the existence of a concrete inductive limit structure. A recent breakthrough was achieved by Matui and the first named author in [26], which, in the presence of a unique tracial state, establishes finite decomposition rank from quasdiagonality and Z-stability. Our main theorem,

stated below, does not require a quasidiagonality assumption (which can often be hard to verify outside a concrete inductive limit setting) to establish finite nuclear dimension from Z -stability.

Theorem B Let A be a simple, separable, unital, nuclear and Z-stable C*-algebra with a unique tracial state. Then dimnuc(A) < 3.

Upon combining Theorem B with the main results of [25], and the general implications (i)^(ii) of [49] and (ii)^(iii) of [31], this confirms the TomsWinter conjecture in the form stated above for C*-algebras with a unique tracial state. Thus the difference between finite decomposition rank and finite nuclear dimension for unital, simple, separable and monotracial Z-stable algebras is precisely quasidiagonality, and it remains an open question as to whether such algebras are automatically quasidiagonal. (Indeed this is a special case of the Blackadar-Kirchberg conjecture from [4], which asks whether every stably finite nuclear C*-algebra is quasidiagonal.)

Corollary C Conjecture A holds under the additional assumption that A has at most one tracial state.

In the rest of the introduction we discuss the analogies between the regularity properties in Conjecture A and properties of von Neumann factors of type IIi and provide an architectural outline of the proof of Theorem B.

Each of the statements in the Toms-Winter conjecture is a natural analogue of a corresponding property for II1 factors: strict comparison relates to the fact that the Murray-von Neumann lattice of projections in a II1 factor is determined by the trace; tensorial absorption of Z to being a McDuff factor (absorbing the hyperfinite II1 factor tensorially); and finite nuclear dimension to hyperfiniteness. For (separably acting) injective II1 factors these properties are theorems (of course comparison holds for all II1 factors), and all play roles in carrying through the implication from injectivity to hyperfiniteness in Connes' celebrated paper [7]. From this viewpoint, carrying through the implications (iii)^(ii)^(i) in the Toms-Winter conjecture provides a C*-algebraic version of Connes' characterisations of injectivity.

In his work Connes relies on a detailed analysis of automorphisms of II1 factors, and the notion of an approximately inner flip (the automorphism x ® y ^ y ® x on the tensor square can be approximated by inner automor-phisms)plays a key role. A crucial step in Connes' proofthat injectivity implies hyperfiniteness is to show that any automorphism of an injective II1 factor with separable predual is approximately inner [7, Corollary 3.2, Theorem 5.3] in the strong topology. In particular, it has strongly approximately inner flip [7, Theorem 5.1 (7)^(3)] and therefore is McDuff [7, Theorem 5.1 (3)^(2)] in a particularly strong fashion; from this Connes obtains hyperfiniteness of M [7, Theorem 5.1 (2)^(1)]. Of course, by now two beautiful alternative proofs

without using automorphisms have been obtained by Haagerup and by Popa, but for our purposes it will be more suitable to focus on the original strategy involving approximately inner flips.

Effros and Rosenberg initiated the study of approximately inner flips in the setting of C*-algebras in [9]. As they observe, an approximately inner flip is a strong requirement on a C*-algebra (implying simplicity, nuclearity and at most one trace), but several prominent examples enjoy such a flip, like uniformly hyperfinite (UHF) C*-algebras, the Jiang-Su algebra Z and the Cuntz algebras O2 and Ox, all of which play key roles in the modern study of nuclear C*-algebras. Using the approximately inner flip, Effros and Rosenberg characterised the universal UHF algebra Q as the unique separable unital C*-algebra which is quasidiagonal, has an approximately inner flip and tensorially absorbs Q [9, Theorem 5.1], using a C*-analogue of Connes' implication [7, Theorem 5.1 (2)^(1)]. With the benefit of hindsight, this result can be thought of as the precursor to the strategy of [26] and our work here. Effros and Rosenberg compare the first factor embedding A ^ (A ® Q)m of A into the ultrapower of A ® Q with an embedding of A into 1A ® Qm c (A ® Q)m obtained from quasidiagonality. They then conjugate these two embeddings using the approximately inner flip on A, and obtain an approximately finite dimensional (AF) structure on A directly from this, whence A is isomorphic to Q by Elliott's classification theorem [10]. From today's perspective, Effros and Rosenberg's approach can be used to directly give approximations verifying decomposition rank zero (equivalent to being AF by [21]).

Here, it should be noted that there is a significant difference between approximately inner flips in von Neumann algebras and C*-algebras. In both contexts this implies amenability, but there are K-theoretic obstructions preventing a general simple unital nuclear C*-algebra with unique trace from having an approximately inner flip. Indeed AF algebras with an approximately inner flip must be UHF [9]. Thus a key idea is that of a "2-coloured approximately inner flip" for a C*-algebra (in the norm sense) as introduced in [26], and this notion applies to a broader class of algebras. Starting from Connes' approximately inner flip on an injective II1 factor, such a 2-coloured approximately inner flip was established for simple separable unital and nuclear C*-algebras with a unique trace which absorb a UHF-algebra tensorially by using a 2-coloured approximate Murray-von Neumann equivalence, which in turn is inspired by Haagerup's approach [12] to injectivity implies hyperfiniteness. This ingredient is structured so that the flipping strategy gives the estimate dr (A) < 1fora quasidiagonal simple separable unital nuclear C*-algebra A which is Q-stable (i.e. A = A ® Q) and has unique trace—the two colours in the decomposition rank estimate arising from those in the approximately inner flip. The estimate dr(A) < 3 (i.e. a4-coloured approximation) of [26, Theorem 1.1] in the Z-stable case arises from using the UHF-stable approximations twice.

In both [9,26] quasidiagonality provides *-homomorphisms from a quasidiagonal C*-algebra A into the ultrapowers Um of suitable UHF algebras (analogous to the asymptotic embeddings into the hyperfinite II1 factor which arise from Condition (2) in [7, Theorem 5.1]). As Voiculescu shows in [45], the cone over any C*-algebra A is quasidiagonal, so nontrivial order zero maps from A into these ultrapowers always exist. We aim to use such maps in place of the *-homomorphisms used in [9,26]. As a byproduct we obtain an alternative proof of Voiculescu's result when A is nuclear without elementary quotients, and has a separating family of tracial states. The argument uses recent work of Kirchberg and R0rdam on the tracial ideal in an ultrapower [20], which also shows that the order zero maps 0 : A ^ Um can be taken to preserve a fixed trace on A (cf. Lin's work [22] on AF-embeddability of crossed products), and are unital modulo the tracial ideal. We perform the flipping strategy working in an algebra of the form (A ® A ® V )m, the presence of a UHF algebra V providing the 2-coloured approximately inner flip. We then use the extra properties of the map 0 to obtain order zero maps : (U ® V)m ^ Z such that Xi=o ^()(0(1 A) ® 1V) = Z (for this we use a uniqueness result for certain positive contractions in Zm proved using recent Cuntz-semigroup classification theorems [6,27]); thus the resulting factorisation takes values in A ® Z. This strategy of proving results for Z-stable algebras via the UHF-stable case has its origins in [46]. The use of two maps ) doubles the number of colours in the final nuclear dimension approximation, leading to a 4-coloured factorisation: two colours from the ), multiplied by two colours from the 2-coloured approximately inner flip. Accordingly, when A does have an approximately inner flip, for example when it is strongly self-absorbing, we get an estimate dimnuc(A) < 1 in Theorem B (see Theorem 6.4).

In Sect. 1 we recall the notion of order zero maps and the regularity properties appearing in the Toms-Winter conjecture. In Sect. 2 we examine asymptotically order zero maps and establish some technical preliminaries. Section 3 provides our "trace-preserving"-quasidiagonality of cones over tracial nuclear C*-algebras. In Sect. 4 we extract the 2-coloured approximately inner flip for monotracial, simple, unital, nuclear and UHF-stable C*-algebras from the proof of [26, Theorem 4.2], and record some of its consequences. Section 5 provides the uniqueness theorem used in Sect. 6 to produce the two maps ) and then prove Theorem B.

1 Order zero maps and regularity properties

In this section we recall some basic facts about completely positive order zero maps, and the regularity properites which appear in Conjecture A.

Let A and B be C*-algebras. A completely positive (c.p.) map f : A ^ B is said to be order zero if it preserves orthogonality, i.e. f(e)f( f) = 0

whenever ef = 0. The structure theorem from [51] (based on the respective result of Wolff from [53] for disjointness preserving bounded maps) for order zero maps ty : A ^ B provides a supporting *-homomorphism n from A into the multiplier algebra M(C*(ty(A))) c B** and a positive element h e M(C*(ty( A))) n ty(A)' such that ty(a) = n(a)h = h n(a) for all a e A. In the case that A is unital (as it will be throughout the paper) one can take h = ty(1 A) so that ty(a) = ty(1 A)n(a) for a e A and it follows that a c.p. map ty : A ^ B is order zero if and only if

ty(x)ty(y) = ty(xy)ty (1A), x, y e A. (1.1)

From the structure theorem one obtains two further key properties:

• the functional calculus for completely positive and contractive (c.p.c.) order zero maps [51, Corollary 4.2]: given f e C0(0, 1]+, define an order zero map f (ty) : A ^ B by f (ty)(a) = n(a) f (h) which is n(a) f (ty(1 A)) when A is unital.

• the duality between c.p.c. order zero maps ty : A ^ B and *-homomorphisms Co(0, 1]® A ^ B on the cone over A, [51, Corollary 4.1].

The nuclear dimension of a C*-algebra from [52] is defined in terms of c.p. approximations which are uniformly decomposable into sums of order zero maps (cf. [15], which shows that approximations as below can be found for any nuclear C*-algebra when n is allowed to vary with i). The notion is inspired by the idea of regarding a nuclear C*-algebra as a noncommutative topological space; completely positive approximations then play the role of noncommutative partitions of unity.

Definition 1.1 ([52, Definition 2.1], [21, Definition 3.1]) A C*-algebra A has nuclear dimension at most n e N, written dimnuc(A) < n, if there exists a net (Fi, tyi, fa )i ei where Fi are finite dimensional C*-algebras, which decompose as Fi = F(0) © ••• © Fl{n), tyi : A ^ Ft are c.p.c. and fa : Ft ^ A are c.p. such that lim i fa ¡(tyi (a)) = a for a e A, and each fa i | F (j) is contractive

and order zero. If additionally each fai is contractive, then A is said to have decomposition rank at most n.

The Jiang-Su algebra Z was constructed in [16] as an inductive limit of prime dimension drop intervals. It is simple, projectionless, has a unique tracial state and is strongly self-absorbing in the language of [42], i.e. Z = Z ® Z via an isomorphism 6 : Z ^ Z ® Z which is approximately unitarily equivalent to the first factor embedding a ^ a ® 1Z, [16, Theorem 7.6, Theorem 8.7]. There are by now several alternative ways (ranging from very concrete to very abstract) of characterising Z. Likewise, Z-stability, i.e. the property of

absorbing the Jiang-Su algebra tensorially, can be expressed in quite different fashions. We recall a result which is particularly useful in this context, and which does not require the definition of the algebra Z itself. The idea is to realise a finite set of generators and relations inside the central sequence algebra (of course, the latter may also be replaced by an ultrapower; cf. 2.1). The statement essentially combines [32, Proposition 5.1] with [43, Proposition 2.2]; an approximate version was given in [47, Proposition 2.3].

Proposition 1.2 A separable unital C*-algebra A is Z-stable if and only if, for any 2 < p e N, there are c.p.c. order zero maps

& : Mp (i™(A)/c0(A)) n A' (1.2)

* : M2 (£™(A)/c0(A)) n A' (1.3)

satisfying the relations

*(e($) + &(1mp) = W)/C0(A) and *(egy (ei?) = *(e^)- (1.4)

Note that this result is in complete analogy to McDuff's characterisation of ^-stability of II1 factors in terms of the existence of approximately central copies of matrix algebras [24], replacing a unital *-homomorphism from matrices by an order zero map & which is large, in that 1 — &(1Mp) is dominated

by &(e{[ ) (as witnessed by *).

For D a C*-algebra with positive elements x, y e D ® K write x ^ y when there exists a sequence (vn)™= 1 in D ® K with v*yvn ^ x. Write x ~ y when x ^ y and y ^ x .The Cuntz semigroup is defined to be Cu( D) = (D ®K)+/^, and we write (x) for the class of x e (D ® K)+. This is equipped with an addition arising from identification of K = K ® M2 to take an orthogonal sum of two positive elements of D ® K, an order < induced from and has the property that every increasing sequence in Cu(D) has a supremum [8]. An abstract category Cu containing the Cuntz semigroups of C*-algebras was set out in [8], which shows that the assignment Cu(-) is functorial and preserves sequential inductive limits. Given a positive element x e A and s > 0, write (x—s)+ for hs(x) where h s(t) = max(t—s, 0). Positive elements x, y e D®K satisfy x ^ y if and only if (x — s)+ ^ y for all s > 0. This last result can be found in the survey article [1] (as Proposition 2.17), to which we refer for a full account of the Cuntz semigroup and the category Cu.

Definition 1.3 A simple, separable, unital C*-algebra D is said to have strict comparison if the following holds:

Whenever there are positive nonzero elements a, b e D ® K such that

1 1 lim T(ak) < lim r(bk) (1.5)

for any 2-quasitrace t on D, then a ^ b.

A (2-quasi)trace t on a unital C*-algebra D defines a functional dT on Cu(D) by dT({a)) = ¡a((0, x)) for a e (D ® K)+, where ¡a is the measure on [0, x) induced by ¡a(f) = t( f (a)) for f e C0[0, x)+. In particular, note that d^{ f (a))) = ¡¿a(Supp( f)) where Supp( f) = {t : f (t) = 0} is the open support of f e C(Sp(a)). (We only need the definition of dT when a e D, but in general t is extended to a lower semicontinuous (2-quasi)trace on D ® K to make this definition.) With this terminology, a simple, separable, unital C*-algebra D has strict comparison if and only if dT({a)) < dT({b)) for all 2-quasitraces t implies that a ^ b. It should be pointed out that we will only encounter strict comparison in situations when it is known that all 2-quasitraces are in fact traces.

In order to appreciate the algebraic flavour of strict comparison, consider R0rdam's characterisation in terms of an order property of the Cuntz semigroup Cu(A); see [31] or [1, Section 5].

Proposition 1.4 A simple, separable, unital, nuclear C*-algebra A has strict comparison if and only if its Cuntz semigroup Cu( A) is almost unperforated, i.e., (n + 1) ■ {a) <n ■ {b) for some n e N implies {a) < {b).

2 Asymptotically order zero maps

We will be repeatedly concerned with sequences of asymptotically order zero maps inducing order zero maps into ultrapowers. Firstly we set out our notation for working with the latter.

Notation 2.1 Throughout the paper m will denote a free ultrafilter on N. Given a C*-algebra A, write Am for the ultrapower obtained as the quotient A)/c„(A), where c„(A) = {(xn)~=1 e i™(A) : lim^ UnII = 0}. We shall generally suppress the quotient map iœ(A) ^ Am and instead say that (xn)^=1 represents or lifts x e Am if its image in the quotient is x. It is well known that positive contractions can be lifted to sequences of positive contractions, and unitaries to sequences of unitaries. We regularly regard A as embedded in Am, where a e A is represented by the sequence with constant value a. We also work regularly with ultrapowers of tensor products of the form ( A ® B )m and throughout the paper ® denotes the spatial tensor product.

Given C*-algebras A and B, a uniformly bounded sequence (tyn)™= 1 of bounded linear maps : A ^ B induces a bounded linear map ^ : Am ^ Bm

defined at the level of representatives by (xn)™= 1 ^ (fn(xn))™= 1. When each fn is completely positive, contractive, a *-homomorphism, or order zero, then * enjoys the same property. When each fn is c.p. then the induced map * is order zero if and only if limn^m \\fn(xn)fn(yn)|| = 0 whenever limn^m \\xnyn\\ = 0 for bounded sequences (xn 1, (yn 1in A. Sometimes the map * will only be order zero when restricted to a subalgebra, say A c Am. This is the case if and only if the sequence is asymptotically order zero with respect to A in the sense that limn^m \\ fn (x )fn (y) \\ = 0 whenever x, y e A satisfy xy = 0; when A is unital we can describe this by asking for (1.1) to hold asymptotically, i.e.

lim \\fn(xy)fn(1) — fn(x)fn(y)\\ =0, x, y e A- (2.1)

Note too that when A is nuclear, by the Choi-Effros lifting theorem [5] any c.p.c. order zero map A ^ Bm arises from a sequence of c.p.c. maps A ^ B which is asymptotically order zero with respect to A. Sequences of asymptotically order zero maps arise naturally from the approximations in the definition of finite nuclear dimension; indeed, given a system of maps (F, f, 0i )i eI as in Definition 1.1 one can modify the approximation by removing unnecessary components so that the maps f are asymptotically order zero [52, Proposition 3.2].

Sequences of asymptotically order zero maps enjoy a slight variant of the structure theorem using a supporting order zero map in place of the supporting *-homomorphism. A crucial point here is that the supporting order zero map can be chosen to take values in the ultrapower Bm, rather than the multiplier algebraM(C*(f(A))) c (BJ**.

Lemma 2.2 Let A and B be separable unital C*-algebras, and (fn1 a sequence of c.p.c. maps A ^ B inducing a c.p.c. map * : Am ^ Bm. Let X be a separable C*-subalgebra of Am with 1 Am = 1X and suppose that * |x : X ^ Bm is order zero. Then there exists a sequence (nn1 of c.p.c. maps nn : A ^ C*(fn(A)) c B such that the induced c.p.c. map n : Am ^ Bm restricts to an order zero map on X satisfying

*(x) = U(x)*(1 x) = *(1 x)U(x), x e X- (2.2)

Suppose additionally that A and Bfactorise as A = A ® C and B = B ® C, for some separable unital C*-algebra C, and each fn is equal to An ® idC for some c.p.c. map An : A ^ B. Then each nn may be chosen of the form nn ® idC for some c.p.c. map nn : A ^ C *(fn (A)).

1, t > 1/m;

2mt - 1, 1/(2m) < t < 1/m; (2.3)

0, 0 < t < 1/(2m).

Proof For m e N, define piecewise linear functions gm e C0(0,1] by

gm (t) =

Define hm e Co(0,1]+ to satisfy hm(t)t = gm(t) for all t e (0, 1]. The c.p.c. order zero map gm (W |X) : X ^ Bm n W (1X)' takes the form

gm W | X )(x) = hm W(1 X ))1,2^(X )hm W(1X ))1/2, x e X, (2.4) since if p is the supporting homomorphism of W | X, then

gm W IX)(') = P(')gm W IX(1X))

= P(' )W IX (1x )hm W IX (1X )) = W IX (' )hm W IX (1x ))■ (2.5)

Fix a countable dense sequence (x(li))^ 1 in the unit ball of X and lift each x() to a sequence (x%))^=1 of contractions in A. Since (hm (tyn(1A))1/2)^=1 is a lift of hm W(1X))1/2 the map gm (WIX) is (the restriction to X of the c.p.c. map) induced by the sequence of c.p.c. maps ( 1 from A to B

given by

fm,n(a) = hm(tyn(1 a))1/2tyn(a)hm(tyn(1 a))1/2, a e A. (2.6) It then follows that for each i, j, m e N,

lim \\fm,n(4]X{J])fm,n(1A) - tym,n(x%])tym,nXJ) = 0. (2.7) As gm(WIX)(x) c Bm n W(1 X)', for all i, m e N we also have

lim Um,n(x(i})tyn(1A) - tyn(1A)tym,n(x%})\\ = 0. (2.8)

For each n e N, let mn denote the maximum value of m e {1, 2,...,n} such that

\\tym,n(x%}x%])fm,n(1A) - tym,n(x%})tym,n(x{() < —, 1 < i, j < m,

\\tym,n (x% }) tyn (1 A) - tyn (1A )tym,n (x% ) < -, 1 < i < m. (2.10)

The limits in (2.7) and (2.8) demonstrate that limn^m mn = to.

Define nn = fmn ,n : A ^ B .As limn^m mn = to, (2.9) and the order zero relation (1.1) show that the sequence (nn)TO 1 induces a c.p.c. order zero map n : X ^ Bm and (2.10) shows that n(X) c *(1 X)'. Denote by e e Bm the contraction represented by the sequence (gmn(fn(1 A)))TO 1. As \\gm(fn(1 a))fn(1 a) — fn(1 a)\\ < 2/m for all n and lim n^m mn — to. It follows that e*(1X) = *(1 X) = *(1 X)e. Since *(X) lies in the hereditary subalgebra *(1X)Bm*(1 X), we have

e*(x) = *(x)e = *(x), x e X- (2.11)

Now, given x e X with lift (xn )TO= 1, we have

fn (1A )1/2nn (xn ) fn (1 A)1/2 = gmn ( fn (1A ))1/2 fn (xn )gmn ( fn (1A ))1/2,

(2.12)

so (2.11) gives

*(1 x )1/2n(x )*(1x )1/2 = *(x)- (2.13)

As n(X) commutes with *(1 x), this establishes (2.2).

Now suppose that A, B and each n factorise as described in the second paragraph of the lemma. Then hm (fn(1A))1/2 = hm ( An(1 b))1/2 ® 1C, and so each fm,n factorises as fm,n ® idC, with fmn : A ^ C*( An(B)) given by

fm,n(a) = hm (An(1 bA))1/2a(a)hm (An(1 BA))1/2, a e Z (2.14) Thus each nn also enjoys the specified factorisation. □

The functional calculus for order zero maps * : X ^ Bm arising as in Lemma 2.2 can be recaptured using the supporting order zero map n:for f e C0(0,1]+ andx e X,wehave f (*)(x) = n(x)f (*(1 x)).When f isapoly-nomial with f (0) = 0, then f (t) = t • g(t) for some polynomial g and we have f (*)(x) = * (x) f (*(1 x )) = * (x )*(1x )g(*(1 x )) = *(x )g(*(1 x )) = n(x)*(1 X)g(*(1 X)) = n(x) f (*(1X)), where * denotes the supporting

* -homomorphism of * . In general the assertion follows by approximating f uniformly by polynomials. In particular, this shows that f (*) is induced by a sequence of asymptotically order zero maps, whose ranges lie in the same C*-algebras as the maps used to obtain *.

Lemma 2.3 Let A and B be separable unital C*-algebras and (fn)TO= 1 a sequence of c.p.c. maps A ^ B inducing a c.p.c. map * : Am ^ Bm. Let X be a separable C*-subalgebra of Am with 1X = 1 Am, and suppose that

* |x : X ^ Bm is order zero. Given any function f e Co(0, 1]+, the order zeromap f (* |x) : X ^ Bm is (the restriction to X of the c.p.c. map)induced by a sequence (fn)TO 1 ofc.p. maps fn : A ^ C*( fn(A)) c B.

Suppose additionally that A and Bfactorise as A = A® C and B = B® C, for some separable unital C*-algebra C, and each tyn is equal to An ® idC for some c.p.c. map An ■ A ^ B. Then each : A ^ B may be chosen of the form ® idC for some c.p.c. map ■ A ^ C *( An (A)).

Proof This follows from the expression f (WIX)(x) = n(x) f W(1X)) for x e X, where n is the supporting order zero map of Lemma 2.2 induced by c.p.c. maps nn ■ A ^ C*(tyn(A)). □

We end the section by recording a fact about polar decompositions in ultrapowers. The proof that unitary polar decompositions exist given in [23] is stated for quotients n Bn / X Bn, but applies without modification to ultrapowers. It then follows immediately that Bm has stable rank one (x = u Ix I can be approximated by invertibles of the form u(\x I + e1Bm)).

Lemma 2.4 (cf. [23, Lemma 19.2.2(1)]) Let B be a separable unital C*-algebra with stable rank one. Then for every x e Bm, there exists a unitary u e Bm with x = u Ix I and so B has stable rank one.

3 Tracially large UHF embeddings of cones

In this section we provide the tracially large order zero maps A ^ Um used to obtain the finite dimensional algebras in the finite nuclear dimension factorisations of our main result. The proof works when U is replaced by any separable, unital, nuclear and stably finite C*-algebra.

Notation 3.1 Let A be a separable unital C*-algebra with a fixed tracial state t, and let TA,m be the induced tracial state on Am defined on a representative sequence (xn1 by limn^m T(xn). Following [20], we define the trace kernel ideal of ta,m as Ja,t ■= {(an)n e AM I limn^MT(a*a)} < AM. (We do not keep track of the ultrafilter in our notation for the ideal. However, this should not cause confusion; in fact, we think of the free ultrafilter as being fixed throughout the paper.)

We use Kirchberg's notion of a a -ideal from [18], working with the formulation of [20, Definition 4.4]: an ideal I in a C*-algebra D is a a-ideal if for every separable C*-subalgebra C of D there exists a positive contraction e e I n C' such that ec = c for all c e I n C .A key observation of Kirchberg and R0rdam is that Ja,t is a a -ideal in Am whenever A is unital, and t is a tracial state on A, [20, Proposition 4.6 and Remark 4.7]. (This is a special case of the results of [20, Section 4]; the trace-kernel ideal JA obtained from those sequences which converge to zero uniformly on all traces is also a a-ideal in Am, and so too are the ideals (JA n A') < (Am n A') and ( Jat n A') < (Am n A') in the central sequence algebras). The proof below is based on the argument

for surjectivity given at the end of Sect. 4 of [20]. In forthcoming work we will provide some uniqueness statements for such maps up to a finitely coloured decomposition as a sum of order zero maps arising from conjugation by a suitable sequence of contractions.

Proposition 3.2 Let A and B be separable unital and nuclear C*-algebras without elementary quotients, and with extremal traces ta and tB respectively. Then there exists a c.p.c. order zero map ^ : A ^ Bm with 1 Bm — ^(1 a ) e JB,tb and (^(x)) = ta (x) for all x e A.

Proof The strong operator closures of A and B in the GNS representations corresponding to ta and tb are injective II1 factors, so by Connes' uniqueness theorem [7], both these strong closures are isomorphic to the hyperfinite II1 factor R. Let R°} be the von Neumann algebra ultrapower, namely the quotient of l'x(R) by those sequences (xn1 with limn^m tr (x*xn) = 0. By Kaplansky's density theorem, the canonical emebddings Amf JAta ^ Rw and Bmf Jb,tb ^ R°} are surjective, so give a surjective *-isomorphism ^ : Am/J atA ^ Bm/ Jb,tB . Let n : A ^ Am/Ja,tA be the canonical unital *-homomorphism. Applying the Choi-Effros lifting theorem [5], we obtain a unital c.p.c. map ^ : A ^ Bm lifting ^ o n, i.e. ^ o n = q o , where q : Bm ^ Bm/ Jb,tB is the quotient map. As Jb,tB is a a -ideal in Bm, there is a positive contraction e e JB tB n C*(1 Bm, ^(A))' with ec = c for all c e Jb,tb n C*(1 b^V (A)).

Define ac.p.c. map ^ : A ^ Bm by ^(a) = (1 Bm — e)1>(x)(1 Bm — e) for x e A. We have 1 bw — ^(1 a) = 1bw — (1b^ — e)2 = 2e — e2 e Jb^b and

tb,m(^(x)) = tb,m(^(x)) = tb,on(x)) = ta,®on(x) = ta(x), x e A;

for the third equation note that since R°} is a II1 factor (see [35, Lemma A.4.2]) it has a unique tracial state (any trace on a II1 factor is automatically normal [37, Proposition V.2.5]), and so we have TB,by(^>(x)) = ta,w(x) for any x e Aw/Ja,tA . _ _

Finally, if x, y e A+ satisfy xy = 0, then ^(x)*I>(y) e ker q = JB,tb, and hence (1 Bm — (x)*I>(y) = 0. Since (1Bm — e) commutes with V(A), we have

V(x )*( y) = (1 Ba — e)*(x )(1 Ba — e)2$ (y)(1 Ba — e)

= (1 Ba — e)2* (x )$(y)(1 Ba — e)2 = 0, (3.2)

showing that ^ is order zero, as required. □

One can prove more. Since JB,tB n B' is a a -ideal in Bm n B', starting with a trace preserving embedding A ^ Rm n R' (which is easily obtained from

the isomorphism of R with its infinite tensor product), and using the fact that (Bm n B')/( Jb,tb n B') = Rw n R' ([33, Lemma 2.1] when B is nuclear and [20, Theorem 3.3] for general B), the same proof allows us to insist that the order zero map ^ maps into the central sequence algebra Bm n B'.

Note too that the previous proposition recaptures Voiculescu's result [45] that the cone over a C*-algebra A is quasidiagonal in the special case when A is unital and nuclear without elementary quotients, and has a separating family of tracial states (so in particular when A is also simple and stably finite by the work of Blackadar, Handelman [3,14] and Haagerup [13]).

Corollary 3.3 Let A be a separable, unital and nuclear C*-algebra without elementary quotients, and with the property that for every positive element x e A there is a tracial state t on A with t(x ) = 0. Then C0(0, 1]® A is quasidiagonal.

Proof Suppose first that ta is an extremal tracial state on A and take B to be a UHF algebra in Proposition 3.2, and let ^ : A ^ Bm be the order zero map given there. The duality between order zero maps from A and *-homomorphisms from C0 (0, 1]® A [51, Corollary 4.1], gives a *-homomorphism n : C0(0, 1]® A ^ Bm which has n(id(0;1] ® x) = ^(x). Note that

tbA^(1 a)n) = 1, n e N (3.3)

as 1 Bm — ^(1A) e JB. Then the measure on (0, 1] induced by TB,w(n(-®1 A)) is supported at 1 so that to n vanishes on C0(0,1) ® A, and hence factors through A = (Co(0, 1]® A)/(Cq(0, 1) ® A). Accordingly tb,v o n = ¿1 ® ta .

Given t e (0, 1], follow the restriction Co(0,1] ^ Co(0, t] with a map Co (0, t] ^ C0 (0, 1] induced by rescaling to obtain a *-homomorphism nt : C0 (0, 1]® A ^ B& with tb,m o nt = St ® ta . Now if ta is faithful, the sequence of maps (nn1 given by

n„ (f) = n1/n (x) ® n2/n (f) ®---®n1( f) : A ^ B®n = (B m )„ (3.4) can be used to confirm quasidiagonality of C0(0, 1]® A as asymptotically

ywn, n (f)) ^ ta( f (t))dt, f e C0 ((0, 1], A) = C0 (0, 1]® A, nti J0

where the integral on the right is performed with respect to Lebesgue measure and so is non-zero when f is positive and non-zero, as ta was assumed faithful.

In general, note that for every non-zero positive element f e C0((0,1], A), the hypothesis gives an extremal trace t on A suchthat /J t( f (t ))dt = 0.Thus sums of the maps in (3.4) taken over finite subsets of the extremal boundary

of the tracial state space of A can be used to witness quasidiagonality of

Co(0, 1]® A. □

4 2-coloured approximately inner flips

The next lemma extracts the 2-coloured approximately inner flip for mono-tracial nuclear UHF-stable C*-algebras from the proof of [26, Theorem 4.2] in the form we need for the sequel. We give the proof for completeness (note that our notation differs from that in [26], particularly for ultrapowers).

Lemma 4.1 Let A be a simple, separable, unital, non-elementary and nuclear C*-algebra with unique tracial state ta, and let V be a UHF algebra. Then there exist contractions v(0), v(1) e (A ® A ® V)« with

^ v(i)(a ® b ® 1V)v(i)* = (b ® a ® 1V), a, b e A, (4.1) i =o

v(0)*v(0), v(1)*v(1) e (1a ® 1a ® V)« and ^ v(i)*v(i) = 1a ® 1a ® 1v■

Proof As A has unique trace its strong closure in the GNS-representation of this trace is an injective IIi factor, and so has a || ■ ||2;T-approximately inner flip by the implication (7)^(3) from Connes' Theorem [7, Theorem 5.1]). In particular, using Kaplansky's density theorem, there exists a sequence (un 1 of unitaries in A ® A with

lim ||u„xu* - a(x)h,rA®A = 0, x e A ® A,

where a : A ® A ^ A ® A is the flip automorphism of A ® A.

Write B = M2 ® A ® A ® V and let q : Bm ^ Bmf Jb,tb denote the quotient map. Consider the embedding n : A ® A ^ Bm = M2(( A ® A ® V)m), given by

i(x) ® 1va 0

0 i o a(x) ® 1V

n(x ) =

where i : A ® A ^ (A ® A)« is the canonical unital inclusion. Denote the partial isometry in B« represented by

(\ 0 01N«

\\_un ® 1V 0_|/n=1

by u ,sothatq (u) e q ( BM)Hq (n( A0 A))/from (4.3). Then we have projections

1( A0 A0V )a 0

0 0 0 1(A® A0V )a

in Bm n n(A ® A)' satisfying e = u*u and f = uu*. By construction, the partial isometry q(u) witnesses Murray-von Neumann equivalence of q (e) and q(f) in q(Bm) n q(n(A ® A))'.

The relative SI results of [26, Sect. 3] apply to the inclusion n(A ® A) c Bm. In particular every trace on Bm n n(A ® A)' is of the form t o q for some trace t on q(Bm) n q (n(A ® A))' by [26, Proposition 3.3(i)]. Thus T(e) = t( f) for all traces t e T(BM n n(A ® A)').

Further, as B has strict comparison, [26, Proposition 3.3(ii)] applies to show that Bm n n(A ® A)' has strict comparison of projections. Then, for each n e N, apply the 2-coloured Cuntz-Pedersen theorem [26, Lemma 2.1] to obtain contractions wh0), in (Bm n n(A ® A)') ® Mn, such that

liwn0)*wn0)+wn1)*wn1) — e ® 1n y< 4, uw(0)w(0)* + w(n1)w(n1) * — f ® 1n y< 4

2 2 dist(wji0)*wji0), e 0 Mn) <-, dist(W^W^, e 0 Mn) <-.

By regarding Mn (for suitable n) as being unitally embedded in V, we have wn0), e Bm n n(A 0 A)'. A standard reindexing argument gives contractions v(0), v(l) e Bm n n(A 0 A)' with

V(i )*v(i ) =

( A0 A0V )a 0

v(i )V(i =

0 0 0 1(A0 A0V )a

v(0)*v(0), v(1)*v(1) e

(1A 0 1A 0 V)„ 0' 0 0

(4.9) (4.10)

From (4.9), there are contractions v(0), v(1) e (A 0 A 0 V)m such that

v(0) =

v(0) 0

v(1) =

;(1) 0

(4.11)

These are readily seen to satisfy (4.1) and (4.2).

Since UHF algebras of infinite type are strongly self-absorbing, if a separable C*-algebra A tensorially absorbs a UHF-algebra U of infinite type, then there is an isomorphism A ^ A ® U which is approximately unitarily equivalent to the first factor embedding i : A ^ A ® U [29, Theorem 7.2.2 and Remark 7.2.3]. Applying this statement to A ® A, one obtains an isomorphism & : (A ® A ® U)m ^ (A ® A)m with&(a ® b ® 1U) = a ® b for a, b e A. Following Proposition 4.1 by this isomorphism gives the next statement, the conclusion of which one might take as the definition that " A has 2-coloured approximately inner flip".

Proposition 4.2 Let Abe a simple, separable, unital and nuclear C*-algebra with a unique tracial state which absorbs a UHF-algebra of infinite type. Then there exist contractions v(0), v(1) e (A ® A)M with v(l)*v(l) e (A ® A)M n (A ® A)'fori = 0, 1, X1=0 v(i}*v(i= 1 a®a, and

v i =0

^ v(i)(a ® b)v(i)+ = b ® a, a, b e A. (4.12)

Having an approximately inner flip is a strong requirement to impose on a separable C*-algebra A, forcing A to be simple and nuclear, and to have at most one tracial state [9, Proposition 2.7, Proposition 2.8, Lemma 2.9]. Essentially the same arguments apply to C*-algebras satisfying the conclusions of Proposition 4.2. We sketch this below for completeness. In particular this shows that in using Lemma 4.1 to prove Theorem B, the unique trace hypothesis really is essential.

Proposition 4.3 (cf. [9]) Let A be a separable unital C*-algebra with 2-coloured approximately inner flip, i.e., satisfying the conclusions of Proposition 4.2. Then A is simple, nuclear and has at most one tracial state.

Proof For simplicity, if I is a proper ideal in A, then I ® A and A ® I are distinct ideals in A ® A. On the other hand if the flip automorphism on A takes the form (4.12), then it follows that I ® A = A ® I, a contradiction. For the tracial statement, suppose r1 and t2 are traces on A, inducing a trace (T1 ® T2)« on (A ® A)«. Noting that X^ v(i)*v(i) = 1(a®A)«, applying (r1 ® t2)« to (4.12) with b = 1A shows that r1 (a) = T2(a) for a e A. Finally, for nuclearity, given (4.12), lift each v(i) isometrically to a sequence (v%1

of finite combinations of elementary te^OT^ v<!i) = X jeh,, , cfn ® d(I. Fix a state 0 on A; then the maps

A - A; a 0(cfnac^ *)d% d« * (4.13)

i =0 j,kehn

are c.p., uniformly bounded, finite rank, and converge to idA as n ^ m in point norm topology, so that A is nuclear. □

5 Tracially large purely positive elements in

Our objective in this section is to establish the following uniqueness result for certain positive contractions of full spectrum which we shall apply when A = B = Z.

Lemma 5.1 Let A and B be simple, unital and exact C*-algebras with unique tracial states ta and tb respectively such that A ® B has strict comparison and stable rank one. Let h e B be a positive contraction with spectrum [0, 1]. Given positive contractions e(0), e(1) e Jata < AM, there is a unitary u e (A ® B)M withu((1 am — e(0)) ® h)u* = (1 aM — e(1)) ® h.

Recall that C0(0,1] is the universal C*-algebra generated by a positive contraction, so positive contractions in a C*-algebra D are in bijective correspondence with *-homomorphisms C0(0, 1] ^ D. To prove Lemma 5.1, we use Ciuperca and Elliott's classification of such *-homomorphisms up to approximate unitary equivalence when D has stable rank one via the Cuntz semigroup from [6] (stated in the form we use as Theorem 5.2 below; see also [27]).

Theorem 5.2 (Ciuperca-Elliott [6, Theorem 4]) Let Dbea unital C*-algebra with stable rank one, and for i = 0, 1, let p(^ : C0(0, 1] ^ D be *-homomorphisms. Then p(0) and p(1) are approximately unitarily equivalent if and only if the induced maps Cu(p( : Cu(C0(0, 1]) ^ Cu( D) are equal.

In the proof of Lemma 5.1 we use strict comparison in order to show that the *-homomorphisms of Theorem 5.2 do indeed induce the same map at the level of the Cuntz semigroup. Note that when t is a faithful trace on D, and h e D+ is apositive contraction with full spectrum, then dT((h — £)+) < dT(h) for all £ > 0.

Proof of Lemma 5.1. By transitivity, it suffices to prove the lemma with e(1) = 0. For i = 0, 1, write p(l) for the induced *-homomorphism C0(0, 1] ^ (A ® B)m, i.e.,

p(0)(id(0,1]) = (1 am — e(0)) ® h (5.1)

P(1)(id(0,1]) = 1 Am ® h. (5.2)

We shall show that

(P(0)(f)) = (P(1)(f)) in Cu((A ® B)m), f e C0(0, 1]. (5.3)

Since Cu(Co(0, 1]) is isomorphic to lsc((0, 1], {0, 1, 2,..., to}), the lower semicontinuous functions from (0, 1] into the extended natural numbers (a result of Coward which can be found as [6, Theorem 10.1]), it is generated (under the operations of addition and taking suprema) by the equivalence classes of positive elements in C0(0, 1]. Thus, once we have established (5.3) it follows that Cu(p(0)) = Cu(p(1)), and hence p(0) and p(1) are approximately unitarily equivalent by Theorem 5.2, as (A ® B)m inherits stable rank one from A ® B by Lemma 2.4. Then either a reindexing argument, or the "s-test" [18, Lemma A.1] can be used to show that p(0) and p(1) are actually unitarily equivalent.

We now establish (5.3). Write ta®b = ta ® tb. Lift e(0) to a sequence (en )TO= 1 of positive contractions in A, which satisfy limn—m ta (en) = 0. Write in for the measure on (0, 1] induced by

in(f) = ta®b(f ((1 a - en) ® h)), f e C0(0, 1] (5.4) and i for the measure induced by

l(f) = ta®b(f (1 a ® h)), f e C0(0, 1]. (5.5) As e(0) e JA, we have

lim ta®b((1 a - en)m ® hm) = ta®b(1 a ® hm), m e N (5.6) and so, by approximating f e C0 (0, 1] uniformly by polynomial functions,

lim ta®b(f ((1 a - en) ® h)) = ta®b(f (1 a ® h)), f e Q)(0, 1]. (5.7)

Given an open set U c (0, 1], take a sequence (gm1 of continuous functions in C0(0, 1] with 0 < gm / xU, where xU is the indicator function of U. Then

in (XU) > in (gm) l(gm),

so that

lim in (XU) > i(gm) l(U), (5.8)

by the monotone convergence theorem. Consequently, for closed subsets F c (0,1], we have

lim in(F) < i(F). (5.9)

Now, for f e C0(0, 1],

dTA®B(f ((1A - en) ® h)) = in(Supp( f)). (5.10)

2t/e 0 ^ t ^ £/2; (5.13)

1, t > e/2.

Thus (5.8) and (5.10) combine to show

lim dXmB (f ((1 a - en) 0h)) > dXmB (f (1 a 0 h)), f e Co(0, 1]+. (5.11)

Fix f e Co (0, 1]

+ with || f || — 1. For notational purposes write h — f (1 a 0 h), and hn — f ((1A — en) 0 h). As h has full spectrum, so too has h. Since A and B (and hence A 0 B, since we work with the spatial tensor norm) are simple, it follows that for a fixed, sufficiently small s > 0, we have

dTA0B ((h — s) + ) < dTA0B ((h — s/2) + ) < dTA0B (h). (5.12)

Define

rs/2(t) —

Then rs/2(t)(t — s/2)+ — (t — s/2)+. By (5.11) and (5.12), we have

lim dXAfSB((hn — s/2)+) > dXA0b((h — s/2)+) > dXmb((h — s)+). (5.14)

Thus, the set A — {n e N : dXA0B ((Hn — s/2)+) > dXA0A((h — s)+)} lies in m, and for n e A, (h — s)+ ^ (hn — s/2)+ by strict comparison (exactness of A and B, and hence of A 0 B, plays a role here ensuring via Haagerup's work [13] that the unique trace is the only 2-quasitrace on A 0 B). For n e A, find vn e A 0 B (it is easy to see that_vn can be taken in A 0 B regarded as a subalgebra of A 0 B 0 K) with Ivn(hn — s/2)+v* — (h — s)+|| < 1/n and for n e A, define vn arbitrarily with Hvn || < 1. Then

lim Hvn(hn — s/2)+2rs/2(hn)(hn — s/2)+2v* — (h — s)+|| — 0. (5.15)

As the sequence (vn(hn — s/2)l+2)™= 1 is uniformly bounded, this witnesses (f (1A 0 h)—s)+ £ rs/2( f ((1 Am — e(0)) 0 h)) - f ((1 Am — e(0))0h) (5.16) in (A 0 B)m. Since s > 0 can be taken arbitrarily small, this shows that

(f (1 a 0 h)} < (f ((1 am — e(0)) 0 h)) in Cu((A 0 B)„). (5.17)

The reverse inequality is similar, working with closed supports. Fix an s > 0 small enough that Supp(( f — s/2)+) 2 Supp(( f — s)+), and

ix{Supp(( f - e)+)) < dXA0B ((h - e/2)+). (5.18)

By (5.9), so that

lim in(Supp(( f - s)+)) < dTA®B ((h - s/2)+), (5.19)

lim dTA®B ((hn - s)+) < dTA®B ((h - s/2)+). (5.20)

Then, arguing in just the same way that (5.17) is obtained from (5.14), we have

< f (1 a ® h)) > (f ((1 a^ - e(0)) ® h)) in Cu((A ® B)J. (5.21)

Combining this with (5.17) establishes (5.3), and so completes the proof. □

Note that when B is the Jiang-Su algebra, then when A is simple, unital, exact and stably finite, A ® Z has strict comparison and stable rank one by [31], leading to the following version of the lemma, in which we can also replace Z by any UHF-algebra.

Lemma 5.3 Let A be a simple, unital and exact C*-algebra with unique tracial state ta. Leth e Z be a positive contraction with spectrum [0, 1]. For any pair of positive contractions e(0\ e(1) e Ja,ta < Am there is a unitary u e (A ® Z)m with u((1 a^ - e(0)) ® h)u* = (1 a^ - e(1)) ® h.

6 Z-stability and nuclear dimension

In this section we establish the main result of the paper: Theorem B. Recall that the Jiang-Su algebra has strict comparison and stable rank one ([31], which shows the same for all simple, separable, unital, exact and stably finite Z-stable C*-algebras). Thus Lemma 5.1 can be applied with A = B = Z.

From the original inductive limit construction one can see that the Jiang-Su algebra is almost divisible (again see [31] for the more general statement in the presence of Z-stability); in particular given s > 0 and k e N, there exists a c.p.c. order zero map f : Mk — Z with tz(f(1k)) > 1 - s. (Note too that these maps can be obtained using the maps $ from Proposition 1.2). We use this last fact in the first of two technical lemmas, which allow us to adjoin the UHF tensor factor required to employ Lemma 4.1 and factorise this through a sum of two order zero maps back into Z. The two order zero maps used here double the number of colours used in the final approximation: two colours arise from the 2-coloured approximately inner flip, and another two from Lemma 6.2, leading to a 4-colour approximation in Theorem B.

Lemma 6.1 Let U be a UHF algebra. Then there exists a sequence (fn )^=1 of c.p.c. order zero maps U — Z inducing an order zero map ^: Um — Zm such that for any positive contraction e e Ju,tu, we have 1Zm - ^(1Um - e) e jz ,tz .

Proof Let p and q be supernatural numbers which are relatively prime and such that U embeds unitally into Mp ® Mq .As pointed out in [32, Proposition 3.3], the generalised dimension drop interval Zp,q embeds unitally into Z. Careful inspection of the proof (which follows that of [31, Proposition 2.2]) shows that this embedding can be chosen so that the trace on Z induces the trace on Zp,q associated to the Lebesgue integral on [0, 1]. Note that Zp,q c C([0, 1], Mp ® Mq), and that there is an order zero map Mp ® Mq ^ Zpq such that the Lebesgue trace on Zp,q is at most 1 — 1/n on the image of the unit of Mp ® Mq. (Embed the cone C0 (0, 1 ]® Mp ® Mq into C [0, 1 ]® Mp ® Mq = C ([0, 1], Mp ® Mq) in such a way that id (0;1j maps to a function which vanishes at the endpoints and is constant 1 on the interval [1/2n, 1 — 1/2n].) We may now compose these maps to obtain a sequence ( fn1 of order zero maps U ^ Z with tz(fn(1U)) > 1 — 1/n for each n e N. Define f to be the c.p.c. order zero map Um ^ Zm induced by the sequence ( fn1. Given a positive contraction e e Jutu , lift e to a sequence (en1 of positive contractions with limn^m tu (en) = 0. Since tz o fn is a trace on U (by [51, Corollary 4.4]), we have Tz( fn (en)) = tu (en)rz( fn (1u)). Then

Tz (1z — fn (1u — en)) = 1 — Tz ( fn (1u )) + Tz ( fn (en))

= 1 + tz( fn(1))(TU(en) —1) ^ 1 + 1(0 — 1) = 0.

Thus 1z<u — f (1Um — e) e Jz,TZ, as claimed. □

Lemma 6.2 Let U be a UHF algebra, and let e e JU,TU be a positive contraction. Then there exist two sequences (X(n0))^ 1 and X^)^ 1 of c.p.c. order zero maps U ^ Z inducing c.p.c. order zero maps A(°\ A(1) such thatY. J=0 A\1ua — e) = 1za.

Proof Fix a positive contraction d(0) e Z with spectrum [0, 1], and write d(1) = 1 — d(0) which is also a positive contraction with spectrum [0, 1]. By Lemma 6.1, there is a sequence (Xnof c.p.c. order zero maps U ^ Z inducing a c.p.c. order zero map f : Um ^ Zm suchthat1z^ — A(1Um — e) e Jz. Then consider the c.p.c. order zero maps X{i^ : U ^ Z ® Z given by

Xn ) (x) = Xn (x) ® d(j) , which induce c.p.c. order zero maps A(j) : U0 Zm ® Z c (Z ® Z )m with f(j\1um — e) = (A(1ua — e) ® d(j}). By Lemma 5.1, there exist unitaries u(j] e (Z ® Z)M, with u(j}(A(j}(1Um — e))u}* = (1z^ ® d(j)), which we can lift to a sequence (u(J1 of unitaries in Z ® Z. Define c.p.c. order zero maps X(i^ = ad(uo X^^ : U ^ Z ® Z, with induced map A(j> so that X)=0 A(j>(1^ — e) = X1=0(1za ® dy) = z ®1z = 1(z®z)ffl .Identifying Z <g>Z with Z, the lemmais established. □

The next lemma packages a factorisation for the order zero maps obtained from the 2-coloured approximately inner flip (cf. Proposition 4.2).

Lemma 6.3 Let A and B be separable unital C*-algebras with B simple and stably finite and let U and V be UHF algebras. Given a contraction v e (B 0 A 0 V)m with v*v e (1B 0 1A 0 V)m, let (tynbe a sequence of c.p.c. maps A ^ U, such that the c.p.c. map ^ : (B 0 A 0 V)m ^ (B 0 U 0 V) m induced by the sequence (idb 0 tyn 0 idV1 is order zero on C*(B 0 A 0 V,v) c (B 0 A 0 V)m. Then the c.p.c. map 0 : A ^ (B 0 U 0 V)m given by 0(a) — ^(v(1 B 0 a 0 1V)v*) is order zero and can be factorised as follows: there are finite dimensional C*-algebras Gn, c.p.c. maps fan : A ^ Gn, and *-homomorphisms Qn : Gn ^ B 0 U 0 V such that 0(a) is represented by (Qn(fan(a)))^=1 for a e A.

Proof Since v*v e (1B 0 1A 0 V)m, the map a ^ v(1 B 0 a 0 1V)v* is order zero, and hence so too is 0.

By following each by a suitable conditional expectation from U to a finite dimensional C*-subalgebra, we can assume that C*(tyn(A)) — En c U is finite dimensional for each n without changing the values of the induced map ^ on the separable C*-algebra X — C*( B 0 A0V, v).ThenLemma2.2givesa sequence of c.p.c. maps (nn 1, nn : A ^ En such that (id B 0 nn 0 idV 1 induces a c.p.c. order zero map n : X ^ (B 0 U 0 V)m satisfying

^(x) — n(x)v(1(B0A0V)m) — ^(1(B0A0V)M)n(x), x e X. (6.2) In particular

0(a) — *(v(1 b 0 a 0 1v)v*) — n(v(1 b 0 a 0 1v)v*)^(1(B0A0V)m)

— n1/3(v)^(1)1/2n1/3(1 b 0 a 0 1 v)^(1)1/2n1/3(v*), a e A.

Write s — n1/3(v). By Lemma 2.3, n1/3 is induced by a sequence of c.p.c. mapsoftheform(idB0nn0idV)^1,wherenn : A ^ En.Sincev*v e (1 b 01 a 0 V )m , we can lift \s | — (n1/3(v*)n1/3(v))1/2 — n1/3((v*v)1/2) to a sequence (tn 1 of positive contractions in 1B 0 En 0 V. Since V is AF, by making a small perturbation of these lifts, we can assume that there are finite dimensional C*-subalgebras Fn c V with1V e Fn such that tn e 1B 0 En 0 Fn for all n. As B is simple and stably finite, B 0 U 0 V has stable rank one by [28, Theorem 5.7], so Lemma 2.4 provides a unitary u e (B 0 U 0 V)m with s — u\s\. Lift u to a sequence of unitaries (un1 in B 0 U 0 V, then (untn)™=1 is a lift of s.

Define Gn — 1B 0 En 0 Fn and c.p.c. maps : A ^ Gn by

fan (a) — tn (1b 0 fn (1 a )l/2Hn (a)tyn (1 a )1/2 0 1v )tn, a e A, (6.4)

noting that the choices have been made so that fan (A) c Gn. Let 9n : Gn ^ B 0 U 0 V be the *-homomorphism Qn — ad(un). As (untn1 is a lift of n1/3 (v), (6.3) and (6.4) show that for every a e A, (Qn(fan(a)))™=1 is a lift of 0(a), as required. □

All the pieces are now in place to prove our main result. As explained in [39, Propositions 2.4 and 2.5], when A is a Z-stable C*-algebra, dimnuc(A) can be computed by only approximating the first factor embedding i : A ^ (A 0 Z)m ; this is used at the end of the proof.

Proof of Theorem B Fix UHF algebras U and V. Since A has unique tracial state, we can apply Lemma 4.1 to find contractions v(0), v(1) e (A 0 A 0 V)m satisfying (4.1) and (4.2). By Proposition 3.2 we can find an order zero map : A ^ Um with 1Um — #2(1 A) e Jutu, which, by the Choi-Effros lifting theorem of [5], is induced by a sequence (tyn1 of c.p.c. maps A ^ U. Letting (x (l))f— 1 be a countable dense sequence in C*( A 0 A 0 V, v(0), v(1)) c (A 0 A 0 V)m, with fixed isometric lifts (xn ))'^= 1, we can find a sequence (mn1 of natural numbers such that

|| (idA 0 fmn 0 idv)(x((c}xl))(idA 0 fmn 0 idv)(1 a 0 1 a 0 1v)

— (idA 0 fmn 0 idv)(xnk))(idA 0 tmn 0 idv)(x(l})H<1, 1 <k, l <n,

and tu(tymn (1A)) > 1 — 1/n for each n e N. Let — and let # : (A 0 A 0 V)m ^ (A 0 U 0 V)m be the c.p.c. map induced by the sequence (idA 0 0 idV)~1 which is constructed to be order zero on C*(A 0 A 0 V, v(0), v(1)). Write : A ^ Um for the c.p.c. order zero map induced by (fn1 and note that U — #2(1a) e Ju,tu . Embedding Um into (U 0 V)m as Um 0 1V, we have

1(U0V)m — ^2(1 a) 0 1v — (1um — ^2(1 a)) 0 1v e Ju0V,tu0tv ■

As U 0 V is UHF, Lemma 6.2 provides two sequences (X^1, j — 0, 1, of c.p.c. order zero maps U 0 V ^ Z such that the induced order zero maps

-j—o

A(j) : (U 0 y)„ ^ Za satisfy A(ja) 0 ly) = Z. For each

n and j, let X^) — idA 0 xI) : A 0 U 0 V ^ A 0 Z, which is c.p.c. and order zero, and so the two sequences (xI1 induce c.p.c. order zero maps A(j) : (A 0 U 0 V)m ^ (A 0 Z)m with

^A(j)(a 0 #2(1 a) 0 1v) — a 0 1zm, a e A. (6.7)

j —0

Let &(l^ : A ^ (A ® U ® V)m, i = 0, 1, be the c.p.c. order zero map given

by &(i\a) = ^(v(i( a ® a ® 1 v)v(i)+). Hence, for a e A,

^ A(j)(&(i)(a)) = ^ A^Wv^la ® a ® 1v)v(i)*)) i, j =0 i, j=0 1

= ^ A(j)(V(a ® 1 A ® 1v)) j =0 1

= ^ A(j}(a ® ^2(1 a) ® 1v) = a ® 1z, (6.8) j=0

using (4.1) for the second equality, and (6.7) for the last.

We can factorise the order zero map &(l^ by Lemma 6.3 (with A in place of B), so there are finite dimensional C*-algebras G%\ c.p.c. maps ^^ : A ^ G% ^ and *-homomorphisms 9% ^ : G% ^ ^ (A ® U ® V) such that for each a e A, &(l\a) is represented by the sequence (9%i)(a)))^=1. This shows that the first factor embedding A ^ A ® Z has nuclear dimension at most 3 (in the sense of [39, Definition 2.2]), from which it follows that dimnuc( A) < 3 by [39, Propositions 2.5 and 2.6]. For completeness, we give the details here. As A is Z-stable, and Z is strongly self-absorbing, there is a sequence (on)^=1 of *-isomorphisms on : A ® Z ^ A such that an (a ® 1Z) ^ a for all a e A (see for example [42, Theorem 2.2]). Then the diagram

A ^-idA-* A (6.9)

(j Ka(i)

01j=0 № i,i =0 °noxn)o9,

01, j =0 G

is point-norm asymptotically commutative as n ^ m, showing dimnuc(A) <

3. □

When A has approximately inner flip we can use this in place of Lemma 4.1 and reduce the bound on the nuclear dimension. In the proof below the factor V is unnecessary and is included only so that we can quote our earlier results without notational modification; a formally simpler proof can be given just working with A ® A.

Theorem 6.4 Let A be a separable, unital and stably finite C*-algebra, which has approximately inner flip and is Z-stable. Then dimnuc( A) < 1.

Proof As A has approximately inner flip it is simple and nuclear [9]. Let (un)™= 1 be a sequence of unitaries in A ® A witnessing the approximately inner flip. We can then follow the proof of Theorem B with vi0) = un ® 1V and vn1 = 0, to obtain a factorisation (6.9) consisting of two maps (the maps with i = 1 in (6.8) vanish), so that dimnuc(A) < 1. □

In particular the previous result applies to the class of strongly self-absorbing algebras formalised in [42].

Corollary 6.5 Let A be a stably finite strongly self-absorbing C*-algebra. Then dimnuc(A) < 1.

Proof Strongly self-absorbing C*-algebras are separable by definition [42], have approximately inner flip essentially by definition [42, Proposition 1.5], and are Z-stable by [48]. Thus Theorem 6.4 applies. □

Acknowledgments Part of the research for this paper was undertaken at the Oberwolfach workshop C*-Algebren and at the conference Classifying Structures for Operator Algebras and Dynamical Systems at the University of Aberystwyth. The authors thank the organisers and funding bodies of these meetings for the conducive research environments. The paper was completed during a visit of the first and second named authors to Münster. These authors thank the third named author, and the Mathematics Institute at Münster, for their hospitality. Finally, all authors thank the referees for their helpful comments and suggestions.

Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.

References

1. Ara, P., Perera, F., Toms, A.S.: K-theory for operator algebras. Classification of C*-algebras. In: Aspects of Operator Algebras and Applications, Contemporary Mathematics, vol. 534, pp. 1-71. American Mathematical Society, Providence (2011)

2. Barlak, S., Enders, D., Matui, H., Szabo, G., Winter, W.: The Rokhlin property vs. Rokhlin dimension 1 on O2. J. Noncomm. Geom. (2014, to appear). arXiv:1312.6289v2

3. Blackadar, B.E., Handelman, D.: Dimension functions and traces on C*-algebras. J. Funct. Anal. 45:297-340, 1982

4. Blackadar, B.E., Kirchberg, E.: Generalized inductive limits of finite-dimensional C*-algebras. Math. Ann. 207, 343-380 (1997)

5. Choi, M.-D., Effros, E.G.: The completely positive lifting problem for C*-algebras. Ann. Math. 2(104), 585-609 (1976)

6. Ciuperca, A., Elliott, G.A.: A remark on invariants for C*-algebras of stable rank one. IMRN, article id rnm158 (2008)

7. Connes, A.: Classification of injective factors. Cases II\, IIIIIx, ^ = 1. Ann. Math. (2), 104(1):73-115 (1976)

8. Coward, K.T., Elliott, G.A., Ivanescu, C.: The Cuntz semigroup as an invariant for C*-algebras. J. Reine Angew. Math. 623, 161-193 (2008)

9. Effros, E.G., Rosenberg, J.: C*-algebras with approximately inner flip. Pac. J. Math. 77(2), 417-443 (1978)

10. Elliott, G.A.: On the classification of inductive limits of sequences of semisimple finite-dimensional algebras. J. Algebra 38, 29-44 (1976)

11. Elliott, G.A., Niu, Z.: The C*-algebra of a minimal homeomorphism of zero mean dimension (2014). arXiv:1406.2382

12. Haagerup, U.: A new proof of the equivalence of injectivity and hyperfiniteness for factors on a separable Hilbert space. J. Funct. Anal. 62(2), 160-201 (1985)

13. Haagerup, U.: Quasitraces on exact C*-algebras are traces. C. R. Math. Acad. Sci. Soc. R. Can. 36, 67-92 (2014)

14. Handelman, D.: Homomorphisms of C* algebras to finite AW * algebras. Mich. Math. J. 29, 229-240 (1981)

15. Hirshberg, I., Kirchberg, E., White, S.: Decomposable approximations of nuclear C*-algebras. Adv. Math. 230(3), 1029-1039 (2012)

16. Jiang, X., Su, H.: On a simple unitalprojectionless C*-algebra. Am. J. Math. 121, 359-413 (1999)

17. Kirchberg, E.: Exact C*-algebras, tensor products, and the classification of purely infinite C*-algebras. In: Proceedings of the International Congress of Mathematicians, Zürich, 1994, vol. 1,2, pp. 943-954. Birkhäuser, Basel (1995)

18. Kirchberg, E.: Central sequences in C*-algebras and strongly purely infinite algebras. In: Operator Algebras: The Abel Symposium 2004, vol. 1, pp. 175-231. Springer, Berlin (2006)

19. Kirchberg, E., R0rdam, M.: Purely infinite C*-algebras: ideal preserving zero homotopies. Geom. Funct. Anal. 15(2):377-415 (2005)

20. Kirchberg, E., R0rdam, M.: Central sequence C*-algebras and tensorial absoption of the Jiang-Su algebra. J. Reine Angew. Math. 695:175-214 (2014)

21. Kirchberg, E., Winter, W.: Covering dimension and quasidiagonality. Internat. J. Math. 15(1), 63-85 (2004)

22. Lin, H.: AF-embeddings of the crossed products of AH-algebras by finitely generated abelian groups. Int. Math. Res. Pap. IMRP, 3:Art. ID rpn007, 67 (2008)

23. Loring, T.: Lifting Solutions to Perturbing Problems in C*-Algebras. Fields Institute Monographs, vol. 8. American Mathematical Society, Providence (1997)

24. McDuff, D.: Central sequences and the hyperfinite factor. Proc. Lond. Math. Soc. (3), 21:443-461 (1970)

25. Matui, H., Sato, Y.: Strict comparison and Z-absorption of nuclear C*-algebras. Acta Math. 209(1), 179-196 (2012)

26. Matui, H., Sato, Y.: Decomposition rank of UHF-absorbing C*-algebras. Duke Math. J. 163(14), 2687-2708 (2014)

27. Robert, L.: Classification of inductive limits of 1-dimensional NCCW complexes. Adv. Math. 231, 2802-2836 (2012)

28. R0rdam, M.: On the structure of simple C*-algebras tensored with a UHF-algebra. J. Funct. Anal. 100:1-17 (1991)

29. R0rdam, M.: Classification of nuclear, simple C*-algebras. In: Classification of Nuclear C*-Algebras. vol. 126, pp. 1-145. Springer, Berlin (2002)

30. R0rdam, M.: A simple C*-algebra with a finite and an infinite projection. Acta Math. 191:109-142 (2003)

31. R0rdam, M.: The stable and the real rank of Z-absorbing C*-algebras. Internat. J. Math. 15(10):1065-1084 (2004)

32. R0rdam, M., Winter, W.: The Jiang-Su algebra revisited. J. Reine Angew. Math. 642:129155 (2010)

33. Sato, Y.: Discrete amenable group actions on von Neumann algebras and invariant nuclear C*-algebras (2011). arXiv:1104.4339

34. Sato, Y.: Trace spaces of simple nuclear C*-algebras with finite-dimensional extreme boundary (2012). arXiv:1209.3000

35. Sinclair, A., Smith, R.: Finite von Neumann algebras and masas. London Mathematical Society Lecture Notes, vol. 351. Cambridge University Press, New York (2008)

36. Szabo, G.: The Rokhlin dimension of topological Zm-actions. Proc. Lond. Math. Soc. (3) (2013, to appear). arXiv:1308.5418

37. Takesaki, M.: Theory of Operator Algebras I. Springer, New York (1979)

38. Tikuisis, A.: Nuclear dimension, Z-stability, and algebraic simplicity for stably projection-less C*-algebras. Math. Ann. 358, 729-778 (2014)

39. Tikuisis, A., Winter, W.: Decomposition rank of Z-stable C*-algebras. Anal. PDE. 7, 673700 (2014)

40. Toms, A.: On the classification problem for nuclear C*-algebras. Ann. Math. 2(167), 10291044 (2008)

41. Toms, A., White, S., Winter, W.: Z-stability and finite dimensional tracial boundaries. IMRN (2012, to appear). arXiv:1209.3292

42. Toms, A., Winter, W.: Strongly self-absorbing C*-algebras. Trans. Am. Math. Soc. 359(8), 3999-4029 (2007)

43. Toms, A., Winter, W.: Z-stable ASH algebras. Canad. J. Math. 60(3), 703-720 (2008)

44. Toms, A., Winter, W.: Minimal dynamics and the classification of C* -algebras. Proc. Natl. Acad. Sci. USA 106(40), 16942-16943 (2009)

45. Voiculescu, D.: A note on quasi-diagonal C*-algebras and homotopy. Duke Math. J. 62, 267-271 (1991)

46. Winter, W.: Localizing the Elliott conjecture at strongly self-absorbing C*-algebras: with an appendix by H. Lin. J. Reine Angew. Math. 692, 193-231 (2014)

47. Winter, W.: Decomposition rank and Z-stability. Invent. Math. 179(2), 229-301 (2010)

48. Winter, W.: Strongly self-absorbing C*-algebras are Z-stable. J. Noncomm. Geom. 5(2), 253-264 (2011)

49. Winter, W.: Nuclear dimension and Z-stability of pure C*-algebras. Invent. Math. 187(2), 259-342 (2012)

50. Winter, W.: Classifying crossed product C*-algebras (2013). arXiv:1308.5084

51. Winter, W., Zacharias, J.: Completely positive maps of order zero. Münster J. Math. 2, 311-324(2009)

52. Winter, W., Zacharias, J.: The nuclear dimension of C*-algebras. Adv. Math. 224(2), 461498 (2010)

53. Wolff, M.: Disjointness preserving operators on C*-algebras. Arch. Math. 62, 248-253 (1994)