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.     

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.     

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.     

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.     

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.     

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.     

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.     

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.     

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 Twisted Fourier Analysis and Convergence of Fourier Series on Discrete Groups

We study norm convergence and summability of Fourier series in the setting of reduced twisted group C ^*-algebras of discrete groups. For amenable groups, Følner nets give the key to Fejér summation. We show that Abel-Poisson summation holds for a large class of groups, including e.g. all Coxeter groups and all Gromov hyperbolic groups. As a tool in our presentation, we introduce notions of polynomial and subexponential H-growth for countable groups w.r.t. proper scale functions, usually chosen as length functions. These coincide with the classical notions of growth in the case of amenable groups.     

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.     

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.     

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.     

Quantum Real Projective Space, Disc and Spheres

We define the C ^*-algebra of quantum real projective space R P _q ², classify its irreducible representations, and compute its K-theory. We also show that the q-disc of Klimek and Lesniewski can be obtained as a non-Galois Z ₂-quotient of the equator Podle quantum sphere. On the way, we provide the Cartesian coordinates for all Podle quantum spheres and determine an explicit form of isomorphisms between the C ^*-algebras of the equilateral spheres and the C ^*-algebra of the equator one.     

Groupoid structure of Toeplitz algebra over L-shaped domain

The structure of the groupoidG associated with the ToeplitzC ^*-algebraC ^*(Ω) of the L-shaped domain is discussed. The detailed characterization ofM _∞ by the classification of the closed subgroup of the Euclidean space is presented. Project supported partially by the National Natural Science Foundation of China, Fok Yingtung Educational Foundation and the Foundation of the State Education Commission of China.     

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.     

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.     

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.