Which linear-fractional composition operators are essentially normal? (Q1874430): Difference between revisions

Let \(\varphi\) be a holomorphic map of the unit circle \(\mathbb{U}\) into itself and \(C_\varphi\) the composition operator on the Hardy space \(H^2=H^2(\mathbb{U})\) defined by \(C_\varphi f(z)=f[\varphi(z)]\). This interesting paper deals with the property of the operator \(C_\varphi\) to be nontrivially essentially normal. (An operator \(T\) on a Hilbert space is said to be essentially normal if the commutator \(TT^\ast - T^\ast T\) is compact, and nontrivially essentially normal if it is essentially normal, but neither normal nor compact). It was known that a composition operator on \(H^2\) is normal if and only it is generated by a dilatation \(\varphi(z)=az\) with \(|a|\leq 1\) [cf. \textit{H. J. Schwartz}, ``Composition Operators on \(H^p\)'' (Thesis, University of Toledo) (1969)]. Recently it was shown that among the conformal automorphisms of \(\mathbb{U}\) the rotations are the only ones that induce essentially normal composition operators on \(H^2\). In this paper, the authors characterize the nontrivially essentially normal composition operators in the following Theorem. A composition operator \(C_\varphi\) induced on \(H^2\) by a linear-fractional map \(\varphi\) is nontrivially essentially normal if and only if \(\varphi\) is a parabolic nonautomorphism.