TRACIALLY QUASIDIAGONAL EXTENSIONS AND TOPOLOGICAL STABLE RANK

Similar documents
S-REGULARITY AND THE CORONA FACTORIZATION PROPERTY

TOPOLOGICALLY FREE ACTIONS AND PURELY INFINITE C -CROSSED PRODUCTS

Strongly Self-Absorbing C -algebras which contain a nontrivial projection

Tracial Rokhlin property for actions of amenable group on C*-algebras June 8, / 17

1 α g (e h ) e gh < ε for all g, h G. 2 e g a ae g < ε for all g G and all a F. 3 1 e is Murray-von Neumann equivalent to a projection in xax.

arxiv: v1 [math.oa] 9 Jul 2018

Quotient semigroups and extension semigroups

Spectrally Bounded Operators on Simple C*-Algebras, II

Purely infinite C -algebras of real rank zero

ON DIMENSION THEORY FOR A CERTAIN CLASS OF SIMPLE AH ALGEBRAS

arxiv: v1 [math.kt] 31 Mar 2011

Non-separable AF-algebras

Elliott s program and descriptive set theory I

Classification of Inductive Limit. Liangqing Li

ON THE KK-THEORY OF STRONGLY SELF-ABSORBING C -ALGEBRAS

Finite-dimensional representations of free product C*-algebras

ON THE LINEAR SPAN OF THE PROJECTIONS IN CERTAIN SIMPLE C -ALGEBRAS

THE CORONA FACTORIZATION PROPERTY AND APPROXIMATE UNITARY EQUIVALENCE

THE FULL C* -ALGEBRA OF THE FREE GROUP ON TWO GENERATORS

A COMMENT ON FREE GROUP FACTORS

Completely positive maps of order zero

Jiang-Su algebra Group actions Absorption of actions Classification of actions References. Jiang-Su.

ON THE SIMILARITY OF CENTERED OPERATORS TO CONTRACTIONS. Srdjan Petrović

Approximate unitary equivalence and the topology of

arxiv: v3 [math.oa] 10 Jan 2018

UHF slicing and classification of nuclear C*-algebras

SOME SUBSEMIGROUPS OF EXTENSIONS OF C*-ALGEBRAS

Operator convex functions over C -algebras

FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS

the fiber of not being finitely generated. On the other extreme, even if the K-theory of the fiber vanishes,

A purely infinite AH-algebra and an application to AF-embeddability

called the homomorphism induced by the inductive limit. One verifies that the diagram

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 241B FUNCTIONAL ANALYSIS - NOTES SPECTRAL THEOREM

GENERALIZED POPOVICIU FUNCTIONAL EQUATIONS IN BANACH MODULES OVER A C ALGEBRA AND APPROXIMATE ALGEBRA HOMOMORPHISMS. Chun Gil Park

THE CORONA FACTORIZATION PROPERTY AND REFINEMENT MONOIDS

Inductive Limits of Subhomogeneous C -algebras with Hausdorff Spectrum

Homotopy and homology groups of the n-dimensional Hawaiian earring

ABELIAN SELF-COMMUTATORS IN FINITE FACTORS

N. CHRISTOPHER PHILLIPS

Convex Sets Associated to C -Algebras

Crossed products of Cuntz algebras by quasi-free automorphisms

NIL, NILPOTENT AND PI-ALGEBRAS

Spectral theory for compact operators on Banach spaces

RECTIFIABLE DIAMETERS OF THE GRASSMANN SPACES OF CERTAIN VON NEUMANN ALGEBRAS AND C*-ALGEBRAS Shuang Zhang. 1. Introduction.

arxiv: v3 [math.oa] 7 May 2016

Upper triangular forms for some classes of infinite dimensional operators

Valentin Deaconu, University of Nevada, Reno. Based on joint work with A. Kumjian and J. Quigg, Ergodic Theory and Dynamical Systems (2011)

Decay to zero of matrix coefficients at Adjoint infinity by Scot Adams

Embedding C -algebras into O 2

Crossed products of irrational rotation algebras by finite subgroups of SL 2 (Z) are AF

THE CLASSIFICATION OF EXTENSIONS OF C*-ALGEBRAS

REALIZATION OF HYPERBOLIC GROUP C -ALGEBRAS AS DECREASING INTERSECTION OF CUNTZ ALGEBRAS O 2

INTRODUCTION TO ROKHLIN PROPERTY FOR C -ALGEBRAS

SEMICROSSED PRODUCTS OF THE DISK ALGEBRA

MORPHISMS OF SIMPLE TRACIALLY AF ALGEBRAS

LARGE SUBALGEBRAS AND THE STRUCTURE OF CROSSED PRODUCTS

Means of unitaries, conjugations, and the Friedrichs operator

arxiv: v1 [math.oa] 22 Jan 2018

A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.

NONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction

A Brief Introduction to Functional Analysis

Fréchet algebras of finite type

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

CONTINUOUS FIELDS OF POSTLIMINAL C -ALGEBRAS

APPROXIMATIONS OF COMPACT METRIC SPACES BY FULL MATRIX ALGEBRAS FOR THE QUANTUM GROMOV-HAUSDORFF PROPINQUITY

ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS

One-parameter automorphism groups of the injective factor. Yasuyuki Kawahigashi. Department of Mathematics, Faculty of Science

Banach Journal of Mathematical Analysis ISSN: (electronic)

arxiv: v3 [math.oa] 12 Jul 2012

PACIFIC JOURNAL OF MATHEMATICS Vol. 190, No. 2, 1999 ENTROPY OF CUNTZ'S CANONICAL ENDOMORPHISM Marie Choda Let fs i g n i=1 be generators of the Cuntz

CONVOLUTION OPERATORS IN INFINITE DIMENSION

ON ASYMPTOTIC STABILITY OF CONNECTIVE GROUPS

Geometric Realization and K-Theoretic Decomposition of C*-Algebras

A DECOMPOSITION OF E 0 -SEMIGROUPS

The faithful subalgebra

Fredholmness of Some Toeplitz Operators

FURTHER STUDIES OF STRONGLY AMENABLE -REPRESENTATIONS OF LAU -ALGEBRAS

arxiv:math/ v4 [math.oa] 28 Dec 2005

ADDITIVE GROUPS OF SELF-INJECTIVE RINGS

Trace scaling automorphisms of certain stable AF algebras arxiv:funct-an/ v1 28 Feb 1996

Classification of spatial L p AF algebras

