Geometry of spaces of orthogonally additive polynomials on \(C(K)\) (Q2658978)

Let \(E\) be a Banach lattice. A function \(f:E \to \mathbb{R}\) is called {\em orthogonally additive} if \(f(x + y) = f(x) + f(y)\) for all disjoint pairs \(x,y \in E\). This article studies the geometry of the unit ball of the space \(\mathcal P_o(^n\mathcal C(K))\) of \(n\)-homogeneous orthogonally additive polynomials \(P:\mathcal C(K) \to \mathbb{R}\), when this space is endowed with either of two equivalent natural norms, the {\em {sup-norm}} \(\|P\|_\infty\) and the {\em regular} norm \(\|P\|_r \equiv \| |P| \|_\infty\). Recall that an \(n\)-homogeneous polynomial \(P\) is {\em regular} if it is the difference of two positive \(n\)-homogeneous polynomials, and that an \(n\)-homogeneous polynomial \(Q\) is {\em positive} if \(A(x_1,\dots,x_n) \geq 0\) for all \(x_1,\dots,x_n \in E,\) where \(A\) is the symmetric \(n\)-linear mapping associated to \(Q\). The {\em absolute value} of such \(P\) is defined for \(x \geq 0\) by \[ |P|(x) = \sup \biggl\{ \sum_{i_1,\dots,i_n} |A(u^1_{i_1},\dots,u^n_{i_n}|) \biggr\}, \] the \(\sup\) taken over all finite sets of positive elements which sum to \(x\). \textit{M. A. Toumi} has shown that every orthogonally additive \(n\)-homogeneous polynomial on a Banach lattice is regular [Bull. Belg. Math. Soc. - Simon Stevin 20, No. 4, 621--638 (2013; Zbl 1280.06014)]. The parity of \(n\) plays an important role in this study. For instance, if \(n\) is odd, then every \(n\)-homogeneous orthogonally additive polynomial \(P\) on \(E\) has the property that for every \(x \in E$, $x \geq 0\), \(|P(x)| = \sup \{ |P(y)| : |y| \leq x \}\), and in fact for \(\mathcal C(K)\) the two norms \({\| \cdot \|}_\infty\) and \({\| \cdot \|}_r\) on \(\mathcal P_o(^nE)\) coincide. On the other hand, if \(n\) is even, then the best that one can say is that \(|P(x)| \leq 2 \sup \{ |P(y)|: |y| \leq x\}$. When \(E = \mathcal C(K)\), there is a Banach lattice isometric isomorphism from the space of regular signed Borel measures \(\mathcal M(K)\) onto the space \((\mathcal P_o(^n\mathcal C(K)), {\|\cdot \|}_r)\) for every~\(n\). In addition, the paper provides an extensive treatment describing the extreme and exposed points of \(\mathcal P_o(^n \mathcal C(K))\). This involves a natural norm on the lattice \(\mathcal C(K)$, $ f \in \mathcal C(K) \leadsto \|f\|_d \equiv \|f^+\|_\infty + \|f^-\|_\infty\). One consequence is a Banach-Stone theorem for \((\mathcal C(K), {\|\cdot \|}_d)\).