Composition operators on small spaces

We show that if a small holomorphic Sobolev space on the unit disk is not just small but very small, then a trivial necessary condition is also sufficient for a composition operator to be bounded. A similar result for holomorphic Lipschitz spaces is also obtained. These results may be viewed as boundedness analogues of Shapiro's theorem concerning compact composition operators on small spaces. We also prove the converse of Shapiro's theorem if the symbol function is already contained in the space under consideration. In the course of the proofs we characterize the bounded composition operators on the Zygmund class. Also, as a by-product of our arguments, we show that small holomorphic Sobolev spaces are algebras.