The spectra of Banach algebras of holomorphic functions on polydisk-type domains (Q2074497)

The algebra \(H^\infty(B_{c_0})\) of bounded analytic functions on the open unit ball of \(c_0\) endowed with the sup-norm is an archetype in infinite dimensional complex analysis. The article under review aims at providing examples of open subsets \(U\) of a Banach space for which the analogous algebra \(H^\infty (U)\) is algebraically and isometrically isomorphic to \(H^\infty(B_{c_0})\). This is achieved by considering in a Banach space \(X\) with a normalized Schauder basis \((e_j)\) and for a given sequence of real numbers \(\textbf{r}:=(r_n)\) with \(\inf_n r_n >0\), some kind of polydisc open set \(\mathbb{D}_X(\textbf{r})\) defined according to \[ \mathbb{D}_X(\textbf{r}):= \Bigl\{x\in X: x=\sum_j x_je_j \text{ with } |x_j|<r_j ~~\forall j \Bigr\}.\] The main motivation for such research is to study the spectrum of the resulting algebra \(H^\infty( \mathbb{D}_X(\textbf{r}))\) in the spirit of earlier work by [\textit{R.~M. Aron} et al., Math. Ann. 353, No.~2, 293--303 (2012; Zbl 1254.46057)] done for \(H^\infty(B_{c_0}).\) Actually, it suffices to deal with \(\mathbb{D}_X(\textbf{1})\), that is, the case \(r_n=1\) for all~\( n\). The authors consider the subspace \(X^{\bowtie}:=\big(H^\infty(\mathbb{D}_X(\textbf{1}))\big)\cap X^*\) of \(H^\infty(\mathbb{D}_X(\textbf{1}))\) and the restriction mapping \(\pi: H^\infty(\mathbb{D}_X(\textbf{1})) \to (X^{\bowtie})^*.\) Then they study the fibers over elements \(z\) in the unit ball of \((X^{\bowtie})^*\), i.e., the sets \(\pi^{-1}(z)\), and prove a cluster value theorem that identifies the limit values of \(f\) when approaching \(z\) from points in \(\mathbb{D}_X(\textbf{1})\). Such results are proved through the aimed isomorphism with \(H^\infty(B_{c_0})\).