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.     

Some results about the spectrum of commutative Banach algebras under the weak topology and applications

LetA be a commutative Banach algebra with a nonempty spectrum A. By weak we denote the relative weak topology induced on A by (A ^*,A ^**). In this note we study some properties of the topological space (A, weak) and present some applications of the results obtained and tools used to amenability, weakly compact homomorphisms, weakly compact subsets of the spectrum of the uniform algebras and to a characterization of the synthesizable ideals of the algebraA.     

A New Characterization of the Continuous Functions on a Locale

Within the category W of archimedean lattice-ordered groups with weak order unit, we show that the objects of the form C(L), the set of continuous real-valued functions on a locale L, are precisely those which are divisible and complete with respect to a variant of uniform convergence, here termed indicated uniform convergence. We construct the corresponding completion of a W-object A purely algebraically in terms of Cauchy sequences. This completion can be variously described as c³A, the ``closed under countable composition hull of A,' as C(Y_lA), where Y_lA is the Yosida locale of A, and as the largest essential reflection of A.     

Cohomological Characterizations of Biprojective and Biflat Banach Algebras

 Let A be a biprojective Banach algebra, and let A-mod-A be the category of Banach A-bimodules. In this paper, for every given -mod-A, we compute all the cohomology groups . Furthermore, we give some cohomological characterizations of biprojective Banach algebras. In particular, we show that the following properties of a Banach algebra A are equivalent to its biprojectivity: (i) for all -mod -A; (ii) for all -mod-A; (iii) for all -mod-A. (Here and are, respectively, the Banach A-bimodules of left, right and double multipliers of X.) Further, if A is a biflat Banach algebra and -mod-A, we compute all the cohomology groups , where is the Banach A-bimodule dual to X. Also, we give cohomological characterizations of biflat Banach algebras. We prove that a Banach algebra A is biflat if and only if any of the following conditions is valid: (i’) for all -mod-A; (ii’) for all -mod-A; (iii’) for all -mod-A. Received 16 June 1998     

Harmonious orbits of linear transformations

We describe necessary and sufficient conditions for orbits of linear transformations onR ⁿ ,n1, and sets arising as sums of elements from orbits, to be harmonious subsets. This is done via a generalization of the notion of Pisot-Vijayaraghavan and Salem numbers.     

Subfactors with principal graph E 6 (1)

We characterize irreducible II₁ subfactorsN M with principal graphE ₆ ⁽¹⁾ as N=P Z ₃ P A ₄, whereA ₄ acts outerly on a factorP.     

Quotient rings of algebras of functions and operators

Abstract. Various quotient rings of rings B of Banach algebra A-valued continuous functions on a completely regular Hausdorff Space X are constructed in terms of continuous functions defined on dense open subsets of X taking values in the maximal quotient ring of the Banach algebra A. This extends the results proved by N. J. Fine, L., Gillman and J. Lambek (1965) for the case of A, the field of real numbers. The pattern is similar and utilizes as well as generalises the results proved for algebras of multipliers of B by C. A. Akemann, G. K. Pedersen and J. Tomiyama (1973). The techniques combine those from algebra, analysis and topology. The details of the cases when A is the normed division algebra of real quaternions or the operator algebra B(H) of a Hilbert space H are given to illustrate our results. Received February 1, 1999; in final form June 18, 1999 / Published online May 8, 2000     

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.     

ON INESSENTIAL IDEALS IN BANACH ALGEBRAS

Abstract

In [2], Aupetit studied the perturbation of elements of a Banach algebra A by elements of an inessential ideal I of A. The main result of his paper is based on a lemma ([2], theorem 1.1) obtained by the use of subharmonic methods and analytic multivalued functions. Our aim in this note is to prove Auptetit's perturbation theorem ([2], theorem 2.4) by making use of elementary methods.     

On directional convexity

Motivated by problems from calculus of variations and partial differential equations, we investigate geometric properties of D-convexity. A function f: R ^d → R is called D-convex, where D is a set of vectors in R ^d, if its restriction to each line parallel to a nonzero v ∈ D is convex. The D-convex hull of a compact set A ⊂ R ^d, denoted by co^D(A), is the intersection of the zero sets of all nonnegative D-convex functions that are zero on A. It also equals the zero set of the D-convex envelope of the distance function of A. We give an example of an n-point set A ⊂ R ² where the D-convex envelope of the distance function is exponentially close to zero at points lying relatively far from co ^D(A), showing that the definition of the D-convex hull can be very nonrobust. For separate convexity in R ³ (where D is the orthonormal basis of R ³), we construct arbitrarily large finite sets A with co ^D(A) ≠ A whose proper subsets are all equal to their D-convex hull. This implies the existence of analogous sets for rank-one convexity and for quasiconvexity on 3 × 3 (or larger) matrices. This research was supported by Charles University Grants No. 158/99 and 159/99.     

