It is well known that the disk algebra (viewed as an algebra on the circle) is uncomplemented in $C(\mathbb T)$. What can be said about the pair $(A(\mathbb D), H^\infty(\mathbb D))$?


Call the smaller algebra $A$ and the larger algebra $B$ for convenience. Here is a ludicrously over-the-top way to prove that $A$ is not complemented in $B$: invoke Bourgain's result that $B$ is a Grothendieck space, which means that every bounded linear map from $B$ to any separable Banach space $E$ must be weakly compact. So if there were a continuous linear projection of $B$ onto $A$, it would be weakly compact, and composing this with the inclusion map $A\hookrightarrow B$ we could deduce that the identity map on $A$ is weakly compact. But this is impossible since $A$ is not reflexive (as it contains a closed copy of the non-reflexive Banach space $c_0$).

Of course this argument shows, more generally, that any complemented subspace of $B$ has to be non-separable.

| cite | improve this answer | |
  • $\begingroup$ I wonder if it is possible to use some kind of averaging argument to show that if there is a bounded linear projection from $B$ onto $A$ then $A$ would be complemented as an $A$-module inside $B$, and then obtain a contradiction by looking at suitable Blaschke products $\endgroup$ – Yemon Choi Apr 7 '19 at 1:07
  • 1
    $\begingroup$ I edited the wrong wikipedia item. so you may delete your two lines here. $\endgroup$ – ray Apr 9 '19 at 15:58
  • $\begingroup$ @ray Thank you! I have edited my answer $\endgroup$ – Yemon Choi Apr 9 '19 at 17:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.