The commutator of the Bergman projection on strongly pseudoconvex domains with minimal smoothness (Q6065769)

In what follows, given an exponent \(1<q<+\infty\), we let \(q':=\frac{q}{q-1}\), \(\mathrm{BMO}^p_r\) (resp., \(\mathrm{VMO}^p_r\)) denotes the bounded mean oscillation (resp., vanishing mean oscillation) space which takes the \(L^p\) average over all the Kobayashi balls with radius \(r>0\). Let \(P\) denote the Bergman projection. The main results of the paper are the following. Let \(D\subset\mathbb C^n\) be a bounded strongly pseudoconvex domain with \(\mathcal C^2\) boundary, \(q\geq2\), \(r>0\), \(b\in L^q(D)\). \begin{itemize} \item[1.] The commutator \([b,P]\) is bounded on \(L^p(D)\) for \(q'\leq p\leq q\) if and only if \(b\in\mathrm{BMO}^q_r\). In this case \[ \|[b,P]\|_{L^p(D)}\lesssim\|b\|_{\mathrm{BMO}^q_r}, \] where the implicit constant in the above estimate only depends on the parameters \(r\), \(p\), \(q\), and the domain \(D\). \item[2.] The commutator \([b,P]\) is compact on \(L^p(D)\) for \(q'\leq p\leq q\) if and only if \(b\in\mathrm{VMO}^q_r\). \item[3.] If \(1\leq p<+\infty\) then \[ \mathrm{BMO}^p_{\mathcal B}=\mathrm{BMO}^p_{\mathcal D}=\mathrm{BMO}^p_r,\quad \mathrm{VMO}^p_{\mathcal B}=\mathrm{VMO}^p_{\mathcal D}=\mathrm{VMO}^p_r, \] where \(\mathrm{BMO}^p_{\mathcal D}\) (resp., \(\mathrm{VMO}^p_{\mathcal D}\)) is the dyadic \(\mathrm{BMO}\) (resp., \(\mathrm{VMO}\)) space which takes the \(L^p\) average over the dyadic ``tents'' in \(D\) and \(\mathrm{BMO}^p_{\mathcal B}\) (resp., \(\mathrm{VMO}^p_{\mathcal B}\)) is the \(\mathrm{BMO}\) (resp., \(\mathrm{VMO}\)) space induced by a Berezin-like transform. \end{itemize}