Duality and operator algebras: automatic weak* continuity and applications

We investigate some subtle and interesting phenomena in the duality theory of operator spaces and operator algebras, and give several applications of the surprising fact that certain maps are always weak^*-continuous on dual spaces. In particular, if X is a subspace of a C^*-algebra A, and if a∈A satisfies aX⊂X, then we show that the function x?ax on X is automatically weak^* continuous if either (a) X is a dual operator space, or (b) a^*X⊂X and X is a dual Banach space. These results hinge on a generalization to Banach modules of Tomiyama's famous theorem on contractive projections onto a C^*-subalgebra. Applications include a new characterization of the σ-weakly closed (possibly nonunital and nonselfadjoint) operator algebras, and a generalization of the theory of W^*-modules to the framework of modules over such algebras. We also give a Banach module characterization of σ-weakly closed spaces of operators which are invariant under the action of a von Neumann algebra.     

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.     

Inverse closedness ofC *-algebras in Banach algebras

LetA denote a unital Banach algebra, and letB denote aC ^*-algebra which is contained as a unital subalgebra inA. We prove thatB is inverse closed inA if the norms ofA andB coincide. This generalizes well known result about inverse closedness ofC ^*-subalgebras inC ^*-algebras.     

The weak* similarity property on dual operator algebras

This paper is devoted to dual operator algebras, that isw ^*-closed algebras of bounded operators on Hilbert space. We investigate unital dual operator algebrasA with the following weak^* similarity property: for every Hilbert spaceH, anyw ^*-continuous unital homomorphism fromA intoB(H) is completely bounded and thus similar to a contractive one. We develop a notion of dual similarity degree for these algebras, in analogy with some recent work of Pisier on the similarity problem on operator algebras.     

On the closed Lie ideals of certainC *-algebras

In this article we determine the closed Lie ideals of a uniformly hyperfiniteC ^*-algebra, and of the tensor product of such an algebra withC(X), the space of continuous functions on a compact, Hausdorff space. This is done by localizing the Lie ideals in algebras of the form , where is an algebra over a field of characteristic not equal to 2.This research is partially supported by NSERC (Canada)     

Ideals of a C *-algebra generated by an operator algebra

In this paper, we consider ideals of a C ^*-algebra C^*(B){C^*(\mathcal{B})} generated by an operator algebra B{\mathcal{B}} . A closed ideal J í C^*(B){J\subseteq C^*(\mathcal{B})} is called a K-boundary ideal if the restriction of the quotient map on B{\mathcal{B}} has a completely bounded inverse with cb-norm equal to K ⁻¹. For K = 1 one gets the notion of boundary ideals introduced by Arveson. We study properties of the K-boundary ideals and characterize them in the case when operator algebra λ-norms itself. Several reformulations of the Kadison similarity problem are given. In particular, the affirmative answer to this problem is equivalent to the statement that every bounded homomorphism from C^*(B){C^*(\mathcal{B})} onto B{\mathcal{B}} which is a projection on B{\mathcal{B}} is completely bounded. Moreover, we prove that Kadison’s similarity problem is decided on one particular C ^*-algebra which is a completion of the *-double of M₂(\mathbbC){M_2(\mathbb{C})} .     

Cycles of Spatial Discretizations of Shadowing Dynamical Systems

Let H(B,α) be the JBW^*-algebra of elements of a continuous W^*-algebra B invariant under the ^*-anti-automorphism α of B of order two. Then the mapping I → I ∩ H(B, α) is an order isomorphism from the complete lattice of α-invariant weak^* closed inner ideals in B onto the complete lattice of weak^* closed inner ideals in H(B, α), every one of which is of the form eH(B, α) α(e) for some unique projection e in B with α-invariant central support. A corollary of this result completely characterizes the weak^* closed inner ideals in any continuous JBW^*-triple.     

K0 of multiplier algebras of C*-algebras with real rank zero

