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.     

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.     

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.     

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.     

The Atiyah-Segal completion theorem for C*-algebras

We generalize the Atiyah-Segal completion theorem to C ^*-algebras as follows. Let A be a C ^*-algebra with a continuous action of the compact Lie group G. If K _* ^G (A) is finitely generated as an R(G)-module, or under other suitable restrictions, then the I(G)-adic completion K _* ^G (A) is isomorphic to RK _*([A C(EG)]^G), where RK _* is representable K-theory for - C ^*-algebras and EG is a classifying space for G. As a corollary, we show that if and are homotopic actions of G, and if K _*(C ^* (G,A,)) and K _*(C ^* (G,A,)) are finitely generated, then K _*(C ^*(G,A,))K_*(C ^* (G,A,)). We give examples to show that this isomorphism fails without the completions. However, we prove that this isomorphism does hold without the completions if the homotopy is required to be norm continuous.This work was partially supported by an NSF Graduate Fellowship and by an NSF Postdoctoral Fellowship.     

Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.     

Relative K-homology and K-homology of an ideal

We provide a straightforward proof of one of the main results of the Baum-Douglas K-homology theory: If A is a separable nuclear C ^*-algebra and I an ideal of A, then the natural restriction map K ⁰(A, I) K ⁰(I) is an isomorphism of Abelian groups.     

On Representations Associated with Completely n-Positive Linear Maps on Pro-C^＊-Algebras

It is shown that an n × n matrix of continuous linear maps from a pro-C^＊-algebra A to L（H）, which verifies the condition of complete positivity, is of the form [V^＊TijФ（·）V]^n i,where Ф is a representation of A on a Hilbert space K, V is a bounded linear operator from H to K, and j=1,[Tij]^n i,j=1 is a positive element in the C^＊-algebra of all n×n matrices over the commutant of Ф（A） in L（K）. This generalizes a result of C. Y.Suen in Proc. Amer. Math. Soc., 112（3）, 1991, 709-712. Also, a covariant version of this construction is given.     

Rieffel projections in certain transformation group C*-algebras

LetA be the transformation groupC ^*-algebra associated with an arbitrary orientation-preserving homeomorphism of . ThisC ^*-algebra contains an infinite family of projections, called Rieffel projections, each of which generates theK ₀-groupK ₀(A). Although these projections must beK-theoretically equivalent, it is easy to see that most are not Murray-von Neumann equivalent. The mystery of how large the matrix algebra must be to implement theK-theory equivalence, is solved by explicitly constructing the equivalence in the smallest possible algebra:A with unit adjoined.Partially supported by NSF Grant DMS 8901923.     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

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.     

Semi-Invertible Extensions and Asymptotic Homomorphisms

We consider the semi-group Ext(A, B) of extensions of a separable C ^*-algebra A by a stable C ^*-algebra B modulo unitary equivalence and modulo asymptotically split extensions. This semi-group contains the group Ext^–1/2(A, B) of invertible elements (i.e. of semi-invertible extensions). We show that the functor Ext^–1/2(A, B) is homotopy invariant and that it coincides with the functor of homotopy classes of asymptotic homomorphisms from C A to M(B) that map S A C( ) A into B.     

Quasi-Orthogonalization of Functionals on l2(A)

We study the properties K and E of C ^*-algebra A. These conditions are formulated in the terms of C ^*-Hilbert modules over algebra A and extend the definition of stable rank for any cardinality.     

Algebras almost commuting with Clifford algebras in a II∞ factor

