Homogeneous orthogonally additive polynomials on vector lattices (Q2435816)

Let \(E\) and \(F\) be vector lattices and \(s\) be a positive integer. A mapping \(\varphi: \underbrace{E\times \ldots \times E}_{\text{k times}} \to F\) is said to be a lattice \(k\)-morphism if \(\varphi\) is a lattice homomorphism in each of its variables when the other \(k-1\) variables are kept fixed. Given a vector lattice \(E\) and a positive integer \(k\geq 2\), the pair \((E^{k\odot}, \odot_k)\) is said to be a \(k\)-power of \(E\) if (1) \(E^{k\odot}\) is a vector lattice, (2) \(\odot_k: \underbrace{E\times \ldots \times E}_{\text{k--times}}^{k\odot} \to E\) is a symmetric lattice \(k\)-morphism, (3) given any vector lattice \(F\) and any symmetric \(k\)-morphism \(\varphi: E\times\ldots\times E\to F\), there is a unique lattice homomorphism \(S: E^{k\odot}\to F\) such that \(\varphi=S\circ \odot_k\). A \(k\)-homogeneous polynomial \(P\) from a vector lattice \(E\) into a vector space \(F\) is said to be orthogonally additive if \(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\) and \(F\) are uniformly complete vector lattices and \(P: E\to F\) is a bounded orthogonally additive order bounded \(k\)-homogeneous polynomial, then there is a unique order bounded linear operator \(S: E^{s\odot} \to F\) such that \(P(x)=S(x^{k\odot})\) for all \(x\) in \(E\). As a corollary, the author gives a characterisation of orthogonally additive \(k\)-homogeneous polynomials which admit a kernel representation.