Compact Toeplitz operators on Segal-Bargmann type spaces (Q554282)

Let \(\nu\) be a regular Borel probability measure on \({\mathbb C}^n\) that is rotation-invariant. Then there is a regular Borel probability measure \(\mu\) on \([0,\infty)\) such that \(\int_{{\mathbb C}^n}f(z)\,d\nu(z)=\int_0^\infty\int_{\mathbb S}f(r\zeta)d\sigma(\zeta)\,d\mu(r)\) holds for all \(f\in L^1({\mathbb C}^n,d\nu)\), where \({\mathbb S}\) is the unit sphere and \(\sigma\) is the normalized surface measure on \({\mathbb S}\). Suppose that \(\mu\) satisfies (C1) \(\sup\{r:\operatorname{supp}\mu\}=\infty\); (C2) \(\widehat{\mu}(m)=\int_0^\infty r^m\,d\mu(r)<\infty\) for all \(m\geq 0\); (C3) \(\lim_{m\to\infty}\frac{(\widehat{\mu}(2m+1))^2}{\widehat{\mu}(2m)\widehat{\mu}(2m+2)}=1\). The space \({\mathcal H}\) is a space of all entire functions on \({\mathbb C}^n\) that are square integrable with respect to the measure \(\nu\). For a bounded Borel function \(f\) on \({\mathbb C}^n\), the Toeplitz operator \(T_f:{\mathcal H}\to{\mathcal H}\) is defined by \(T_f(u)=P(fu)\), where \(P\) is the orthogonal projection from \(L^2({\mathbb C}^n,d\nu)\) onto \({\mathcal H}\). One says that a bounded Borel function \(f\) on \({\mathbb C}^n\) has a uniform radial limit at infinity if there is a function \(f_\infty\) on \({\mathbb C}\) such that \(\lim_{r\to\infty}\sup_{\zeta\in{\mathbb S}}|f(r\zeta)-f_\infty(\zeta)|=0\). The set of all bounded Borel functions having continuous radial limits is denoted by \({\mathcal S}\). Let now \(f\) be a bounded function on \({\mathbb C}^n\) with the uniform radial limit \(f_\infty\). It is shown that \(T_f\) is compact on \({\mathcal H}\) if and only if \(f_\infty\) vanishes on \({\mathbb S}\). Let \({\mathcal T}({\mathcal S})\) be the algebra generated by the Toeplitz operators \(T_f\) with \(f\in{\mathcal S}\). It is proved that \({\mathcal T}({\mathcal S})\) is irreducible and that the commutator ideal of \({\mathcal T}({\mathcal S})\) coincides with the ideal \({\mathcal K}\) of compact operators on \({\mathcal H}\). The structure of \({\mathcal T}({\mathcal S})\) is analyzed. In particular, it is shown that \({\mathcal T}({\mathcal S})=\{T_f+K: f\in{\mathcal S},\;K\in{\mathcal K}\}\).