For a large class of -unital C ^*-algebras A with real rank zero and stable rank one, the structure of the Grothendieck group k ₀ of the multiplier algebra (A) is investigated. The ordered group K ₀( (A)) is shown to be an unperforated Riesz group, and its additive structure is completely determined, as is — in important cases — its order structure. These structures, and the attendant consequences for the ideal structure of (A), are richer than previously anticipated. In particular, it is shown that the corona algebra (A)/A can have very large stably finite quotient algebras. For example, there exist simple, separable, approximately finite-dimensional C ^*-algebras A such that the maximal stably finite quotient algebra of (A)/A has uncountably many maximal ideals modulo which a W ^*-factor of Type II₁ results. The analysis of the additive structure of K ₀( (A)) yields as a byproduct that if A is a -unital approximately finite-dimensional C ^*-algebra without nonzero unital quotient algebras, then all quasitraces on (A) are traces.This research was partially supported by a grant from the National Science Foundation.     

Calkin Representations of Unbounded Operator Algebras Acting on Non-Separable Domains

There are constructed representations of unbounded operator algebras which generalize representations of B(H) constructed by J. W. CALKIN and H. BEHNCKE. For a large class of unitary spaces D, each uniformly closed two-sided ideal of the maximal Op*-algebra L⁺ (D) appears as kernel of such a representation. Irreducibility of the representations is characterized in terms of properties of ultrafilters which define the representations.     

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.     

Accretive perturbations and error estimates for the Trotter product formula

We study the operator-norm error bound estimate for the exponential Trotter product formula in the case of accretive perturbations. LetA be a semibounded from below self-adjoint operator in a separable Hilbert space. LetB be a closed maximal accretive operator such that, together withB ^*, they are Kato-small with respect toA with relative bounds less than one. We show that in this case the operator-norm error bound estimate for the exponential Trotter product formula is the same as for the self-adjointB [12]:

Decomposition Methods in Banach Spaces via Supplemented Subspaces Resembling Pełczyński’s Decomposition Methods

Suppose that X and Y are Banach spaces complemented in each other with supplemented subspaces A and B. In 1996, W. T. Gowers solved the Schroeder–Bernstein problem for Banach spaces by showing that X is not necessarily isomorphic to Y. In this paper, we obtain some suitable conditions involving the spaces A and B to yield that X is isomorphic to Y or to provide that at least X ^m is isomorphic to Yⁿ for some m, n ∈ IN^*. So we get some decomposition methods in Banach spaces via supplemented subspaces resembling Pełczyński’s decomposition methods. In order to do this, we introduce several notions of Schroeder–Bernstein Quadruples acting on the spaces X, Y, A and B. Thus, we characterize them by using some Banach spaces recently constructed. Received: October 4, 2005.     

On a class of stably finite nuclear C*-algebras

In this note we show that a separable C^*-algebra is nuclear and has a quasidiagonal extension by (the ideal of compact operators on an infinite-dimensional separable Hilbert space) if and only if it is anuclear finite algebra (NF-algebra) in the sense of Blackadar and Kirchberg, and deduce that every nuclear C^*-subalgebra of aNF-algebra isNF. We show that strongNF-algebras satisfy a Følner type condition.     

A new approach to induction and imprimitivity results

Given a closed quantum subgroup of a locally compact quantum group, we study induction of unitary corepresentations of the quantum subgroup to the ambient quantum group. More generally, we study induction given a coaction of the quantum subgroup on a C^*-algebra. We prove imprimitivity theorems that unify the existing theorems for actions and coactions of groups. This means that we define quantum homogeneous spaces as C^*-algebras and that we prove Morita equivalence of crossed products and homogeneous spaces. We essentially use von Neumann algebraic techniques to prove these Morita equivalences between C^*-algebras.     

Linear maps between C*-algebras that are *-homomorphisms at a fixed point

