Complete positivity,tensor products and C*-nuclearity for inverse limits of C*-algebras

The paper aims at developing a theory of nuclear (in the topological algebraic sense) pro-C^*-algebras (which are inverse limits of C^*-algebras) by investigating completely positive maps and tensor products. By using the structure of matrix algebras over a pro-C^*-algebra, it is shown that a unital continuous linear map between pro-C^*-algebrasA andB is completely positive iff by restriction, it defines a completely positive map between the C^*-algebrasb(A) andb(B) consisting of all bounded elements ofA andB. In the metrizable case,A andB are homeomorphically isomorphic iff they are matricially order isomorphic. The injective pro-C^*-topology α and the projective pro-C^*-topology v on A⊗B are shown to be minimal and maximal pro-C^*-topologies; and α coincides with the topology of biequicontinous convergence iff eitherA orB is abelian. A nuclear pro-C^*-algebraA is one that satisfies, for any pro-C^*-algebra (or a C^*-algebra)B, any of the equivalent requirements; (i) α =v onA ⊗B (ii)A is inverse limit of nuclear C^*-algebras (iii) there is only one admissible pro-C^*-topologyon A⊗B (iv) the bounded partb(A) ofA is a nuclear C⊗-algebra (v) any continuous complete state map A→B^* can be approximated in simple weak^* convergence by certain finite rank complete state maps. This is used to investigate permanence properties of nuclear pro-C^*-algebras pertaining to subalgebras, quotients and projective and inductive limits. A nuclearity criterion for multiplier algebras (in particular, the multiplier algebra of Pedersen ideal of a C^*-algebra) is developed and the connection of this C^*-algebraic nuclearity with Grothendieck’s linear topological nuclearity is examined. A σ-C^*-algebraA is a nuclear space iff it is an inverse limit of finite dimensional C^*-algebras; and if abelian, thenA is isomorphic to the algebra (pointwise operations) of all scalar sequences.     

Extension algebras of Cuntz algebra

In this paper, we construct representatives for all equivalence classes of the unital essential extension algebras of Cuntz algebra by the C^*-algebras of compact operators on a separable infinite-dimensional Hilbert space. We also compute their K-groups and semigroups and classify these extension algebras up to isomorphism by their semigroups.     

Spectral invariance of smooth crossed products, and rapid decay locally compact groups

We show that all rapid-decay locally compact groups are unimodular and that the set of rapid-decay functions on a locally compact rapidly decaying group forms a dense and spectral invariant Fréchet *-subalgebra of the reduced group C ^*-algebra. In general, the set of rapid-decay functions on a locally compact strongly rapid-decay group with values in a commutative C ^*-algebra forms a dense and spectral invariant Fréchet *-subalgebra of the twisted crossed product C ^*-algebra. The spectral invariance property implies that the K-theories of both algebras are naturally isomorphic under inclusion.This project is supported in part by the National Science Foundation Grant #DMS 92-04005.     

Kaplansky Density and Kadison Transitivity Theorems for Irreducible Representations of Real C＊-Algebras

We prove analogs of the Kaplansky Density Theorem and the Kadison Transitivity Theorem for irreducible representations of a real C＊-algebra on a real Hilbert space. Specifically, if a C＊-algebra is acting irreducibly on a real Hilbert space, then the Hilbert space has either a real, complex, or quaternionic structure with respect to which the density and transitivity theorems hold.     

Classification of extensions of classifiable -algebras

For a certain class of extensions of C^*-algebras in which B and A belong to classifiable classes of C^*-algebras, we show that the functor which sends to its associated six term exact sequence in K-theory and the positive cones of K₀(B) and K₀(A) is a classification functor. We give two independent applications addressing the classification of a class of C^*-algebras arising from substitutional shift spaces on one hand and of graph algebras on the other. The former application leads to the answer of a question of Carlsen and the first named author concerning the completeness of stabilized Matsumoto algebras as an invariant of flow equivalence. The latter leads to the first classification result for nonsimple graph C^*-algebras.     

On the Homotopy Type of the Unitary Group and the Grassmann Space of Purely Infinite Simple C*-Algebras

We completely determine the homotopy groups _n (.) of the unitary group and the space of projections of purely infinite simple C ^*-algebras in terms of K-theory. We also prove that the unitary group of a purely infinite simple C ^*-algebra A is a contractible topological space if and only if K0(A) = K1(A) = {0}, and again if and only if the unitary group of the associated generalized Calkin algebra L(HA) / K(HA) is contractible. The well-known Kuiper's theorem is extended to a new class of C ^*-algebras.     

NonstableK-Theory for operator algebras

We show that the homotopy groups of the group of quasi-unitaries inC ^*-algebras form a homology theory on the category of allC ^*-algebras which becomes topologicalK-theory when stabilized. We then show how this functorial setting, in particular the half-exactness of the involved functors, helps to calculate the homotopy groups of the group of unitaries in a series ofC ^*-algebras. The calculations include the case of all AbelianC ^*-algebras and allC ^*-algebras of the formAB, whereA is one of the Cuntz algebras O_n n=2, 3, ..., an infinite dimensional simpleAF-algebra, the stable multiplier or corona algebra of a-unitalC ^*-algebra, a properly infinite von Neumann algebra, or one of the projectionless simpleC ^*-algebras constructed by Blackadar.     

