## DECOMPOSING NUCLEAR MAPS

JOS ´ E R. CARRI ´ N AND CHRISTOPHER SCHAFHAUSER O

Abstract. We show that the strengthened version of the completely positive approximation property of Brown, Carri´n, and White-where o the downward maps are asymptotically order zero and the upward maps are convex combinations of order zero maps-is enjoyed by every nuclear order zero map.

Choi and Effros [9] and Kirchberg [16] proved that nuclearity for C ∗ -algebras is equivalent to the completely positive approximation property: a C ∗ -algebra A is nuclear if and only if there exist nets of finite dimensional C ∗ -algebras F i and of contractive completely positive (c.c.p.) maps

$$A \xrightarrow { \psi _ { i } } F _ { i } \xrightarrow { \phi _ { i } } A$$

the composition of which tends to the identity map on A in the point-norm topology, in the sense that

$$\| ( \phi _ { i } \psi _ { i } ) ( a ) - a \| \to 0 \text{ \ for all } a \in A.$$

See [6] for the general theory of nuclearity for C ∗ -algebras.

This approximation property has been strengthened by several authors in various cases [2, 24, 15, 5]. Notably, in [5], building on techniques from [15], it was shown that all nuclear C ∗ -algebras enjoy completely positive approximations as in (2), where in addition all of the maps φ i are convex combinations of order zero maps and the maps ψ i are asymptotically order zero, in the sense that ‖ ψ i ( a ψ ) i ( b ) ‖ → 0 whenever a and b are positive elements of A with ab = 0.

In this short note, we show that this improved approximation property holds for any c.c.p. nuclear order zero map between two C ∗ -algebras. Recall that a c.c.p. map θ : A → B has order zero if θ a θ b ( ) ( ) = 0 whenever a and b are positive elements in A with ab = 0; see [23].

Theorem 1. Let A and B be C ∗ -algebras. If θ : A → B is a c.c.p. nuclear order zero map, then there are nets of finite dimensional C ∗ -algebras ( F i ) and of c.c.p. maps A ψ i - → F i φ i - → B satisfying

- (i) ‖ ( φ ψ i i )( a ) -θ a ( ) ‖ → 0 for all a ∈ A ,
- (ii) ‖ ψ i ( a ψ ) i ( b ) ‖ → 0 for all a, b ∈ A such that ab = 0 , and
- (iii) every φ i is a convex combination of c.c.p. order zero maps.

The refined versions of the completely positive approximation property originate in a search for a theory of non-commutative covering dimension of C ∗ -algebras in the work of Kirchberg and Winter on decomposition rank [18] and of Winter and Zacharias on nuclear dimension [23]. In both [18] and [23] one finds conditions asking for an approximate factorization of the identity map similar to that in Theorem 1, but with more control on the upward maps φ i .

The refined approximation property given in [5]-which is Theorem 1 in the special case when θ is the identity map on a nuclear C ∗ -algebra-is a crucial part of [8], where it is shown that unital, separable, simple, nuclear, Z -stable C ∗ -algebras have nuclear dimension at most 1. This latter result plays an important role in the classification theory for nuclear C ∗ -algebras through the results of [22]. The improved approximation properties mentioned above have also seen application to near-inclusions of C ∗ -algebras [15]. Given the growing interest in the structure and classification of ∗ -homomorphisms (as opposed to C ∗ -algebras) in papers such as [10, 13, 20, 8, 7, 3], we hope that the results presented here will prove just as useful as their counterparts for C ∗ -algebras have.

The outline of the proof of Theorem 1 is not altogether new: the same broad steps used in [15] and [5] apply. We point out, however, that the proofs here, even once restricted to the case of the identity map on a nuclear C ∗ -algebra, are new. For instance, we avoid the use of amenable and quasidiagonal traces, which are critical in [5].

In order to prove Theorem 1, we will prove the following von Neumann algebraic version first. Theorem 1 will then follow from a Hahn-Banach argument similar to that used in [5] and [15].

Theorem 2. Let A be a C ∗ -algebra and let N be a von Neumann algebra. If θ : A → N is a weakly nuclear ∗ -homomorphism, then there are nets of finite dimensional C ∗ -algebras ( F i ) and of c.c.p. maps A ψ i - → F i φ i - → N satisfying

