The Validity Range of Two Complex Analysis Theorems (Q4433181)

Let \(G\) be a compact abelian group and \(\widehat G\) is its dual group. We give complete characterization of shift-invariant uniform algebras \(A_S\) of analytic functions on \(G\) with spectra in semigroups \(S\subset \widehat G\), on which two classical complex analysis theorems hold, namely, Radó's theorem for analytic extension and Riemann's theorem for removable singularities. Our characterizaton is in terms of algebraic properties of semigroups \(S\). A uniform algebra \(A\) satisfies the Radó's property if every function \(f\) continuous on \({\mathcal M}_A\) and \(A\)-holomorphic on \({\mathcal M}_A \setminus Z(f)\) belongs to \(A\); \(A\) possesses the Riemann's property if, given a function \(g\in A\) with \(Z(g)\cap \partial A=\emptyset\), then every bounded \(A\)-holomorphic function on \({\mathcal M}_A\setminus Z(g)\) belongs to \(A\). We show that under natural conditions the algebras \(A_S\) possesses Radó's property if and only if the semigroup \(S\) is weakly enhanced; \(A_S\) possesses the Riemann's property if and only if the semigroup \(S\) is boundedly enhanced. Here \(S\) is weakly enhanced if for every \(a\in\widehat G\) there is a natural \(n_a\) such that \(n_a a\in S\); \(S\) is boundedly enhanced if for every \(a\in\widehat G\) there are \(b,c\in S\) with \(a=b-c\), such that \(\widehat\chi_b/ \widehat\chi_c\) is bounded on \({\mathcal M}_S\setminus Z(\widehat\chi_c)\), where \(Z(\widehat\chi)= \{m\in{\mathcal M}_S: m(\chi)= 0\}\) is the zero-set of \(\widehat\chi\).