Embedding an AH-Algebra into a Simple C*-Algebra with Prescribed KK-Data

Let X be a connected finite CW complex. We show that, given a positive homomorphism Hom(K _*(C(X)), K _*(A)) with [1 _C(X)][1 _A ], where A is a unital separable simple C ^*-algebra with real rank zero, stable rank one and weakly unperforated K ₀(A), there exists a homomorphism h: C(X)A such that h induces . We also prove a structure result for unital separable simple C ^*-algebras A with real rank zero, stable rank one and weakly unperforated K ₀(A), namely, there exists a simple AH-algebra of real rank zero contained in A which determines the K-theory of A.     

K-theory for rickart C*-algebras

We give an explicit index map for any properly infinite closed ideal of a Rickart C ^*-algebra. This generalizes Olsen's work on von Neumann algebras. We use our results to compute the topological and the algebraic K ₁-groups of any quotient algebra of a Rickart C ^*-algebra.     

TheK-theory of AF embeddings of the rational rotation algebras

Our main result is the construction of an embedding ofC(T²) into an approximately finite-dimensionalC ^*-algebra which induces an injection onK ₀(C(T²)). The existence of this embedding implies that Cech cohomology cannot be extended to a stable, continuous homology theory forC ^*-algebras which admits a well-behaved Chern character. Homotopy properties ofC ^*-algebras are also considered. For example, we show that the second homotopy functor forC ^*-algebras is discontinuous. Similar embeddings are constructed for all the rational rotation algebras, with the consequence that none of the rational rotation algebras satisfies the homotopy property called semiprojectivity.     

On C *-Extreme Maps and *-Homomorphisms of a Commutative C *-Algebra

The generalized state space of a commutative C^*-algebra, denoted , is the set of positive unital maps from C(X) to the algebra of bounded linear operators on a Hilbert space . C^*-convexity is one of several non-commutative analogs of convexity which have been discussed in this context. In this paper we show that a C^*-extreme point of satisfies a certain spectral condition on the operators in the range of the associated positive operator-valued measure. This result enables us to show that C^*-extreme maps from C(X) into , the algebra generated by the compact and scalar operators, are multiplicative. This generalizes a result of D. Farenick and P. Morenz. We then determine the structure of these maps. This paper constitutes a part of the author’s Ph.D. thesis at the University of Nebraska-Lincoln.     

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.     

Gromov's translation algebras, growth and amenability of operator algebras

Translation algebras of finitely generated *-algebras of bounded linear operators on a separable Hilbert space are introduced. Two equivalent forms of amenability for finitely generated *-algebras in terms of the existence of Følner sequences are introduced. These are related to the existence of traces on the associated translation algebra and, in the context of C^*-algebras, are related to weak-filterability and to the existence of hypertraces.     

Abelian real W*-algebras

In this paper, we point out that most results on abelian (complex)W ^*-algebras hold in the real case. Of course, there are differences in homeomorphisms of period 2. Moreover, an abelian real Von Neumann algebra not containing any minimal projection on a separable real Hilbert space is * isomorphic toL _τ ^∞ ([0, 1]) (all real functions inL ^∞([0, 1])), orL ^∞([0, 1]) (as a realW ^*-algebra), orL _τ ^∞ ([0, 1]) ⋇L ^∞ ([0, 1]) (as a realW ^*-algebra), and it is different from the complex case. Partially supported by the NNSF     

Enveloping Σ-C *-algebra of a smooth Frechet algebra crossed product by ℝ,K-theory and differential structure inC *-algebras

Given anm-tempered strongly continuous action α of ℝ by continuous^*-automorphisms of a Frechet^*-algebraA, it is shown that the enveloping ↡-C ^*-algebraE(S(ℝ, A^∞, α)) of the smooth Schwartz crossed productS(ℝ,A ^∞, α) of the Frechet algebra A^∞ of C^∞-elements ofA is isomorphic to the Σ-C ^*-crossed productC ^*(ℝ,E(A), α) of the enveloping Σ-C ^*-algebraE(A) ofA by the induced action. WhenA is a hermitianQ-algebra, one getsK-theory isomorphismRK _*(S(ℝ, A^∞, α)) =K ^*(C ^*(ℝ,E(A), α) for the representableK-theory of Frechet algebras. An application to the differential structure of aC ^*-algebra defined by densely defined differential seminorms is given.     

Tensor Products of Hilbert Modules Over Locally <Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Algebras

In this paper the tensor products of Hilbert modules over locally C ^*-algebras are defined and their properties are studied. Thus we show that most of the basic properties of the tensor products of Hilbert C ^*-modules are also valid in the context of Hilbert modules over locally C ^*-algebras.     

Mapping Surgery to Analysis I: Analytic Signatures

We develop the theory of analytically controlled Poincaré complexes over C ^*-algebras. We associate a signature in C ^*-algebra K-theory to such a complex, and we show that it is invariant under bordism and homotopy. The authors were supported in part by NSF Grant DMS-0100464.