On ideals in \(H^\infty\) whose closures are intersections of maximal ideals (Q1396294)

Let \(H^\infty \) be the Banach algebra of all bounded analytic functions on the open unit disk \(D . \) The author introduces the so-called condition (\(\alpha\)) for a non-trivial proper ideal \(I\) in \(H^\infty \) which is sufficient to prove that (1) the closure of \(I \) is an intersection of maximal ideals. As usual, \(M(H^\infty) \) denotes the maximal ideal space and for \( f \in H^\infty,\) the zero set \( Z(f) \) is the set of all \(\varphi \in M(H^\infty)\) such that \( \varphi (f)=0 . \) Further, the zero set \(Z(I) \) of the ideal \(I \) is the intersection of all \(Z (f) \) with \( f \in I . \) The condition (\(\alpha\)) says that for any \(0<\sigma <1 \) and any subset \(A \) of the unit disk \(D\) such that the closure of \(A\) (considered as a subset of \(M(H^\infty)) \) is disjoint from \(Z(I),\) there exists \(h\in I \) of norm \(\leq 1 \) and \( |h(x)|\geq \sigma \) for all \( x \in A . \) For example, a prime ideal in \(H^\infty \) that does not contain any interpolating Blaschke product satisfies condition (\(\alpha\)). As a consequence, every prime ideal in \(H^\infty \) has property (1). On the other hand, condition (\(\alpha\)) is necessary for the validity of (1) for those ideals \(I \) such that each Gleason part \(P(\varphi) \) is contained in \(Z(I) \) for all \( \varphi \in Z(I) \) with \(P(\varphi) \neq {\varphi} .\) Special attention is devoted to single-generated ideals and condition (\(\alpha\)) is reformulated in terms of Jensen's inequality.