- (i) ( φ ψ i i )( a ) → θ a ( ) in the σ -strong ∗ topology (and therefore also in the σ -weak topology) for all a ∈ A ,
- (ii) ‖ ψ i ( a ψ ) i ( b ) ‖ → 0 for all a, b ∈ A such that ab = 0 , and
- (iii) every φ i is a ∗ -homomorphism.

In fact, the approximate factorizations satisfying conditions (i) and (ii) of Theorem 2 can be arranged for all c.c.p. weakly nuclear maps.

Proposition 3. Let A be a C ∗ -algebra and let N be a von Neumann algebra. If θ : A → N is a c.c.p. weakly nuclear map, then there are nets of finite dimensional C ∗ -algebras ( F i ) and of c.c.p. maps A ψ i - → F i φ i - → N satisfying

- (i) ( φ ψ i i )( a ) → θ a ( ) in the σ -strong ∗ topology for all a ∈ A , and
- (ii) ‖ ψ i ( a ψ ) i ( b ) ‖ → 0 for all a, b ∈ A such that ab = 0 .

If A is quasidiagonal, we may further arrange for

- (ii ) ′ ‖ ψ i ( a ψ ) i ( b ) -ψ i ( ab ) ‖ → 0 for all a, b ∈ A .

Remark 4. If N is a von Neumann algebra and ρ is a normal state on N , then the seminorm ‖ · ‖ /sharp 2 ,ρ on N is defined by

$$\left ( 3 \right ) \right ) \right ) \right ) \left \| x \right \| _ { 2, \rho } ^ { \ddagger } = \rho \left ( \frac { x x ^ { * } + x ^ { * } x } { 2 } \right ) ^ { 1 / 2 }, \ \ x \in N. \ \right ) \right \| \right \| \right \| \right. \ \right \|.$$

If { ρ i } is a separating family of normal states on N , then the topology generated by {‖ · ‖ /sharp 2 ,ρ i } agrees with the σ -strong ∗ topology on any bounded subset of N ; see [1, III.2.2.19].

Proof of Proposition 3. First we assume A is quasidiagonal and prove the stronger approximation condition. We may assume A is unital. Let F ⊆ A \{ } 0 and S ⊆ S N ( ) ∩ N ∗ be finite sets, and let ε &gt; 0. Because θ is weakly nuclear, there exist an integer /lscript ≥ 1 and u.c.p. maps A ψ ′ - → M /lscript ( C ) φ ′ - → N satisfying

$$\| \phi ^ { \prime } ( \psi ^ { \prime } ( x ) ) - \theta ( x ) \| _ { 2, \rho } ^ { \ddagger } < \| x \| \varepsilon$$

for all x ∈ F and ρ ∈ S . We will prove the existence of an integer k and of u.c.p. maps A ψ - → M k ( C ) φ - → N satisfying

- (a) ‖ φ ψ x ( ( )) -θ x ( ) ‖ /sharp 2 ,ρ &lt; 5 ‖ x ε ‖ for all x ∈ F and ρ ∈ S , and
- (b) ‖ ψ x ψ y ( ) ( ) -ψ xy ( ) ‖ &lt; x ‖ ‖‖ y ‖ ε for all x, y ∈ F .

Replacing A with C ∗ ( F ∪ { 1 A } ) ⊆ A , we may assume A is separable. Fix a separable Hilbert space H and a faithful representation A ⊆ B ( H ) with A ∩ K ( H ) = 0. After identifying M /lscript ( C ) with B ( C /lscript ), Voiculescu's Theorem 1 provides an isometry v : C /lscript → H such that ‖ v xv ∗ -ψ ′ ( x ) ‖ &lt; ‖ x ε ‖ for all x ∈ F .

Since A is quasidiagonal, there is a finite rank projection p ∈ B ( H ) such that ‖ px -xp ‖ &lt; ε x ‖ ‖ for all x ∈ F and ‖ pv - ‖ v &lt; ε . Identify B ( pH ) with M k ( C ) for some integer k ≥ 1 and define ψ : A → M k ( C ) by ψ a ( ) = pap . Then

$$\| v ^ { * } \psi ( x ) v - \psi ^ { \prime } ( x ) \| < 3 \| x \| \varepsilon$$

