Matt Kennedy and I recently posted on the arxiv a our paper “Essential normality, essential norms and hyper rigidity“. This paper treats Arveson’s conjecture on essential normality (see the first open problem in this previous post). From the abstract:
Let denote the compression of the -shift to the complement of a homogeneous ideal of . Arveson conjectured that is essentially normal. In this paper, we establish new results supporting this conjecture, and connect the notion of essential normality to the theory of the C*-envelope and the noncommutative Choquet boundary.
Previous works on the conjecture verified it for certain classes of ideals, for example ideals generated by monomials, principal ideals, or ideals of “low dimension”. In this paper we find results that hold for all ideals, but – alas! – these are only partial results.
Denote by the image of in the Calkin algebra (here as in the above paragraph, is the compression of the -shift to the complement of an ideal in ). Another way of stating Arveson’s conjecture is that the C*-algebra generated by is commutative. This would have implied that the norm closed (non-selfadjoint) algebra generated by is equal to the sup-norm closure of polynomials on the zero variety of the ideal . One of our main results is that we are able to show that the non-selfadjoint algebra is indeed as the conjecture predicts, and this gives some evidence for the conjecture. This is also enough to obtain a von Neumann inequality on subvarieties of the ball, what would have been a consequence of the conjecture being true.
Another main 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 normal if and only if it is hyperrigid (meaning in particular that all irreducible representations of are boundary representations).