\(L_{p}\) Minkowski valuations on polytopes (Q2629103)

In earlier papers, \textit{M. Ludwig} [Trans. Am. Math. Soc. 357, No. 10, 4191--4213 (2005; Zbl 1077.52005)], \textit{C. Haberl} [J. Eur. Math. Soc. (JEMS) 14, No. 5, 1565--1597 (2012; Zbl 1270.52018)] and \textit{L. Parapatits} [Trans. Am. Math. Soc. 366, No. 3, 1195--1211 (2014; Zbl 1286.52007); J. Lond. Math. Soc., II. Ser. 89, No. 2, 397--414 (2014; Zbl 1296.52010)] have classified \(L_p\) Minkowski valuations for \(1 \leq p < \infty\) that intertwine the special linear group \(\mathrm{SL}(n)\), subject to various additional conditions such as continuity and homogeneity. Here, the authors remove such restrictions. Let us set out the terms. Denote by \(\mathcal{K}_o^n\), \(\mathcal{P}_o^n\) and \(\mathcal{T}_o^n\) the families of convex bodies, convex polytopes and simplices (respectively) in \(\mathbb{R}^n\) that contain the origin \(o\), for the last as one of its vertices. For \(K,L \in \mathcal{K}_o^n\) and \(1 \leq p< \infty\), the support function of the \(L_p\) Minkowski sum \(K +_p L\) is defined by \[ h_{K +_p L}(x) = (h_K(x)^p + h_L(x)^p)^{1/p}. \] Further, the case \(p = 1\) is ordinary Minkowski addition, while \(h_{K +_\infty L} = \max\{h_K,h_L\}\), so that \(K +_\infty L = [K,L]\), the convex hull of \(K\) and \(L\). (At this point, I should remark that, while writing the body as a subscript enables some complicated expressions involving support functions to fit into single lines, it does often make them a little difficult to read.) An \(L_p\) Minkowski valuation \(Z: \mathcal{P}_o^n \to \mathcal{K}_o^n\) is such that \[ Z(K \cup L) +_p Z(K \cap L) = ZK +_p ZL \] whenever \(K,L,K \cup L \in \mathcal{P}_o^n\). In addition, \(Z\) is \(\mathrm{SL}(n)\) covariant if \(Z(\phi K) = \phi ZK\) or \(\mathrm{SL}(n)\) contravariant if \(Z(\phi K) = \phi^{-t}ZK\) for \(\phi \in \mathrm{SL}(n)\); here, \(\phi^{-t}\) is the inverse transpose. The resulting characterizations are somewhat complicated because they need to cover a good number of special cases, and so I shall not describe them in detail. Instead, let me give a couple of the more simple instances. For \(n \geq 3\), a map \(Z: \mathcal{P}_o^n \to \mathcal{K}_o^n\) is an \(\mathrm{SL}(n)\) contravariant \(L_\infty\) valuation if and only if there are constants \(c_1,c_2 \geq 0\) such that \[ ZP = c_1\hat\Pi_\infty^+P +_\infty c_2\hat\Pi_\infty^-P, \] where \(\hat\Pi_\infty^+,\hat\Pi_\infty^-\) are the asymmetric \(L_\infty\) projection bodies. Similarly, for \(n \geq 3\), a map \(Z: \mathcal{P}_o^n \to \mathcal{K}_o^n\) is an \(\mathrm{SL}(n)\) covariant \(L_\infty\) valuation if and only if there are constants \(0 \leq a_1 \leq \cdots \leq a_n\) and \(0 \leq b_1 \leq \cdots \leq b_n\) such that, for \(1 \leq d \leq n\), \[ ZP = a_dP +_\infty b_d(-P) \] for every \(P \in \mathcal{P}_o^n\) with \(\dim P = d\), while \(Z\{o\} = \{o\}\). The other characterizations involve asymmetric \(L_p\) moment and projections bodies.