and

$$\| \psi ( x ) \psi ( y ) - \psi ( x y ) \| < \| x \| \| y \| \varepsilon$$

for all x, y ∈ F . Note that (4) and (5) imply

$$\| \phi ^ { \prime } ( v ^ { * } \psi ( x ) v ) - \theta ( x ) \| _ { 2, \rho } ^ { \ddagger } < 5 \| x \| \varepsilon$$

for all x ∈ F and ρ ∈ S . To complete the proof (in the quasidiagonal case), define φ = φ ′ ( v ∗ ( ) · v ).

Now we handle the case of a general C ∗ -algebra A . Let π : C 0 (0 1] , ⊗ A → A be the ∗ -homomorphism given by π f ( ⊗ a ) = f (1) a for all f ∈ C 0 (0 1], , a ∈ A . By the homotopy invariance of quasidiagonality [21], C 0 (0 1] , ⊗ A

1 See [11, Theorem II.5.3] for the version we are using here.

is quasidiagonal. Applying the first part of the proof to the c.c.p. weakly nuclear map θπ , there is a net C 0 (0 1] , ⊗ A ψ ′ i - → F i φ i - → N satisfying (i) and (ii ). The result follows by defining ′ ψ i : A → F i by ψ i ( a ) = ψ ′ i (id (0 1] , ⊗ a ). /square

Remark 5. If A and B are C ∗ -algebras and θ : A → B is a c.c.p. nuclear map, then a statement analogous to Proposition 3 holds with the approximations in (i) taken in the operator norm. The proof is the same except with operator norm estimates in (4), (7), and (a).

Proof of Theorem 2. Through a standard argument, we may assume A is separable and N has separable predual. Note that N decomposes as a direct sum N = N 1 ⊕ N ∞ with N 1 finite and N ∞ properly infinite. Then the map θ decomposes accordingly as θ = θ 1 ⊕ θ ∞ for weakly nuclear ∗ -homomorphisms θ i : A → N i , i ∈ { 1 , ∞} . By handling each summand separately, we may assume that either N is finite or N is properly infinite.

Properly Infinite Case: We may assume A is unital. Fix a faithful normal state ρ on N , a finite set F ⊆ A of unitaries, and a finite set G ⊆ A × A such that xy = 0 for all ( x, y ) ∈ G , and let ε &gt; 0. By Proposition 3, there are a finite dimensional C ∗ -algebra F and c.c.p. maps A ψ - → F φ ′ - → N satisfying

- (a) ‖ φ ′ ( ψ x ( )) -θ x ( ) ‖ /sharp 2 ,ρ &lt; ε for all x ∈ F , and
- (b) ‖ ψ x ψ y ( ) ( ) ‖ &lt; ε for all ( x, y ) ∈ G .

At this point we can follow the proof of Lemma 2.4 of [5], which borrows heavily from Theorem 2.2 of [14]. Indeed the last two paragraphs of the proof of Lemma 2.4 of [5], with θ and φ ′ in place of π ∞ and θ , produce a ∗ -homomorphism φ : F → M such that

$$\| ( \phi \psi ) ( x ) - \theta ( x ) \| _ { 2, \rho } ^ { \ddagger } < 2 \varepsilon ^ { 1 / 2 }$$

for all x ∈ F .

Finite Case: Let τ N be a faithful normal trace on N so that on bounded subsets of N , the σ -strong ∗ topology is induced by the norm

$$\| x \| _ { 2, \tau _ { N } } = \tau _ { N } ( x ^ { * } x ) ^ { 1 / 2 }, \ \ x \in N.$$

Let τ A = τ N θ , and note that θ induces a faithful normal ∗ -homomorphism ¯ : θ π τ A ( A ) ′′ → N . As N is finite, there is normal expectation N → ¯ ( θ π τ A ( A ) ′′ ) (see Lemma 1.5.11 in [6]). Therefore, the corestriction of π τ A to π τ A ( A ) ′′ is weakly nuclear. It follows that π τ A ( A ) ′′ is hyperfinite by the equivalence of (5) and (6) in Theorem 3.2.2 of [4]. After replacing N with π τ A ( A ) ′′ and θ with π τ A , we may assume that N is hyperfinite, which we do for the rest of the proof.

