A Fredholm operator approach to Morita equivalence

GivenC*-algebrasA andB and an imprimitivityA-B-bimoduleX, we construct an explicit isomorphismX _*:K _i (A)K _i (B), whereK _i denotes the complexK-theory functors fori=0, 1. Our techniques do not require separability nor the existence of countable approximate identities. We thus extend to generalC*-algebras the result of Brown, Green, and Rieffel according to which, strongly Morita equivalentC*-algebras have isomorphicK-groups. The method employed includes a study of Fredholm operators on Hilbert modules.On leave from the University of São Paulo, Brazil.     

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

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.     

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.     

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.     

Approximately unitarily equivalent morphisms and inductive limitC*-algebras

It is shown that two unital *-homomorphisms from a commutativeC*-algebraC(X) to a unitalC*-algebraB are stably approximately unitarily equivalent if and only if they have the same class in the quotient of the Kasparov groupKK(C(X),B) by the closure of zero. A suitable generalization of this result is used to prove a classification result for certain inductive limitC*-algebrasThis research was partially supported by NSF grant DMS-9303361     

Positive functionals on BP*-algebras

A new class of locally convex algebras, called BP^*-algebras, is introduced. It is shown that this class properly includes MQ^*-algebras which were introduced and studied by the first author andR. Rigelhof [10]. Among other results, it is proved that each positive functional on a BP^*-algebraA is admissible but not necessarily continuous as shown by an example. However, ifA, in addition, is either (i) a Q-algebra, or (ii) has an identity and is barrelled, or (iii)A is endowed with the inductive limit topology, then each positive functional onA is continuous.This work was supported by an N.R.C. Grant.     

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.     

OnC*-algebras related to asymptotic homomorphisms

We study theC*-aglebras related to Mishchenko’s version of asymptotic homomorphisms. In particular, we show that their different versions are weakly homotopy equivalent but not isomorphic to each other. We also present continuous versions of these algebras. Translated fromMatematicheskie Zametki, Vol. 68, No. 3, pp. 377–384, September, 2000.     

Spectral Properties of Abelian C*-Algebras

Let be an Abelian unital C ^*-algebra and let denote its Gelfand spectrum. We give some necessary and sufficient conditions for a nondegenerate representation of to be unitarily equivalent to a representation in which the elements of act multiplicatively, by their Gelfand transforms, on a space L ²( ,), where is a positive measure on the Baire sets of . We also compare these conditions with the multiplicity-free property of a representation.     

Problem of invariant subspaces in <Emphasis Type="Italic">C</Emphasis>*-algebras

Let A be a separable simple C*-algebra. For each ;) on A such that π(a) has a non-trivial invariant subspace in Hπ.     

C*-Isomorphisms Associated with Two Projections on a Hilbert C*-Module*

Motivated by two norm equations used to characterize the Friedrichs angle, this paper studies C^*-isomorphisms associated with two projections by introducing the matched triple and the semi-harmonious pair of projections. A triple (P, Q, H) is said to be matched if H is a Hilbert C^*-module, P and Q are projections on H such that their infimum P ∧ Q exists as an element of L(H), where L(H) denotes the set of all adjointable operators on H. The C^*-subalgebras of L(H) generated by elements in {P - P ∧ Q, Q - P ∧ Q, I} and {P, Q, P ∧ Q, I} are denoted by i(P, Q, H) and o(P, Q, H), respectively. It is proved that each faithful representation (π, X) of o(P, Q, H) can induce a faithful representation (π, X e) of i(P, Q, H) such that e π(P - P ∧ Q) = π(P) - π(P) ∧ π(Q),eπ(Q - P ∧ Q) = π(Q) - π(P) ∧ π(Q).When (P, Q) is semi-harmonious, that is, R(P + Q) and R(2I - P - Q) are both orthogonally complemented in H, it is shown that i(P, Q, H) and i(I - Q, I - P, H) are unitarily equivalent via a unitary operator in L(H). A counterexample is constructed, which shows that the same may be not true when (P, Q) fails to be semi-harmonious. Likewise, a counterexample is constructed such that (P, Q) is semi-harmonious, whereas (P, I - Q) is not semi-harmonious. Some additional examples indicating new phenomena of adjointable operators acting on Hilbert C^*-modules are also provided.     

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.     

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.     

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.     

The Proof of Inseparable Prime AW^＊—Algebras Being Primitive C^＊—Algebras

The relation between the inseparable prime C^*-algebras and primitive C^*-algebras is studied,and we prove that prime AW^*-algebras are all primitive C^*-algebras.     

Holomorphic automorphisms and collective compactness in J*-algebras of operator

Let G be the Banach-Lie group of all holomorphic automorphisms of the open unit ball in a J^*-algebra of operators. Let be the family of all collectively compact subsets W contained in . We show that the subgroup F ⊂ G of all those g ∈ G that preserve the family is a closed Lie subgroup of G and characterize its Banach-Lie algebra. We make a detailed study of F when is a Cartan factor.      

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.