Interpolating sequences in the spectrum of $H^\infty $ I (Q4955753)

Consider the uniform algebra \(H^\infty\) of analytic functions over the unit disk, and its spectrum \(M(H^\infty)\). The main results of the paper provide characterizations for the interpolating sequences in the spectrum. A point in \(M(H^\infty)\) is called trivial if its Gleason part consists of a single point; otherwise it is called nontrivial. Also a sequence \(\{x_n\}\) of different points in a topological space \((X,{\mathcal T})\) is discrete if the restriction of the topology \({\mathcal T}\) to the set \(\{x_n:n\in\mathbb{N}\}\) is the discrete topology. Theorem. Let \(\{x_n\}\) be a sequence of trivial points in \(M(H^\infty)\). Then \(\{x_n\}\) is interpolating if and only if \(\{x_n\}\) is discrete. Theorem. Let \(\{x_n\}\) be a discrete sequence of nontrivial points in \(M(H^\infty)\). Suppose that there exist pairwise disjoint open sets \(\{U_n\}\) in \(M(H^\infty)\) containing \(x_n\) such that \[ \delta= \inf_j \prod_{n:n\neq j} \rho(U_j, U_n)> 0, \] where \(\rho\) denotes the pseudohyperbolic distance. Then (1) \(\{x_n\}\) is an interpolating sequence; and (2) there exists \(f_n\) in \(H^\infty\) such that \[ \|f_n\|\leq 1,\;f_n(x_n)= 0,\;\prod^\infty_{n= 1} f_n\in H^\infty\quad\text{and}\quad \inf_k\Biggl|\Biggl(\prod_{n:n\neq k} f_n\Biggr)(x_k)\Biggr|\geq \delta> 0. \]