Hopf C*-Algebras

In this paper we define and study Hopf C^*-algebras. Roughlyspeaking, a Hopf C^*-algebra is a C^*-algebra A with a comultiplication: A M(A A) such that the maps a b (a)(1 b) and a (a 1)(b)have their range in A A and are injective after being extendedto a larger natural domain, the Haagerup tensor product A _hA. In a purely algebraic setting, these conditions on are closelyrelated to the existence of a counit and antipode. In this topologicalcontext, things turn out to be much more subtle, but neverthelessone can show the existence of a suitable counit and antipodeunder these conditions. The basic example is the C^*-algebra C₀(G) of continuous complexfunctions tending to zero at infinity on a locally compact groupwhere the comultiplication is obtained by dualizing the groupmultiplication. But also the reduced group C^*-algebra of a locally compact group with thewell-known comultiplication falls in this category. In factall locally compact quantum groups in the sense of Kustermansand the first author (such as the compact and discrete ones)as well as most of the known examples are included. This theory differs from other similar approaches in that thereis no Haar measure assumed. 2000 Mathematics Subject Classification: 46L65, 46L07, 46L89.     

C*-Bundles for Certain Liminal C*-Algebras

It is shown that certain liminal C*-algebras whose limit sets in their primitive ideal space are discrete can be described as algebras of continuous sections of a C*-bundle associated with them. Their multiplier algebras are also described in a similar manner. The class of C*-algebras under discussion includes all the liminal C*-algebras with Hausdorff primitive ideal spaces but also many other liminal algebras. A large sub-class of examples is examined in detail.      

Infinitesimal Generators of C *-Algebras

We develop the method introduced previously, to construct infinitesimal generators on locally compact group C ^*-algebras and on tensor product of C ^*-algebras. It is shown in particular that there is a C ^* -algebra A such that the C ^*-tensor product of A and an arbitrary C ^*-algebra B can have a non-approximately inner strongly one parameter group of ^*-automorphisms.     

Asymptotic Homomorphisms of C *-Algebras and C *-Extensions

We present a brief introduction to two theories in the category of C ^*-algebras—theory of asymptotic homomorphisms and theory of extensions—and explain how these theories are related to each other.     

Bivariant K-Theories for C*-Algebras

A new framework for bivariant K-theory is developed. Various types of homology-cohomology theories are discussed. Our techniques can be used for producing natural elements in E-theory out of continuous fields with non-isomorphic fibers. An alternative definition for the Kasparov product in E-theory is proposed.     

C*-Algebras and Controlled Topology

We describe some aspects of the relationship between the controlled topology and C*-algebra approaches to the Novikov conjecture.     

Hilbert C*-Modules over Monotone Complete C*-Algebras

