The existence of a homogeneous decomposition for continuous and epi-translation invariant valuations on super-coercive functions is established. Continuous and epi-translation invariant valuations that are epi-homogeneous of degree $n$ are classified. By duality, corresponding results are obtained for valuations on finite-valued convex functions.
We study dually epi-translation invariant valuations on cones of convex functions containing the space of finite-valued convex functions. The existence of a homogeneous decomposition is used to associate a distribution to every valuation of this type similar to the Goodey-Weil embedding for translation invariant valuations on convex bodies. The relation between the valuation and its associated distribution is used to establish a notion of support for valuations. As an application, we show that there are no $\mathrm{SL}(n)$ or translation invariant valuations except constant valuations in this …
A classification of SL$(n)$ contravariant Minkowski valuations on convex functions and a characterization of the projection body operator are established. The associated LYZ measure is characterized. In addition, a new SL$(n)$ covariant Minkowski valuation on convex functions is defined and characterized.
All non-negative, continuous, $\operatorname{SL}(n)$ and translation invariant valuations on the space of super-coercive, convex functions on $\mathbb{R}^n$ are classified. Furthermore, using the invariance of the function space under the Legendre transform, a classification of non-negative, continuous, $\operatorname{SL}(n)$ and dually translation invariant valuations is obtained. In both cases, different functional analogs of the Euler characteristic, volume and polar volume are characterized.
The notion of a valuation on convex bodies is very classical. The notion of a valuation on a class of functions was recently introduced and studied by M. Ludwig and others. We study an explicit relation between continuous valuations on convex functions which are invariant under adding arbitrary linear functionals, and translations invariant continuous valuations on convex bodies. More precisely, we construct a natural linear map from the former space to the latter and prove that it has dense image and infinite dimensional kernel. The proof uses the author's irreducibility theorem and few prope…
We construct valuations on the space of finite-valued convex functions using integration of differential forms over the differential cycle associated to a convex function. We describe the kernel of this procedure and show that the intersection of this space of smooth valuations with the space of all continuous dually epi-translation invariant valuations on convex functions is dense in the latter. As an application, we obtain a description of 1-homogeneous, continuous, dually epi-translation invariant valuations that are invariant with respect to a compact subgroup operating transitively on the…
The famous Hadwiger theorem classifies all rigid motion invariant continuous valuations on convex sets as linear conbinations of quermassintegrals. We prove much more general result. We classify continuous valuations which are invariant with respect to the orthogonal (or special orthogonal) group. Some applications to integral geometry are given.
A new class of continuous valuations on the space of convex functions on $\mathbb{R}^n$ is introduced. On smooth convex functions, they are defined for $i=0,\dots,n$ by \begin{equation*} u\mapsto \int_{\mathbb{R}^n} ζ(u(x),x,\nabla u(x))\,[\operatorname{D}^2 u(x)]_i\,{\rm d} x \end{equation*} where $ζ\in C(\mathbb{R}\times\mathbb{R}^n\times\mathbb{R}^n)$ and $[\operatorname{D}^2 u]_i$ is the $i$th elementary symmetric function of the eigenvalues of the Hessian matrix, $\operatorname{D}^2 u$, of $u$. Under suitable assumptions on $ζ$, these valuations are shown to be invariant under translation…
There is a well known construction of weakly continuous valuations on convex compact polytopes in R^n. In this paper we investigate when a special case of this construction gives a valuation which extends by continuity in the Hausdorff metric to all convex compact subsets of R^n. It is shown that there is a necessary condition on the initial data for such an extension. In the case of R^3 more explicit results are obtained.
We give an explicit classification of translation-invariant, Lorentz-invariant continuous valuations on convex sets. We also classify the Lorentz-invariant even generalized valuations.
Very recently J. Kotrbaty has proven general inequalities for translation invariant smooth valuations formally analogous to the Hodge- Riemann bilinear relations in the Kahler geometry. The goal of this note is to apply Kotrbaty's theorem to obtain a few apparently new inequalities for mixed volumes of convex bodies.
We consider the space of convex functions defined in the Euclidean $n$-dimensional space, which are lower semi-continuous and tend to infinity at infinity. We study real-valued valuations defined on this space of functions, which are invariant under the composition with rigid motions, monotone and verify a certain type of continuity. Among these valuations we prove integral representation formulas for those which are, additionally, simple or homogeneous.
New proofs of the Hadwiger theorem for smooth and for continuous valuations on convex functions are obtained, and the Klain-Schneider theorem on convex functions is established. In addition, an extension theorem for valuations defined on functions with lower dimensional domains is proved, and its connection to the Abel transform is explained.
Let $V$ be a finite dimensional real vector space. In the article we construct an isomorphism between the space of smooth translation invariant valuations on convex subsets of $V$ and the space of such valuations (twisted by densities) on the dual space $V^*$. This isomorphism commutes with the natural action of the full linear group on both spaces of valuations, maps product on the source (introduced in arXiv:math/0301148) to the convolution on the target (introduced in arXiv:math/0607449), and satisfies a Plancherel type inversion formula. As an application, a version of the hard Lefschetz t…
We study real-valued, continuous and translation invariant valuations defined on the space of quasi-concave functions of N variables. In particular, we prove a homogeneous decomposition theorem of McMullen type, and we find a representation formula for those valuations which are N-homogeneous. Moreover, we introduce the notion of Klain's functions for these type of valuations.
We study translation invariant, real-valued valuations on the class of convex polytopes in Euclidean space and discuss which continuity properties are sufficient for an extension of such valuations to all convex bodies. For this purpose, we introduce flag support measures of convex bodies via a local Steiner formula and derive some of the properties of these measures.
A new method of constructing translation invariant continuous valuations on convex subsets of the quaternionic space $\HH^n$ is presented. In particular new examples of $Sp(n)Sp(1)$-invariant translation invariant continuous valuations are constructed. This method is based on the theory of plurisubharmonic functions of quaternionic variables.
In this paper, we endow the space of continuous translation invariant valuation on convex sets generated by mixed volumes coupled with a suitable Radon measure on tuples of convex bodies with two appropriate norms. This enables us to construct a continuous extension of the convolution operator on smooth valuations to non-smooth valuations, which are in the completion of the spaces of valuations with respect to these norms. The novelty of our approach lies in the fact that our proof does not rely on the general theory of wave fronts, but on geometric inequalities deduced from optimal transport …
For valuations on convex bodies in Euclidean spaces, there is by now a long series of characterization and classification theorems. The classical template is Hadwiger's theorem, saying that every rigid motion invariant, continuous, real-valued valuation on convex bodies in $\mathbb{R}^n$ is a linear combination of the intrinsic volumes. For tensor-valued valuations, under the assumptions of isometry covariance and continuity, there is a similar classification theorem, due to Alesker. Also for the local extensions of the intrinsic volumes, the support, curvature and area measures, there are ana…
A classification of SL$(n)$ invariant valuations on the space of convex polytopes in $R^n$ without any continuity assumptions is established. A corresponding result is obtained on the space of convex polytopes in $R^n$ that contain the origin.
A new class of plurisubharmonic functions on the octonionic plane O^2= R^{16} is introduced. An octonionic version of theorems of A.D. Aleksandrov and Chern- Levine-Nirenberg, and Blocki are proved. These results are used to construct new examples of continuous translation invariant valuations on convex subsets of O^2=R^{16}. In particular a new example of Spin(9)-invariant valuation on R^{16} is given.
Two classes of measure-valued valuations on convex functions related to Monge-Ampère operators are investigated and classified. It is shown that the space of all valuations with values in the space of complex Radon measures on $\mathbb{R}^n$ that are locally determined, continuous, dually epi-translation invariant as well as translation equivariant, is finite dimensional. Integral representations of these valuations and a description in terms of mixed Monge-Ampère operators are established, as well as a characterization of $\mathrm{SO}(n)$-equivariant valuations in terms of Hessian measures.
Classifications of $\rm{SL}(n)$ covariant function-valued valuations are established with some assumptions of continuity. New valuations, for example, weighted moment functions, are introduced and our classifications give unified characterizations of the Laplace transform on convex bodies, $L_p$ moment bodies, $L_p$ difference bodies, and polar $L_p$ moment bodies ($L_{-p}$ intersection bodies). Using the new classifications, we also establish some Euler-type relations.
A Steiner type formula for continuous translation invariant Minkowski valuations is established. In combination with a recent result on the symmetry of rigid motion invariant homogeneous bivaluations, this new Steiner type formula is used to obtain a family of Brunn-Minkowski type inequalities for rigid motion intertwining Minkowski valuations.
The Alesker-Bernig-Schuster theorem asserts that each irreducible representation of the special orthogonal group appears with multiplicity at most one as a subrepresentation of the space of continuous translation-invariant valuations with fixed degree of homogeneity. Moreover, the theorem describes in terms of highest weights which irreducible representations appear with multiplicity one. In this paper, we present a refinement of this result, namely the explicit construction of a highest weight vector in each irreducible subrepresentation. We then describe how important natural operations on v…
All measurable and $\operatorname{SL}(n)$-covariant vector valued valuations on convex polytopes containing the origin in their interiors are completely classified. The moment vector is shown to be essentially the only such valuation.
In this paper we introduce and study a topological abelian group of convex bodies, analogous to the scissors congruence group and McMullen's polytope algebra, with the universal property that continuous valuations on convex bodies correspond to continuous homomorphisms on the group of convex bodies. To study this group, we first obtain a version of McMullen polynomiality for valuations that take values not in fields or vector spaces, but in abelian groups. Using this, we are able to equip the group of convex bodies with a grading that consists of real vector spaces in all positive degrees, mir…
We provide a description of the space of continuous and translation invariant Minkowski valuations $Φ:\mathcal{K}^n\to\mathcal{K}^n$ for which there is an upper and a lower bound for the volume of $Φ(K)$ in terms of the volume of the convex body $K$ itself. Although no invariance with respect to a group acting on the space of convex bodies is imposed, we prove that only two types of operators appear: a family of operators having only cylinders over $(n-1)$-dimensional convex bodies as images, and a second family consisting essentially of 1-homogeneous operators. Using this description, we give…
The local Minkowski tensors are valuations on the space of convex bodies in Euclidean space with values in a space of tensor measures. They generalize at the same time the intrinsic volumes, the curvature measures and the isometry covariant Minkowski tensors that were introduced by McMullen and characterized by Alesker. In analogy to the characterization theorems of Hadwiger and Alesker, we give here a complete classification of all locally defined tensor measures on convex bodies that share with the local Minkowski tensors the basic geometric properties of isometry covariance and weak continu…
The Minkowski tensors are valuations on the space of convex bodies in ${\mathbb R}^n$ with values in a space of symmetric tensors, having additional covariance and continuity properties. They are extensions of the intrinsic volumes, and as these, they are the subject of classification theorems, and they admit localizations in the form of measure-valued valuations. For these local tensor valuations, restricted to convex polytopes, a classification theorem has been proved recently, under the assumption of isometry covariance, but without any continuity assumption. This characterization result is…
Functional analogs of the Euler characteristic and volume together with a new analog of the polar volume are characterized as non-negative, continuous, $\operatorname{SL}(n)$ and translation invariant valuations on the space of finite, convex and coercive functions on ${\mathbb R}^n$.
A classification of all continuous GL(n) equivariant Minkowski valuations on convex bodies in $\mathbb{R}^n$ is established. Together with recent results of F.E. Schuster and the author, this article therefore completes the description of all continuous GL(n) intertwining Minkowski valuations.
We describe various structures of algebraic nature on the space of continuous valuations on convex sets, their properties (like versions of Poincaré duality and hard Lefschetz theorem), and their relations and applications to integral geometry.
The projection body operator Π, which associates with every convex body in Euclidean space Rn its projection body, is a continuous valuation, it is invariant under translations and equivariant under rotations. It is also well known that Π maps the set of polytopes in Rn into itself. We show that Π is the only non-trivial operator with these properties.