Representation of orthogonally additive polynomials (Q546215)

Let \(E\) and \(F\) be vector lattices and \(s\) be a positive integer. A mapping \(\phi: \underbrace{E\times \ldots \times E}_{\text{s times}}\to F\) is said to be a lattice \(s\)-morphism if \(\phi\) is a lattice homomorphism in each of its variables when the other \(s-1\) variables are kept fixed. Given an Archimedean vector lattice \(E\) and a positive integer \(s\geq 2\), the pair \((E^{s\odot}, \odot_s)\) is said to be an \(s\)-power of \(E\) if (1) \(E^{s\odot}\) is a vector lattice, (2) \(\odot_s: \underbrace{E\times \dots \times E}_{\text{s times}}\to E^{s\odot}\) is a lattice \(s\)-morphism, (3) given any Archimedean vector lattice \(E\) and any symmetric \(s\)-morphism \(\phi: E\times\dots\times E\to F\), there is a unique lattice homomorphism \(S: E^{s\odot}\to F\) such that \(\phi=S \circ \odot_s\). The author shows that given any Archimedean vector lattice and any \(s\geq 2\) there is an associated \(s\)-power of \(E\) which is unique up to lattice homomorphism. An \(s\)-homogeneous polynomial \(P\) from a vector lattice \(E\) into a vector space \(F\) is said to be orthogonally additive of \(P(x+y)=P(x)+P(y)\) for all disjoint \(x\) and \(y\) in \(E\). The main result of the paper is that if \(E\) is a uniformly complete vector lattice and \(F\) is a convex bornological space then, for every bounded orthogonally additive \(s\)-homogeneous polynomial \(P: E\to F\), there is a unique linear operator \(S: E^{s\odot}\to F\) such that \(P=S\circ \odot_s\circ D_s\) where \((E^{s\odot},\odot_s)\) is the \(s\)-power of \(E\) and \(D_s: E\to \underbrace{E\times \dots \times E}_{\text{s times}}\) is the diagonal mapping \(D_s(x)=(x,\dots,x)\).