Analytic structure on the spectrum of the algebra of symmetric analytic functions on \(L_\infty \) (Q2293218)

Let \(H_{bs}(L_\infty)\) denote the Fréchet algebra of all entire symmetric functions \(f:L_\infty\to\mathbb{C}\) which are bounded on bounded subsets of \(L_\infty\), endowed with the topology of uniform convergence on bounded sets. The authors prove that \(H_{bs}(L_\infty)\) is isomorphic to \(H(H(\mathbb{C})^*_\beta)\), the algebra of all analytic functions on the (DFM)-space \(H(\mathbb{C})^*_\beta\). Thus the spectrum of \(H_{bs}(L_\infty)\), after its identification with \(H(\mathbb{C})^*\), can be endowed with the analytic structure provided by \(H(\mathbb{C})^*_\beta\). In his thesis, E.~A. Michael posed the problem of whether every complex-valued homomorphism on a complex commutative Fréchet algebra is necessarily continuous. \textit{D. Clayton} [Rocky Mt. J. Math. 5, 337--344 (1975; Zbl 0325.46055)], \textit{M. Schottenloher} [Arch. Math. 37, 241--247 (1981; Zbl 0471.46036)] and \textit{J. Mujica} [Complex analysis in Banach spaces. Holomorphic functions and domains of holomorphy in finite and infinite dimensions. Amsterdam/New York/Oxford: North-Holland (1986; Zbl 0586.46040)] constructed concrete Fréchet algebras $A$ with the property that the Michael problem can be solved in general if and only if it can be solved for such an algebra~$A$. From the above result, the authors of the paper under review show in an elementary way that also \(H_{bs}(L_\infty)\) is a test algebra for the Michael problem.