Arxiv:1707.08848V4 [Math.OA]

Home , Spectral radius

arXiv:1707.08848v4 [math.OA] 4 Apr 2018 si elkon h pcrlrdu sntacniuu ucinon function continuous a not is radius spectral the well-known, is As uneof quence pe eicniuu se[] ouin 0 n 0) oee tis it However 104). and 103 the on Solutions that [6], (see semi-continuous upper usino which on question a hla n u uosi rvdta ti otnoso n yeI type any on continuous is it that proved Turovskii Yu. and Shulman elwhpFn tteUiest fNwHampshire. New of University and the 3542/H2020/2016/2, at Fund grant Fellowship H2020- Government grant Polish the and by DYNAMICS 2012/06/A/ST1/00256, DEC- number tract se ftecnes stu [0,Polm92) nti hr pape short this In 9.20). Problem ([10], affirmative. true the is in converse question the if asked ftp I type of A nwrdi 1 seas 1].I atclrtease hw htin that shows answer for the question particular spe similar non-zero considered In with Skoufranis P. operators many [11] [12]). are also there operators (see nilpotent spa [1] Hilbert in infinite-dimensional answered separable, complex, a on operators fnloet.Hsrslsso npriua hti many in that particular in show results His nilpotents. of l H-lersadalprl infinite purely all and UHF-algebras all o-eosetu fadol if only and if spectrum non-zero 2.1. lmnswt o-eosetu.Hr egv characterization a give we Here spectrum. non-zero with elements OTNIYO PCRLRDU N YEI TYPE AND RADIUS SPECTRAL OF CONTINUITY Let e od n phrases. and words Key 2010 h eerho h uhrwsspotdb h oihNtoa S National Polish the by supported was author the of research The hoe A. Theorem hoe dsoemr aayia)caatrzto onumerou to characterization (analytical) more one adds A Theorem n ffmu usin fP amsak:”hti h lsr ft of closure the is ”What asks: Halmos P. of questions famous of One hoe B. Theorem fadol if only and if Ftlsoe n projectivity. and AF-telescopes H ahmtc ujc Classification. Subject Mathematics Abstract. 1] ti hw lota h lsr fnloet na in nilpotents of closure the that also shown is It [10]. nyi the if only ihnnzr pcrmi n nyi the if only and if spectrum non-zero with C eaHletsaeand space Hilbert a be C ∗ C ∗ -algebras. -algebras ∗ -algebra C A Let h lsr fnloet na in nilpotents of closure The ∗ ti hw htteseta aisi otnoso a on continuous is radius spectral the that shown is It agbai yeI hsasesaqeto fV hla n u Tur Yu. and Shulman V. of question a answers This I. type is -algebra stp I. type is A C ∗ K pcrlrdu,nloeteeet,tp I type elements, nilpotent radius, Spectral ea be agba h pcrlrdu ucini otnos n[0 V. [10] In continuous. is function radius spectral the -algebras ( H falcmatoeaosi scniuu.Tu hr arises there Thus continuous. is it operators compact all of ) C ∗ agba h pcrlrdu sacniuu ucinon function continuous a is radius spectral The -algebra. A B A IN SHULMAN TATIANA 2. A 1. snttp I. type not is ( 1 H Preliminaries Introduction 46L05. ⊂ the ) A C Let 2 C ∗ ⊂ 1 agba)tecoueo iptnscontains nilpotents of closure the -algebras) ∗ C agbai o yeI. type not is -algebra . . . A ∗ agbao l one prtr on operators bounded all of -algebra C C = ⊂ ∗ ∗ -algebra agba ihfcso omllimits normal on focus with -algebras A S A C MSCA-RISE-2015-691246-QUANTUM n ∗ agbacnan nelement an contains -algebra ea nutv ii fase- a of limit inductive an be ineCnr rn ne h con- the under grant Centre cience rmteEi odrnResearch Nordgren Eric the from C A C ∗ ∗ agba,projectivity. -algebras, tu.I h eetwork recent the In ctrum. otisa lmn with element an contains agba freapein example (for -algebras e”I a completely was It ce?” C fsuch of ∗ agbai and if -algebra C characterizations s o adt prove to hard not ∗ ease this answer we r B -ALGEBRAS C ( C h lsr of closure the H ∗ agbaand -algebra enilpotent he ∗ ovskii ,i sonly is it ), -algebras. H . 2 TATIANA SHULMAN with injective connecting maps. In [8] the mapping telescope of (An) was defined as the C∗-algebra

T (A)= {f ∈ C0 ((0, ∞], A) | t ≤ n ⇒ f(t) ∈ An}.

Clearly the mapping telescope depends on the sequence (An), but nevertheless we will ∗ use the notation T (A). When each An is ﬁnite-dimensional, the C -algebra A is AF, and T (A) is called an AF-telescope. In particular, we denote by T (M2∞ ) the mapping telescope corresponding to the inductive sequence

M2 ⊂ M4 ⊂ ... ⊂ M2n ⊂ ... ⊂ M2∞ where M2n is identiﬁed with a subalgebra of M2n+1 by the map a 7→ a ⊕ a. Recall that M2∞ is referred to as the CAR algebra ([4]). Recall that a C∗-algebra A is projective ([2], [7]) if for any C∗-algebras B and C with surjective ∗-homomorphism q : B → C, any ∗-homomorphism φ : A → C lifts to a ∗- homomorphism ψ : A → B such that q ◦ ψ = φ. In other words, we have the following commutative diagram.

B ⑦? ψ ⑦ ⑦ q ⑦ A / C φ In [8] Loring and Pedersen proved that AF-telescopes are projective. This fact will be crucial for the proof of Theorem B. Some other applications of projectivity of AF- telescopes can be found in the recent work of Kristin Courtney and the author [3]. 2.2. Type I C∗-algebras. Let H be a Hilbert space. A C∗-algebra A is type I (or, equivalently, GCR) if K(H) ⊆ π(A) for any irreducible representation (π,H) of A. A C∗-algebra D is a subquotient of a C∗-algebra A if there is a C∗-subalgebra B of A and a surjective ∗-homomorphism q : B→D. We will need the following property (in fact a characterization) of non-type I C∗- algebras, which is due to Glimm for separable case [5] and Sakai for the general case [9]. Theorem 1. (Glimm, Sakai) If a C∗-algebra is non-type I, then it has a subquotient isomorphic to the CAR algebra.

3. Proof of Theorems A and B

We start by constructing a sequence of nilpotent elements in the CAR-algebra M2∞ that converges to an element with positive spectral radius. n Let ǫn =1/2 , n ≥ 0. Deﬁne matrices An ∈ M2n as follows: 0 0 A1 = ǫ0 0 0 ǫ0 0 A2 =   ǫ1 0  ǫ0 0      CONTINUITY OF SPECTRAL RADIUS AND TYPE I C∗-ALGEBRAS 3

0 ǫ0 0  ǫ1 0   ǫ0 0  A3 =    ǫ2 0     ǫ0 0     ǫ1 0   ǫ0   0  and so on. In other words, to obtain Ak+1 we take Ak ⊕ Ak and put ǫk in the middle of the first diagonal under the main diagonal. n Then in the first diagonal under the main one An has the first 2 − 1 elements of the so-called ”the abacaba order” sequence

ǫ0, ǫ1, ǫ0, ǫ2, ǫ0, ǫ1, ǫ0, ǫ3,... (1)

(here each second term equals ǫ0, each second of the remaining terms equals ǫ1, and so on) and all the other entries are zeros. Below we will identify matrices from M2n with their images in M2n+1 and in M2∞ . The construction of the sequence of elements of M(2∞) above was inspired by Kaku- tani’s construction of a sequence of nilpotent operators in his remarkable proof of discon- tinuity of spectral radius on B(H) (see [6], Solution 104).

Lemma 2. The sequence An ∈ M2∞ , n ∈ N, converges to some A ∈ M2∞ such that ρ(A) > 0. Proof. We have 0 0 0 ǫ0 0 ǫ0 0 0 0 kA1 − A2k = k   −   k = k   k = ǫ1, 0 ǫ1 0 ǫ1 0  ǫ0 0   ǫ0 0   0 0        0   0    ǫ0 0 ǫ0 0  ǫ1 0   ǫ1 0   ǫ0 0   ǫ0 0  kA2−A3k = k  −  k = ǫ2,  0   ǫ2 0       ǫ0 0   ǫ0 0       ǫ1 0   ǫ1 0       ǫ0 0   ǫ0 0  and, similarly,    kAn − An+1k = ǫn. Hence there is A ∈ M(2∞) such that

An → A. (2)

Let us denote by αi the i-th element of the sequence (1). Then for each n ∈ N 0 α0 0  1  An = α 0 . .  ..     α2n 2 0   −    4 TATIANA SHULMAN

The corresponding basis vectors will be denoted by ei’s. Fix k. Then for any n such that 2n >k we have k Anei = αi+k−2αi+k−3 ...αi−1ei+k, n k n when i ≤ 2 − k and Anei = 0, when i> 2 − k. Hence k kAnk = max |αi+k−2αi+k−3 ...αi−1|. 1≤i≤2n−k Then k 1/k 1/k 1/k kAnk = max |αi+k−2αi+k−3 ...αi−1| ≥|αk−1αk−2 ...α0| (3) 1≤i≤2n−k for any n ∈ N. It was proved by Kakutani [see [6], Solution 104] that 1/k lim inf |αk−1αk−2 ...α0| > 0. (4) k By (2), (3) and (4) k 1/k k 1/k 1/k ρ(A) = lim kA k = lim lim kAnk ≥ lim inf |αk−1αk−2 ...α0| > 0. k k n k

Remark 3. There exist other constructions than the one above, which demonstrate dis- continuity of spectral radius in M(2∞) (see [11]). However the one above is useful for the proof of Theorem B.

Proof of Theorem B. The ”only if” part follows from continuity of spectral radius on type I C∗-algebras [[10], Cor. 9.18]. To prove the ”if” part, assume A is not type I. It will be suﬃcient to construct a sequence of nilpotent elements in A converging to an element with a positive spectral radius. By Theorem 1 there is a C∗-subalgebra B⊆A and a ∞ ∞ ∞ surjective ∗-homomorphism q : B → M(2 ). Let ev∞ : T (M(2 )) → M(2 ) be the evaluation at inﬁnity map.

? _ Ao B f φ q ev∞ M(2∞) o T (M(2∞)) Since AF-telescopes are projective ([8]), there is φ : T (M(2∞)) → B ⊆ A such that

q ◦ φ = ev∞. (5)

Let An’s and A be as in Lemma 2. For each t ∈ [k,k + 1], k ∈ N, let At be the linear path connecting Ak and Ak+1, and for each t ∈ (0, 1] let At be the linear path connecting 0 and A1. Deﬁne fn, n ∈ N, and f by

At, t ∈ [k,k + 1],k ≤ n fn(t)= (An, t ≥ n. and A , t ∈ [k,k + 1] f(t)= t (A, t = ∞.

The functions fn, n ∈ N, are obviously continuous, and since An → A, f is also continuous. ∞ Thus fn and f belong to T (M((2 )). Since all An’s are lower-triangular, so are At, for CONTINUITY OF SPECTRAL RADIUS AND TYPE I C∗-ALGEBRAS 5

n each t ∈ (0, ∞). Hence for each n and for each t, fn(t) is nilpotent of order 2 . Hence for any n ∈ N, fn is nilpotent. Clearly fn → f and by Lemma 2 ρ(f) ≥ ρ(f(∞)) = ρ(A) > 0. (6) Let an = φ(fn), a = φ(f).

Then an → a and each an is nilpotent. By (5), q(a)= f(∞). From this and (6) we obtain ρ(a) ≥ ρ(q(a)) = ρ(f(∞)) > 0.

Proof of Theorem A. The ”if” part was proved in [[10], Cor.9.18]. The ”only if” part follows from Theorem B.

Corollary 4. Let A be a C∗-algebra. The following are equivalent: 1) Each precompact set of A is a point of continuity of the joint spectral radius, 2) A is type I. Proof. 2) ⇒ 1) is proved in [[10], Cor. 10.31]. 1) ⇒ 2) follows from Theorem A.