Let F i be an increasing sequence of finite dimensional C ∗ -subalgebras of N with σ -strong ∗ dense union and let φ i : F i → N denote the inclusion maps. Let τ i = τ N F | i be the induced trace on F i . Fix a trace-preserving expectation E i : N → F i and set ψ ′ i = E θ i . The sequence ( ψ ′ i ) induces a

∗ -homomorphism to the tracial von Neumann algebra ultraproduct

$$\psi ^ { \omega } \colon A \to F ^ { \omega } = \prod ^ { \omega } ( F _ { i }, \tau _ { i } )$$

and a c.c.p. map to the C ∗ -algebra ultraproduct

$$\psi _ { \omega } \colon A \to F _ { \omega } = \prod _ { \omega } F _ { i }.$$

Let q : F ω → F ω be the quotient map and note that qψ ω = ψ ω . Let J = ker q . Proposition 4.6 of [17] proves that the uniform 2-norm null sequences in a norm ultrapower form a σ -ideal (Definition 4.4 of [17]), by a standard application of Kirchberg's /epsilon1 -test. A very slight modification of the proof shows that J is a σ -ideal of F ω . Then there is a positive contraction e ∈ J ∩ ψ ω ( A ) ′ such that ex = x for all x ∈ J ∩ C ∗ ( ψ ω ( A )).

Consider the c.c.p. map Ψ: A → F ω defined by Ψ( x ) = (1 -e ψ ) ω ( x ), x ∈ A . We claim Ψ is order zero. Indeed, if x, y ∈ A + satisfy xy = 0, then q ψ ( ω ( x ψ ) ω ( y )) = ψ ω ( xy ) = 0, so ψ ω ( x ψ ) ω ( y ) ∈ J . Then Ψ( x )Ψ( y ) = (1 -e ) 2 ψ ω ( x ψ ) ω ( y ) = (1 -e ) ( ψ ω ( x ψ ) ω ( y ) -ψ ω ( x ψ ) ω ( y ) ) = 0, as required.

Represent e by a sequence of positive contractions ( e i ) with e i ∈ F i and define

$$\psi _ { i } = ( 1 - e _ { i } ) ^ { 1 / 2 } \psi _ { i } ^ { \prime } ( \cdot ) ( 1 - e _ { i } ) ^ { 1 / 2 } \colon A \to F _ { i }.$$

Then the maps A i - → F i - → N have the desired properties.

ψ i φ /square

Finally, we prove Theorem 1.

Proof of Theorem 1. The structure theorem for order zero maps (see Corollary 4.1 of [23]) implies there is a ∗ -homomorphism ´ : θ C 0 (0 1] , ⊗ A → B such that θ a ( ) = ´ (id θ (0 1] , ⊗ a ) for a ∈ A . By Theorem 2.10 in [12], ´ is θ nuclear (since θ is nuclear). Hence, after replacing A with C 0 (0 1] , ⊗ A and θ with ´ , θ we may assume θ is a ∗ -homomorphism.

Let F be a finite subset of A and let ε &gt; 0. Let K be the subset of B ( A,B ) consisting of all c.c.p. maps η : A → B for which there exist a finite dimensional C ∗ -algebra F and c.c.p. maps A ψ - → F φ - → B satisfying:

- · η = φψ ,
- · ‖ ψ a ψ b ( ) ( ) ‖ &lt; ε for all a, b ∈ F with ab = 0, and
- · φ is a convex combination of c.c.p. order zero maps.

To prove the theorem, it suffices to show that θ is in the point-norm closure of K .

By Theorem 2, there are nets of finite dimensional C ∗ -algebras ( F i ) and c.c.p. maps A ψ i - → F i φ i - → B ∗∗ satisfying conditions (i)-(iii) of Theorem 2. Lemma 1.1 of [15] implies that for each i there is a net ( φ λ i : F i → B ) λ ∈ Λ of c.c.p. order zero maps such that φ λ i ( x ) → φ i ( x ) in the σ -strong ∗ topology (and therefore in the σ -weak topology) for all x ∈ F i . Therefore, we may

