Rigidity of composition operators on the Hardy space $H^p$

TL;DR

This paper characterizes the non-compact behavior of composition operators on Hardy spaces $H^p$, revealing a trichotomy that distinguishes between compactness and the ability to embed certain sequence spaces.

Contribution

It establishes a precise trichotomy for composition operators on $H^p$, showing when they are compact, fix copies of $ ext{ell}^p$, or fix copies of $ ext{ell}^2$, and relates these to operator ideals.

Findings

Exactly one of three cases holds for $C_$ on $H^p$

Operators either are compact, fix $ ext{ell}^p$, or fix $ ext{ell}^2$

In case (iii), $C_$ fixes a copy of $L^p(0,1)$ for $p > 1

Abstract

Let $\phi$ be an analytic map taking the unit disk $\mathbb{D}$ into itself. We establish that the class of composition operators $f \mapsto C_\phi(f) = f \circ \phi$ exhibits a rather strong rigidity of non-compact behaviour on the Hardy space $H^p$, for $1\le p < \infty$ and $p \neq 2$. Our main result is the following trichotomy, which states that exactly one of the following alternatives holds: (i) $C_\phi$ is a compact operator $H^p \to H^p$, (ii) $C_\phi$ fixes a (linearly isomorphic) copy of $\ell^p$ in $H^p$, but $C_\phi$ does not fix any copies of $\ell^2$ in $H^p$, (iii) $C_\phi$ fixes a copy of $\ell^2$ in $H^p$. Moreover, in case (iii) the operator $C_\phi$ actually fixes a copy of $L^p(0,1)$ in $H^p$ provided $p > 1$. We reinterpret these results in terms of norm-closed ideals of the bounded linear operators on $H^p$, which contain the compact operators $\mathcal K(H^p)$. In particular, the class of composition operators on $H^p$ does not reflect the quite complicated lattice structure of such ideals.