THE UNIQUENESS OF OPERATIONAL QUANTITIES IN VON NEUMANN ALGEBRAS

Abstract

Since 1970 a number of operational quantities, characteristic of either the semi-Fredholm operators or of some “ideal” of compact-like operators, have been introduced in the theory of bounded operators between Banach spaces and applied successfully to for example perturbation theory. More recently such quantities have been introduced even in the abstract setting of Fredholm theory in a von Neumann algebra relative to some closed two-sided ideal. We show that in this fairly general setting there is only one “reasonable” set of such quantities—a result which in its present form is to the best of our knowledge new even in the case of B(H), the algebra of all bounded operators on a Hilbert space H. We accomplish this by first of all introducing the concept of a (reduced) minimum modulus in the setting of C*-algebras and developing the relevant techniques. In the process we generalise a result of Nikaido [N].     

On completely irreducible operators

Let T be a bounded linear operator on Hilbert space H, M an invariant subspace of T. If there exists another invariant subspace N of T such that H = M + N and M ∩ N = 0, then M is said to be a completely reduced subspace of T. If T has a nontrivial completely reduced subspace, then T is said to be completely reducible; otherwise T is said to be completely irreducible. In the present paper we briefly sum up works on completely irreducible operators that have been done by the Functional Analysis Seminar of Jilin University in the past ten years and more. The paper contains four sections. In section 1 the background of completely irreducible operators is given in detail. Section 2 shows which operator in some well-known classes of operators, for example, weighted shifts, Toeplitz operators, etc., is completely irreducible. In section 3 it is proved that every bounded linear operator on the Hilbert space can be approximated by the finite direct sum of completely irreducible operators. It is clear that a completely irreducible operator is a rather suitable analogue of Jordan blocks in L(H), the set of all bounded linear operators on Hilbert space H. In section 4 several questions concerning completely irreducible operators are discussed and it is shown that some properties of completely irreducible operators are different from properties of unicellular operators. __________ Translated from Acta Sci. Nat. Univ. Jilin, 1992, (4): 20–29     

Topological and bornological characterisations of ideals in von Neumann algebras: II

SupposeM is a von Neumann algebra on a Hilbert spaceH andI is any norm closed ideal inM. We extend to this setting the well known fact that the compact operators on a Hilbert space are precisely those whose restrictions to the closed unit ball are weak to norm continuous.     

Hankel operators in Schatten ideals

We study membership to Schatten ideals S _E , associated with a monotone Riesz–Fischer space E, for the Hankel operators H _f defined on the Hardy space H ²(∂D). The conditions are expressed in terms of regularity of its symbol: we prove that H _f ∈S _E if and only if f∈B _E , the Besov space associated with a monotone Riesz–Fischer space E(dλ) over the measure space (D,dλ) and the main tool is the interpolation of operators. Received: December 17, 1999; in final form: September 25, 2000?Published online: July 13, 2001     

Separate weak*-continuity of the triple product in dual real JB*-triples

We prove that, if E is a real JB*-triple having a predual then is the unique predual of E and the triple product on E is separately $\sigma (E,E_{*_{}})-$continuous. Received February 1, 1999; in final form March 29, 1999 / Published online May 8, 2000     

Transitivity of the norm on Banach spaces¶ having a Jordan structure

We study transitivity conditions on the norm of JB ^*-triples, C ^*-algebras, JB-algebras, and their preduals. We show that, for the predual X of a JBW ^*-triple, each one of the following conditions i) and ii) implies that X is a Hilbert space. i) The closed unit ball of X has some extreme point and the norm of X is convex transitive. ii) The set of all extreme points of the closed unit ball of X is non rare in the unit sphere of X. These results are applied to obtain partial affirmative answers to the open problem whether every JB ^*-triple with transitive norm is a Hilbert space. We extend to arbitrary C ^*-algebras previously known characterizations of transitivity [20] and convex transitivity [36] of the norm on commutative C ^*-algebras. Moreover, we prove that the Calkin algebra has convex transitive norm. We also prove that, if X is a JB-algebra, and if either the norm of X is convex transitive or X has a predual with convex transitive norm, then X is associative. As a consequence, a JB-algebra with almost transitive norm is isomorphic to the field of real numbers. Received: 9 June 1999 / Revised version: 20 February 2000     

Characterizations of new Cohen summing bilinear operators

We prove two characterizations of new Cohen summing bilinear operators. The first one is: Let X, Y and Z be Banach spaces, 1 < p < ∞, V : X × Y → Z a bounded linear operator and n ≥ 2 a natural number. Then V is new Cohen p-summing if and only if for all Banach spaces X₁,?…?, X_n and all p-summing operators U : X₁ × · · · × X_n → X, the operator V ? (U, I_Y) : X₁ × · · · × X_n × Y → Z is -summing. The second result is: Let H be a Hilbert space,, Y, Z Banach spaces and V : H × Y → Z a bounded bilinear operator and 1 < p < ∞. Then V is new Cohen p-summing if and only if for all Banach spaces E and all p-summing operators U : E → H, the operator V ? (U, I_Y) is (p, p*)-dominated.     

Maps preserving the harmonic mean or the parallel sum of positive operators