NORMALIZATION OF THE KRICHEVER DATA. Motohico Mulase

Ideals in Multiplier Algebras.

arxiv:math/ v1 [math.oa] 10 Feb 2000

The Structure of C -algebras Associated with Hyperbolic Dynamical Systems

ISOMORPHISMS OF C*-ALGEBRAS AFTER TENSORING

Lecture 1: Crossed Products of C*-Algebras by Finite Groups. General motivation. A rough outline of all three lectures

AARON TIKUISIS AND WILHELM WINTER

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

Primitivity and unital full free product of residually finite dimensional C*-algebras

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH

ON IDEAL AMENABILITY IN BANACH ALGEBRAS

Moore-Penrose Inverse and Operator Inequalities

Tree-adjoined spaces and the Hawaiian earring

arxiv:math/ v1 [math.oa] 24 Jan 2005

On Some Local Operator Space Properties

NORMAL GENERATION OF UNITARY GROUPS OF CUNTZ ALGEBRAS BY INVOLUTIONS. 1. Introduction

A note on a construction of J. F. Feinstein

Algebraic Aspects in the Classification of C -Algebras

Transcription:

Illinois Journal of Mathematics Volume 47, Number 2, Summer 2003, Pages 000 000 S 0019-2082 TRACIALLY QUASIDIAGONAL EXTENSIONS AND TOPOLOGICAL STABLE RANK HUAXIN LIN AND HIROYUKI OSAKA Abstract. It is known that a unital simple C -algebra A with tracial topological rank zero has real rank zero and topological stable rank one. In this note we construct unital C -algebras with tracial topological rank zero but topological stable rank two. 1. Introduction The tracial topological rank of a unital C -algebra A, denoted by TR(A), was introduced as a noncommutative analog of the covering dimension for a topological space X ([Ln2] and [Ln3]; see also Definition 4.2 below). It plays an important role in the classification of amenable C -algebras (see [Ln3], [Ln5] and [Ln6]). As in the case of real rank (see [BP]), a unital commutative C -algebra C(X) has tracial topological rank k if and only if dim X = k. It was shown in [HLX1] that if dim X = k and TR(A) = m then TR(C(X) A) k +m. (For the case of real rank see [NOP, Corollary 1.10].) At present, the most interesting cases are C -algebras with tracial topological rank at most one. If A is a unital separable simple C -algebra with tracial topological rank zero, it was shown in [Ln4] that A is quasidiagonal, has real rank zero, topological stable rank one and weakly unperforated K 0 (A). We are also interested in C -algebras that are not simple. Let ( ) 0 J E A 0 be a short exact sequence with TR(A) = 0 and TR(eJe) = 0 for every projection e A. In [HLX2] it was shown that TR(E) = 0 if and only if the extension is tracially quasidiagonal. (For the definition of a tracially quasidiagonal extension see Definition 5.1.) Quasidiagonal extensions are tracially quasidiagonal. A natural question is whether there exist any tracially quasidiagonal extensions which are not quasidiagonal. Very recently, the first author showed that such extensions do indeed exist. The example given also shows that there are C -algebras with TR(E) = 0 such that real rank of E is not Received September 18, 2002; received in final form January 16, 2003. 2000 Mathematics Subject Classification. xxx. 1 c 2003 University of Illinois

2 HUAXIN LIN AND HIROYUKI OSAKA zero. The specific extension ( ) given there has the property that both J and A (are simple and) have topological stable rank one. Moreover, the index map 0 : K 0 (A) K 1 (J) is not trivial. It is known that, in this case, E has topological stable rank one if the index map 1 : K 1 (A) K 0 (J) is zero (see [Ni, Lemma 3] and [LR, Proposition 4]). A natural question is whether there is a tracially quasidiagonal extension with 1 0. In this note we construct a tracially quasidiagonal extension 0 J E A 0 of C -algebras such that J is a simple AF-algebra, A is a simple AT-algebra with real rank zero and 1 0. That is, this extension is not a quasidiagonal extension. Moreover, E is a quasidiagonal C -algebra which has tracial topological rank zero and real rank zero, but topological stable rank two. To construct such an example we use the K 0 -embedding property (see [BD]) and the generalized inductive limits in the sense of [BE]. Acknowledgments. This note was written when the second author was visiting University of Oregon at Eugene during a sabbatical leave. He would like to thank the members of the mathematics department there for their warm hospitality. 2. Preliminaries Definition 2.1. Let A be a separable C -algebra. Then A is called quasidiagonal (QD) if there exists a faithful representation π : A B(H) and an increasing sequence of finite rank of projections, P 1 P 2 P 3, such that P n π(a) π(a)p n 0 for all a A and P n 1 H in the strong operator topology as n. If A is a QD C -algebra, then there is an injective homomorphism which maps A into n M k(n)/ M k(n) for some increasing sequence {k(n)}. Recently N. Brown and M. Dadarlat studied extensions of quasidiagonal C -algebras. Suppose that 0 J E A 0 is a short exact sequence of separable C -algebras such that A and J are QD C -algebras, and A is nuclear and satisfies the Universal Coefficient Theorem. Brown and Dadalart [BD] showed that if the indexes i : K i (A) K i (J) are both zero then E is a QD C -algebra. Moreover, they proved that for QD C -algebras J satisfying a certain property (namely, the K 0 -embedding) the C -algebra E determined by the extension 0 J E B 0 with a QD C -algebra B is again QD if and only if E is stably finite. It follows from a result of J. Spielberg (see [Sp, Lemma 1.14]) that this is the case when 1 (K 1 (B)) K 0 (J) + = {0}. Spielberg [Sp, Lemma 1.14] also showed that all AF-algebras satisfy the (K 0 -embedding) property.

