Topics in Operator Theory, Lecture 9: the boundary theorem
by Orr Shalit
In this post, we come back to boundary representations and the C*-envelope, prove an important theorem, and see some examples. It is interesting to note that the theory has interesting consequences even for operators on finite dimensional spaces. Here is a link to a very interesting paper by Farenick giving an exposition of Arveson’s boundary theorem in the setting of operators on finite dimensional spaces.
1. The implementation theorem
Theorem (the implementation theorem): Let be an operator system in , for . If the Shilov ideal of both is trivial, then every unital and completely isometric map of onto is implemented by a *-isomorphism.
Proof: If the Shilov boundary ideals are both trivial, then are the C*-envelopes of , respectively. By the universal property of the C*-envelope, the exist surjective *-homomorphisms and such that
for all . We find that is a *-homomorphism of onto itself which fixes . Hence it is the identity, and must be a *-isomorphism.
Example: Suppose that are irreducible. If
for all , then and are unitarily equivalent. In other words, the unitary equivalence class of an irreducible operator is completely determined by the “structure” of the unital operator space generated by the operator. This follows from the implementation theorem because is simple.
In fact, the same argument works for a pair of irreducible compact operators, since the C*-algebra generated by an irreducible compact operator is the algebra of compact operators, which is simple.
The assumption that the operator is irreducible is obviously required, since , and (for example) all generate completely isometric operator systems.
2. The boundary theorem
Recall that a set of operators on a Hilbert space is said to be irreducible if there is no nontrivial subspace that jointly reduces all the operators in . If is selfadjoint, then it is irreducible if and only there is no joint proper invariant subspace. An operator space, system or algebra is said to be irreducible if it is irreducible as a set.
If denotes the algebra of compact operators on , then the quotient map is called the Calkin map. If a C*-algebra contains , then we abuse notation and use the same symbol to denote the quotient , and we also call the Calkin map.
The C*-algebra of compacts is evidently irreducible, and whenever an operator system is such that the C*-algebra , then is also irreducible.
Let be an operator system. It is of interest to determine when has trivial Shilov boundary ideal in . Here is one easy criterion: if the identity map is a boundary representation, then the Shilov boundary ideal (being the intersection of all boundary ideals) must be trivial. The converse is also true when contains the compacts (I leave this as an exercise).
The following is Arveson’s boundary theorem, which gives a usable criterion for when the identity is a boundary representation. We first present it as presented in the second “Subalgebras” paper.
Theorem (the boundary theorem): Let be an operator system in such that . The identity map is a boundary representation for in if and only if the restriction of the Calkin map to is not completely isometric.
The following relatively-simple-but-ingenious proof that we will present is due to Davidson. Arveson’s original proof was much more involved, and used stuff from the theory of von Neumann algebras (it is always beautiful to see proofs that make use of tools somewhat unrelated to the problem at hand, but it is always best – especially when teaching – to be able to explain things using the simplest and most relevant tools). A recent preprint by Hasegawa and Ueda presents another proof. Below we will give another very simple proof, that became available only rather recently, after it was proved that there always exist many boundary representations.
Before the proof, note that the assumption that implies that is irreducible. If is assumed irreducible, then if the quotient map is not isometric on it means that . Indeed, is not isometric on , whence it cannot be injective, so contains a compact operator. By irreducibility, contains all compact operators.
Davidson’s proof: Suppose first that is completely isometric on , then we can define a completely isometric and unital map
which, by Arveson’s extension theorem, extends to a UCP map . Now, is a UCP map that fixes but annihilates , so it is not the identity representation. Hence, the identity has more than one UCP extension to .
For the converse, we assume that is not isometric, and prove that this implies that every UCP extension of to is the identity. The assumption that is not isometric, is stronger than the assumption that is merely not completely isometric, and we leave it to the reader to explain why there is no loss of generality in this assumption.
So suppose that is not isometric, and let be a UCP extension of to . We need to show that is the identity map.
Let be the minimal Stinespring dilation of . We will make use of basic facts regarding representations of C*-algebras containing an ideal. The representation breaks up into a direct sum on as
(here the subscript “a” stands for “analytic” and the subscript “s” stands for “singular”), such that annihilates the compacts and is a direct sum of the identity representation.
To obtain the split, one defines and proceeds from there.
The explanation why is a direct sum of the identity representation has two main parts:
- Every non-degenerate representation of the compacts breaks up into a direct sum of representations unitarily equivalent to the identity representation. We have explained this in class for representations of on finite dimensional spaces; here the explanation is similar (making use of matrix units, or rank one operators), and needs to throw in a Zorn Lemma argument.
- By the above, where every summand is equivalent to the identity. Now one observes that every extends uniquely to by the formula
For more details, confer either Davdison’s “C*-Algbegras by Example” or Arveson’s “An Invitation to C*-Algebras”.
Now let such that . If , then , and we find that . By considering the spectral projection of , which must be compact and hence finite dimensional, we obtain a nonzero finite dimensional subspace
Now we carry out a little computation. Fix , and write . Then
Since , we must have equality throughout. Using the fact that (because and for every ), we obtain, first that , and second, that .
We have found a nonzero finite dimensional space such that . Interestingly, at this point we can forget about the non-isometricness of , we discard , and the proof proceeds in an ingenious way.
Let be a minimal nonzero subspace with the property that . We define
for all .
Note that is a closed subspace that contains the identity.
Claim: If and , then .
Assuming the claim for the moment (and in order to immediately justify this definition), let’s see how it implies that must be the identity. Clearly, if the claim holds, then . If , then for all ,
But don’t forget that is irreducible, so elements of the form , where and must span the whole space. It follows that , and this concludes the proof, modulo the claim.
To prove the claim, we fix and . Define
is a nonzero subspace of (for the same reasons that defined above is a subspace). For every , we have
Since we have equality throughout, it must be that , and by minimality . The inequalities also give
so must be in the range of ( the range of the projection ), and, using that , we find that
and this shows that , as claimed. The proof of the boundary theorem is now complete.
Modern simple proof: (Thanks to Adam Dor-On, Satish Pandey and Marina Prokhorova for pointing my attention to this).
We first recall that every representation of has the form
so that is a sum of identity representations and annihilates the compacts. By Davidson and Kennedy’s theorem, for every ,
is a boundary rep. .
Suppose that is not a boundary representation. Then the above maximum is attained at a singular representation. If follows that is completely isometric, since every singular representation factors through the quotient .
Conversely, suppose that is a boundary representation. Then the Shilov boundary – which is the intersection of all boundary ideals, is trivial. It follows that the compacts do not constitute a boundary ideal, and so the is not completely isometric.
3. Some examples
Example: Let be the shift on symmetric Fock space, and let be the unital operator algebra that the shift generates. Note that is a commutative operator algebra, while is not commutative and contains the compacts (showing this for requires some work). Using the boundary theorem, we can see that
- The case : The Calkin map is isometric. It follows that the Shilov ideal of is equal to the compacts, so the C*-envelope is .
- The case : The Calkin map is not completely isometric, as one can see by considering the row , which has norm at least
On the other hand, one can show that is essentially normal, so
This shows that is not completely isometric. It follows that the identity is a boundary representation, and , and in particular it is non-commutative.