An approximation theorem for nuclear operator systems

We prove that an operator system S is nuclear in the category of operator systems if and only if there exist nets of unital completely positive maps φλ:S→Mnλ and ψλ:Mnλ→S such that ψλ°φλ converges to idS in the point-norm topology. Our proof is independent of the Choi-Effros-Kirchberg characterization of nuclear C^?-algebras and yields this characterization as a corollary. We give an explicit example of a nuclear operator system that is not completely order isomorphic to a unital C^?-algebra.     

On the relation between an operator and its self-commutator

We show that a bounded operator A on a Hilbert space belongs to a certain set associated with its self-commutator [A^?,A], provided that A−zI can be approximated by invertible operators for all complex numbers z. The theorem remains valid in a general C^?-algebra of real rank zero under the assumption that A−zI belong to the closure of the connected component of unity in the set of invertible elements. This result implies the Brown-Douglas-Fillmore theorem and Huaxin Lin?s theorem on almost commuting matrices. Moreover, it allows us to refine the former and to extend the latter to operators of infinite rank and other norms (including the Schatten norms on the space of matrices). The proof is based on an abstract theorem, which states that a normal element of a C^?-algebra of real rank zero satisfying the above condition has a resolution of the identity associated with any open cover of its spectrum.     

<Emphasis Type="Italic">C</Emphasis>*-Algebras Generated by Mappings. Classification of Invariant Subspaces

We continue the study of an operator algebra associated with a self-mapping ? on a countable setX which can be represented as a directed graph. This C*-algebra belongs to a class of operator algebras, generated by a family of partial isometries satisfying some relations on their source and range projections. Earlier we have formulated the irreducibility criterion of such algebras, which give us a possibility to examine the structure of the corresponding Hilbert space. We will show that for reducible algebras the underlying Hilbert space can be represented either as an infinite sum of invariant subspaces or as a tensor product of a finite-dimensional Hilbert space with l²(Z). In the first case we present a conditions under which the studied algebra has an irreducible representation into a C*-algebra generated by a weighted shift operator. In the second case, the algebra has the irreducible finite-dimensional representations indexed by the unit circle.     

On the asymptotic tensor C*-norm

We introduce a new asymptotic one-sided and symmetric tensor norm, the latter of which can be considered as the minimal tensor norm on the category of separable C^*-algebras with homotopy classes of asymptotic homomorphisms as morphisms. We show that the one-sided asymptotic tensor norm differs in general from both the minimal and the maximal tensor norms and discuss its relation to semi-invertibility of C^*-extensions. Received: 23 September 2004; revised: 30 May 2005     

On the stable rank of algebras of operator fields over metric spaces

Let Γ be a finitely generated, torsion-free, two-step nilpotent group. Let C^*(Γ) denote the universal C^*-algebra of Γ. We show that , where for a unital C^*-algebra A, sr(A) is the stable rank of A, and where is the space of one-dimensional representations of Γ. In process, we give a stable rank estimate for maximal full algebras of operator fields over metric spaces.     

Simplicity of algebras associated to étale groupoids

We prove that the full C ^?-algebra of a second-countable, Hausdorff, étale, amenable groupoid is simple if and only if the groupoid is both topologically principal and minimal. We also show that if G has totally disconnected unit space, then the complex ^?-algebra of its inverse semigroup of compact open bisections, as introduced by Steinberg, is simple if and only if G is both effective and minimal.     

Interactions

Given a C^∗-algebra B, a closed ^*-subalgebra A⊆B, and a partial isometry S in B which interacts with A in the sense that S^∗aS=H(a)S^∗S and SaS^∗=V(a)SS^∗, where V and H are positive linear operators on A, we derive a few properties which V and H are forced to satisfy. Removing B and S from the picture we define an interaction as being a pair of maps (V,H) satisfying the derived properties. Starting with an abstract interaction (V,H) over a C^∗-algebra A we construct a C^∗-algebra B containing A and a partial isometry S whose interaction with A follows the above rules. We then discuss the possibility of constructing a covariance algebra from an interaction. This turns out to require a generalization of the notion of correspondences (also known as Pimsner bimodules) which we call a generalized correspondence. Such an object should be seen as an usual correspondence, except that the inner-products need not lie in the coefficient algebra. The covariance algebra is then defined using a natural generalization of Pimsner's construction of the celebrated Cuntz-Pimsner algebras.     

Skew-products of higher-rank graphs and crossed products by semigroups