Polynomially Riesz elements

Abstract

A Banach algebra element a ∈ A is said to be “polynomially Riesz”, relative to the homomorphism T : A → B, if there exists a nonzero complex polynomial p(z) such that the image T p(a) ∈ B is quasinilpotent.     

Isometries between function algebras with finite codimensional range

Let A be a function algebra on a compact space X. A linear isometry T of A into A is said to be codimension n or finite codimensional if the range of T has codimension n in A. In this paper we prove that such isometries can be represented as weighted composition mappings on a cofinite subset, (∂A)₀, of the Shilov boundary for A, ∂A. We focus on those finite codimensional isometries for which (∂A)₀=∂A. All the above results, applied to the particular case of codimension 1 linear isometries on C(X), are used to improve the classification provided by Gutek et al. in J. Funct. Anal. 101, 97–119 (1991). Received: 3 June 1998 / Revised version: 22 March 1999     

MULTIPLIERS OF MATRIX SPACES

Abstract

Suppose X and Y are FK spaces in which ? the span of the coordinate vectors (e_n) is dense. Let L(X,Y) denote the space of all matrices of the form E_i(T(e_j)) as T ranges over all continuous linear operators from X into Y; here e_i represents the i^th coordinate vector and E_i represents the i^th coordinate functional. Let M(L(X, Y)) denote the space of all matrices B such that (B(i,j)A(i,j)) is in L(X,Y) whenever A is in L(X,Y). In this paper we shall show how the summability properties of X and Y determine the extent of M(L(X,Y)) and conversely how the extent of M(L(X,Y)) determines the summability properties of both X and Y.     

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.     

OnA-linear operators on a HilbertA-module

The aim of this note is to prove that on every HilbertA-moduleH over a proper H^*-algebraA, thep-norms of Smith (1p) induce the same boundedA-linear operators with the same bounds.     

Schauder type theorems for differentiable and holomorphic mappings

Denoting byC _wu ^p (E) the algebra of allC ^p-real-valued functions on the real Banach spaceE such that the functions and the derivatives are weakly uniformly continuous on bounded subsets, it is known that the algebra homomorphismsA:C _wu ^q (F)C _wu ^p (E) are induced by differentiable mappingsg:EF ^**. We prove that, for 1p+1q, the following are equivalent: (a)A is compact; (b)g and its derivatives are compact; (c)gC _wu ^p (E,F ^**) (the authors had proved that, forp=q<,A is [weakly] compact if and only ifg is a constant mapping, and it is known that ifq<p, thenA is always induced by a constant mapping and is therefore compact). Also, for an entire function of bounded typegH _b (U,F), where is a balanced open subset, andE,F are complex Banach spaces, lettingA:H _b (F)H _b (U) be the homomorphism given byA(f)=fg for allfH _b (F), we prove thatA is compact if and only ifg is compact.Supported in part by DGICYT Grant PB 94-1052 (Spain).Supported in part by DGICYT Grant PB 93-0452 (Spain).     

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.     

Bounded and compact multipliers between Bergman and Hardy spaces

This paper studies the boundedness and compactness of the coefficient multiplier operators between various Bergman spacesA ^p and Hardy spacesH ^q . Some new characterizations of the multipliers between the spaces with exponents 1 or 2 are derived which, in particular, imply a Bergman space analogue of the Paley-Rudin Theorem on sparse sequences. Hardy and Bergman spaces are shown to be linked using mixed-norm spaces, and this linkage is used to improve a known result on (A ^p ,A ²), 1<p<2.Compact (H ¹,H ²) and (A ¹,A ²) multipliers are characterized. The essential norms and spectra of some multiplier operators are computed. It is shown that forp>1 there exist bounded non-compact multiplier operators fromA ^p toA ^q if and only ifpq.     

Characterizations of Noncommutative H ∞

We transfer a large part of the circle of theorems characterizing the generalization of classical H^∞ known as ‘weak* Dirichlet algebras’, to Arveson’s very general noncommutative setting of subalgebras of finite von Neumann algebras. This solves the long-standing open question of the equivalence of principles such as Szeg?’s theorem, the weak* density of A + A*, and so on, within the noncommutative setting. The techniques should also be useful in future developments in noncommutative H^p theory.     

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.