Dual Pairs of Hopf *-Algebras

If A is a Hopf *-algebra, the dual space A' is again a *-algebra.There is a natural subalgebra A° of A' that is again a Hopf*-algebra. In many interesting examples, A° will be largeenough (to separate points of A). More generally, one can considera pair (A, B) of Hopf *-algebras and a bilinear form on A xB with conditions such that, if the pairing is non-degenerate,one algebra can be considered as a subalgebra of the dual ofthe other. In these notes, we study such pairs of Hopf *-algebras. We startfrom the notion of a Hopf *-algebra A and its reduced dual A°.We give examples of pairs of Hopf *-algebras, and discuss theproblem of non-degeneracy. The first example is an algebra pairedwith itself. The second example is the pairing of a Hopf *-algebra(due to Jimbo) and the twisted SU(n) of Woronowicz. We alsodiscuss the notion of the quantum double of Drinfeld in thisframework of dual pairs.     

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.     

Continuous Bundles of C*-Algebras with Discontinuous Tensor Products

For each non-exact C*-algebra A and infinite compact Hausdorffspace X there exists a continuous bundle B of C*-algebras onX such that the minimal tensor product bundle AB is discontinuous.The bundle B can be chosen to be unital with constant simplefibre. When X is metrizable, B can also be chosen to be separable.As a corollary, a C*-algebra A is exact if and only if A Bis continuous for all unital continuous C*-bundles B on a giveninfinite compact Hausdorff base space. The key to proving theseresults is showing that for a non-exact C*-algebra A there existsa separable unital continuous C*-bundle B on [0,1] such thatA B is continuous on [0,1] and discontinuous at 1, a counter-intuitiveresult. For a non-exact C*-algebra A and separable C*-bundleB on [0,1], the set of points of discontinuity of A B in [0,1]can be of positive Lebesgue measure, and even of measure 1.2000 Mathematics Subject Classification 46L06 (primary), 46L35(secondary).     

Analytic Rank of Graph Algebras and Quantum Spaces

We show that the analytic rank, as defined by Murphy, of a unitalgraph C*-algebra is either 1 or 0, depending on whether or notthe underlying graph possesses an initial loop. As a corollary,we show that the analytic rank of certain quantum spaces (includingsome quantum spheres, projective spaces and lens spaces) is1. 2000 Mathematics Subject Classification 46L05, 46L65, 46L87.     

On tracial approximation

Let C be a class of unital C*-algebras. The class TAC of C*-algebras which can be tracially approximated (in the Egorov-like sense first considered by Lin) by the C*-algebras in C is studied (Lin considered the case that C consists of finite-dimensional C*-algebras or the tensor products of such with C([0,1])). In particular, the question is considered whether, for any simple separable A∈TAC, there is a C*-algebra B which is a simple inductive limit of certain basic homogeneous C*-algebras together with C*-algebras in C, such that the Elliott invariant of A is isomorphic to the Elliott invariant of B. An interesting case of this question is answered. In the final part of the paper, the question is also considered which properties of C*-algebras are inherited by tracial approximation. (Results of this kind are obtained which are used in the proof of the main theorem of the paper, and also in the proof of the classification theorem of the second author given in [Z. Niu, A classification of tracially approximately splitting tree algebra, in preparation] and [Z. Niu, A classification of certain tracially approximately subhomogeneous C*-algebras, PhD thesis, University of Toronto, 2005]—which also uses the main result of the present paper.)     

Examples of different minimal diffeomorphisms giving the same C*-algebras

We give examples of minimal diffeomorphisms of compact connected manifolds which are not topologically orbit equivalent, but whose transformation group C*-algebras are isomorphic. The examples show that the following properties of a minimal diffeomorphism are not invariants of the transformation group C*-algebra: having topologically quasidiscrete spectrum; the action on singular cohomology (when the manifolds are diffeomorphic); the homotopy type of the manifold (when the manifolds have the same dimension); and the dimension of the manifold. These examples also give examples of nonconjugate isomorphic Cartan subalgebras, and of nonisomorphic Cartan subalgebras, of simple separable nuclear unital C*-algebras with tracial rank zero and satisfying the Universal Coefficient Theorem. The research was partially supported by the NSF grants DMS 9706850, DMS 0070776, DMS 0302401, and by the MSRI.     

On {sigma}-Normal C*-Algebras

A C*-algebra A is said to be monotone (respectively monotone-) complete if every increasing net (respectively increasingsequence) of elements in the ordered space A_h of all hermitianelements of A has a supremum in A_h. It is straightforward toverify that every monotone complete C*-algebra is an AW*-algebra.For type I AW*-algebras, the converse is known to be true. However,for general AW*-algebras, this question is still open, althoughan impressive attack on the problem was made by E. Christensenand G. K. Pedersen, who showed that properly infinite AW*-algebrasare monotone -complete [4]. 1991 Mathematics Subject Classification46L05, 46L06.     

迹稳定秩一的C~*-代数

本文引入了一类迹稳定秩一的C*-代数,证明了迹稳定秩一的C*-代数与AF-代数的张量积是迹稳定秩一的,得到了一个可分的单的有单位元的迹稳定秩一的,并且具有SP性质的C*-代数是稳定秩一的.同时,还讨论了迹稳定秩一的C*-代数的K-群的某些性质.     

C*-Algebras Characterized by Ergodic Actions of the n-Torus