Let H be a complex Hilbert space. The symbol A!B stands for the harmonic mean of the positive bounded linear operators A,B on H in the sense of Ando. In this paper we describe the general form of all automorphisms of the set of positive operators with respect to that operation. We prove that any such transformation is implemented by an invertible bounded linear or conjugate-linear operator on H. Similar results concerning the parallel sum and the arithmetic mean in the place of the harmonic mean are also presented.     

A Dodds–Fremlin Property for Asplund and Radon–Nikodým Operators

Let E and F be Banach lattices and let S, T: E→ F be positive operators such that 0≤ S≤ T. It is shown that if T is a Radon–Nikodym operator, F has order continuous norm and E and F both have (Schaefer's) property (P), then S is a Radon–Nikodym operator; also, if T is an Asplund operator, E' has order continuous norm and E has property (P), then S is an Asplund operator.     

Continuity of the Restriction of C 0-Semigroups to Invariant Banach Subspaces

A linear semigroup in a Banach space induces a linear semigroup on a Banach space that can be continuously embedded in the former such that its image is invariant. This restriction need not be strongly continuous, although the original semigroup is strongly continuous. We show that norm or weak compactness of partial orbits is a necessary and sufficient condition for strong continuity of the restriction of a C₀-semigroup. We then show that if the embedded Banach space is reflexive and the norms of the restricted semigroup operators are bounded near the initial time, then the restricted semigroup is strongly continuous.     

Genericity and amalgamation of classes of Banach spaces

We study universality problems in Banach space theory. We show that if A is an analytic class, in the Effros-Borel structure of subspaces of C([0,1]), of non-universal separable Banach spaces, then there exists a non-universal separable Banach space Y, with a Schauder basis, that contains isomorphs of each member of A with the bounded approximation property. The proof is based on the amalgamation technique of a class C of separable Banach spaces, introduced in the paper. We show, among others, that there exists a separable Banach space R not containing L¹(0,1) such that the indices β and rND are unbounded on the set of Baire-1 elements of the ball of the double dual R∗∗ of R. This answers two questions of H.P. Rosenthal.We also introduce the concept of a strongly bounded class of separable Banach spaces. A class C of separable Banach spaces is strongly bounded if for every analytic subset A of C there exists Y∈C that contains all members of A up to isomorphism. We show that several natural classes of separable Banach spaces are strongly bounded, among them the class of non-universal spaces with a Schauder basis, the class of reflexive spaces with a Schauder basis, the class of spaces with a shrinking Schauder basis and the class of spaces with Schauder basis not containing a minimal Banach space X.     

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.     

Order and algebra isomorphisms of spaces of regular operators

If E and F are real Banach lattices and there is an algebra and order isomorphism Φ:(E) →(F) between their respective ordered Banach algebras of regular operators then there is a linear order isomorphism U:E→F such that Φ(T) =UTU⁻¹ for all T ∈ (E).     

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.     

Perturbation of orthonormal bases with an application to diagonalization

Given an orthonormal basis {e _n } _n=1 in a Hilbert spaceH, and a dense linear manifoldDH, we show that there exists a unitary operatorV onH such thatI-V is a trace-class operator with arbitrarily small trace norm, andVe _jD for allj. This result can be used to simplify certain arguments of J. Xia concerning the simultaneous diagonalization of operators on a space of square integrable functions.     

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.     

Maximality of Positive Operator-valued Measures

A positive operator-valued measure is a (weak-star) countably additive set function from a σ-field Σ to the space of nonnegative bounded operators on a separable complex Hilbert space . Such functions can be written as M = V*E(·)V in which E is a spectral measure acting on a complex Hilbert space and V is a bounded operator from to such that the only closed linear subspace of , containing the range of V and reducing E (Σ), is itself. Attention is paid to an existing notion of maximality for positive operator-valued measures. The purpose of this paper is to show that M is maximal if and only if E, in the above representation of M, generates a maximal commutative von Neumann algebra.     

The lattice of closed ideals in the Banach algebra of operators on certain Banach spaces

Very few Banach spaces E are known for which the lattice of closed ideals in the Banach algebra of all (bounded, linear) operators on E is fully understood. Indeed, up to now the only such Banach spaces are, up to isomorphism, Hilbert spaces and the sequence spaces c₀ and ?_p for 1?p<∞. We add a new member to this family by showing that there are exactly four closed ideals in for the Banach space E?(⊕?₂ⁿ)_c0, that is, E is the c₀-direct sum of the finite-dimensional Hilbert spaces ?₂¹,?₂²,…,?₂ⁿ,… .     

The Choquet integral representation in the affine vector-valued case

LetX be any compact convex subset of a locally convex Hausdorff space andE be a complex Banach space. We denote byA(X, E) the space of all continuous and affineE-valued functions defined onX. In this paper we prove thatX is a Choquet simplex if and only if the dual ofA(X, E) is isometrically isomorphic by a selection map toM _m (X, E*), the space ofE*-valued,w*-regular boundary measures onX. This extends and strengthens a result of G. M. Ustinov. To do this we show that for any compact convex setX, each element of the dual ofA(X, E) can be represented by a measure inM _m (X, E*) with the same norm, and this representation is unique if and only ifX is a Choquet simplex. We also prove that ifX is metrizable andE is separable then there exists a selection map from the unit ball of the dual ofA(X, E) into the unit ball ofM _m (X, E*) which is weak* to weak*-Borel measurable.This work will constitute a portion of the author's Ph.D. Thesis at the University of Illinois.