assume that the image of φ i is contained in B for all i . Then, for all sufficiently large i , we have that φ i ◦ ψ i ∈ K . Thus θ is in the point-weak closure of K . As K is a convex set in B ( A,B ), its point-norm and point-weak closures coincide, by the Hahn-Banach Theorem . Next, recall that the weak 2 topology on B is the same as the restriction to B of the weak-∗ topology on B ∗∗ (with B regarded as a subspace of B ∗∗ via the standard map). But the weak -topology on ∗ B ∗∗ is precisely the σ -weak topology (see e.g. [1, I.8.6]), so the theorem follows. /square

For a nuclear ∗ -homomorphism θ : A → B as in Theorem 1, it is natural to consider a stronger approximation property where the maps ψ i are required to be approximately multiplicative in the sense that

- (ii ) ′ ‖ ψ i ( a ψ ) i ( b ) -ψ i ( ab ) ‖ → 0 for all a, b ∈ A .

Question 6. For which nuclear ∗ -homomorphisms θ : A → B between C ∗ -algebras A and B are there approximate factorizations A ψ i - → F i φ i - → B of θ as in Theorem 1 that also satisfy (ii )? ′

- A characterization of such θ is likely related to some appropriate form of quasidiagonality. In particular, note that if θ is faithful and ( φ i ), ( ψ i ), and ( F i ) are as in Question 6, then for all a ∈ A , we have
- (13) ‖ ψ i ( a ) ‖ ≥ ‖ φ i ( ψ i ( a )) ‖ → ‖ θ a ( ) ‖ = ‖ a . ‖

Now, the net ( ψ i ) is an approximate embedding of A into finite dimensional C ∗ -algebras, and this shows that A is quasidiagonal. We end with some further comments and partial results related to the Question 6.

First, Theorem 2.2 of [5] states that, for a separable nuclear C ∗ -algebra A , id A enjoys approximate factorizations as in Question 6 if and only if A is quasidiagonal and all traces on A are quasidiagonal. It is not hard to show that the separability assumption is superfluous.

Second, if A is quasidiagonal and B has no traces, then every nuclear ∗ -homomorphism θ : A → B enjoys approximate factorizations as in Question 6. This follows as in the proof of Theorem 1 with only slight modifications. The key observations are that

- (a) because A is quasidiagonal, the approximate factorizations of the composition A θ - → B ↪ → B ∗∗ given in Proposition 3 can be taken to satisfy (ii ), and ′
- (b) because B has no traces, B ∗∗ is properly infinite, and so the finite case in the proof of Theorem 2 is not needed.

Third, one might also compare Question 6 with the recent results of [3], which address the nuclear dimension and decomposition rank of O ∞ -stable and O 2 -stable ∗ -homomorphisms. In particular, Theorem D of [3] states that a full O 2 -stable ∗ -homomorphism with a separable and exact domain

2 In fact, this is consequence of the Hahn-Banach Separation Theorem. See Lemma 2.3.4 of [6] for a proof.

has nuclear dimension zero if and only if it is nuclear and its domain is quasidiagonal. Noting that decomposition rank zero is equivalent to nuclear dimension zero, Proposition 1.7 of [3] implies such a map enjoys approximate factorizations as in Question 6. Again, via standard reductions, the separability of A is not needed in this result.

Acknowledgments. The authors are happy to record their gratitude to Stuart White, who asked the question leading to the main result of this note.

## References

- 1. Bruce Blackadar, Operator algebras , Encyclopaedia of Mathematical Sciences, vol. 122, Springer-Verlag, Berlin, 2006, Theory of C ∗ -algebras and von Neumann algebras, Operator Algebras and Non-commutative Geometry, III. MR 2188261
- 2. Bruce Blackadar and Eberhard Kirchberg, Generalized inductive limits of finitedimensional C ∗ -algebras , Math. Ann. 307 (1997), no. 3, 343-380. MR 1437044
- 3. Joan Bosa, James Gabe, Aidan Sims, and Stuart White, The nuclear dimension of O ∞ -stable C ∗ -algebras , arXiv:1906:02066, 2019.
- 4. Nathanial P. Brown, Invariant means and finite representation theory of C ∗ -algebras , Mem. Amer. Math. Soc. 184 (2006), no. 865, viii+105. MR 2263412
- 5. Nathanial P. Brown, Jos´ R. Carri´n, and Stuart White, e o Decomposable approximations revisited , Operator algebras and applications-the Abel Symposium 2015, Abel Symp., vol. 12, Springer, [Cham], 2017, pp. 45-65. MR 3837591
- 6. Nathanial P. Brown and Narutaka Ozawa, C ∗ -algebras and finite-dimensional approximations , Graduate Studies in Mathematics, vol. 88, American Mathematical Society, Providence, RI, 2008. MR 2391387
- 7. Jos´ e Carri´n, o James Gabe, Christopher Schafhauser, Aaron Tikuisis, and Stuart White, Classification of ∗ -homomorphims I: simple nuclear C ∗ -algebras , in preparation, 2019.
- 8. Jorge Castillejos, Samuel Evington, Aaron Tikuisis, Stuart White, and Wilhelm Winter, Nuclear dimension of simple C ∗ -algebras , arXiv:1901.05853, 2018.