Using basic harmonic analysis on the n-torus, it is shown thatthe non-commutative n-tori are the only primitive C*-algebras(up to isomorphism) on which the n-torus Tⁿ acts freely andergodically. An explicit construction recovers the generatingunitaries in a natural way from the action. 2000 MathematicsSubject Classification 46L55.     

Tracial Limit of C^＊-algebras

A new limit of C^*-algebras, the tracial limit, is introduced in this paper. We show that a separable simple C^*-algebra A is a tracial limit of C^*-algebras in Z-(k) if and only if A has tracial topological rank no more than k. We present several known results using the notion of tracial limits.     

From Trace States to States on the K0 Group of a Simple C*-Algebra

It is shown that any continuous affine surjection from a metrizableChoquet simplex onto a compact convex set occurs as the restrictionmap from the tracial state space onto the state space of theK₀ group of a separable unital simple C^*-algebra which is theinductive limit of a sequence of subhomogeneous C^*-algebras     

On topologically finite-dimensional simple <Emphasis Type="Italic">C</Emphasis>*-algebras

We show that, if a simple C*-algebra A is topologically finite-dimensional in a suitable sense, then not only K₀(A) has certain good properties, but A is even accessible to Elliott’s classification program. More precisely, we prove the following results:If A is simple, separable and unital with finite decomposition rank and real rank zero, then K₀(A) is weakly unperforated.If A has finite decomposition rank, real rank zero and the space of extremal tracial states is compact and zero-dimensional, then A has stable rank one and tracial rank zero. As a consequence, if B is another such algebra, and if A and B have isomorphic Elliott invariants and satisfy the Universal coefficients theorem, then they are isomorphic.In the case where A has finite decomposition rank and the space of extremal tracial states is compact and zero-dimensional, we also give a criterion (in terms of the ordered K₀-group) for A to have real rank zero. As a byproduct, we show that there are examples of simple, stably finite and quasidiagonal C*-algebras with infinite decomposition rank.Supported by: EU-Network Quantum Spaces - Noncommutative Geometry (Contract No. HPRN-CT-2002-00280) and Deutsche Forschungsgemeinschaft (SFB 478).     

Strength of convergence and multiplicities in the spectrum of a C*-dynamical system

We consider separable C*-dynamical systems (A, G,) for whichthe induced action of the group G on the primitive ideal spacePrim A of the C*-algebra A is free. We study how the representationtheory of the associated crossed product C*-algebra A G dependson the representation theory of A and the properties of theaction of G on Prim A and the spectrum Â. Our main toolsinvolve computations of upper and lower bounds on multiplicitynumbers associated to irreducible representations of A G. Weapply our techniques to give necessary and sufficient conditions,in terms of A and the action of G, for AG to be (i) a continuous-traceC*-algebra, (ii) a Fell C*-algebra and (iii) a bounded-traceC*-algebra. When G is amenable, we also give necessary and sufficientconditions for the crossed product C*-algebra AG to be (iv)a liminal C*-algebra and (v) a Type I C*-algebra. The resultsin (i), (iii)–(v) extend some earlier special cases inwhich A was assumed to have the corresponding property.     

Continuous fields of C*-algebras over finite dimensional spaces

Let X be a finite dimensional compact metrizable space. We study a technique which employs semiprojectivity as a tool to produce approximations of C(X)-algebras by C(X)-subalgebras with controlled complexity. The following applications are given. All unital separable continuous fields of C*-algebras over X with fibers isomorphic to a fixed Cuntz algebra On, n∈{2,3,…,∞}, are locally trivial. They are trivial if n=2 or n=∞. For n?3 finite, such a field is trivial if and only if (n−1)[A₁]=0 in K₀(A), where A is the C*-algebra of continuous sections of the field. We give a complete list of the Kirchberg algebras D satisfying the UCT and having finitely generated K-theory groups for which every unital separable continuous field over X with fibers isomorphic to D is automatically locally trivial or trivial. In a more general context, we show that a separable unital continuous field over X with fibers isomorphic to a KK-semiprojective Kirchberg C*-algebra is trivial if and only if it satisfies a K-theoretical Fell type condition.     

Asymptotic representations of the reduced C*-algebra of a free group: an example

We give an example of a non-trivial asymptotic representationof the reduced C*-algebra of a free group. This example allowsus to evaluate the asymptotic tensor C*-norm of some elementsin tensor product C*-algebras and to show semi-invertibilityof the non-invertible extension of C*_r(₂) considered by Haagerupand Thorbjørnsen.     

Twisted Partial Actions: A Classification of Regular C*-Algebraic Bundles

We introduce the notion of continuous twisted partial actionsof a locally compact group on a C*-algebra. With such, we constructan associated C*-algebraic bundle called the semidirect productbundle. Our main theorem shows that, given any C*-algebraicbundle which is second countable and which satisfies a certainregularity condition (automatically satisfied if the unit fibrealgebra is stable), there is a continuous twisted partial actionof the base group on the unit fibre algebra, whose associatedsemidirect product bundle is isomorphic to the given one. 1991Mathematics Subject Classification: 46L05, 46L40, 46L55.     

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).     

ORTHOGONALLY ADDITIVE POLYNOMIALS ON C*-ALGEBRAS

We show that for every orthogonally additive scalar n-homogeneouspolynomial P on a C*-algebra A there exists in A* satisfyingP(x)= (xⁿ), for each element x in A. The vector-valued analoguefollows as a corollary.