Minkowski endomorphisms

Abstract: Several open problems concerning Minkowski endomorphisms and Minkowski valuations are solved. More precisely, it is proved that all Minkowski endomorphisms are uniformly continuous but that there exist Minkowski endomorphisms that are not weakly-monotone. This answers questions posed repeatedly by various authors. Furthermore, a recent representation result for Minkowski valuations by Schuster and Wannerer is improved under additional homogeneity assumptions. Also a question related to the structure of Minkowski endomorphisms by the same authors is answered. Finally, it is shown that there exists no McMullen decomposition in the class of continuous, even,

S O (n)

-equivariant and translation invariant Minkowski valuations extending a result by Parapatits and Wannerer.

Review text

A Minkowski endomorphism is an additive continuous \(SO(n)\)-equivariant and translation invariant map from \(\Psi\) from \(\mathcal{K}^n\) to \(\mathcal{K}^n\), the set of nonempty compact convex sets in \(\mathbb R^n\). First, the author recalls a known result, which states that if \(\Psi\) is a Minkowski endomorphism, then \(h_{\Psi K}=h_K*\nu\) for all \(K\in\mathcal{K}^n\), where \(h_K(u)=\max\{u.x: x\in K\}\), \(h_K*\nu\) stands for the spherical convolution of the support function by a unique distribution \(\nu\in C^{-\infty}_0(\mathbb S^{n-1})\), and \(\Psi\) is uniformly continuous if and only \(\nu\) is a signed Borel measure (Theorem 1.1). Then author improves the latter theorem, by stating that \(\Psi\) is a Lipschitz continuous map such that its associated Lipschitz constant is bounded, up to a multiplicative constant, by the mean width of \(\Psi(\mathbb B^n)\), where \(\mathbb B^n\) stands for the unit ball in \(\mathbb R^n\). Next, by defining a weakly monotone Minkowski endomorphism, i.e., \(\Psi\) is monotone such that \(s(K)=\displaystyle\frac{1}{|\mathbb B^n|}\int_{\mathbb S^{n-1}}h_K(u)udu\) exists for all \(K\in\mathcal{K}^n\), the author states that a Minkowski endomorphism on \(\mathcal{K}^n\) for \(n\geq 3\), cannot be weakly monotone (Theorem 1.4). More general, the author states that there exist non-monotone even Minkowski endomorphisms (Theorem 3.5). Results on Minkowski valuations are also treated in the fourth section, see Corollary 1.8 and Theorem 1.9. The article is endowed by a helpful background material, see the second section.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Minkowski endomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364137)