### William Arveson

#### by Orr Shalit

William B. Arveson was born in 1934 and died last year on November 15, 2011. He was my mathematical hero; his written mathematics has influenced me more than anybody else’s. Of course, he has been much more than just *my* hero, his work has had deep and wide influence on the entire operator theory and operator algebras communities. Let me quickly give an example that everyone can appreciate: Arveson proved what may be considered as the “Hahn-Banach Theorem” appropriate for operator algebras. He did much more than that, and I will expand below on some of his early contributions, but I want to say something before that on what he was to me.

When I was a PhD student I worked in noncommutative dynamics. Briefly, this is the study of actions of (one-parameter) semigroups of *-endomorphisms on von Neumann algebras (in short E-semigroups). The definitive book on this subject is Arveson’s monograph “Noncommutative Dynamics and E-Semigroups”. So, naturally, I would carry this book around with me, and I would read it forwards and backwards. The wonderful thing about this book was that it made me feel as if *all my dreams have come true! *I mean my dreams about mathematics: as a graduate student you dream of working on something grand, something important, something beautiful, something elegant, brilliant and deep. You want your problem to be a focal point where different ideas, different fields, different techniques, in short, all things, meet.

When reading Arveson there was no doubt in my heart that, e.g., the problem classifying E-semigroups of type I was a grand problem. And I was blown away by the fact that the solution was so beautiful. He introduced product systems with such elegance and completeness that one would think that this subject has been studied for the last 50 years. These product systems were measurable bundles of operator spaces – which turn out to be Hilbert spaces! – that have a group like structure with respect to tensor multiplication. And they turn out to be complete invariants of E-semigroups on . The theory set down used ideas and techniques from Hilbert space theory, operator space theory, C*-algebras, group representation theory, measure theory, functional equations, and many new ideas – what more could you ask for? Well, you could ask that the new theory also contribute to the solution of the original problem.

It turned out that the introduction of product systems immensely advanced the understanding of E-semigroups, and in particular it led to the full classification of type I ones.

So Arveson became my hero because he has made my dreams come true. And more than once: when reading another book by him, or one of his great papers, I always had a very strong feeling: *this is what I want to do.* And when I felt that I gave a certain problem all I thought I had in me, and decided to move on to a new problem, it happened that he was waiting for me there too.

I wish to bring here below a little piece that I wrote after he passed away, which explains from my point of view what was one of his greatest ideas.

For a (by far) more authoritative and complete review of Arveson’s contributions, see the two recent surveys by Davidson (link) and Izumi (link).

#### Subalgebras of C*-algebras I and II

Arveson was one of the first to realize the importance of non-selfadjoint operator algebras as well as the role of operator *spaces*, and he developed a theory which had both immediate applications (to problems operator theory, including “single operator theory”), as well as long term, far reaching implications. In his paper [“Analyticity in Operator Algebras”, Amer. J. Math. **89**, 1967] he wrote:

In the study of families of operators on Hilbert space, the self-adjoint algebras have occupied a preeminent position.

By “self-adjoint” he means, of course, C*-algebras and von Neumann algebras. He continues:

Nevertheless, many problems in operator theory lead obstinately toward questions about algebras that are not necessarily self-adjoint. Indeed, the general theory of a single operator on a finite-dimensional space rests on an analysis of the polynomials in that operator, and has nothing at all to do with the *-operation.

Arveson’s great insight was that if C*-algebras are a non-commutative analogue of algebras of continuous functions, then the theory of non-selfadjoint algebras should be considered as a non-commutative version of the theory of of function algebras. His vision was expounded in two ground breaking papers ([“Subalgebras of C*-algebras”, Acta Math. **123**, 1969], and [“Subalgebras of C*-algebras II”, Acta Math. **128**, 1972]), where he laid the foundations to the theory of (not necessarily self-adjoint) operator algebras and of operator spaces.

It was probably in these papers where the notions of *complete positivity*, *complete boundedness* and *complete isometry* were first shown to play such a fundamental role in operator theory.

**Digression:** You may wonder: “what is *complete this* and *complete that*“. Let me briefly explain what is a *complete isometry, *and the rest will be clear. An operator algebra is just a subalgebra of , and it inherits the operator norm from . A linear map (where is another operator algebra) is said to be an *isometry* if for all . This is a very familiar notion, the existence of such a means that and have the same Banach space structure. It turns out that the Banach space structure of an operator algebra is far from determining its other properties. Arveson somehow understood that the *complete* version of isometry is what one is required to look at. Here is what this means.

One can form the algebra of matrices over . This is a subalgebra of

,

so it is again an operator algebra. If is a linear map, we define by letting act entrywise, that is, if then is the matrix . Finally, the map is said to be a *complete isometry* if is an isometry for all . The same notions can be defined when and are operator spaces, that is, simply subpaces of . **End of digression.**

The main issue confronted in the two “Subalgebras” papers mentioned above is this: given an algebra of operators on a Hilbert space, one can form the C*-algebra which it generates. However, if is a *completely isometrically isomorphic* (i.e., indistinguishable) copy of , it might be the case that is different than . What is the precise relationship between an operator algebra and the C*-algebra that it generates? What is the “correct” C*-algebra in which one should study ? How can one study operator algebras abstractly?

