Commutators and semi-commutators of monomial Toeplitz operators on the pluriharmonic Hardy space (Q1997182)

For \(n\in\mathbb{N}\), let \(d\mu\) and \(d\sigma\) denote, respectively, the normalized Haar measure on the torus \(\mathbb{T}^n\) being the Cartesian product of \(n\) copies of the unit circle \(\mathbb{T}\subset \mathbb{C}\) and the surface area measure on the unit sphere \(\mathbb{S}_n\). The pluriharmonic Hardy space \(h^2(\mathbb{T}^n)\) is defined by \(h^2(\mathbb{T}^n)=H^2(\mathbb{T}^n)+\overline{H^2(\mathbb{T}^n)}\), where the Hardy space \(H^2(\mathbb{T}^n)\) is the closure of the set of analytic polynomials in the space \(L^2(\mathbb{T}^n,d\mu)\). Similarly, the pluriharmonic Hardy space \(h^2(\mathbb{S}_n)\) is the closure of the set of all pluriharmonic functions in the space \(L^2(\mathbb{S}_n,d\sigma)\). Let \(\Omega_n\) be \(\mathbb{T}^n\) or \(\mathbb{S}_n\). The Toeplitz operator \(T_f\) with symbol \(f\in L^\infty(\Omega_n)\) on the pluriharmonic Hardy space \(h^2(\Omega_n)\) is defined by \(T_f(h)=Q(fh)\) for all \(h\in h^2(\Omega_n)\), where \(Q\) is the orthogonal projection of \(L^2(\Omega_n)\) onto \(h^2(\Omega_n)\). The paper gives a complete characterization of the finite rank commutators and semi-commutators of two Toeplitz operators \(T_{f_1}\) and \(T_{f_2}\) with monomial symbols of the form \(f=z^p\bar{z}^q\) on the space \(h^2(\Omega_n)\), where \(z=(z_1,z_2,\dots,z_n)\), \(z^p=z_1^{p_1}z_2^{p_2}\dots z_n^{p_n}\) and \(\bar{z}^q=\bar{z}_1^{q_1}\bar{z}_2^{q_2}\dots\bar{z}_n^{q_n}\), where \(p_s\) and \(q_r\) are nonnegative integers.