QUASIDIAGONAL EXTENSIONS AND TOPOLOGICAL STABLE RANK 3 Let J be a stable (non-elementary) simple AF-algebra. Let ρ : K 0 (J) Aff(T (J)), where T (J) is the compact tracial space {τ : τ(p) = 1} for some nonzero projection p J, be defined by ρ([q]) = τ(q) for q K 0 (J) and τ T (J). Since we have K 1 (M(J)/J) = K 0 (J), there exists a unitary u in M(J)/J (or in M k (M(J)/J)) such that [u] ker ρ. This unitary u together with J give the essential extension 0 J E C(T) 0, so that 1 (K 1 (C(T))) is nonzero but generated by [u], [u] ker ρ. The important fact that we are using is that 1 (K 1 (C(T))) K 0 (J) + = {0}. Therefore, by the above remarks, E is QD but the stable rank of A is not one (by [Ni, Lemma 3]). 3. Construction Definition 3.1. We now define a very special simple AF-algebra. Let I 0 be a unital separable simple AF C -algebra with K 0 (I 0 ) = Q Z and K 0 (I 0 ) + = {(r, m) : r Q + \{0}, m Z} {(0, 0)}. Let B = C(T). Write K i (B) = Z (i = 0, 1). Take u M(A)/A such that [u] = (0, 1) in Q Z. Let K be the C -algebra of all compact operators on a separable infinite dimensional Hilbert space. Set I = I 0 K. As in Section 2, we obtain an essential extension 0 I E 1 π B 0, such that 1 ([z]) = (0, 1) (in Q Z), where z is the canonical generator for B. As in Section 2, E 1 is a QD C -algebra. Let {e ij } be the matrix unit for K, and set e n = n i=1 e ii, n = 1, 2,... Here we identify e 11 with 1 I0. Definition 3.2. Let A be a C -algebra, G A a finite subset of A and ε > 0 a positive number. Recall that a positive linear map L : A B (where B is a C -algebra) is said to be G-ε-multiplicative if for all a, b G. L(a)L(b) L(ab) < ε, The following result is certainly known (cf. [Ln7, Proposition 2.3]). Proposition 3.3. Let A = M n. For any ε > 0 there is δ > 0 such that if L : A B, where B is a unital C -algebra, is a G-δ-multiplicative contractive completely positive linear map, where G contains the matrix unit {e ij } n i,j=1, then there is a homomorphism h : A B such that L h < ε. Definition 3.4. We denote by δ n the value of δ corresponding to ε = 1/2 n in Proposition 3.3. We may assume that 0 < δ n+1 < δ n < 1.

4 HUAXIN LIN AND HIROYUKI OSAKA Definition 3.5. For any k N we let π k : M k (E 1 ) M k (B) denote the quotient map induced by π. Let {ξ 1, ξ 2,... } be a dense sequence of T, where each point is repeated infinitely many times. Let {a 1, a 2,... } be a dense sequence in the unit ball of E 1. Let G n = {0, a 1,..., a n }, n = 1, 2,..., and let F 1 = G 1. Write I = n=1 S n, where the S n are finite dimensional C -algebras and S n S n+1. Let S 1 be a finite subset of S 1 and let η 1 > 0 be chosen according to Proposition 3.3 such that the following holds: For any unital C -algebra B there is a homomorphism h 1 : S 1 B such that L S1 h 1 < 1/2, for any S 1 -η 1 -multiplicative contractive completely positive linear map L : E B. Let F 1 = G 1 S 1. Since E 1 is quasidiagonal, there is a (unital) contractive completely positive linear map ψ 1 : E 1 M k(1), which is F 1-1/2 1/2 η 1 /2 2 - multiplicative with ψ 1 (a) (1/2) a for all a F 1. Let p 1 = 1 I0 e k(1), where e k(1) is a rank k(1) projection in K. So p 1 I and ψ 1 may be viewed as a map from E 1 to p 1 (C 1 I0 K)p 1 = Mk(1). Put φ 1 (a) = π(a)(ξ 1 ) (1 E1 p 1 ) for a E 1. Let C 1 = φ 1 (E) p 1 (C 1 I0 K)p 1 and C 1 = p 1 (C 1 I0 K)p 1. Define L 1 : E 1 E 2 = M 2 (E 1 ) by L 1 (a) = diag(a, φ 1 (a), ψ 1 (a)), for a E 1. Note that L 1 (S 1 ) is contained in S 1 C 1. Moreover, S 2 M 2 + C 1 is contained in a finite dimensional C -subalgebra of M 2 (I). Let C 1 be the finite dimensional C -subalgebra generated by S 2 M 2 + C 1. Since S 1 S 2, we have L 1 (S 1 ) C 1. Let S 2 be a finite subset of C 1 and let 1 > η 2 > 0 be chosen according to Proposition 3.3 such that the following holds: For any unital C -algebra B there exists a homomorphism h 2 : C 1 B such that L C 1 h 2 < 1/2 2, for any S 2 -η 2 -multiplicative contractive completely positive linear map L : E 2 B. Set I 2 = M 2 (I). Let F 2 be a finite subset of E 2 containing L 1 (F 1 ), {(a ij ) 3 i,j=1 : a ij = 0, a 1 or a 2 }, I C2, the standard generators of C 1, S 2, and another matrix unit {u ij } 2 i,j=1, where u 11 and u 22 are identified with diag(1 E1, 0), diag(0, 1 E1 ). Since E 1 (unital) is quasidiagonal, there is a F 2-1/3 1/2 2 η 2 δ k(1) /2 2 -multiplicative contractive completely positive linear map ψ 2 : E 2 M k(2) such that (ψ 2 ) M2(C 1 E ) is a homomorphism and ψ 2 (a) (1 1/4) a for all a F 2, and such that there is homomorphism h 2 : C 1 M k(2) such that (ψ 2 ) C1 h 2 < 1/4.

