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 ![\mathbb{C}[z_1, \ldots, z_d]](https://s0.wp.com/latex.php?latex=%5Cmathbb%7BC%7D%5Bz_1%2C+%5Cldots%2C+z_d%5D&bg=fff&fg=444444&s=0&c=20201002)
. 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).
Noncommutative Analysis 
[…] the corrigendum). I wrote about this problem and about this paper a few times before (for example, when announcing the preprint), so I with the above pointers and links in place, we end these […]
[…] of special cases – in which the conjecture is not refuted yet! In fact, Matt Kennedy and I once proved that certain operator algebras are hyperrigid if and only if they satisfy another conjecture of […]