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

From MaRDI portal
Publication:2074497



Abstract: R.M. Aron et al. proved that the Cluster Value Theorem in the infinite dimensional Banach space setting holds for the Banach algebra mathcalHinfty(Bc0). On the other hand, B.J. Cole and T.W. Gamelin showed that mathcalHinfty(ell2capBc0) is isometrically isomorphic to mathcalHinfty(Bc0) in the sense of an algebra. Motivated by this work, we are interested in a class of open subsets U of a Banach space X for which mathcalHinfty(U) is isometrically isomorphic to mathcalHinfty(Bc0). We prove that there exist polydisk type domains U of any infinite dimensional Banach space X with a Schauder basis such that mathcalHinfty(U) is isometrically isomorphic to mathcalHinfty(Bc0), which generalizes the result by Cole and Gamelin. Furthermore, we study the analytic and algebraic structure of the spectrum of mathcalHinfty(U) and show that the Cluster Value Theorem is true for mathcalHinfty(U).


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})\).











This page was built for publication: The spectra of Banach algebras of holomorphic functions on polydisk-type domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2074497)