Factorization of Blaschke products and ideal theory in \(H^{\infty }\) (Q630802)

Let \(H^\infty\) be the Banach algebra of bounded analytic functions on the unit disk \(\mathbb D\) with the supremum norm. Identifying a function in \(H^\infty\) with its Gelfand transform, it may be seen as a function on the maximal ideals spectrum \(M(H^\infty)\). Let \(\{a_n\}_{n\in\mathbb N}\subset \mathbb D\) be a sequence of points such that \(\sum(1-|a_n|)<\infty\). Associated to it there is the Blaschke product \[ b(z) = \prod_{n=1}^\infty \frac{-a_n}{|a_n|} \frac{z-a_n}{1-\overline{a}_n z},\;\;\;z\in\mathbb D\,. \] A sequence \(\{a_n\}_{n\in\mathbb N}\) (and its associated Blaschke product) is called interpolating if for every bounded sequence \(\{c_n\}_{n\in\mathbb N}\subset \mathbb C\) there is a function \(f\in H^\infty\) such that \(f(a_n)=c_n\) for every \(n\). For \(x,y\in M(H^\infty)\), their pseudohyperbolic distance is defined by \[ \rho(x,y)=\sup\big\{|f(x)| : f(y)=0,\;f\in H^\infty, \;\| f\|_\infty\leq1\big\}\,. \] The Gleason part containing \(x\in M(H^\infty)\) is the set \[ P(x)= \big\{y\in M(H^\infty) : \rho(x,y)<1\big\}\,. \] If \(P(x)\neq\{x\}\), it is called non-trivial. \(G\) is the union of all non-trivial Gleason parts in \(M(H^\infty)\). Let \(I\) be a closed ideal of \(H^\infty\). \(Z(I)\) is the set of common zeros (in \(M(H^\infty)\)) of the functions in \(I\). The aim of the paper is to study closed ideals of \(H^\infty\) such that \(Z(I)\subset G\). The general study for closed ideals not satisfying the above requirement is extremely difficult. The main aim is to provide an answer to the following questions: Question 1. Characterize the non-void compact and totally disconnected subsets \(E\subset G\) satisfying \(Z(I(E))=E\), \(I(E)\) being the ideal of functions vanishing on \(E\). Question 2. Let \(E\subset G\) be a non-void compact and totally disconnected subset. For which bounded numbering function \(n_E:E\to\mathbb N\setminus\{0\}\) does there exist a closed ideal \(I\) in \(H^\infty\) satisfying \(Z(I)=E\) and with order of vanishing at each \(x\in E\) given by \(n_E(x)\)? Question 3. Let \(I,J\) be two closed ideals of \(H^\infty\) with zero sets in \(G\). Is their tensor product a closed ideal of \(H^\infty\). Question 4. Let \(I,J\) be two closed ideals of \(H^\infty\) with zero sets in \(G\). Is their product \[ IJ = \big\{fg : f\in I, g\in J\big\} \] a closed ideal of \(H^\infty\)? These questions are first addressed to locally, and then globally.