The norm problem for elementary operators
Section snippets
Setting the scene
Throughout we denote by A a complex unital Banach algebra and by the algebra of its elementary operators. By definition, if S is a linear mapping on A of the form , where a = (α1, … , αn) and b = (b1, … , bn) are n-tuples of elements of A. Clearly, every elementary operator S is bounded, and it is easy to give upper bounds for the norm of S, e.g. the projective tensor norm of . Many important classes of bounded linear operators on Banach algebras, for
Special cases on special algebras
Suppose A = C(X), the algebra of complex-valued continuous functions on a compact Hausdorff space X with more than one point. Then, there are a, b ∈ A, both non-zero, such that LaRb = 0. Clearly, this rules out the possibility of a lower bound for the norm ∥LaRb∥ in terms of ∥a∥ and ∥b∥. The other extreme is the case A = B(E), the bounded operators on a Banach space E, or slightly more general a closed subalgebra A of B(E)which contains all finite rank operators. In this case, the norm of LaRb
General case on very special algebras
The understanding of the behaviour of the norm of elementary operators led to other insights into their structural properties. The Fong-Sourour conjecture [8] stated that there are no non-zero compact elementary operators on C(H) for a separable Hilbert space H, where, for every Banach space E, K(E) denotes the ideal of compact operators and C(E) = B(E)/K(E) stands for the Calkin algebra on E. This was confirmed by different methods in [1], [9], and [12, Part II]. The solution provided in [1]
General case on general C*-algebras
Within the extended Grothendieck programme, elementary operators arise as follows. There is a canonical mapping from the algebraic tensor product A ⊗ A into B(A) defined as followswhich extends to a contraction from the projective tensor product onto the closure of in B(A). In general, ⊖ is not injective. Let us again confine ourselves with C*-algebras. Then, ⊖ is injective if and only if A is prime (see e.g. [3], Section 5.1). However, even in this
General case on good C*-algebras
In view of the results in the previous section the question when the norm and the cb-norm of elementary operators coincide is close at hand. That is, we intend to find a class of ‘good’ C*-algebras A distinguished by the property that ∥S∥ = ∥S∥cb for every . From the general theory we know that commutative C*-algebras are in this class. Magajna showed that very non-commutative C*-algebras can share this property. In [10] he proved that the Calkin algebra on a separable Hilbert space has
The challenge
The above discussion on the norm problem for elementary operators sheds considerable light on the present situation. In addition, it emerges that the solution to the following problem would yield a complete answer, at least in the case of general C*-algebras.
Determine the norm for every elementary operator on B(H), H a Hilbert space!
REFERENCES (22)
The Haagerup norm on the tensor product of operator modules
J. Funct. Anal.
(1995)The proximinality of the centre of a C*-algebra
J. Approx. Theory
(1997)- et al.
Uniform primeness of the Jordan algebra of symmetric operators
Proc. Amer. Math. Soc.
(1998) - et al.
Structural properties of elementary operators
Can. J. Math.
(1986) - et al.
On the central Haagerup tensor product
Proc. Edinburgh Math. Soc.
(1994) - et al.
Local multipliers of C*-aigebras
(2001) - et al.
On factorial states of operator algebras , II
J. Operator Th.
(1985) - et al.
Elementary operators on anti-liminal C*-algebras
Math. Ann.
(1999) Normes d'opérateurs elémentaires
Structural properties of elementary operators
On the operator identity
Can. J. Math.
Cited by (12)
Interpolation norms between row and column spaces and the norm problem for elementary operators
2009, Linear Algebra and Its ApplicationsAlternating-projection algorithms for operator-theoretic calculations
2006, Linear Algebra and Its ApplicationsNorm equality for a basic elementary operator
2003, Journal of Mathematical Analysis and ApplicationsThe norm of a symmetric elementary operator
2004, Proceedings of the American Mathematical SocietyTwo-sided multiplication operators on the space of regular operators
2016, Proceedings of the American Mathematical SocietyOperators Cauchy Dual to 2-Hyperexpansive Operators: The Multivariable Case
2012, Integral Equations and Operator Theory