\(\mathrm{SL}(n)\) contravariant \(L_p\) harmonic valuations on polytopes (Q2230915)

A star body in \(\mathbb{R}^n\) is a compact starshaped set \(K\subset\mathbb{R}^n\), containing the origin \(o\) in the interior, for which the Minkowski functional, defined by \(\|x\|_K=\min\{\lambda\ge 0: x\in\lambda K\}\) for \(x\in \mathbb{R}^n\), is continuous. The set of star bodies in \(\mathbb{R}^n\) is denoted by \(\mathcal{S}^n\). For \(K,L\in\mathcal{S}^n\) and \(p\in\mathbb{R}\setminus \{o\}\), the \(L_p\) harmonic sum \(K\hat+_p L\) is defined by \(\|\cdot\|^p_{K \hat+_p L} = \|\cdot\|^p_K+\|\cdot\|^p_L\). A map \(Z:\mathcal{P}^n_o\to (\mathcal{S}^n,\hat +_p)\), where \(\mathcal{P}^n_o\) is the set of convex polytopes in \(\mathbb{R}^n\) containing \(o\), is an \(L_p\) harmonic valuation if it satisfies \[ Z(K\cup L) \hat+_p Z(K\cap L) = ZK \hat+_p ZL \] whenever \(K,L,K\cup L\in\mathcal{P}^n_o\). For \(n\ge 3\) and \(p>-1\), \textit{C. Haberl} [Indiana Univ. Math. J. 58, No. 5, 2253--2276 (2009; Zbl 1183.52003)] has determined all such \(L_p\) harmonic valuations which are \(\mathrm{SL}(n)\)-contravariant and homogeneous of some degree. The present paper extends this result by deleting the assumption of homogeneity. It further extends the result by replacing the set \(\mathcal{P}^n_o\) by the set of all convex polytopes in \(\mathbb{R}^n\). The nontrivial valuations in question are expressed in terms of the asymmetric polar \(L_p\) centroid body \(\Gamma^{+,*}_pK\) and similar constructions, where \[ \|x\|^p_{\Gamma^{+,*}_pK} = \int_{K\cap x^+} |x\cdot y|^pd y\] and \(x^+\) denotes the halfspace \(\{z\in\mathbb{R}^n: z\cdot x\ge 0\}\). The paper concludes with a characterization of monotone, \(\mathrm{SL}(n)\)-contravariant, \(L_p\) harmonic valuations on the set of convex bodies in \(\mathbb{R}^n\) containing the origin.