Commutants of separately radial Toeplitz operators in several variables (Q2396853)

Let \(A^2= A^2(\mathbb{B}^d)\) be the classical Bergman space on the unit ball \(\mathbb{B}^d\) in \(\mathbb{C}^d\). The author describes Toeplitz operators with bounded measurable symbols that commute with a given Toeplitz operator \(T_{\varphi}\) with measurable bounded separately radial symbol \(\varphi(z) = \varphi(|z_1|,\dots,|z_d|)\). A general result is given in Proposition 3.3 in terms of periods of functions holomorphic on the right-half space. The main result of the paper is the following more detailed characterization for the case when \(\varphi\) is a separately radial polynomial in \(z\) and \(\overline{z}\): Theorem A. Let \(\varphi\) be a separately radial polynomial in \(z\) and \(\overline{z}\). Then there exist tuples of integers \(u_1, \dots ,u_k\) with \(u_1 = (1,\dots,1)\) such that, for any bounded function \(\psi\), the following statements are equivalent. (a) \(T_{\psi}\) commutes with \(T_{\varphi}\). (b) For all \(j =1,\dots,k\) and complex numbers \(\lambda\), with \(|\lambda|=1\), \[ \psi(\lambda^{u{j,1}}z_1,\dots,\lambda^{u{j,d}}z_d) = \psi (z), \quad z \in \mathbb{B}^d, \] where \(u_j = (u_{j,1},\dots,u_{j,d})\). Theorem B. Let \(u_1 = (1,\dots,1)\) and \(u_2, \dots ,u_k\) be given tuples of integers. Then there exists a separately radial polynomial in \(z\) and \(\overline{z}\) such that for any bounded function \(\psi\), the two statements in Theorem A are equivalent.