9.

Man Duen Choi and Edward G. Effros,

Nuclear

C

∗

-algebras and the approximation

property

,

Amer. J. Math.

100

(1978), no. 1, 61-79.

MR 0482238

- 10. Marius Dadarlat, Morphisms of simple tracially AF algebras , Internat. J. Math. 15 (2004), no. 9, 919-957. MR 2106154
- 11. Kenneth R. Davidson, C ∗ -algebras by example , Fields Institute Monographs, vol. 6, American Mathematical Society, Providence, RI, 1996. MR 1402012
- 12. James Gabe, Quasidiagonal traces on exact C ∗ -algebras , J. Funct. Anal. 272 (2017), no. 3, 1104-1120. MR 3579134
- 13. , A new proof of Kirchberg's O 2 -stable classification , arXiv:1706.03690, to appear in J. Reine Angew. Math., 2018.
- 14. Uffe Haagerup, A new proof of the equivalence of injectivity and hyperfiniteness for factors on a separable Hilbert space , J. Funct. Anal. 62 (1985), no. 2, 160-201. MR791846
- 15. Ilan Hirshberg, Eberhard Kirchberg, and Stuart White, Decomposable approximations of nuclear C ∗ -algebras , Adv. Math. 230 (2012), no. 3, 1029-1039. MR 2921170
- 16. Eberhard Kirchberg, C ∗ -nuclearity implies CPAP , Math. Nachr. 76 (1977), 203-212. MR 0512362
- 17. Eberhard Kirchberg and Mikael Rørdam, Central sequence C ∗ -algebras and tensorial absorption of the Jiang-Su algebra , J. Reine Angew. Math. 695 (2014), 175-214. MR 3276157
- 18. Eberhard Kirchberg and Wilhelm Winter, Covering dimension and quasidiagonality , Internat. J. Math. 15 (2004), no. 1, 63-85. MR 2039212

- 19. Yasuhiko Sato, Stuart White, and Wilhelm Winter, Nuclear dimension and Z -stability , Invent. Math. 202 (2015), no. 2, 893-921. MR 3418247
- 20. Christopher Schafhauser, Subalgebras of simple AF-algebras , arXiv:1807.07381, 2018.
- 21. Dan Voiculescu, A note on quasi-diagonal C ∗ -algebras and homotopy , Duke Math. J. 62 (1991), no. 2, 267-271. MR 1104525
- 22. Wilhelm Winter, Classifying crossed product C ∗ -algebras , Amer. J. Math. 138 (2016), no. 3, 793-820. MR 3506386
- 23. Wilhelm Winter and Joachim Zacharias, Completely positive maps of order zero , M¨ unster J. Math. 2 (2009), 311-324. MR 2545617
- 24. , The nuclear dimension of C ∗ -algebras , Adv. Math. 224 (2010), no. 2, 461498. MR 2609012

Department of Mathematics, Texas Christian University, Fort Worth, Texas 76129, USA.

E-mail address : j.carrion@tcu.edu

Department of Mathematics, University of Nebraska-Lincoln, Lincoln, Nebraska 68588, USA

E-mail address : cschafhauser2@unl.edu
José R. Carrión Christopher Schafhauser
Decomposing nuclear maps
We show that the strengthened version of the completely positive
approximation property of Brown, Carri\'on, and White---where the downward maps
are asymptotically order zero and the upward maps are convex combinations of
order zero maps---is enjoyed by every nuclear order zero map.