On Hoffman's characterization theorem of parts
Let $H^\infty(Δ)$ be the uniform algebra of bounded analytic functions on the open unit disc $Δ$, and let $\mathfrak{M}(H^\infty)$ be the maximal ideal space of $H^\infty(Δ)$. Applying Wermer's embedding theorem directly, we investigate the relation between the analytic structure in $\mathfrak{M}(H^\infty)$ and certain separability conditions. Our method rests only on the corona theorem and certain properties of analytic discs. Among other things, without deep factorization theorems on Blaschke products, we derive the famous Hoffman theorem: Let $P(ξ)$ be the Gleason part of $ξ$ in $\mathfrak{M}(H^\infty)$. Then $P(ξ)$ is an analytic disc if and only if $ξ$ lies in the closure in $\mathfrak{M}(H^\infty)$ of an interpolating sequence in $Δ$.