Minkowski valuations

\(L_p\) Brunn-Minkowski theory characterization theorem difference body Minkowski addition moment body projection body SL\((n)\) equivariant valuation

Mathematics Subject Classification ID

Convex sets in (n) dimensions (including convex hypersurfaces) (52A20) (n)-dimensional polytopes (52B11) Dissections and valuations (Hilbert's third problem, etc.) (52B45)

Review text

Moment bodies, difference bodies and projection bodies in \({\mathbb R}^n\) share the property that the corresponding operators \(\text{Z}\) are valuations with respect to Minkowski addition, that is, they satisfy \(\text{Z}(K_1\cup K_2)+\text{Z}(K_1\cap K_2) = \text{Z}K_1+\text{Z}K_2\) whenever \(K_1,K_2,K_1\cup K_2\) are convex bodies; here \(+\) denotes Minkowski addition. Moreover, they are compatible with the action of \(\text{SL}(n)\) and are homogeneous. This paper shows that these operators can essentially (that is, up to minor necessary modifications) be characterized by these properties. Let \({\mathcal K}^n\) be the set of convex bodies in \({\mathbb R}^n\) and \({\mathcal P}_o^n\) the subset of polytopes containing the origin \(o\). For \(K\in{\mathcal K}^n\), let \(\text{M}K\) be the moment body and \(m(K)\) the moment vector. The following result is proved. Let \(\text{Z}:{\mathcal P}_o^n \to {\mathcal K}^n\), \(n\geq 3\), be a Minkowski valuation which is \(\text{SL}(n)\) equivariant, homogeneous of some degree \(r\), and not identically \(\{o\}\). Then either \(r=n+1\) and \(\text{Z}P=a_0m(P)+a_1 \text{M}P\) for every \(P\in{\mathcal P}_o^n\), with constants \(a_0,a_1\), or \(r=1\) and \(\text{Z}P= aP +b(-P)\) for every \(P\in{\mathcal P}_o^n\), with constants \(a,b\). A different result settles the case \(n=2\). An analogous theorem is proved with Minkowski addition replaced by \(L_p\) Minkowski addition, for \(p>1\). Another result classifies the maps \(\text{Z}:{\mathcal P}_o^n \to {\mathcal K}^n\), \(n\geq 3\), which are \(\text{ SL}(n)\) contravariant Minkowski valuations, homogeneous of some degree \(r\), and not identically \(\{o\}\). If \(n\geq 3\), they are necessarily homogeneous of degree \(n-1\) and are closely related to the projection body operator. The case \(n=2\) is also completely solved. Moreover, \(L_p\) analogs are treated. Further results are obtained in each case if the assumption of continuity is added.

Recommendations

Cites work

Cited in

(only showing first 100 items - show all)

This page was built for publication: Minkowski valuations

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