Strong uniqueness sets and \(t\)-analytic sets for \(H^\infty\) and \(H^\infty +C\) (Q641599)

A subset \(E\) of the maximal ideal space \(M(A)\) of a Banach function algebra \(A\) is said to be: (a) a uniqueness set, provided \(f=0\) for every \(f\in A\) with \(f\equiv 0\) on \(E\) (\(E\neq\emptyset\)); (b) \(t\)-analytic, provided \(f\equiv 0\) on \(E\) for every \(f\in A\) with \(f\equiv 0\) on \(E\cap U\), where \(U\) is an arbitrary open set in \(M(A)\) that meets \(E\). The notion of \(t\)-analyticity was introduced for open sets by \textit{A. Daoui, H. Mahzouli} and \textit{E. H. Zerouali} [Proc. Am. Math. Soc. 131, No. 10, 3211--3220 (2003; Zbl 1052.47028)] and for general sets by \textit{J. F. Feinstein} and the author [Math. Z., in press]. Strong uniqueness sets, introduced in the present paper, are nonempty subsets \(E\) of \(M(A)\) such that \(f=0\) for every \(f\in A\) with \(f\equiv 0\) on \(U\cap E\), where \(U\) is an arbitrary open set in \(M(A)\) that meets \(E\). Interesting relationships between \(t\)-analytic and strong uniqueness sets for the algebra \(H^\infty\) of bounded analytic functions in the open unit disk \(\mathbb D\) in the complex plane, and for the Sarason algebra \(H^\infty+C\) are established in this paper. In particular, it is shown that a non-empty set \(E\subset M(H^\infty)\) that meets the Shilov boundary \(\partial H^\infty\) is \(t\)-analytic for \(H^\infty\) if and only if \(E\) is either a singleton or a strong uniqueness set for \(H^\infty\); \(t\)-analytic sets \(E\) in \(M(H^\infty)\setminus\mathbb D\) for the algebras \(H^\infty\) and \(H^\infty+C\) are the same; each \(t\)-analytic set for \(H^\infty+C\) that meets the Shilov boundary \(\partial(H^\infty+C)\) is a singleton; a non-empty and non-singleton subset of \(\mathbb D\) is a strong uniqueness set for \(H^\infty\) if and only if \(E\) is \(t\)-analytic for \(H^\infty\), if and only if \(E\) does not have isolated points; \(H^\infty+C\) does not have strong uniqueness sets. As a consequence, it is shown that the collection of closed \(t\)-analytic sets for \(H^\infty\) that meet \(\mathbb D\) consists of individual points of \(\mathbb D\), and sets of type \(K\cup\overline F\), where \(F\) is without isolated points and \(\emptyset\neq F\subset\mathbb D\), while \(K\) is either empty, or a closed strong uniqueness set for \(H^\infty\). The collection of closed \(t\)-analytic sets for \(H^\infty\) that are contained in \(M(H^\infty+C)\), i.e., the corona of \(H^\infty\), consist of \(t\)-analytic sets of \(H^\infty+C\) and closed strong uniqueness sets for \(H^\infty\) that are contained in \(\partial H^\infty\).