KK-groups for generalized operator algebras. II

The extension of Kasparovs bivariant K-theory to inverse limits of C ^* -algebras admits exact Puppe sequences in both variables. Two exact sequences generalizing Milnor's lim-lim¹ sequences are established. For CW complexes the extended K-theory is representable K-theory.     

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.     

Finite group actions on AF algebras obtained by folding the interval

For any finite groupG we construct examples of an AF algebraA and an action byG onA such that the fixed point algebra is not AF. The construction ofA is done by successive foldings and cuttings of the interval in a way originally suggested by Blackadar and, in a different context, by Connes in his talk in Oslo in 1978.     

A new look at KK-theory

We describe the Kasparov group KK(A, B) as the set of homotopy classes of homomorphisms from an algebra qA associated with A into K B. The algebra qA consists of K-theory differential forms over A. Its construction is dual to that of M ₂(A). The analysis of qA and of its interplay with M ₂(A) gives the basic results of KK-theory.Partially supported by NSF.     

The KK-Product of Unbounded Modlues

We give sufficient conditions for an unbounded module associated with KK(A,C) to be the Kasparov product of unbounded modules associated with KK(A,B) and KK(B,C) extending the work of Baaj and Julg.     

Abstract Bott periodicity inKK-theory

We show that the universalC*-algebras KqA and K²A are homotopy equivalent and define abstract analogues of the Bott elements inKK-theory.     

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.     

Real C*-Algebras, United KK-Theory, and the Universal Coefficient Theorem

We define united KK-theory for real C*-algebras A and B such that A is separable and B is -unital, extending united K-theory in the sense that KK^CRT( , B) = K^CRT(B). United KK-theory combines real, complex, and self-conjugate KK-theory; but unlike unaugmented KK-theory for real C*-algebras, it admits a Universal Coefficient Theorem. For all separable A and B in which the complexification of A is in the bootstrap category, KK^CRT(A,B) appears as the middle term of a short exact sequence whose outer terms involve the united K-theory of A and B. As a corollary, we prove that united K-theory classifies KK-equivalence for real C*-algebras whose complexification is in the bootstrap category.Mathematics Subject Classification (2000): 19K35, 46L80.     

Extremal K -Theory and Index for C*-Algebras

We develop the general theory for a new functor K _e on the category of C ^*-algebras. The extremal K-set, K _e (A), of a C ^*-algebra A is defined by means of homotopy classes of extreme partial isometries. It contains K ₁ (A) and admits a partially defined addition extending the addition in K ₁ (A), so that we have an action of K ₁ (A) on K _e (A). We show how this functor relates to K ₀ and K ₁, and how it can be used as a carrier of information relating the various K-groups of ideals and quotients of A. The extremal K-set is then used to extend the classical theory of index for Fredholm and semi-Fredholm operators.     

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.     

The K-Theory of Heegaard-Type Quantum 3-Spheres

We use a Heegaard splitting of the topological 3-sphere as a guiding principle to construct a family of its noncommutative deformations. The main technical point is an identification of the universal C^*-algebras defining our quantum 3-spheres with an appropriate fiber product of crossed-product C^*-algebras. Then we employ this result to show that the K-groups of our family of noncommutative 3-spheres coincide with their classical counterparts. Dedicated to the memory of Olaf Richter An erratum to this article is available at .     

On classifying monotone complete algebras of operators

We give a classification of “small” monotone complete C ^*-algebras by order properties. We construct a corresponding semigroup. This classification filters out von Neumann algebras; they are mapped to the zero of the classifying semigroup. We show that there are 2 ^c distinct equivalence classes (where c is the cardinality of the continuum). This remains true when the classification is restricted to special classes of monotone complete C ^*-algebras e.g. factors, injective factors, injective operator systems and commutative algebras which are subalgebras of ℓ^∞. Some examples and applications are given.      

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.     

Semi-Topological K-Homology and Thomason''s Theorem

In this paper, we introduce the 'semi-topological K-homology' of complex varieties, a theory related to semi-topological K-theory much as connective topological K-homology is related to connective topological K-theory. Our main theorem is that the semi-topological K-homology of a smooth, quasi-projective complex variety Y coincides with the connective topological K-homology of the associated analytic space Y ^an. From this result, we deduce a pair of results relating semi-topological K-theory with connective topological K-theory. In particular, we prove that the 'Bott inverted' semi-topological K-theory of a smooth, projective complex variety X coincides with the topological K-theory of X ^an. In combination with a result of Friedlander and the author, this gives a new proof, in the special case of smooth, projective complex varieties, of Thomason's celebrated theorem that 'Bott inverted' algebraic K-theory with /n coefficients coincides with topological K-theory with /n coefficients.     

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.     

A Locally Trivial Quantum Hopf Fibration

The irreducible *-representations of the polynomial algebra of the quantum3-sphere introduced by Calow and Matthes are classified. The K-groups of its universal C^*-algebra are shown to coincide with their classical counterparts. The U(1)-action on corresponding for p=1=q to the classical Hopf fibration is proven to be Galois (free). The thus obtained locally trivial Hopf–Galois extension is shown to be equivariantly projective (admitting a strong connection) and non-cleft. The latter is proven by determining an appropriate pairing of cyclic cohomology and K-theory. Presented by S. L. Woronowicz Mathematics Subject Classifications (2000) 16W30, 46L87.     

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.     

The smallness problem for -algebras

Akemann showed that any von Neumann algebra with a weak^* separable dual space has a faithful normal representation on a separable Hilbert space. He posed the question: If a C^*-algebra has a weak^* separable state space, must it have a faithful representation on a separable Hilbert space? Wright solved this question negatively and showed that a unital C^*-algebra has the weak^* separable state space if and only if it has a unital completely positive map, into a type I factor on a separable Hilbert space, whose restriction to the self-adjoint part induces an order isomorphism. He called such a C^*-algebra almost separably representable. We say that a unital C^*-algebra is small if it has a unital complete isometry into a type I factor on a separable Hilbert space. In this paper we show that a unital C^*-algebra is small if and only if the state spaces of all n by n matrix algebras over the C^*-algebra are weak^*-separable. It is natural to ask whether almost separably representable algebras are small or not. We settle this question positively for simple C^*-algebras but the general question remains open.     

K-theory of reduced C*-algebras and rapidly decreasing functions on groups

We associate to any length function L on a group a space of rapidly decreasing functions on (in the l ² sense), denoted by H _L (). When H _L () is contained in the reduced C*-algebra C _r ^* () of (), then it is a dense *-subalgebra of C _r ^* () and we prove a theorem of A. Connes which asserts that under this hypothesis H _L () has the same K-theory as C _r ^* (). We introduce another space of rapidly decreasing functions on (in the l ¹ sense), denoted by H _L ^1, (), which is always a dense *-subalgebra of the Banach algebra l ¹(), and we show that H _L ^1, () has the same K-theory as l ¹().