It would be interesting to characterize the class of C∗-algebras for which the closure of nilpotents contains a normal element. The following is an easy observation. Proposition 5. If the closure of nilpotents in a C∗-algebra A contains a normal element, then A is not residually type I. (By residually type I C∗-algebra we mean a C∗-algebra that has a separating family of ∗-homomorphisms into type I C∗-algebras).

Proof. Suppose N ∈A is normal, an ∈A are nilpotents and an → N. Then, by Theorem A (in fact by its ”if” part which is proved in [10]), for any ∗-homomorphism ρ to a type I C∗-algebra, ρ(N) is quasinilpotent. Since it is also normal, we conclude that ρ(N) = 0.

References [1] C. Apostol, C. Foias, D. Voiculescu, On the norm-closure of nilpotents. II, Rev. Roumaim Math. Pures Appl. 19(1974), 549 - 577. [2] B. Blackadar, Shape theory for C*-algebras; Math. Scand. (1985) Vol. 56: 249-275. [3] K. Courtney and T. Shulman, Elements of C∗-algebras attaining their norm in a ﬁnite-dimensional representation, preprint. [4] K. Davidson, C*-algebras by example, Fields Institute Monograph 6, AMS, 1996. [5] J. Glimm, Type I C∗-algebras, Ann. Math. 73(1961), 572 – 612. [6] P. Halmos, Hilbert space in problems, 2nd edition, Published by Springer-Verlag, New York Heidel- berg Berlin, 1982. [7] T. Loring, Lifting solutions to perturbing problems in C∗-algebras, volume 8 of Fields Institute Monographs, American Mathematical Society, Providence, RI, 1997. [8] T. Loring and G. K. Pedersen, Projectivity, transitivity and AF-telescopes, Trans. Amer. Math. Soc., Volume 350, Number 11 (1998), p. 4313 - 4339. [9] S. Sakai, A characterisation of type I C∗-algebras, Bull. Amer. Math. Soc. 72(1966), 508 – 512. [10] V. S. Shulman and Yu. V. Turovskii, Topological radicals, V. From algebra to spectral theory. Alge- braic methods in functional analysis, 171 - 280, Oper. Theory Adv. Appl., 233, Birkhuser/Springer, Basel, 2014. [11] P. Skoufranis, Normal limits of nilpotent operators in C∗-algebras. J. Operator Theory 72 (2014), no. 1, 135 - 158. 6 TATIANA SHULMAN

[12] D.A. Herrero, Approximation of Hilbert Space Operators. Vol. 1, Res. Notes Math., vol. 72, Pitman (Adv. Publ. Program), Boston, MA 1982.

Department of Mathematical Physics and Differential Geometry, Institute of Math- ematics of Polish Academy of Sciences, Warsaw