On the extendability by continuity of angular valuations on polytopes

DOI10.1016/J.JFA.2020.108665MaRDI QIDQ2192341zbMATH OpenOpenAlexFDO

Authors Thomas Wannerer

Publication date 17 August 2020

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.11606

zbMATH Keywords

convex setpolytopevaluation

Mathematics Subject Classification ID

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

Abstract: A classical theorem of P. McMullen describes all valuations on polytopes that are invariant under translations and weakly continuous, i.e., continuous with respect to parallel displacements of the facets of a polytope. While it is typically not difficult to check that a valuation is weakly continuous, it is not clear how to decide whether it admits a continuous extension to convex bodies. In a special case of McMullen's construction a simple necessary and sufficient condition on the initial data of such an extension is obtained.

Review text

A valuation on the space of convex bodies in \(\mathbb{R}^n\) is a function \(\mu\) that satisfies \[ \mu(K \cup L) + \mu(K \cap L) = \mu(K) + \mu(L) \] whenever \(K,L\) are such that \(K \cup L\) is also convex. On polytopes, the reviewer [Arch. Math. 41, 555--564 (1983; Zbl 0526.52003)] showed that for polytopes a weakly continuous (that is, continuous under parallel displacement of facets) translation-invariant valuation admits a certain geometric expression. One case of this is \[ \mu_{\pi^*f}(P) = \sum \, f(\overline F)\gamma(F,P)\mathop{\mathrm{vol}}\nolimits_k(F), \] where \(\overline F \in \mathrm{Gr}_k\) is the linear subspace parallel to the \(k\)-face \(F\) of \(P\), \(\gamma(F,P)\) is the (normalized) outer angle to \(P\) at \(F\), and \(f\colon \mathrm{Gr}_k \to \mathbb{C}\). In this paper, the author answers the following question: when does \(\mu_{\pi^*f}\) admit a continuous extension to all convex bodies? The answer is surprisingly straightforward: this is so if and only if \(f\) is the restriction of a \(2\)-homogeneous polynomial to the image of the Plücker embedding \(\psi\colon \widetilde{\mathrm{Gr}}_k \to \bigwedge^k\mathbb{R}^n\) of the oriented Grassmannian, which is given by \[ \psi(E) = u_1 \wedge \cdots \wedge u_k, \] with \(u_1,\dots,u_k\) a positively oriented basis of \(E \in \mathrm{Gr}_k\).

Recommendations

• Even valuations on convex bodies
• A valuation-theoretic approach to translative-equidecomposability
• Generalized translation invariant valuations and the polytope algebra
• A hierarchy of simple valuations in \(\mathbb{R}^3\)
• Moment vectors of polytopes
• On extendability by continuity of valuations on convex polytopes
• A brief introduction to valuations on lattice polytopes
• Extensions of translation invariant valuations on polytopes

Cites work

• A characterization of affine surface area
• A Fourier-type transform on translation-invariant valuations on convex sets
• Algebraic integral geometry
• Compact Lie Groups
• Convex Bodies The Brunn-MinkowskiTheory
• Convex valuations invariant under the Lorentz group
• Crofton formulas and indefinite signature
• Curvature measures of convex bodies
• Description of translation invariant valuations on convex sets with solution of P. McMullen's conjecture
• Ellipsoids and matrix-valued valuations
• Even valuations on convex bodies
• Extensions of translation invariant valuations on polytopes
• Hard Lefschetz theorem for valuations, complex integral geometry, and unitarily invariant valuations.
• Hermitian integral geometry
• scientific article; zbMATH DE number 3128853 (Why is no real title available?)
• scientific article; zbMATH DE number 3975241 (Why is no real title available?)
• scientific article; zbMATH DE number 51906 (Why is no real title available?)
• scientific article; zbMATH DE number 1113187 (Why is no real title available?)
• scientific article; zbMATH DE number 3280855 (Why is no real title available?)
• Integral geometry of complex space forms
• Intersection bodies and valuations
• Introduction to the Theory of Valuations
• Kinematische Berührmaße für konvexe Körper
• Local tensor valuations
• Minkowski valuations
• Minkowski valuations and generalized valuations
• Notions of convexity
• On extendability by continuity of valuations on convex polytopes
• On P. McMullen's conjecture on translation invariant valuations
• On the extension of additive functionals on classes of convex sets
• On the inverse Klain map
• Rotation covariant local tensor valuations on convex bodies
• The Explicit Fourier Decomposition of L²SO(n)/SO(n - m))
• The multiplicative structure on continuous polynomial valuations
• Theory of valuations on manifolds, III. Multiplicative structure in the general case
• Theory of valuations on manifolds. I: Linear spaces
• Theory of valuations on manifolds: A survey
• Valuation theory of indefinite orthogonal groups
• Valuations and surface area measures
• Valuations on manifolds and integral geometry
• Weakly continuous valuations on convex polytopes
• Weighted floating bodies and polytopal approximation

Cited in

(5)

• The zonoid algebra, generalized mixed volumes, and random determinants
• On extendability by continuity of valuations on convex polytopes
• From harmonic analysis of translation-invariant valuations to geometric inequalities for convex bodies
• Even valuations on convex bodies
• Extensions of translation invariant valuations on polytopes

This page was built for publication: On the extendability by continuity of angular valuations on polytopes

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