Let A and B be C*-algebras. A linear map T : A → B is said to be a *-homomorphism at an element z ∈ A if ab* = z in A implies T (ab*) = T (a)T (b)* = T (z), and c*d = z in A gives T (c*d) = T (c)*T (d) = T (z). Assuming that A is unital, we prove that every linear map T : A → B which is a *-homomorphism at the unit of A is a Jordan *-homomorphism. If A is simple and infinite, then we establish that a linear map T : A → B is a *-homomorphism if and only if T is a *-homomorphism at the unit of A. For a general unital C*-algebra A and a linear map T : A → B, we prove that T is a *-homomorphism if, and only if, T is a *-homomorphism at 0 and at 1. Actually if p is a non-zero projection in A, and T is a ^?-homomorphism at p and at 1 ? p, then we prove that T is a Jordan *-homomorphism. We also study bounded linear maps that are *-homomorphisms at a unitary element in A.     

Semi-Invertible Extensions and Asymptotic Homomorphisms

We consider the semi-group Ext(A, B) of extensions of a separable C ^*-algebra A by a stable C ^*-algebra B modulo unitary equivalence and modulo asymptotically split extensions. This semi-group contains the group Ext^–1/2(A, B) of invertible elements (i.e. of semi-invertible extensions). We show that the functor Ext^–1/2(A, B) is homotopy invariant and that it coincides with the functor of homotopy classes of asymptotic homomorphisms from C A to M(B) that map S A C( ) A into B.     

Reflexive *-derivations and lattices of invariant subspaces of operator algebras associated with them

The paper studies unbounded reflexive *-derivations δ of C*-algebras of bounded operators on Hilbert spaces H whose domains D(δ) are weekly dense in B(H and contain compact operators. It describes a one-to-one correspondence between these derivations and pairs S,L, where S are symmetric densely operators on H and L are J-orthogonal π-reflexive lattices of subspaces in the deficiency spaces of S. The domains D(δ) of these *-derivations are associated with some non-selfadjoint reflexive algebras A_δ of bounded operators on H⊕H. The paper analyzes the structure of the lattices of invariant subspaces of A_δ and of the normalizers of A_δ-the largest Lie subalgebras of B(H⊕H) such that A_δ are their Lie ideals.     

Graph C *-Algebras and Their Ideals Defined by Cuntz-Krieger Family of Possibly Row-Infinite Directed Graphs

Let E be a possibly row-infinite directed graph. In this paper, first we prove the existence of the universal C^*-algebra C^*(E) of E which is generated by a Cuntz-Krieger E-family {s_e, p_v}, and the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem for the ideal of C^*(E). Then we get our main results about the ideal structure of Finally the simplicity and the pure infiniteness of is discussed.     

Generalizations of Pełczyński’s decomposition method for Banach spaces containing a complemented copy of their squares

Suppose that X and Y are Banach spaces isomorphic to complemented subspaces of each other. In 1996, W. T. Gowers solved the Schroeder-Bernstein Problem for Banach spaces by showing that X is not necessarily isomorphic to Y. However, if X ² is complemented in X with supplement A and Y ² is complemented in Y with supplement B, that is,

LINEAR MAPPINGS THAT PRESERVE THE DERIVATIONAL STRUCTURE OF C*-ALGEBRAS

Abstract

Given a C*-algebra A and a suitable set of derivations on A, we consider the algebras A _n of n-differentiable elements of A as described in [B], before passing to an analysis of important classes of bounded linear maps between two such spaces. We show that even in this general framework, all the main features of the theory for the case C^(m)(U) → C ^(p) (V) where U and V are open balls in suitable Banach spaces, are preserved (see for example [A-G-L], [Gu-L], [Ja] and [L]). As part of the theory developed we obtain a non-trivial extension of the Kleinecke-Shirokov theorem in the category of C*-algebras to unbounded partially defined *-derivations. This indicates the existence of a single mathematical principle governing both the non-increasibility of differentiability by continuous homomorphisms and the untenability of the Heisenberg Uncertainty Principle for bounded observables.