The center of approximately finite-dimensional C1-algebras

It is proved that any separable abelian C¹-algebra is the center of a C¹-algebra that is the inductive limit of an increasing sequence of finite-dimensional C¹-algebras.     

Automorphisms of C1-algebra bundles

Let B be a unital C¹-algebra and A = Γ(E) be the C¹-algebra of sections of a bundle over the separable compact space X with fibre B and structure group Inn B. If B is the quotient of an AW¹-algebra, then an exact sequence: 0 → Inn A → PInn A →^ηH²(X, G), where PInn A is the group of pointwise inner automorphisms of A and G=H^°(Z(B)^, $\text{Z}$) is obtained. The map η is onto whenever A = C(X, B) and B is the quotient of a purely infinite AW¹-algebra. An essential part of the analysis is the result that Ad: U(B) → Inn B is a fibre bundle if and only if the space of inner derivations of B is norm closed. These results extend and clarify previous joint work with I. Raeburn (Indiana Univ. Math. J.29 (1980), 799).     

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.     

Separation properties in the primitive ideal space of a multiplier algebra

We use recent work on spectral synthesis in multiplier algebras to give an intrinsic characterization of the separable C*-algebras A for which Orc(M(A)) = 1, i.e., for which the relation of inseparability on the topological space of primitive ideals of the multiplier algebra M(A) is an equivalence relation. This characterization has applications to the calculation of norms of inner derivations and other elementary operators on A and M(A). For example, we give necessary and sufficient conditions on the ideal structure of a separable C*-algebra A for the norm of every inner derivation to be twice the distance of the implementing element to the centre of M(A).     

Separable states and positive maps

Using the natural duality between linear functionals on tensor products of C^∗-algebras with the trace class operators on a Hilbert space H and linear maps of the C^∗-algebra into B(H), we study the relationship between separability, entanglement and the Peres condition of states and positivity properties of the linear maps.     

1-Semisimplicity of tensor product LMC 1-algebras

Each (Hausdorff) lmc C¹-algebra is 1-semisimple. The 1-semisimplicity of two suitable lmc1-algebras is passed on to their completed $\text{E}$-tensor product iff $\text{E}$ is faithful. A sort of strong converse is also valid. In the commutative case, 1-semisimplicity implies semisimplicity, whereas the converse occurs for suitable lmc1-algebras.     

On a duality for crossed products of C1-algebras

Let $\text{U}$ be a C¹-algebra, and G be a locally compact abelian group. Suppose α is a continuous action of G on $\text{U}$. Then there exists a continuous action $\text{}\text{?}$ga of the dual group $\text{G}\text{?}$ of G on the C¹-crossed product by α such that the C¹-crossed product is isomorphic to the tensor product and the C¹-algebra of all compact operators on L²(G).     

*-Semisimplicity of tensor product LMC *-algebras

Each (Hausdorff) lmc C^*-algebra is *-semisimple. The *-semisimplicity of two suitable lmc*-algebras is passed on to their completed -tensor product iff is faithful. A sort of strong converse is also valid. In the commutative case, *-semisimplicity implies semisimplicity, whereas the converse occurs for suitable lmc*-algebras.     

Ein operatorwertiger Hahn-Banach Satz

We generalize Arveson's extension theorem for completely positive mappings [1] to a Hahn-Banach principle for matricial sublinear functionals with values in an injective C¹-algebra or an ideal in B($\text{H}$). We characterize injective W¹-algebras by a matricial order condition. We illustrate the matricial Hahn-Banach principle by three applications: (1) Let $\text{A, B, b}$ be unital C¹-algebras, $\text{b}$ a subalgebra of $\text{A}$ and $\text{B, B}$ injective. If ?: $\text{A}$ → $\text{B}$ is a completely bounded self-adjoint $\text{b}$-bihomomorphism, then it can be expressed as the difference of two completely positive $\text{b}$-bihomomorphism. (2) Let $\text{M}$ be a W¹-algebra, containing 1_$\text{H}$, on a Hilbert space $\text{H}$. If $\text{M}$ is finite and hyperfinite, there exists an invariant expectation mapping P of B($\text{H}$) onto $\text{M}$′. P is an extension of the center trace. (3) Combes [7] proved, that a lower semicontinuous scalar weight on a C¹-algebra is the upper envelope of bounded positive functionals. We generalize this result to unbounded completely positive mappings with values in an injective W¹-algebra.     

On lifting and extending derivations of approximately finite-dimensional C1-algebras

It is shown that if A is the C¹-algebra inductive limit of a sequence of finite-dimensional C¹-algebras, then for each closed two-sided ideal J of A derivations can be lifted to A from $\text{A}\text{J}$, and for each projection e in A derivations can be extended to A from eAe. An application of the second result is given.     

On nuclear C1-algebras

A C¹-algebra is called nuclear if there is a unique way of forming its tensor product with any other C¹-algebra. Takesaki [17] showed that all C¹-algebras of type I and all inductive limits of such algebras are nuclear, but that the C¹-algebra $\text{C}{}_{\mathrm{r}}{}^1\text{(G)}$ generated by the left regular representation of G on l²(G) is nonnuclear, where G is the free group on two generators. In this paper an extension property for tensor products of C¹-algebras is introduced, and is characterized in terms of the existence of a certain family of weak expectations on the algebra. Nuclearity implies the extension property, and this is used to show that for a discrete group $\text{G, C}{}_{\mathrm{r}}{}^1\text{(G)}$ is nuclear if and only if G is amenable.An approximation property in the dual of a C¹-algebra is introduced, and shown to imply nuclearity. It is not clear whether the converse implication holds, but it is proved that the known nuclear C¹-algebras satisfy the approximation property.     

