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.     

Bounded and Unitary Elements in Pro-C*-algebras

A pro-C*-algebra is a (projective) limit of C*-algebras in the category of topological *-algebras. From the perspective of non-commutative geometry, pro-C*-algebras can be seen as non-commutative k-spaces. An element of a pro-C*-algebra is bounded if there is a uniform bound for the norm of its images under any continuous *-homomorphism into a C*-algebra. The *-subalgebra consisting of the bounded elements turns out to be a C*-algebra. In this paper, we investigate pro-C*-algebras from a categorical point of view. We study the functor (−) _b that assigns to a pro-C*-algebra the C*-algebra of its bounded elements, which is the dual of the Stone-Čech-compactification. We show that (−) _b is a coreflector, and it preserves exact sequences. A generalization of the Gelfand duality for commutative unital pro-C*-algebras is also presented.     

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.     

Continuous spectral decompositions of Abelian group actions on -algebras

Let G be a locally compact Abelian group. Following Ruy Exel, we view Fell bundles over the Pontrjagin dual group of G as continuous spectral decompositions of G-actions on C^*-algebras. We classify such spectral decompositions using certain dense subspaces related to Marc Rieffel's theory of square-integrability. There is a unique continuous spectral decomposition if the group acts properly on the primitive ideal space of the C^*-algebra. But there are also examples of group actions without or with several inequivalent spectral decompositions.     

On locally <Emphasis Type="Italic">A</Emphasis>-convex <Emphasis Type="Italic">H</Emphasis>*-algebras

We endow any proper A-convex H*-algebra (E, τ) with a locally pre-C*-topology. The latter is equivalent to that introduced by the pre C*-norm given by Ptàk function when (E, τ) is a Q-algebra. We also prove that the algebra of complex numbers is the unique proper locally A-convex H*-algebra which is barrelled and Q-algebra.      

Some compactifications of a semitopological semigroup

Let S be a semitopological semgroup and let C_b (S) denote the B^*-algebra of all continuous bounded complex-valued functions on S. In this paper, we consider a left m-introverted and translation invariant B^*-subalgebra F of C_b(S) containing the constant functions. Our concern is with ΔF, the maximal ideal space of F up to an isomorphic homeomorphism, when it is made into a compact right topological semigroup containing a dense continous homomorphic image of S under the Gelfand topology and a suitably chosen binary operation. We establish a representation of the closed left ideals of ΔF and study its centre and ideal structure in some special cases.     

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.     

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.     

A complex semigroup approach to group algebras of infinite dimensional Lie groups

A host algebra of a topological group G is a C ^*-algebra whose representations are in one-to-one correspondence with certain continuous unitary representations of G. In this paper we present an approach to host algebras for infinite dimensional Lie groups which is based on complex involutive semigroups. Any locally bounded absolute value α on such a semigroup S leads in a natural way to a C ^*-algebra C ^*(S,α), and we describe a setting which permits us to conclude that this C ^*-algebra is a host algebra for a Lie group G. We further explain how to attach to any such host algebra an invariant weak-*-closed convex set in the dual of the Lie algebra of G enjoying certain nice convex geometric properties. If G is the additive group of a locally convex space, we describe all host algebras arising this way. The general non-commutative case is left for the future. To K.H. Hofmann on the occasion of his 75th birthday     

Linear Functional Equations in Banach Modules over a C *-Algebra

The paper is a survey on the Hyers–Ulam–Rassias stability of linear functional equations in Banach modules over a C ^*-algebra. Its contents is divided into the following sections: 1. Introduction; 2. Stability of the Cauchy functional equation in Banach modules; 3. Stability of the Jensen functional equation in Banach modules; 4. Stability of the Trif functional equation in Banach modules; 5. Stability of cyclic functional equations in Banach modules over a C ^*-algebra; 6. Stability of cyclic functional equations in Banach algebras and approximate algebra homomorphisms; 7. Stability of algebra *-homomorphisms between Banach *-algebras and applications.     

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.     

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

Mapping Surgery To Analysis III: Exact Sequences

Using the constructions of the preceding two papers, we construct a natural transformation (after inverting 2) from the Browder-Novikov-Sullivan-Wall surgery exact sequence of a compact manifold to a certain exact sequence of C ^*-algebra K-theory groups. Mathematics Subject Classification (1991): 19J25, 19K99     

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.     

Compact quantum groups and group duality

In this paper, we consider the *-representations of compact quantum groups and group duality. The main results in the paper are: (1) there is a one-to-one correspondence between the *-representations of compact quantum groups and *-representations of the dual Banach *-algebra; (2) the category of commutative compact quantum groups (semigroups) is a dual category to the category of compact groups (semigroups); (3) the dual category of the category of locally compact groups (semigroups) is the category of commutative Hopf C^*-algebras with a particular property. Our group duality has the flavor of a Gelfand-Naimark type theorem for compact quantum groups, and for Hopf C^*-algebras.     

On C *-Extreme Maps and *-Homomorphisms of a Commutative C *-Algebra

The generalized state space of a commutative C^*-algebra, denoted , is the set of positive unital maps from C(X) to the algebra of bounded linear operators on a Hilbert space . C^*-convexity is one of several non-commutative analogs of convexity which have been discussed in this context. In this paper we show that a C^*-extreme point of satisfies a certain spectral condition on the operators in the range of the associated positive operator-valued measure. This result enables us to show that C^*-extreme maps from C(X) into , the algebra generated by the compact and scalar operators, are multiplicative. This generalizes a result of D. Farenick and P. Morenz. We then determine the structure of these maps. This paper constitutes a part of the author’s Ph.D. thesis at the University of Nebraska-Lincoln.     

The property (DN) and the exponential representation of holomorphic functions

It is shown that a nuclear Fréchet spaceE has the property (DN) if and only if every holomorphic function onE ^*, the strongly dual space ofE, with values in the strongly dual space of a Fréchet spaceF having the property ( ) can be represented in the exponential form. Moreover, it is shown that the space of holomorphic functions onC , the space of all complex number sequences, has a linearly absolutely exponential representation system. But the space of holomorphic functions onE ^* does not have such a system whenE is a nuclear Fréchet space that does not have the property (DN).Supported by the State Program for Fundamental Researches in Natural Sciences