We consider a free action of an Ore semigroup on a higher-rank graph, and the induced action by endomorphisms of the C ^?-algebra of the graph. We show that the crossed product by this action is stably isomorphic to the C ^?-algebra of a quotient graph. Our main tool is Laca’s dilation theory for endomorphic actions of Ore semigroups on C ^?-algebras, which embeds such an action in an automorphic action of the enveloping group on a larger C ^?-algebra.     

Quantum quaternion spheres

For the quantum symplectic group SP _q (2n), we describe the C ^?-algebra of continuous functions on the quotient space S P _q (2n)/S P _q (2n?2) as an universal C ^?-algebra given by a finite set of generators and relations. The proof involves a careful analysis of the relations, and use of the branching rules for representations of the symplectic group due to Zhelobenko. We then exhibit a set of generators of the K-groups of this C ^?-algebra in terms of generators of the C ^?-algebra.     

The spectral theory of commutative C∗-algebras: The constructive Gelfand-Mazur theorem

It is shown, for a commutative C^?-algebra in any Grothendieck topos E, that the locale MFn A of multiplicative linear functionals on A is isomorphic to the locale Max A of maximal ideals of A, extending the classical result that the space of C^?-algebra homomorphisms from A to the field of complex numbers is isomorphic to the maximal ideal space of A, that is, the Gelfand-Mazur theorem, to the constructive context of any Grothendieck topos. The technique is to present Max A, in analogy with our earlier definition of MFn A, by means of a propositional theory which expresses one's natural intuition of the notion involved, and then to establish various properties, leading up to the final result, by formal reasoning within these theories.     

Representations of completely bounded multilinear operators

A definition of a completely bounded multilinear operator from one C¹-algebra into another is introduced. Each completely bounded multilinear operator from a C¹-algebra into the algebra of bounded linear operators on a Hilbert space is shown to be representable in terms of ¹-representations of the C¹-algebra and interlacing operators. This result extends Wittstock's Theorem that decomposes a completely bounded linear operator from a C¹-algebra into an injective C¹-algebra into completely positive linear operators.     

On operator monotone and operator convex functions

We establish monotonicity and convexity criteria for a continuous function f: R⁺ → R with respect to any C*-algebra. We obtain an estimate for the measure of noncompactness of the difference of products of the elements of a W*-algebra. We also give a commutativity criterion for a positive τ-measurable operator and a positive operator from a von Neumann algebra.     

The ideal property, the projection property, continuous fields and crossed products

Let A be the C^∗-algebra associated to an arbitrary continuous field of C^∗-algebras. We give a necessary and sufficient condition for A to have the ideal property and, if moreover A is separable, we give a necessary and sufficient condition for A to have the projection property. Some applications of these results are given. We also prove that “many” crossed products of commutative C^∗-algebras by discrete, amenable groups have the projection property, generalizing some of our previous results.     

Relative weak injectivity of operator system pairs

The concept of a relatively weakly injective pair of operator systems is introduced and studied in this paper, motivated by relative weak injectivity in the C*-algebra category. E. Kirchberg [11] proved that the C^?${\mathrm{C}}^{?}$-algebra C^?(_F∞)${\mathrm{C}}^{?}({\mathbb{F}}_{\infty })$ of the free group _F∞${\mathbb{F}}_{\infty }$ on countably many generators characterises relative weak injectivity for pairs of C^?${\mathrm{C}}^{?}$-algebras by means of the maximal tensor product. One of the main results of this paper shows that C^?(_F∞)${\mathrm{C}}^{?}({\mathbb{F}}_{\infty })$ also characterises relative weak injectivity in the operator system category. A key tool is the theory of operator system tensor products  and .     

A Serre–Swan theorem for bundles of bounded geometry

The Serre–Swan theorem in differential geometry establishes an equivalence between the category of smooth vector bundles over a smooth compact manifold and the category of finitely generated projective modules over the unital ring of smooth functions. This theorem is here generalized to manifolds of bounded geometry. In this context it states that the category of Hilbert bundles of bounded geometry is equivalent to the category of operator ?-modules over the operator ?-algebra of continuously differentiable functions which vanish at infinity. Operator ?-modules are generalizations of Hilbert C^?$C^{?}$-modules where the category of C^?$C^{?}$-algebras has been replaced by a more flexible category of involutive algebras of bounded operators: The operator ?-algebras. Operator ?-modules play an important role in the study of the unbounded Kasparov product.     

2-Local automorphisms of operator algebras

A not necessarily continuous, linear or multiplicative function θ from an algebra A into itself is called a 2-local automorphism if θ agrees with an automorphism of A at each pair of points in A. In this paper, we study when a 2-local automorphism of a C^∗-algebra, or a standard operator algebra on a locally convex space, is an automorphism.     

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.     

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.