We are concerned here with certain Banach algebras of operators contained within a fixed II factor N. These algebras may be thought of as noncommutative classifying spaces for the functor Ext _* ^N The basic objects of study are the algebras A _kN (for n=1, 2,...). Here, we are given an essentially unique representation of the complex Clifford algebra C _k N and the elements of A _k are those operators in N which exactly commute with the first k–1 generators of C _k and also commute with the kth generator modulo a symmetric ideal N. Up to isomorphism, these algebras are periodic with period 2.We determine completely the homotopy types of A ₁ ^–1 and A ₂ ^–1 Here, A ₁ ^–1 is homotopy equivalent to the space of (Breuer) Fredholm operators in N, while A ₂ ^–1 is homotopy equivalent to the group K _N ^–1 ={x N^–1¦ x=1+k, k K_N}. We use these results to compute the K-theory of A ₁ and A ₂.For a fixed C ^*-algebra A, we define abelian groups G _k,N(A) of equivalence classes of homomorphisms AA _k. Letting N = M (H) for a II₁ factor M we define similar abelian groups G _k(A, M) where we replace N by L(E) for countably generated right Hilbert M-modules E with (left) actions C _k L(E). Using ideas of Skandalis, we show that G _k,NG_k(A, M) so that the G _k,N are stable half-exact homotopy functors because the G _k(·, M) are such.In general, we show that G _k(A, M)KK ^k(A, M) and so our theory fits neatly into Kasparov KK-theory. We investigate many interesting examples from our point of view.     

CertainC*-algebras with real rank zero and their corona and multiplier algebras: II

We first determine the homotopy classes of nontrivial projections in a purely infinite simpleC*-algebraA, in the associated multiplier algebraM(A) and the corona algebraM A/A in terms ofK _*(A). Then we describe the generalized Fredholm indices as the group of homotopy classes of non-trivial projections ofA; consequently, we determine theK _*-groups of all hereditaryC*-subalgebras of certain corona algebras. Secondly, we consider a group structure of *-isomorphism classes of hereditaryC*-subalgebras of purely infinite simpleC*-algebras. In addition, we prove that ifA is aC*-algebra of real rank zero, then each unitary ofA, in caseA it unital, each unitary ofM(A) and ofM(A)/A, in caseA is nonunital but -unital, can be factored into a product of a unitary homotopic to the identity and a unitary matrix whose entries are all partial isometries (with respect to a decomposition of the identity).Partially supported by a grant from the National Science Foundation.     

Equivalence of the C*-Algebras qℂ and C 0(ℝ2) in the Asymptotic Category

The results of Kasparov, Connes, Higson, and Loring imply the coincidence of the functors [[qℂ ⊗ K, B ⊗ K]] = [[C ₀(ℝ²) ⊗ K, B ⊗ K]] for any C*-algebra B; here[[A, B]] denotes the set of homotopy classes of asymptotic homomorphisms from A to B. Inthe paper, this assertion is strengthened; namely, it is shown that the algebras qℂ ⊗ K and C ₀(ℝ²) ⊗ K are equivalent in the category whose objects are C*-algebras and morphisms are classes of homotopic asymptotic homomorphisms. Some geometric properties of the obtained equivalence are studied. Namely, the algebras qℂ ⊗ K and C ₀(ℝ²) ⊗ K are represented as fields of C*-algebras; it is proved that the equivalence is not fiber-preserving, i.e., is does not take fibers to fibers. It is also proved that the algebras under consideration are not homotopy equivalent.__________Translated from Matematicheskie Zametki, vol. 77, no. 5, 2005, pp. 788–796.Original Russian Text Copyright ©2005 by T. V. Shul’man.     

Generalized Hyers–Ulam–Rassias stability of n-sesquilinear-quadratic mappings on Banach modules over -algebras

Assume that X is a left Banach module over a unital C^*-algebra A. It is shown that almost every n-sesquilinear-quadratic mapping h:X×X×Xⁿ→A is an n-sesquilinear-quadratic mapping when holds for all x,y,z₁,…,z_nX.Moreover, we prove the generalized Hyers–Ulam–Rassias stability of an n-sesquilinear-quadratic mapping on a left Banach module over a unital C^*-algebra.     

Operator K-Theory and Functor N 0. Some Applications

In this paper, we present a general introduction to the K-theory of C ^*-algebras and survey of our previous papers, where the functor N ₀ from the category of von Neumann algebras to the category of Abelian groups was defined. We investigate the properties of this functor (in particular, its interrelation with the functor K ₀) and point out some applications of the functor N ₀ in noncommutative geometry. In addition, we recall facts of theory of C ^*-algebras, von Neumann algebras, and Hilbert C ^*-modules.     

A bott periodicity map for crossed products of C*-algebras by discrete groups

A generalization is given of the canonical map from a discrete group into K ₁ of the group C ^*-algebra. Our map also generalizes Rieffel's construction of a projection in an irrational rotation C ^*-algebra.