QUASIDIAGONAL EXTENSIONS AND TOPOLOGICAL STABLE RANK 5 Note that such a map h 2 exists by Proposition 3.3. We may assume that k(2) > k(1) > 2. Let E 3 = M 2+1 (E 2 ) = M 3! (E 1 ) and I 3 = M 2+1 (I 2 ). Let p 2 = 1 I0 e k(2) and p 2 = diag(p 2, p 2) I 2. Define φ (2) 1 (a) = π 2(a)(ξ 1 ) 1 E2 for a E 2, where the image of φ (2) 1 is identified with M 2 (C 1 E2 ). Define φ 2 (a) = π 2 (a)(ξ 2 ) (1 E1 p 2) for a E 2, where the image of φ 2 is identified with M 2 (C (1 E1 p 2)). Let Ψ 2 (a) = diag(ψ 2 (a), ψ 2 (a)) for a E 2. We now view Ψ 2 as a map Ψ 2 : E 2 p 2 (C 1 I0 K)p 2 p 2 I 2 p 2. In particular, Ψ 2 (1 E2 ) = p 2. Define L 2 : E 2 E 3 by L 2 (a) = diag(a, φ (2) 1 (a), φ 2(a), Ψ 2 (a)). It should be noted that the part diag(φ 2 (a), Ψ 2 (a)) is in E 2 and L 2 is unital. Let C 2 = φ (2) 1 (E 1) φ 2 (E 2 ) p 2 M 2 (C 1 I0 K)p 2, and C 2 = p 2 (C 1 I0 K)p 2. Note that L 2 (C 1 ) is contained in C 1 C 2 and S 3 M 3! +C 2 is contained in a finite dimensional C -subalgebra of I 3. Let C 2 be the finite dimensional C -subalgebra generated by S 3 M 3! + C 2. Then, since S 2 S 3 and C 1 C 2, we have L 2 (C 1 ) C 2. Let S 3 be a finite subset of C 2 and let η 3 > 0 be chosen according to Proposition 3.3 such that the following holds: For any unital C -algebra B there exists a homomorphism h 3 : C 2 B such that L C h 2 3 < 1/2 3, for any S 3 -η 3 -multiplicative contractive completely positive linear map L : E 3 B. Let E 4 = M 4 (E 3 ) and I 4 = M 4 (I 3 ). Let D 2 be a finite subset of C 2 containing 1 C2 and the standard generators of C 2. Let F 3 be a finite subset of E 3 containing L 2 (F 2 ), {(a ij ) 3 2 i,j=1 : a ij = 0, a 1, a 2, or a 3 }, D 2, S 3 and another matrix unit {u ij } 3 i,j=1, where u ii is identified with a diagonal element with 1 E2 in the ith position and zero elsewhere. Since E 1 is quasidiagonal and E 3 = M 3! (E 1 ), there is a F 3-1/4 1/2 3 η 3 δ dim C2 /2 3 - multiplicative contractive completely positive linear map ψ 3 : E 3 M k(3) (where k(3) > k(1) + k(2)) such that (ψ 3 ) M3 2(C 1 E ) is a homomorphism, and there is a homomorphism h 3 : C 2 M k(3) such that ψ 3 C2 h 3 < 1/2 3. Define φ (3) i (a) = π 3! (a)(ξ i ) for a E 3, where the image of φ (3) i is identified with M 3! (C 1 E1 ), i = 1, 2. Let p 3 = 1 I0 e k(3) and p 3 = diag(p 3,..., p 3), where p 3 is repeated 3! times. Thus, p 3 I 3. Let Ψ 3 (a) = diag(ψ 3 (a),..., ψ 3 (a)) for a E 3, where ψ 3 (a) is repeated 3! times. We view Ψ 3 as a map Ψ 3 : E 3 p 3 M 3! (C 1 I0 K)p 3.

6 HUAXIN LIN AND HIROYUKI OSAKA Define φ 3 (a) = π 3! (a)(ξ 3 ), where the image of φ 3 is identified with M 3! (C (1 E1 p 3)). Define L 3 : E 3 E 4 by (for any a E 3 ) L 3 (a) = diag(a, φ (3) 1 (a), φ(3) 2 (a), φ 3(a), Ψ 3 (a)). Note that diag(φ 3 (a), Ψ 3 (a)) E 3. Put C 3 = 2 i=1φ (3) i (E 3 ) φ 3 (E 3 ) p 3 M 3! (C 1 I0 K)p 3, C 3 = p 3 M 3! (C 1 I0 K)p 3. Let C 3 be the finite dimensional C -algebra generated by S 4 M 4! + C 3. Then, since L 2 (C 2 ) is contained in C 2 C 3, S 3 S 4 and C 2 C 3, we have L 2 (C 2 ) C 3. We continue the construction in this fashion. With C n = n 1 i=1 φ(n) i (E n ) φ n (E n ) p n M n! (C 1 I0 K)p n, let E n+1 = M n+1 (E n ), I n+1 = M n+1 (I n ) and C n = p n M n! (C 1 I0 K)p n, and let C n be the finite dimensional C subalgebra generated by S n+1 M (n+1)! + C n. Let S n+1 be a finite set in C n and let 1 > η n+1 > 0 be chosen according to Proposition 3.3 such that the following holds: For any unital C -algebra B there exists a homomorphism h n+1 : C n B such that L C n h n+1 < 1/2 n+1 for any S n+1 -η n+1 -multiplicative contractive completely positive map L : E n+1 B. Let D n be a finite subset of C n containing 1 Cn and the standard generators of C n, and let F n+1 be a finite subset of E n+1 containing L n (F n ), S n+1, {(a ij ) (n+1)! i,j=1 : a ij = 0, a 1,..., ora n }, D n and a matrix unit {u ij } 1+n i,j=1, where u ii is identified with diag(0,..., 0, 1 En, 0,..., 0) (with 1 En in the ith position). Since E 1 is quasidiagonal and E n+1 = M (n+1)! (E 1 ), there is a F n+1-1/(n + 2) 1/2 n+1 η n+1 δ dim Cn /2 n+1 -multiplicative contractive completely positive linear map ψ n+1 : E n+1 M k(n+1) such that (ψ n ) M(n+1)! (C 1 E1 ) is a homomorphism, and there is a homomorphism, h n+1 : C n M k(n+1) such that (ψ n+1 ) Cn h n+1 < 1/2 n+1. Define φ (n+1) i (a) = π (n+1)! (a)(ξ i ) for a E n+1 and identify the image of with M (n+1)! (C 1 E1 ), i = 1, 2,..., n. Let p n+1 = 1 I0 e k(n+1) and φ (n+1) i p n+1 = diag(p n+1,..., p n+1), where p n+1 is repeated (n + 1)! times. Put Ψ n+1 (a) = diag(ψ n+1 (a),..., ψ n+1 (a)), where ψ n+1 (a) is repeated (n + 1)! times. Thus the image of Ψ n+1 can be identified with p n+1 M (n+1)! (C 1 I0 K)p n+1. Note that Ψ n+1 (1 En+1 ) = p n+1. Define φ n+1 (a) = π (n+1)! (a)(ξ i ), with its image identified with M (n+1)! (C (1 E1 p n+1)). Note that the unit of M (n+1)! (C (1 E1 p n+1)) is 1 En+1 p n+1. Define L n+1 (a) = diag(a, φ (n+1) 1 (a), φ (n+1) 2 (a),..., φ (n+1) n (a), φ n+1 (a), Ψ n+1 (a)),

