Centralizers of Toeplitz operators with polynomial symbols (Q371751): Difference between revisions

Let \(B^2\) be the Bergman space on the unit disk \(\mathbb{D}\) of \(\mathbb{C}\) and let \(P\) be the orthogonal projection from \(L^2=L^2(\mathbb{D})\) to \(B^2\). For \(\varphi\in L^\infty\), let \(T_\varphi:L^2\to B^2\) be the Toeplitz operator with symbol \(\varphi\), defined by \(T_\varphi(f)=P(\varphi f)\). In particular, if \(\varphi\) is holomorphic, then \(T_\varphi(f)=\varphi f\). In this paper, the author proves that, if \(h\) is a holomorphic polynomial in \(z\) but not in \(z^l\) for any positive integer \(l>1\), and \(S\) is a bounded linear operator on \(B^2\) which commutes with \(T_{h(z^m)}\) for some positive integer \(m\), then \(S\) commutes with \(T_{z^m}\). If, in addition, \(S\) is compact, then \(S=0\). As a consequence of this result, it is shown that, if \(h\) is an arbitrary non-constant holomorphic polynomial, \(S\) is in the algebra generated by all the Toeplitz operators, and \(S\) commutes with \(T_h\), then \(S=T_g\) for some holomorphic function \(g\). The paper also contains examples which show that the above results fail for Toeplitz operators with bounded holomorphic symbols.