The aim of the present paper is to describe self-duality and C*-reflexivity of Hilbert A-modules ?? over monotone complete C*-algebras A by the completeness of the unit ball of ?? with respect to two types of convergence being defined, and by a structural criterion. The derived results generalize earlier results ofH. Widom [Duke Math. J. 23, 309-324, MR 17 # 1228] and W. L. Paschke [Trans. Amer. Mat. Soc. 182 , 443-468, MR 50 # 8087, Canadian J. Math. 26, 1272-1280, MR 57 # 10433]. For Hilbert C*-modules over commutative AW*-algebras the equivalence of the self-duality property and of the Kaplansky-Hilbert property is reproved, (cf. M. Ozawa [J. Math. Soc. Japan 36, 589-609, MR 85 # 46068]). Especially, one derives that for a C*-algebra A the A-valued inner product of every Hilbert A-module ?? can be continued to an A-valued inner product on it's A-dual Banach A-module ??' turning ??' to a self-dual Hilbert A-module if and only if A is monotone complete (or, equivalently, additively complete) generalizing a result of M. Hamana [Internat. J. Math. 3 (1992), 185 - 204]. A classification of countably generated self-dual Hilbert A-modules over monotone complete C*-algebras A is established. The set of all bounded module operators End ′(??) on self-dual Hilbert A-modules ?? over monotone complete C*-algebras A is proved again to be a monotone complete C*-algebra. Applying these results a Weyl-Berg type theorem is proved.     

Spectral Properties of Abelian C*-Algebras

Let be an Abelian unital C ^*-algebra and let denote its Gelfand spectrum. We give some necessary and sufficient conditions for a nondegenerate representation of to be unitarily equivalent to a representation in which the elements of act multiplicatively, by their Gelfand transforms, on a space L ²( ,), where is a positive measure on the Baire sets of . We also compare these conditions with the multiplicity-free property of a representation.     

Decomposition Rank of Subhomogeneous C*-Algebras

We analyze the decomposition rank (a notion of covering dimensionfor nuclear C*-algebras introduced by E. Kirchberg and the author)of subhomogeneous C*-algebras. In particular, we show that asubhomogeneous C*-algebra has decomposition rank n if and onlyif it is recursive subhomogeneous of topological dimension n,and that n is determined by the primitive ideal space. As an application, we use recent results of Q. Lin and N. C.Phillips to show the following. Let A be the crossed productC*-algebra coming from a compact smooth manifold and a minimaldiffeomorphism. Then the decomposition rank of A is dominatedby the covering dimension of the underlying manifold. 2000 MathematicsSubject Classification 46L85, 46L35.     

C*-代数的迹迹秩

引入C*-代数迹迹秩的概念,讨论它的基本性质.另外,迹迹秩为零和迹拓扑秩为零的C*-代数等价,同时讨论这类代数的拟对角扩张性质.设0→I→ A→A/I→0是拟对角扩张的短正合列,证明如果TTR(I)≤k且TTR(A/I)=0,则TTR(A)≤k.     

On the Unital C*-Algebras Generated by Certain Subnormal Tuples

We consider an important class of subnormal operator m-tuples M _p (p = m,m + 1, . . .) that is associated with a class of reproducing kernel Hilbert spaces H_p{{\mathcal H}_p} (with M _m being the multiplication tuple on the Hardy space of the open unit ball \mathbb B^2m{{\mathbb B}^{2m}} in \mathbb C^m{{\mathbb C}^m} and M _m+1 being the multiplication tuple on the Bergman space of \mathbb B^2m{{\mathbb B}^{2m}}). Given any two C*-algebras A{\mathcal A} and B{\mathcal B} from the collection {C^*(M_p), C^*([(M)\tilde]_p): p 3 m}{\{C^*({M}_p), C^*({\tilde M}_p): p \geq m\}} , where C*(M _p ) is the unital C*-algebra generated by M _p and C^*([(M)\tilde]_p){C^*({\tilde M}_p)} the unital C*-algebra generated by the dual [(M)\tilde]_p{{\tilde M}_p} of M _p , we verify that A{\mathcal A} and B{\mathcal B} are either *-isomorphic or that there is no homotopy equivalence between A{\mathcal A} and B{\mathcal B} . For example, while C*(M _m ) and C*(M _m+1) are well-known to be *-isomorphic, we find that C^*([(M)\tilde]_m){C^*({\tilde M}_m)} and C^*([(M)\tilde]_m+1){C^*({\tilde M}_{m+1})} are not even homotopy equivalent; on the other hand, C*(M _m ) and C^*([(M)\tilde]_m){C^*({\tilde M}_{m})} are indeed *-isomorphic. Our arguments rely on the BDF-theory and K-theory.     

Morita Equivalence for Locally C*-Algebras

The concept of Morita equivalence is generalized to the contextof locally C^*-algebras. This generalizes a well-known theoremof Brown, Green and Rieffel, Pacific J. Math. 71 (1977) 349–363.2000 Mathematics Subject Classification 46L08, 46L05.     

On C*-Algebras from Interval Maps

Given a unimodal interval map f, we construct partial isometries acting on Hilbert spaces associated to the orbit of each point. Then we prove that such partial isometries give rise to representations of a C*-algebra associated to the subshift encoding the kneading sequence of the critical point. This construction has the advantage of incorporating maps with a non necessarily Markov partition (e.g. Fibonacci unimodal map). If we are indeed in the presence of a finite Markov partition, then we prove that these new representations coincide with the (previously considered by the authors) representations arising from the Cuntz–Krieger algebra of the underlying (finite) transition matrix.     

C*-Algebras with Dense Nilpotent Subalgebras

In a beautiful result, Herrero (D. A. Herrero, ‘Normallimits of nilpotent operators’, Indiana Univ. Math. J.23 (1973/74) 1097–1108) showed that a normal operatoron l² lies in the closure of the set of nilpotent operatorsif and only if its spectrum is connected and contains zero.In the quest for an automatic continuity result for algebrahomomorphisms between C* -algebras, Dales showed that, if adiscontinuous algebra homomorphism : A u exists between C*-algebrasA and u, and if (A) is dense in u, then there is a C*-algebrau₂ with a dense subalgebra N u² such that every x N is quasinilpotent(see p. 685 of H. G. Dales, Banach algebras and automatic continuity,London Mathematical Society Monographs 24, Oxford UniversityPress, 2001). (A discontinuous homomorphism ₂: A₂ u₂ can bedefined with the same basic properties as , but the revisedtarget space u₂ has a dense subalgebra consisting of quasinilpotentelements.) As remarked by Dales, no such C*-algebra was thenknown; but here we present one. Indeed, using the full powerof Herrero's result, one may arrange that every x N is nilpotent.The C*-algebra is constructed in a ‘neat’ way; itis most naturally constructed as a non-separable, concrete C*-algebraof operators on a separable Hilbert space K but one can arrangethat the algebra u itself be separable if desired. 2000 MathematicsSubject Classification 47C15, 46H40 (primary), 47A10, 46L06,46L05, 46H35 (secondary).     

The Tracial Topological Rank of C*-Algebras

We introduce the notion of tracial topological rank for C*-algebras.In the commutative case, this notion coincides with the coveringdimension. Inductive limits of C*-algebrasof the form PM_n(C(X))P,where X is a compact metric space with dim X k, and P is aprojection in M_n(C(X)), have tracial topological rank no morethan k. Non-nuclear C*-algebras can have small tracial topologicalrank. It is shown that if A is a simple unital C*-algebra withtracial topological rank k (< ), then

(i) A is quasidiagonal,

(ii) A has stable rank 1,

(iii) A has weakly unperforatedK₀(A),

(iv) A has the following Fundamental Comparabilityof Blackadar:if p, q A are two projections with (p) < (q)for all tracialstates on A, then p q

. 2000 MathematicsSubject Classification: 46L05, 46L35.     

On Quantales and Spectra of C*-Algebras

We study properties of the quantale spectrum MaxA of an arbitrary unital C^*-algebra A. In particular we show that the spatialization of MaxA with respect to one of the notions of spatiality in the literature yields the locale of closed ideals of A when A is commutative. We study under general conditions functors with this property, in addition requiring that colimits be preserved, and we conclude in this case that the spectrum of A necessarily coincides with the locale of closed ideals of the commutative reflection of A. Finally, we address functorial properties of Max, namely studying (non-)preservation of limits and colimits. Although Max is not an equivalence of categories, therefore not providing a direct generalization of Gelfand duality to the noncommutative case, it is a faithful complete invariant of unital C^*-algebras.     

Picard Groups of Irrational Rotation C*-Algebras

Let be an irrational number in [0, 1] and A the correspondingirrational rotation C*-algebra. Let Aut (A) be the group ofall automorphisms of A and Int (A) the normal subgroup of Aut(A) of all inner automorphisms of A. Let Pic (A) be the Picardgroup of A. In the present note we shall show that if is notquadratic, then Pic (A)Aut (A)/Int (A) and that if is quadratic,then Pic (A) is isomorphic to a semidirect product of Aut (A)/Int(A) with Z. Furthermore, in the last section we shall discussPicard groups of certain Cuntz algebras.     

Unbounded C*-Seminorms and Biweights on Partial *-Algebras

Unbounded C*-seminorms generated by families of biweights on a partial *-algebra are considered and the admissibility of biweights is characterized in terms of unbounded C*-seminorms they generate. Furthermore, it is shown that, under suitable assumptions, when the family of biweights consists of all those ones which are relatively bounded with respect to a given C*-seminorm q, it can be obtained an expression for q analogous to that one which holds true for the norm of a C*-algebra.