Hilbert spaces of analytic functions of infinitely many variables (Q4484553)

In this very interesting paper, the authors introduce, on the unit ball of a separable Hilbert space \(E\), an analogue of the classical Hardy space \(H^ 2 (\Delta)\). First, the space \(P_ h (^ n E)\) of \(n\)-homogeneous Hilbertian polynomials is defined and studied. \(P_ h (^ n E)\) is the dual of the symmetric \(n\)-fold Hilbertian tensor product \(E_ h ^ n\) and lies somewhere between integral and weakly continuous (on bounded sets) polynomials. Though \(E\) is a Hilbert space, its norm-attaining polynomials are not dense. \(H^ 2\) is defined to be the space of functions \(f\) that are holomorphic on the unit ball of \(E\) and such that \(f=\sum_{n=0} ^ \infty P_ n\), where the \(P_ n\) are in \(P_ h (^ n E)\) and \(\| f \|_ 2 =(\sum_ n \| P_ n \|^ 2)^ {1/2} < \infty\). It is shown that \(H^ 2\) is dual to the \(\ell_ 2\)-direct sum of \(E_ h ^ n\)'s (symmetric Fock space). Also, a group of unitary operators on \(H^ 2\) is studied, and a spectral decomposition is given for them. Finally, another space \(W\) of holomorphic functions on the unit ball is defined: those with \(f=\sum_{n=1} ^ \infty P_ n\), where \(P_ n \in P_ h (^ n E)\), and \(\| f \|_ 1 =\sum_ n \| P_ n \| < \infty\). \(W\) is shown to be a commutative Banach algebra whose spectrum is homeomorphic to the unit sphere of \(E\). Thus, a Wiener-type theorem is obtained for \(W\): if \(f\in W\) has no zero on the unit sphere, then \(1/f \in W\).