Gleason parts for algebras of holomorphic functions in infinite dimensions (Q1987366)

Given a uniform algebra \(A,\) its spectrum or maximal ideal space \(M(A)\) lies in the dual space \(A^*\) and the Gleason parts of \(M(A)\) are the open balls of radius \(2\) in the metric space \(\big( M(A),\|\cdot\|_{A^*}\big).\) The paper under review is devoted to study Gleason parts of the spectrum of the uniform algebra \(H^\infty (B_{c_0})\) of bounded scalar-valued holomorphic functions defined on \(B_{c_0}\) and its subalgebra \(A_u(B_{c_0})\) of uniformly continuous functions. Section \(1\) contains some general results and recalls some examples concerning Gleason parts and the pseudo-hyperbolic distance. Section \(2\) is concerned with \(A_u(B_{c_0}).\) Since in this case the spectrum can be identified with the closed unit ball of \(\ell_\infty,\) via identification of \(z\in \overline{B}_{\ell_\infty}\) with the evaluation \(\delta_z \in A_u(B_{c_0})^*,\;\delta_z(f)=\tilde{f}(z),\) the results are formulated in terms of sequences \(z\equiv(z_n).\) Remarkably, the authors prove that \[\|\delta_z-\delta_w\|=\sup_{n\in \mathbb{N}: z_n\neq w_n}\Big|\frac{z_n-w_n}{1-\overline{z_n}w_n}\Big|.\] This leads the authors to a description of the Gleason part containing \(\delta_z.\) The case of \(H^\infty (B_{c_0})\) is cumbersome as the work of \textit{K. Hoffman} [Ann. Math. (2) 86, 74--111 (1967; Zbl 0192.48302)] for \(H^\infty\) demonstrated. Among the results presented, we highlight the following. For an element \(\varphi\) in the spectrum, denote \(\mathcal{GP}(\varphi)\) the Gleason part including \(\varphi.\) Relying on a construction due to \textit{B. J. Cole} et al. [Mich. Math. J. 39, No. 3, 551--569 (1992; Zbl 0792.46016)] it is proved that for \(z\in B_{\ell_\infty},\) there is an embedding \(\Psi: \beta \mathbb{N}\setminus \mathbb{N} \times \mathbb{D} \to M\big(H^\infty (B_{c_0})\big )\) that is analytic on each slice \(\{\theta\} \times \mathbb{D}\) such that a) \(\operatorname{Im} (\Psi)\) lies in the fiber of \(z,\) i.e., in \(\{\varphi : \varphi\big((\alpha_n)\big)=\sum_n \alpha_n z_n\; \forall (\alpha_n)\in (c_0)^*\}.\) b) \(\Psi(\theta,\lambda)\notin \mathcal{GP}(\delta_z)\) for each \((\theta,\lambda).\) c) \(\mathcal{GP}\big(\Psi(\theta,\lambda)\big)\cap \mathcal{GP}\big(\Psi(\theta_1,\lambda_1)\big) = \emptyset\) for each \(\theta\neq \theta_1\in \beta\mathbb{N}\setminus \mathbb{N}\) and \(\lambda,\lambda_1\in \mathbb{D}.\) In short, in a single fiber there is a huge amount of \textit{discs} lying in different Gleason parts.