Arveson’s approach was the following: if is an ideal in such that the quotient map is completely isometric when restricted to , then the quotient is another C*-algebra that contains completely isometrically isomorphically, and this C*-algebra is better than because it is smaller. Such an ideal is said to be a *boundary ideal*. Now suppose that there exists an ideal which is the largest boundary ideal — is said to be the *Shilov boundary ideal* and in the commutative case (when is a function algebra) it is precisely the ideal of functions which vanish on the Shilov boundary of . Then is the smallest such quotient that can be formed. Arveson proved that is a canonical invariant of and that it is in fact the smallest C*-algebra that contains completely isometrically isomorphically. This canonical C*-algebra later became to be know as the C*-envelope of .

To be precise, it was shown that if is the Shilov boundary ideal for in , and if is the Shilov boundary ideal for in , and if is a complete isometry, then extends to a *-isomorphism between and .

As a beautiful and very simple example of the kind of result that flowed from this theory let me bring the following:

**Theorem: **Let and be two irreducible compact operators on . Then and are unitarily equivalent if and only if the two dimensional operator spaces and * are completely isometric. *

The urgent question now becomes: *does the Shilov boundary ideal exist?*.

To prove the existence of the Shilov boundary ideal, Arveson introduced *boundary representations*. Although boundary representations were central to his investigations, and although he proved that they exist in some special cases, the question of whether boundary representations exist in general was left open (consequently, the existence of the C*-envelope was also left open). The existence of boundary representations in general (for separable operator spaces) was established by Arveson four decades later (!) in [“The noncommutative Choquet boundary”, J. Amer. Math. Soc. **21**, 2008] following important works of Dritschel and McCullough and of Muhly and Solel (the existence of the C*-envelope was established by Hamana in 1979 by a different approach).

One of the immediate applications of this theory that Arveson presented was a dilation theorem that unified and clarified the various bits and pieces of dilation theory (initiated by Sz.-Nagy) that were present at the time:

**Arveson’s Dilation Theorem (1972).** *Let be a -tuple of commuting operators and let be a compact set. Then has a normal dilation with if and only if is a complete spectral set for . *

I do not want to go into the definitions, the reader is referred to this exposition by Arveson for details.

Many of Arveson’s results in the two “Subalgebras” papers mentioned above relied on a Hahn–Banach type extension theorem for completely positive maps which he proved in the first section of the first paper. Let me state a version for completely contractive maps which is perhaps clearer to the newcomer:

**Arveson’s Extension Theorem (1969).** *Let be a C*-algebra, let be an linear subspace containing the identity and let be a unital, completely contractive map. Then has an extension to a unital, completely contractive and completely positive map .*

Anyone with some experience in functional analysis can appreciate the utility of this result. Indeed, this theorem is used by operator algebraists on a daily basis, to this day.

The ideas and results of these two papers of Arveson which we mentioned have had a profound impact on operator algebras and operator theory. Without them, the study of abstract operator algebras, the solution of the Sz.-Nagy–Halmos problem (*is every polynomially bounded operator similar to a contraction?*) and the numerous applications of operator space techniques to operator algebras, would have all been unthinkable.

Am enjoying your blog, Orr, and this post especially.

I have an idle question: what is known about the existence or non-existence of boundary representations for general, non-separable operator systems?

Thank you.

I don’t know of much. Let’s decide to discuss operator systems, that is, self ajdoint, unital operator spaces.

Dritschel and McCullogh showed that if is an operator system, then there is a representation of such that the only completely positive extension of the completely positive map to is itself. That is almost a boundary representation: a boundary representation is defined as a representation with the above property plus it is required to be irreducible.

The assumption about separability is needed to obtain irreducibly. At the end of the introduction of his “Noncommutative Choquet” paper (see here: http://www.ams.org/journals/jams/2008-21-04/S0894-0347-07-00570-X/home.html) Arveson mentions a unpublished work of Junge where for a class of questions it was shown that they have (sufficiently many) boundary representations.

The answer to this question can now be updated:

https://noncommutativeanalysis.wordpress.com/2013/03/17/forty-five-years-later-a-major-open-problem-in-operator-algebras-is-solved/

[…] this paper we treat a strong version of a conjecture of Arveson, which we call the Arveson-Douglas conjecture, and we obtain some new results in particular cases […]

[…] use the notion of a boundary representation. I wrote on “Subalgebras of C*-algebras” in a previous post dedicated to Arveson, and for some background material the reader is invited to look into that old […]

[…] the full tribute, with all the various points of view and pieces of life that it contains. I wrote a post dedicated to Arveson’s memory about half a year ago, where I put links to two recent surveys (1 by Davidson and and 2 by […]

Is there any soft copy of the Noncommutative Dynamics and E-Semigroups

available in the internet

I don’t know. I will lend you my hard copy if you come to Be’er Sheva 🙂

Actually,I may be coming to Israel Technion for summer program on Nonnegative Matrices under Abraham Berman.Don’t know how far it is from Beer Sheva

That’s nice! Of course, the Math Library at the Technion has a copy, if you have time during that week.

[…] objective is to connect between essential normality and the noncommutative Choquet boundary (see this and this previous posts). A main result here is we have is that the tuple is essentially […]