Decomposability and the cyclic behavior of parabolic composition operators (Q2760124)

This is an interesting and very well written paper on the structure of composition operators on Hardy spaces. Recall that an operator \(T\) on a Banach space \(X\) is decomposable, if for every open covering \(\{V,W\}\) of the plane \(\mathbb{C}\) there is a pair \(\{Y,Z\}\) of closed \(T\)-invariant subspaces such that \(X=Y+Z\) and the spectrum of \(T|_Y\) lies in \(V\) and that of \(T|_Z\) in \(W\). NEWLINENEWLINENEWLINEThe author now proves that for \(1\leq p<\infty\), any nonsurjective, parabolic linear fractional mapping \(\varphi\) of the unit disk \(\mathbb{D}\) into itself induces on \(H^p\) a composition operator \(C_\varphi: f\mapsto f\circ \varphi\) which is decomposable. This is done by showing that such an operator has a \(C^2\) functional calculus. Let us mention that in Section 4, we find an elegant and short proof of the known result that decomposability follows from the existence of a \(C^\infty\) calculus. NEWLINENEWLINENEWLINETo achieve his goal, the author transfers his problem to the upper-half plane, where the selfmaps under consideration reduce to translations \(z\mapsto z+a\), \(\text{Im } a>0\). From the representation of the associated composition operators as convolution operators now will arise the functional calculus.NEWLINENEWLINENEWLINENoticing that the spectrum of a composition operator \(C_\phi\) associated to a parabolic linear fractional selfmap of \(\mathbb{D}\), different from an automorphism, is either the closed interval \([0,1]\) or a curve that starts at 1 and converges to \(0\) by spiralling infinitely often around it, the author concludes from a result of \textit{T. L. Miller} and \textit{V. G. Miller} [Proc. Am. Math. Soc. 127, No. 4, 1029-1037 (1999; Zbl 0911.47012)] on decomposable operators, that each such \(C_\phi\) is not supercyclic. A second, mostly selfcontained proof of the non-supercyclicity is provided, too.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00063].