Crossed products by finite group actions with certain tracial Rokhlin property

We introduce a special tracial Rokhlin property for unital C~*-algebras. Let A be a unital tracial rank zero C~*-algebra(or tracial rank no more than one C~*-algebra). Suppose that α : G → Aut(A) is an action of a finite group G on A, which has this special tracial Rokhlin property, and suppose that A is a α-simple C~*-algebra. Then, the crossed product C~*-algebra C~*(G, A, α) has tracia rank zero(or has tracial rank no more than one). In fact,we get a more general results.     

The range of united K-theory

We prove that the united K-theory functor is a surjective functor from the category of real simple separable purely infinite C^∗-algebras to the category of countable acyclic CRT-modules. As a consequence, we show that every complex Kirchberg algebra satisfying the universal coefficient theorem is the complexification of a real C^∗-algebra.     

Translation-invariant linear forms on C0(G), C(G), Lp(G) for noncompact groups

Suppose G is a locally compact noncompact group. For abelian such G's, it is shown in this paper that L¹(G), C(G), and L^∞(G) always have discontinuous translation-invariant linear forms(TILF's) while C₀(G) and L^p(G) for 1 < p < ∞ have such forms if and only if $\text{G}\text{H}$ is a torsion group for some open σ-compact subgroup H of $\text{G}$. For σ-compact amenable G's, all the above spaces have discontinuous left TILF's.     

Quotient-bounded elements in locally convex algebras. II

Consideration of quotient-bounded elements in a locally convexGB ^*-algebra leads to the study of properGB ^*-algebras viz those that admit nontrivial quotient-bounded elements. The construction and structure of such algebras are discussed. A representation theorem for a properGB ^*-algebra representing it as an algebra of unbounded Hilbert space operators is obtained in a form that unifies the well-known Gelfand-Naimark representation theorem forC ^*-algebra and two other representation theorems forb ^*-algebras (also calledlmc ^*-algebras), one representinga b ^*-algebra as an algebra of quotient bounded operators and the other as a weakly unbounded operator algebra. A number of examples are discussed to illustrate quotient-bounded operators. An algebra of unbounded operators constructed out of noncommutativeL ^p-spaces on a regular probability gauge space and the convolution algebra of periodic distributions are analyzed in detail; whereas unbounded Hilbert algebras andL ^w-integral of a measurable field ofC ^*-algebras are discussed briefly.     

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     

On tensor products of certain group C1-algebras

If A and B are C¹-algebras there is, in general, a multiplicity of C¹-norms on their algebraic tensor product A ⊙ B, including maximal and minimal norms ν and α, respectively. A is said to be nuclear if α and ν coincide, for arbitrary B. The earliest example, due to Takesaki [11], of a nonnuclear C¹-algebra was $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$, the C¹-algebra generated by the left regular representation of the free group on two generators F₂. It is shown here that W¹-algebras, with the exception of certain finite type I's, are nonnuclear.If $\text{C}{}^1\text{(F}{}_2\text{)}$ is the group C¹-algebra of F₂, there is a canonical homomorphism λ_l of $\text{C}{}^1\text{(F}{}_2\text{)}$ onto $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$. The principal result of this paper is that there is a norm ζ on $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{) ⊙ C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$, distinct from α, relative to which the homomorphism $\text{λ ⊙ λ}{}_{\mathrm{l}}\text{: C}{}^1\text{(F}{}_2\text{) ⊙ C}{}^1\text{(F}{}_2\text{) → C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{) ⊙ C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$ is bounded ($\text{C}{}^1\text{(F}{}_2\text{) ⊙ C}{}^1\text{(F}{}_2\text{)}$ being endowed with the norm α). Thus quotients do not, in general, respect the norm α; a consequence of this is that the set of ideals of the α-tensor product of C¹-algebras A and B may properly contain the set of product ideals {$\text{I ? B + A ? J: I ? A, J ? B}$}.Let A and B be C¹-algebras. If A or B is a W¹-algebra there are on A ⊙ B certain C¹-norms, defined recently by Effros and Lance [3], the definitions of which take account of normality. In the final section of the paper it is shown by example that these norms, with α and ν, can be mutually distinct.     

Unbounded derivations in operator algebras

Unbounded derivations in uniformly hyperfinite C¹-algebras will be studied. Various conditions, under which normal ¹-derivations in the C¹-algebras can be extended to the infinitesimal generators of the approximately inner strongly continuous one-parameter subgroups of ¹-automorphisms on the algebras, will be given.     

Kadison's transitivity for locally C1-algebras

The classical transitivity theorem of R. Kadison for C¹-algebras is here extended to the case of a locally C¹-algebra E. As a consequence, within the same context, various standard facts referred to the space of representations of E are obtained, broadening thus naturally out an earlier framework considered by this author, the relevant results being namely obtained hitherto only for bQ locally m-convex ¹-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.