On compact domination of homogeneous orthogonally additive polynomials (Q311256)

Given Banach lattices \(E\) and \(F\), a function \(P: E\to F\) is said to be an \(n\)-homogeneous polynomial if there is a (unique) symmetric continuous \(n\)-linear mapping \[ L: \underbrace{E\times\cdots\times E}_{n\text{-times}}\to F \] such that \(P(x)=L(x,\dots,x)\) for all \(x\) in \(E\). A polynomial \(P\) is said to be orthogonally additive if \(P(x+y)=P(x)+P(y)\) whenever \(x\) and \(y\) are disjoint in \(E\), positive if \(L_P\) maps \(n\)-tuples of positive elements in \(E\) to positive elements in \(F\) and regular if \(P\) can be written as the difference of two positive polynomials. The author shows that if \(E\) is a \(p\)-convex Banach lattice and \(P\) and \(Q\) are orthogonally additive \(n\)-homogeneous polynomials with \(0\leq P\leq Q\), then the compactness of \(Q\) implies the compactness of \(P\) if and only if one of the following conditions holds: (1) \(E\) has no Banach sublattices isomorphic to \(\ell_n\) and \(F\) is order continuous; (2) the space of orthogonally additive \(n\)-homogeneous regular polynomials from \(E\) to \(\mathbb R\) is atomic and \(E\) has no Banach sublattices isomorphic to \(\ell_n\); (3) \(F\) is both order continuous and atomic. To obtain this result, the author uses the lattice isomorphism between the space of orthogonally additive \(n\)-homogeneous regular polynomials from \(E\) to \(\mathbb R\) and the dual of the \(n\)-concavification of \(E\) together with the corresponding results of Dodds, Fremlin and Wickstead for linear operators. The author also shows that the weak compactness of \(Q\) implies the weak compactness of \(P\) if and only if either \(E\) has no Banach sublattices isomorphic to \(\ell_n\) or \(F\) is order continuous.