Exceptional sets and Hilbert--Schmidt composition operators. (Q1874693)

Let \(D\) be the unit disk in the complex plane and \(\varphi\) be an analytic map from \(D\) to itself. Let \(E_\varphi = \{ e^{i\theta} \in \partial D : | \varphi(e^{i\theta})| = 1 \} \) be the exceptional set and the composition operator \(C_\varphi : {\mathcal{H}}(D) \rightarrow {\mathcal{H}}(D)\) be defined as \(C_\varphi f = f \circ \varphi\), where \({\mathcal{H}}(D)\) is the space of all holomorphic functions. In this paper, the authors study the relationship between Hilbert-Schmidt composition operators and the boundary behavior of their inducing symbols \(\varphi\). They obtain that if the composition operator \(C_\varphi\) on Dirichlet space is Hilbert-Schmidt then the exceptional set \(E_\varphi\) has logarithmic capacity zero. They further obtain that there exists a compact composition operator on the a Dirichlet space such that \(E_\varphi\) has positive logarithmic capacity. Finally, they obtain that there exists a Hilbert-Schmidt composition operator on the Hardy space such that the exceptional set has positive logarithmic capacity.