Search

It is known that every continuous symmetric (invariant under the composition of its argument with each Lebesgue measurable bijection of $[0,1]$ that preserve the Lebesgue measure of measurable sets) polynomial on the Cartesian power of the complex Banach space $L_\infty$ of all Lebesgue measurable essentially bounded complex-valued functions on $[0,1]$ can be uniquely represented as an algebraic combination, i.e., a linear combination of products, of the so-called elementary symmetric polynomials. Consequently, every continuous complex-valued linear multiplicative functional (character) of an arbitrary topological algebra of the functions on the Cartesian power of $L_\infty,$ which contains the algebra of continuous symmetric polynomials on the Cartesian power of $L_\infty$ as a dense subalgebra, is uniquely determined by its values on elementary symmetric polynomials. Therefore, the problem of the description of the spectrum (the set of all characters) of such an algebra is equivalent to the problem of the description of sets of the above-mentioned values of characters on elementary symmetric polynomials. In this work, the problem of the description of sets of values of characters, which are point-evaluation functionals, on elementary symmetric polynomials on the Cartesian square of $L_\infty$ is completely solved. We show that sets of values of point-evaluation functionals on elementary symmetric polynomials satisfy some natural condition. Also, we show that for any set $c$ of complex numbers, which satisfies the above-mentioned condition, there exists an element $x$ of the Cartesian square of $L_\infty$ such that values of the point-evaluation functional at $x$ on elementary symmetric polynomials coincide with the respective elements of the set $c.$

A $*$-polynomial is a function on a complex Banach space $X,$ which is a sum of so-called $(p,q)$-polynomials. In turn, for non-negative integers $p$ and $q,$ a $(p,q)$-polynomial is a function on $X,$ which is the restriction to the diagonal of some mapping, defined on the Cartesian power $X^{p+q},$ which is linear with respect to every of its first $p$ arguments and antilinear with respect to every of its other $q$ arguments. The set of all continuous $*$-polynomials on $X$ form an algebra, which contains the algebra of all continuous polynomials on $X$ as a proper subalgebra. So, completions of this algebra with respect to some natural norms are wider classes of functions than algebras of holomorphic functions. On the other hand, due to the similarity of structures of $*$-polynomials and polynomials, for the investigation of such completions one can use the technique, developed for the investigation of holomorphic functions on Banach spaces. We investigate the Frechet algebra of functions on a complex Banach space, which is the completion of the algebra of all continuous $*$-polynomials with respect to the countable system of norms, equivalent to norms of the uniform convergence on closed balls of the space. We establish some properties of shift operators (which act as the addition of some fixed element of the underlying space to the argument of a function) on this algebra. In particular, we show that shift operators are well-defined continuous linear operators. Also we prove some estimates for norms of values of shift operators. Using these results, we investigate one special class of functions from the algebra, which is important in the description of the spectrum (the set of all maximal ideals) of the algebra.

We consider the question of the possibility to recover a multilinear mapping from the restriction to the diagonal of its extension to a Cartesian power of a space.

We introduce block-symmetric polynomials on $(L_\infty)^2$ and prove that every continuous block-symmetric polynomial of degree at most two on $(L_\infty)^2$ can be uniquely represented by some "elementary" block-symmetric polynomials.