QUASIDIAGONAL EXTENSIONS AND TOPOLOGICAL STABLE RANK 7 where a E n+1. Let and C (n+1) = n i=1φ (n+1) i (E n+1 ) φ n+1 (E n+1 ) p n+1 M (n+1)! (C 1 I0 K)p n+1 C n+1 = p n+1 M (n+1)! (C 1 I0 K)p n+1. Let C n+1 be the finite dimensional C -algebra generated by S n+2 M (n+2)! + C n+1. Then, since L n+1 (C n) is contained in C n C n+1, S n+1 S n+2, and C n C n+1, we have L n+1 (C n) C n+1. Let S n+2 be a finite set in C n+1 and let 1 > η n+2 > 0 be chosen according to Proposition 3.3 such that the following holds: For any unital C -algebra B there exists a homomorphism h n+2 : C n+1 B such that L C n+1 h n+2 < 1/2 n+2 for any S n+2 -η n+2 -multiplicative contractive completely positive map L : E n+2 B. It is easy to verify that (E n, L n ) forms a general inductive limit in the sense of [BE]. Denote by E the C -algebra defined by this inductive limit. We will write L n,n+k : E n E n+k for the decomposition L n+k 1 L n and L n, : E n E for the map induced by the inductive limit. We will also use the fact that L n (a) = a = L n, (a) for all a E n, n = 1, 2,.... Let I 1 = I, I n+1 = M (1+n)! (I). Then I n = I0 K and I n is an ideal of E n. Set J 0 = n=1 L n, (I n ) and J = J 0. Proposition 3.6. J is an ideal of E. Proof. Let a E and b J. We want to show that ab, ba J. For any ε > 0, there are a n=1 L n, (E n ) and b J 0 such that a a < ε and b b < ε. It suffices to show that a b, b a J. To simplify notation, without loss of generality, we may assume that a n=1 L n, (E n ) and b J 0. Therefore, there is an integer n > 0 such that a = L n, (a 1 ) and b = L n, (b 1 ), where a 1 E n and b 1 I n. Moreover, there is an integer N > n such that L N,N+k L n,n (a 1 )L N,N+k L n,n (b 1 ) L N,N+k (L n,n (a 1 )L n,n (b 1 )) < ε for all k > 0. By the definition, L n,n (b 1 ) I N. Therefore L N,N+k (L n,n (a 1 ) L n,n (b 1 )) I N + k. This implies that dist(ab, J) < ε for all ε > 0. Hence ab J. Similarly ba J. Definition 3.7. Let B 1 = C(T) and B n+1 = M (n+1)! (C(T)), n = 1, 2,... Define h n : B n B n+1 by h n (b) = diag(b, b(ξ 1 ),..., b(ξ n )), n = 1, 2,... Let B = lim n (B n, h n ). Then B is a unital simple C -algebra with TR(B ) = 0

8 HUAXIN LIN AND HIROYUKI OSAKA (see Definition 4.2), K 1 (B ) = Z and K 0 (B ) = Z Q with K 0 (B ) + = {(n, r) : n > 0, r Q + \ {0}} {0}. Proposition 3.8. = B. Let π : E E/J be the quotient map. Then π (E) Proof. We first show that, for each n, L n, (E n ) J = L n, (I n ). Let a E n \ I n. Then, by the construction, for all m > 0, dist(l n,m (a), I n+m ) π n! (a), where π n! : E n E n /I n is the quotient map. This implies that dist(l n, (a), J) π n! (a). Therefore L n, (E n ) J = L n, (I n ). Now we have L n, (E n )/J = B n. From the construction there is an isomorphism from L n (E n )/I n+1 to L n, (E n )/J. Denote by j n : L n, (E n )/J L n+1, (E n+1 )/J the map induced by L n and by γ n the isomorphism from L n, (E n )/J onto B n. We obtain the following intertwining: j n L n, (E n )/J Ln+1, (E n+1 )/J γn γ n+1 B n This implies that B = E/J. h n, Bn+1 4. Tracial topological rank of E Through the rest of paper, we will write f δ1 δ 2 (where 0 < δ 2 < δ 1 < 1) for the following non-negative continuous function on [0, ): 1, t δ 1, f δ1 δ 2 (t) = (t δ 2 )/(δ 1 δ 2 ), δ 2 < t < δ 1, 0, t δ 2. Definition 4.1. Let a and b be two positive elements in a C -algebra A. We write [a] [b] if there exists x A such that a = x x and xx bab, and [a] = [b] if a = x x and b = xx. For more information on this relation, see [Cu1], [Cu2] and [HLX1]. Definition 4.2 ([Ln4] and [HLX1]). Recall that a unital C -algebra A is said to have tracial topological rank zero if the following holds: For any ε > 0, any finite subset F A containing a nonzero element a A +, and any real

QUASIDIAGONAL EXTENSIONS AND TOPOLOGICAL STABLE RANK 9 numbers 0 < σ 4 < σ 3 < σ 2 < σ 1 < 1, there is a projection p A and a finite dimensional C -subalgebra B of A with 1 B = p such that (1) xp px < ε for all x F, (2) pxp ε B for all x F, and (3) [fσ σ1 2 ((1 p)a(1 p))] [fσ σ3 4 (pap)]. If A has tracial topological rank zero, we will write TR(A) = 0. If A is non-unital, we say that A has tracial topological rank zero if TR(Ã) = 0. We will show that the C -algebra E constructed in the previous section has tracial topological rank zero. The proof is similar to that in [Ln7]. We will use the following two lemmas: Lemma 4.3 ([HLX1, Lemm 1.8]). Let 0 < σ 4 < σ 3 < 1. There is δ = δ(σ 3, σ 4 ) > 0 such that for any C -algebra A, any a, b A + with a 1, b 1, and any σ 1, σ 2 with σ 3 < σ 2 < σ 1 < 1, a b < δ implies [f σ1 σ 2 (a)] [f σ3 σ 4 (b)]. Lemma 4.4 ([Ln7, Lemma 3.4]). Let 0 < σ 4 < σ 3 < 1. There is δ 1 = δ(σ 3, σ 4 ) > 0 such that for any C -algebra A, any a, b A + and x A with x 1, a 1, b 1 and any σ 1, σ 2 with σ 3 < σ 2 < σ 1 < 1, then x x a < δ 1 and xx b < δ 1 imply Lemma 4.5. TR(E) = 0. [f σ1 σ 2 (a)] [f σ3 σ 4 (b)]. Proof. By Definition 1.11 (see also Proposition 1.17) in [HLX1], it suffices to show the following: For any ε > 0, any 0 < σ 2 < σ 1 < 1, any finite subset F of E and a nonzero element a E +, there is a projection p E and a finite dimensional C -subalgebra C E with 1 C = p such that (1) xp px < ε for all x F, (2) dist(x, C) < ε for all x F, and (3) [fσ σ1 2 ((1 p)a(1 p))] [fσ σ3 4 (pap)] for some 0 < σ 4 < σ 3 < σ 2. Without loss generality, we may assume that a = 1. Fix 0 < d 2 < d 1 < min{1/8, σ 2 }. Let δ(d 1, d 2 ) > 0 be as in Lemma 4.4. There is an integer n such that 1/n < ε/4, and a finite subset S E n such that F {a} L n, (S). Suppose that L n, (b) = a, where 0 b 1 is in E n and b = 1. We may assume that L n, (S ) L l, (F l ), where S = {cd : c, d S} and F l is as in Definition 3.5. Choose a large integer l > (n+1) 2 such that max{1/2 l 2, 1/l} < δ(d 1, d 2 )/2 and ψ l (L n,l 1 (b)) (1/2) b. (Note that 1/l < ε/16.) For s S write (in E l ) L n,l (s) = diag(s, L(s)), with L n,l (1 En ) = diag(1 En, L(1 En )),

