Essential normality conjecture for one-dimensional varieties in the infinite-variable Drury–Arveson module

Let $V$ be a one-dimensional smooth holomorphic zero variety of an open neighborhood of the closed unit ball $\overline{\mathbb B}$, transversal to the boundary $\partial \mathbb B$. Consider the quotient modules defined by $V$ in the Drury–Arveson module in infinitely many variables. Essential normality conjecture. These quotient modules are essentially normal. Xia proved the analogous trace-class commutator property for quotient modules over the Arveson space in finitely many variables under the corresponding smoothness and transversality hypotheses. The conjecture asks whether essential normality continues to hold in infinitely many variables.