To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
In the last chapter we saw how the abstract characterization of operator algebras led to a number of factorization formulas for certain universal operator algebras. However, this theory was an isometric theory. In this chapter we focus on the isomorphic theory of operator algebras and applications to similarity questions.
We present Pisier's remarkable work on similarity degree and factorization degree, and Blecher's characterization of operator algebras up to cb isomorphism.
Pisier's work shows that for an operator algebra B, every bounded homomorphism is completely bounded if and only if the type of factorization occurring in the study of MAXA(B) can be carried out with uniform control on the number of factors needed. The least such integer is the factorization degree of the algebra.
Pisier's work has a number of deep implications in the study of bounded representations of groups and in the study of Kadison's similarity conjecture. We focus primarily on Kadison's conjecture, that every bounded homomorphism of a C*-algebra into B(H) is similar to a ∗-homomorphism. Thus, we will show that Kadison's conjecture is equivalent to the existence of an integer d such that every C*-algebra has factorization degree at most d.
A pivotal role in Pisier's work is played by the universal operator algebra of an operator space.
In this chapter we apply the results of Chapter 9 to the study of multiply connected K-spectral sets. We show that for a “nice” region X with finitely many holes it is possible to write down a fairly simple characterization of the family of operators that, up to similarity, have normal ∂X-dilations. This constitutes a model theory for these operators. In contrast, if X has two or more holes, then it is still an open problem to determine whether or not every operator for which X is a spectral set has a normal ∂X-dilation, i.e., is a complete spectral set. A further difficulty with the theory of spectral sets is that it is quite difficult to determine if a given set is a spectral set for an operator. We will illustrate this difficulty in the case that X is an annulus and T is a 2 × 2 matrix.
Thus, even if it is eventually determined that the properties of being a spectral set and being a complete spectral set are equivalent, the use of the theory might be limited by the impossibility of recognizing operators to which it could be applied.
It is easier to determine when a “nice” set with no holes is a spectral set for an operator.
Polynomially bounded and power-bounded operators have played an important role in the development of this area, and there are a number of interesting results, counterexamples, and open questions about these operators. In particular, we will present Foguel's example [98] of a power-bounded operator and Pisier's example [191] of a polynomially bounded operator that are not similar to contractions.
Recall that an operator T is power-bounded provided that there is a constant M such that ||Tn|| ≤ M for all n ≥ 0. Clearly, if T = S-1CS with C a contraction, then T is power-bounded with ||Tn|| ≤ ||S-1|| ||S||.
It is fairly easy to see (Exercise 10.1), by using the Jordan form, that a matrix T ∈ Mn is power-bounded if and only if it is similar to a contraction. Sz.-Nagy [229] proved that the same characterization holds when T is a compact operator. This led naturally to the conjecture that an arbitrary operator is similar to a contraction if and only if it is power-bounded. Foguel provided the first example of a power-bounded operator that is not similar to a contraction.
Recall that an operator is polynomially bounded provided there is a constant K such that ||p(T)|| ≤ K||p||∞ for every polynomial p, where the ∞-norm is the supremum norm over the unit disk.
In the last chapter we obtained an abstract characterization of operator spaces that allows us to define these spaces without a concrete representation. This result has had a tremendous impact and has led to the development of a general theory of operator spaces that parallels in some ways the development of the theory of Banach spaces.
In this chapter we give the reader a brief introduction to some of the basics of this theory, focusing on some of the more important operator spaces that we will encounter in later chapters.
We have already encountered one example of the power of this axiomatic characterization. In Exercise 13.3, it was shown that if V is an operator space and W ⊆ V a closed subspace, then V / W is an operator space, where the matrix norm structure on V/W comes from the identification Mm,n(V/W) = Mm,n(V)/Mm,n(W). Yet in most concrete situations it is difficult to actually exhibit a concrete completely isometric representation of V/W as operators on a Hilbert space.
The first natural question in the area is as follows: If V is, initially, just a normed space, then is it always possible to assign norms ||·||m,n to Mm,n(V) for all m and n in such a fashion that V becomes an operator space? The answer to this question is yes.
This book is intended to give the reader an introduction to the principal results and ideas in the theories of completely positive maps, completely bounded maps, dilation theory, operator spaces, and operator algebras, together with some of their main applications. It is intended to be self-contained and accessible to any reader who has had a first course in functional analysis that included an introduction to C*-algebras. It could be used as a text for a course or for independent reading. With this in mind, we have included plenty of exercises.
We have made no attempt at giving a full state-of-the-art exposition of any of these fields. Instead, we have tried to give the reader an introduction to many of the important techniques and results of these fields, together with a feel for their connections and some of the important applications of the ideas. However, we present new proofs and approaches to some of the well-known results in this area, which should make this book of interest to the expert in this area as well as to the beginner.
The quickest route to a result is often not the most illuminating. Consequently, we occasionally present more than one proof of some results. For example, scattered throughout the text and exercises are five different proofs of a key inequality of von Neumann. We feel that such redundancy can lead to a deeper understanding of the material.
In this chapter we take a closer look at injectivity and introduce injective envelopes and C*-envelopes of operator systems, operator algebras, and operator spaces. Loosely speaking, the injective envelope of an object is a “minimal” injective object that contains the original object. The C*-envelope of an operator algebra is a generalization of the Silov boundary of a uniform algebra. The C*-envelope of an operator algebra A is the “smallest” C*-algebra that contains A as a subalgebra, up to completely isometric isomorphism. These ideas will be made precise in this chapter. Many of the ideas of this chapter are derived from the work of M. Hamana [112].
Injectivity is really a categorical concept. Suppose that we are given some category C consisting of objects and morphisms. Then an object I is called injective in C provided that for every pair of objects E ⊆ F and every morphism φ: E → I, there exists a morphism ψ: F → I that extends φ, i.e., such that ψ(e) = φ(e) for every e in E.
If we let denote the collection of operator systems and define the morphisms between operator systems to be the completely positive maps, then since the composition of completely positive maps is again completely positive, we shall have a category, which we call the category of operator systems.