10 HUAXIN LIN AND HIROYUKI OSAKA where L(s) C l. (See the construction of E.) Since L l, is F l -1/(l + 1)2 l δ dim Cl /2 l -multiplicative, by Proposition 3.3 there is a homomorphism h : C l E such that L l, Cl h < 1/2 l 1. Let p = diag(0, L(1 En )). Then p C l. Hence there is a projection p h(c l ) such that L l, (p ) p < min{1/2 l 1, ε/2}. Since L l, is F l -1/(l + 1)2 l δ dim Cl /2 l -multiplicative, we have (1) px xp < ε for x F, and (2) pxp ε h(c l ) for x F. To show (3) we consider two cases: Case (i): b (I n ) +. We may assume that e l b b < min{δ(d 1, d 2 )/4, ε/4}. Let b 1 = e l be l and b 1 = L n,l 1 (b 1 ). Thus, ψ(b 1) 0. We have L n,l (b 1 ) = diag(b 1, Φ n (b 1 ), ψ l (b 1),..., ψ l (b 1)), where Φ n : I n I l is a contractive completely positive linear map and Φ n (I n ) is contained in C l and ψ l is repeated l times. Note that ψ(b 1) > 1/4. So, diag(ψ l (b 1),..., ψ l (b 1)) has an eigenvalue λ with λ 1/4 and its rank in C l (see the construction of E) is at least l. We have [b 1 ] [e l ] and (1/4)[e l ] [diag(ψ l (b 1),..., ψ l (b 1))], where ψ l (b 1) is repeated l times. Put c = diag(0, Φ n (b 1 ), ψ l (b 1),..., ψ l (b 1)) and b = diag(b 1, 0,..., 0). Since {u ij } l i=1 F l, there is x F l such that x x = b and xx C, where C = e l C l e l. Moreover, c contains an eigenvalue λ with λ 1/4 and the corresponding spectral projection e larger than a projection in C l with rank l. Therefore, there exists v C l such that v v = e l and vv e. Note that f 1/4 1/8 (c) e. This implies that there is z C l such that z z = xx and zz f 1/4 1/8 (c) = zz. Let y = L l, (x) and b = pl l, (b )p. Since L l, is F l -1/(l+1) 2 l δ dim Cl /2 l - multiplicative and L l, Cl h < 1/2 l 1, we have We also have y y b < 1/2 l 2 and yy h(xx ) < 1/2 l 2. b (1 p)a(1 p) < 1/2 l 2 and h(c) pap < 1/2 l 2.

QUASIDIAGONAL EXTENSIONS AND TOPOLOGICAL STABLE RANK 11 Moreover, h(z z) = h(xx ) and h(zz )h(f 1/4 1/8 (c)) = h(zz ). Therefore, by Lemma 4.4, [f σ1 σ 2 ((1 p)a(1 p))] [f d1 d 2 (h(xx ))]. We also have that [f d1 d 2 (h(xx ))] = [f d1 d 2 (h(zz ))]. Therefore [f d1 d 2 (h(zz ))] [h(zz )] [h(f 1/4 1/8 (c))]. It then follows from the proof of Lemma 4.4 that there are 0 < σ 4 < σ 3 < d 2 such that [h(f 1/4 σ3 1/8 (c))] [fσ 4 (pap)], because h(c) pap < 1/2 l 2. Hence [f σ1 σ 2 ((1 p)a(1 p))] [f σ3 σ 4 (pap)]. Case (ii): b (E n ) + \I n. This part of the proof is just a slight modification of the proof in Case (i). Take 0 < σ 10 < σ 9 < < σ 4 < σ 3 < d 2. We note that φ (n+1) i L n (a) has the form diag(π n! (a)(ξ i ), φ (n) 1 (a),..., φ(n) n 1 (a), π n!(a)(ξ n )) for 0 < i < n and a E n. Since {ξ n } is dense in T, without loss of generality we may assume that π n! (b)(ξ m ) 0 and n < m < m! < l. By the construction we may write L n,l (b) = diag(b, L (b), π n! (b)(ξ m ),..., π n! (b)(ξ m ), L (b)), where π n! (b)(ξ m ) is repeated m! times and L (b), L (b) C l. Note that diag(0, L (b), π n! (b)(ξ m ),..., π n! (b)(ξ m ), L (b)) diag(0, 0,..., 0, π n! (b)(ξ m ),..., π n! (b)(ξ m ), 0). Since {u ij } F l, there is z k F l such that z kz k = diag(b, 0, 0,..., 0) and z k z k = diag(0,..., 0, b, 0), where b is in the (k + 1)st position. We note that there is c M l!/n! (C 1 En ) such that and c c = diag(0, 1 En, 0,..., 0) cc diag(0,..., 0, π n! (b)(ξ m ),..., π n! (b)(ξ m ), 0). Indeed, since π n! (b)(ξ m ) 0, π n! (b)(ξ m ) is unitarily equivalent to diag(α 1,..., α n! ) for some α 1,..., α n! C with α 1 0. Since tπ n! (b)(ξ m ) is repeated m! times and m > n, we have [diag(0, 1 En, 0,..., 0)] [diag(0,..., 0, π n! (b)(ξ m ),..., π n! (b)(ξ m ), 0)].

