Note on separately symmetric polynomials on the Cartesian product of \(\ell_1\) (Q2414422)

The author considers symmetric polynomials on finite and infinite products of \(\ell_1\). In the finite setting, the author says that a polynomial \(P\) on \(\ell_1^{(n)}:=\underbrace{\ell_1\times\dots\times\ell_1}_{n\text{-times}}\) is separately symmetric if \(P(\sigma_1(x^{(1)}),\dots,\sigma_n(x^{(n)}))=P(x^{(1)}, \dots,x^{(n)})\) for all permutations \(\sigma_1,\dots,\sigma_n\) of \(\mathbb{N}\). The space of all symmetric polynomials is denoted by \(\mathcal{P}_{ss}(\ell_1^{(n)}) \). The author proves that the polynomials \(F_k^{(j)}\), \(j,k=1,2,\dots\), defined by \(F_k^{(j)}(x)=\sum_{m=1}^\infty (x_m^{(j)})^k\) form an algebraic basis for \(\mathcal{P}_{ss}(\ell_1^{(n)})\). The completion of \(\mathcal{P}_{ss}(\ell_1^{(n)})\) with respect to the topology of uniform convergence on bounded subsets of \(\ell_1^{(n)}\) is a uniform Fréchet algebra which the author denotes by \(\mathcal{H}_{bss}(\ell_1^{ (n)})\). The spectrum of this algebra is shown to be equal to the Cartesian product of \(n\) copies of the spectrum of the algebra of bounded symmetric holomorphic functions on \(\ell_1\). In the infinite-dimensional setting, the author takes a Banach space \(X\) with an unconditional basis \((e_n)_n\) and defines the space \(\ell_1^{(X)}\) as the space of all sequences \(x=(x^{(1)},x^{(2)}. \dots, x^{(n)},\dots)\) such that \(x^{(n)}\) in \(\ell_1\) and \(\sum_{n=1}^\infty\|x^{ (n)}\|_{\ell_1}e_n\in X\). A polynomial \(P\) on \(\ell_1^{(X)}\) is said to be separately symmetric if \(P(\sigma_1(x^{(1)}),\dots,\sigma_n(x^{(n)}),\dots)= P(x^{(1)},\dots,x^{(n)},\dots)\) for all permutations \(\sigma_1,\dots, \sigma_n,\dots\) of \(\mathbb{N}\). The author shows that, unlike the finite-dimensional case, the space of separately symmetric polynomials on \(\ell_1^{(X)}\) is non-separable and therefore does not have a countable algebraic basis.