The commutants of certain Toeplitz operators on weighted Bergman spaces (Q947535)

Let \(\mathbb{B}_n\) denote the unit ball in \(\mathbb{C}^n\) and, for \(\alpha>-1\), consider the measure \(d\nu_\alpha(z):= c_\alpha(1- |z|^2)^\alpha\,d\nu(z)\), where \(d\nu(z)\) is the usual Lebesgue measure on \(\mathbb{B}_n\) and \(c_\alpha\) is the constant that gives \(\nu_\alpha(\mathbb{B}_n)= 1\). The weighted Bergman space \(A^2_\alpha\) consists of the analytic functions in \(L^2_\alpha= L^2(\mathbb{B}_n, d\nu_\alpha)\). If \(f\in L^\infty(\mathbb{B}_n, d\nu)\), the Toeplitz operator \(T_f\) is defined on \(A^2_\alpha\) as multiplication by \(f\) followed by the orthogonal projection from \(L^2_\alpha\) into \(A^2_\alpha\). In the paper under review, the following two results are obtained. Theorem 1. If \(S\) is an operator in the \(C^*\)-algebra generated by \(\{T_g: g\in L^\infty\}\) that commutes with \(T_{z^{L_1}_1\cdots z^{L_n}_n}\) for some integers \(L_l,\dots, L_n\geq 1\), then there is a bounded analytic function \(f\) on \(\mathbb{B}_n\), so that \(S= T_f\). Theorem 2. Let \(g(z)= |z_1|^{s_1}\cdots|z_n|^{s_n} h(|z|)\) be a non-constant function on \(\mathbb{B}_n\), where \(h\in L^\infty[0, 1)\) and \(s_1,\dots, s_n\geq 0\). Then for \(f\in L^2_\alpha\), \(T_f T_g= T_g T_f\) on the polynomials if and only if \(f(e^{i\theta} z) f(z)\) for almost all \(\theta\in\mathbb{R}\) and \(z\in\mathbb{B}_n\), and for \(1\leq j\leq n\) with \(s_j\neq 0\), \(f(z_1,\dots, z_{j-1},|z_j|, z_{j+1},\dots, z_n)= f(z)\) for almost all \(z\in\mathbb{B}_n\). Observe that in the last theorem it is not required for \(f\) to be bounded, which is the reason why the operators are considered as acting only on the polynomials.