Topological isomorphisms for some universal operator algebras (Q694763)

This paper contains the full proof of a recent conjecture of \textit{K. R. Davidson, C. Ramsey} and \textit{O. M. Shalit} [Adv. Math. 228, No. 1, 167--218 (2011; Zbl 1228.47069)]. Let \(I\) be a radical homogeneous ideal in \(\mathbb C[z_1,\dots,z_d]\). Consider the reproducing kernel Hilbert space \(H_d^2\) on the open unit ball of \(\mathbb C^d\), with kernel \(K(z,w)=(1-\langle z,w\rangle)^{-1}\), and the commuting multiplication operators \(M_{z_i}\in L(H_d^2)\). Denoting with \({\mathcal A}_d\) the unital non-selfadjoint norm-closed operator algebra generated by \(M_z=(M_{z_1},\dots,M_{z_d})\), it is known that \(\mathcal A_d\) is universal for row contractions, in the sense that, if \((T_1,\dots,T_d)\) is a commuting row contraction on a Hilbert space \(H\), then for any polynomial \(p\in \mathbb C[z_1,\dots,z_d]\), the homomorphism \(p\mapsto p(T_1,\dots,T_n)\) extends to a completely contractive representation of \({\mathcal A}_d\), see [\textit{W. Arveson}, Acta Math. 181, No. 2, 159--228 (1998; Zbl 0952.46035)]. Denote by \({\mathcal A}_I\) the abstract operator algebra given by the quotient \({\mathcal A}_d/\overline{I}\); from \textit{G. Popescu}'s results [J. Funct. Anal. 161, No. 1, 27--61 (1999; Zbl 0933.46070)] it can be identified with the compression of \({\mathcal A}_d\) to the covariant subspace \({\mathcal F}_I=H_d^2\ominus I\). The main result of the present paper is the following theorem: if \(J\subset \mathbb C[z_1,\dots,z_{d'}]\) is another radical homogeneous ideal, then \({\mathcal A}_I\) and \({\mathcal A}_J\) are isomorphic if and only if there exist linear maps \(A:\mathbb C^{d'}\to \mathbb C^{d}\), \(B:\mathbb C^{d}\to\mathbb C^{d'}\) which restrict to mutually inverse bijections on the unit ball of the null sets of \(J\) and \(I\). The existence of such \(A,B\) when \(\mathcal{A}_I\) and \(\mathcal{A}_J\) are isomorphic and the converse of the statement for certain tractable varieties had been already established in the original paper of Davidson, Ramsey and Shalit [loc. cit.].