12 HUAXIN LIN AND HIROYUKI OSAKA Note also diag(0, b, 0,..., 0) diag(0, 1 En, 0, ṡ, 0) and (L l, ) Ml! (C 1 E1 ) is a homomorphism. Therefore we have [f σ1 σ 2 ((1 p)a(1 p))] [f d1 d 2 (L l, (z 1z 1 ))] and hence This shows that TR(E) = 0. = [f d1 d 2 (L l, (z 1 z 1))] [f σ3 σ 4 (L l, (c c)] [f σ3 σ 4 (L l, (cc ))] [f σ5 σ 6 (L l, (diag(0, π n! (b)(ξ m ),..., π n! (b)(ξ m ), 0))] [f σ7 σ 8 (diag(0, L (b), π n! (b)(ξ m ),..., π n! (b)(ξ m ), L (b))] [f σ9 σ 10 (pap)]. [f σ1 σ 2 ((1 p)a(1 p))] [f σ9 σ 10 (pap)]. Corollary 4.6. J is an AF algebra. Proof. Given a finite subset F J, we may assume that there is a finite subset G I n such that L n, (G) = F. Furthermore, we may assume that G S k(n) M n! with k(n) > n. Since C l C l+1 C l+1 for 1 l and L n,k(n) (S k(n) M n! ) S k(n) M n! C n C n+1 C k(n) 1, it follows that L n,k(n) (S k(n) M n! ) C k(n). By the choice of S k(n) and η k(n), we see that there is a homomorphism h k(n) : C k(n) E such that L k(n), C k(n) h k(n) < 1/2 k(n). Let B 0 = h k(n) (C k(n) ). Then B 0 is a finite dimensional C -algebra and for any x G we have L n, (x) h k(n) (L n,k(n) (x)) L n, (x) L k(n), (L n,k(n) (x)) < 1/2 k(n). + L k(n), (L n,k(n) (x)) h k(n) (L n,k(n) (x)) This implies that dist(f, B 0 ) < 1/2 k(n). From this one sees that J is an AF-algebra.

QUASIDIAGONAL EXTENSIONS AND TOPOLOGICAL STABLE RANK 13 Definition 5.1. 5. Tracially quasidiagonal extensions Let 0 I E A 0, be a short exact sequence of C -algebras. In [HLX2], we say that (E, I) is tracially quasidiagonal if, for any ε > 0, any nonzero a E +, any finite subset F E and any 0 < σ 4 < σ 3 < σ 2 < σ 1 < 1, there exists a C -subalgebra D E with 1 D = p such that (1) px xp < ε for all x F, (2) pxp ε D for all x F, (3) D I = pip and (D, D I) is quasidiagonal, and (4) [fσ σ3 4 ((1 p)a(1 p))] [fσ σ1 2 (pap)]. In [HLX2] we showed that if TR(I) = 0 = TR(A) then TR(E) = 0 if (E, I) is tracially quasidiagonal. Moreover, if TR(eIe) = 0 for every projection e E, then TR(E) = 0 also implies that the extension is tracially quasidiagonal. It is clear that if (E, I) is quasidiagonal, then (E, I) is tracially quasidiagonal. (Take p = 1.) On the other hand, Corollary 5.5 below says that there are tracially quasidiagonal extensions that are not quasidiagonal. Theorem 5.2. is tracially quasidiagonal. The extension 0 J E B 0, Proof. Since TR(B ) = TR(E) = TR(J) = 0, and TR(eJe) = 0 for every projection e E by Lemma 4.5 and Corollary 4.6, it follows from [HLX2] that the extension is tracially quasidiagonal. Lemma 5.3. Let A n be a sequence of unital C -algebras and A = lim n (A n, ϕ n,m ) be a generalized inductive limit in the sense of [BE]. Suppose that each ϕ n,m : A n A m is unital with ϕ n (a) = ϕ n,m (a) for a A n and m > n. Let u A be a unitary. Then for any ε > 0 there is n > 0 and a unitary v A n such that ϕ n (v) u < ε, where ϕ n is an induced map by the inductive limit from A n into A. Proof. By definition there is a sequence {ϕ nk (a k )}, where a k A nk that converges to u. Therefore, we may assume that and ϕ nk (a k ) u < 1/2 k+2. ϕ nk (a k)ϕ nk (a k ) 1 < 1/2 k+2, ϕ nk (a k )ϕ nk (a k) 1 < 1/2 k+2.

14 HUAXIN LIN AND HIROYUKI OSAKA From the definition of a generalized inductive limit it follows that there is m k > n k such that for any x, y A nk ϕ mk (ϕ nk,m k (x) + ϕ nk,m k (y)) (ϕ nk (x) + ϕ nk (y)) < 1/2 k+2, ϕ mk (ϕ nk,m k (x) ) ϕ nk (x) < 1/2 k+2, ϕ mk (ϕ nk,m k (x)ϕ nk,m k (y)) ϕ nk (x)ϕ nk (y) < 1/2 k+2. Set b k = ϕ nk,m k (a k ) A mk. Since we have and φ nk (a ka k ) 1 = φ nk (a ka k ) φ mk (φ nk,m k (a k)φ nk,m k (a k )) + φ mk (φ nk,m k (a k)φ nk,m k (a k )) 1 φ nk (a ka k ) φ mk (φ nk,m k (a k)φ nk,m k (a k )) + φ mk (φ nk,m k (a k)φ nk,m k (a k )) 1 1/2 k+2 + φ mk (φ nk,m k (a k)φ nk,m k (a k )) 3/2 k+2, φ nk (a k)φ nk (a k ) + φ nk (a k)φ nk (a k ) 1 ϕ mk (b kb k 1) ϕ mk (b kb k 1) (ϕ nk (a ka k ) 1) ϕ mk (b k b k 1) < 1/2 k + ϕ nk (a ka k ) 1 < 1/2 k+2 + 3/2 k+2 = 1/2 k, ϕ k (b k ) u = ϕ mk (ϕ nk,m k (a k )) u ϕ mk (ϕ nk,m k (a k )) ϕ nk (a k ) + ϕ nk (a k ) u < 1/2 k+1. Hence b k is an invertible element in A mk. Set v = b k b k 1. Then v is a unitary, and the distance between v and b k is small (depending on k). Hence, taking a sufficient large k, we have a unitary v A mk such that ϕ mk (v) u < ε. Theorem 5.4. A C -algebra E has topological stable rank two. Proof. Take a unitary u B such that 0 [u] 1 K 1 (B ). Suppose that u can be lifted to a unitary ũ in E. We will get a contradiction. Since a system (E n, L n,m ) is a generalized inductive limit, by Lemma 5.3 there exists n N and a unitary v E n such that L n, (v) ũ < 1.

QUASIDIAGONAL EXTENSIONS AND TOPOLOGICAL STABLE RANK 15 From the commutative diagram L n, E n π n! E π B n h n, B we conclude that w n = π n! (v) is a unitary in B n and h n, (w n ) = π L n, (v). Set w = h n, (w n ). Then w B is a unitary, and w u = π L n, (v) π (ũ) L n, (v) ũ < 1. Hence, [w] 1 = [u] 1 in K 1 (B ). Therefore, [w n ] 1 0 in K 1 (B n ), because the induced map (h n, ) : K 1 (B n ) K 1 (B ) is an identity (see Definition 3.7). On the other hand, from the construction we have 0 1 ([w n ] 1 ) K 0 (I n ). But this gives a contradiction, for 1 ([w n ] 1 ) = 1 π ([v] 1 ) = 0. So by [Ni, Lemma 3] or [LR, Proposition 4] E has topological stable rank more than one. Hence by [Rf, Corollary 4.2] we conclude that E has topological stable rank two. Corollary 5.5. is not quasidiagonal. The extension 0 J E B 0 Proof. From the previous theorem it follows that the index map 1 : K 1 (B ) K 0 (J) is non-zero. Hence, by [BrD, Theorem 8] the extension is not quasidiagonal. Remark 5.6. (1) The C -algebra E is QD in [HLX3, Theorem 4.6]. (2) A C -algebra E in (1) is not an AH-algebra, that is, it can not be written as the inductive limit of direct sums of homogeneous C -algebras. Indeed, since J and B have real rank zero (see [G, Theorem 9]), if E is an AH-algebra, the extension has to be quasidiagonal by [BrD, Proposition 11]. This is a contradiction to Corollary 5.5. (3) In [Ln7] the first author constructed an example of a unital C -algebra A which has tracial topological rank zero, but real rank greater than zero. This also gives an extension 0 J A B 0 with a non-zero index map 0 : K 0 (B) K 1 (I). In the present note we have constructed another tracially quasidiagonal extension in Corollary 5.5 with a non-zero index map 1 : K 1 (B) K 0 (I). This implies that a more complicated index is needed to characterize tracially quasidiagonal extensions.

16 HUAXIN LIN AND HIROYUKI OSAKA References [BE] B. Blackadar and E. Kirchberg, Generalized inductive limits of finite dimensional C -algebras, Math. Ann. 307 (1997), 343 380. [Br] L. G. Brown, The universal coefficient theorem for Ext and quasidiagonality, Operator algebras and group representations 17, Pitman, Boston-London-Melbourne, 1983, pp. 60 64. [BrD] L. G. Brown and M. Dadarlat, Extensions of C -algebras and quasidiagonality, J. London Math. Soc. (2) 53 (1996), 582 600. [BP] L. G. Brown and G. K. Pedersen, C -algebras of real rank zero, J. Funct. Anal. 99 (1991), 131 149. [BD] N. Brown and M. Dadarlat, Extensions of quasidiagonal C -algebras and K-theory, preprint. [Cu1] J. Cuntz, The structure of addition and multiplication in simple C -algebras, Math. Scand. 40 (1977), 215 233. [Cu2], Dimension function on simple C -algebras, Math. Ann. 233 (1978), 145 153. [G] K. R. Goodearl, Notes on a class of simple C -algebras with real rank zero, Publ. Mat. 36 (1992), 637 654. [HLX1] S. Hu, H. Lin, and Y. Xue, The tracial topological rank of C -algebras (II), preprint. [HLX2], Tracial topological rank of extensions of C -algebras, preprint. [HLX3], K-theory of C -algebras with finite tracial topological rank, Internat. J. Math., to appear. [Ln1] H. Lin, Classification of simple C -algebras with unique traces, Amer. J. Math. 120 (1998), 1289 1315. [Ln2], Tracially AF C -algebras, Trans. Amer. Math. Soc. 353 (2001), 693 722. [Ln3], Classification of simple tracially AF C -algebras, Canad. J. Math. 53 (2001), 161 194. [Ln4], The tracial topological rank of C -algebras, Proc. London Math. Soc. 83 (2001), 199 234. [Ln5], Classification of simple C -algebras and higher dimensional tori, Ann. of Math. (2) 157 (2003), 521 544. [Ln6], Classification of simple C -algebras of tracial topological rank zero, MSRI preprint, 2000. [Ln7], Tracially quasidiagonal extensions, Canad. Math. Bull., to appear. [LR] H. Lin and M. Rørdam, Extensions of inductive limits of circle algebras, Proc. London Math. Soc. 51 (1995), 603 613. [NOP] M. Nagisa, H. Osaka, and N. C. Phillips, Ranks of algebras of continuous C - algebra valued functions, Canad. J. Math. 53 (2001), 979 1030. [Ni] V. Nistor, Stable rank for a certain class of type I C -algebras, J. Operator Theory 17 (1987), 365 373. [Rf] M. Rieffel, Dimension and stable rank in the K-theory of C -algebras, Proc. London Math. Soc. 46 (1983), 301 333. [S] N. Salinas, Relative quasidiagonality and KK-theory, Houston J. Math. 18 (1992), 97 116. [Sch] C. L. Schochet, The fine structure of the Kasparov groups II: relative quasidiagonality, preprint, Sept. 1996. [Sp] J. S. Spielberg, Embedding C -algebra extensions into AF algebras, J. Funct. Anal. 81 (1988), 325 344. [Zh] S. Zhang, C -algebras with real rank zero and the internal structure of their corona and multiplier algebras, III, Canad. J. Math. 42 (1990), 159 190.

QUASIDIAGONAL EXTENSIONS AND TOPOLOGICAL STABLE RANK 17 H. Lin, Department of Mathematics, East China Normal University, Shanghai, China, and Department of Mathematics, University of Oregon, Eugene, Oregon 97403-1222, USA E-mail address: lin@math.uregon.edu H. Osaka, Department of Mathematics, University of Oregon, Eugene, Oregon 97403-1222, USA Current address: Department of Mathematical Sciences, Ritsumeikan University, Kusatsu, Shiga, 525-8577, Japan E-mail address: osaka@se.ritsumei.ac.jp