Cluster values of analytic functions on a Banach space (Q425149)

Given a complex Banach space \(X\) with open unit ball \(B_X\), let \(H^\infty(B_X)\) be the uniform algebra of bounded analytic functions on \(B_X\), \(A_u(B_X)\) the subalgebra of its uniformly continuous functions and \(A(B_X)\) the uniform algebra generated by the dual space \(X^*\subset H^\infty(B_X).\) To every point \(x\) in the closed unit ball of \(X^{**}\) and every \(f\in H^\infty(B_X)\) is associated the so-called cluster set of \(f\) at \(x,\; Cl(f,x),\) as the set of all limits of values of \(f\) along nets in \(B_X\) weak-star converging to \(x.\) In the case of the complex unit disc, such cluster sets coincide with the range of the Gelfand transform \(\hat{f}\) of \(f\) on the fiber of the spectrum over \(x.\) The paper under review aims at extending this result to the unit ball of the Hilbert space or that of \(c_0.\) Recall that the fiber of the spectrum \(M_A\) (\(A\) any of the mentioned algebras) over \(x\) is \(M_x=\{\upsilon\in M_A \text{ such that } \upsilon(x^*)=\langle x^*,x\rangle \;\forall x^*\in X^*\}\). The authors prove an interesting connection with a corona type theorem: If given \(f_1,\dots,f_{n-1}\in A(B_X),\) \(f_n\in A,\) with \(|f_1|+\dots+|f_n|>\epsilon>0,\) there exist \(g_1,\dots,g_{n}\in A\) such that \(\sum f_ig_i=1,\) then \( Cl(f,x)=\hat{f}(M_x)\) for all \(x\in \overline{B}_{X^{**}}\) and all \(f\in A\), and conversely. The final sections of the article are devoted to prove, using quite different techniques, that for \(A=A_u(B_X),\) \(X\) a Hilbert space, and for \(A=H^\infty(B_X),\) \(X=c_0,\) all cluster sets \( Cl(f,x)=\hat{f}(M_x)\) for all \(x\in \overline{B}_{X^{**}}\) and all \(f\in A.\)