This is the first part of a series of articles where we are going to develop theory of valuations on manifolds generalizing the classical theory of continuous valuations on convex subsets of a linear space. In this article we still work only with linear spaces. We introduce a space of smooth (non-translation invariant) valuations on a finite dimensional linear space. We present three descriptions of this space. We describe the canonical multiplicative structure on it generalizing the results for polynomial valuations obtained by the author in Geom. Funct. Anal. 14 (2004).
This article is the second part in the series of articles where we are developing theory of valuations on manifolds. Roughly speaking valuations could be thought as finitely additive measures on a class of nice subsets of a manifold which satisfy some additional assumptions. The goal of this article is to introduce a notion of a smooth valuation on an arbitrary smooth manifold and establish some of the basic properties of it.
This is the fourth part in the series of articles math.MG/0503397, math.MG/0503399, math.MG/0509512 where the theory of valuations on manifolds is developed. In this part it is shown that the filtration on valuations introduced in math.MG/0503399 is compatible with the product. Then it is proved that the Euler-Verdier involution on smooth valuations introduced in math.MG/0503399 is an automorphism of the algebra of valuations. Then an integration functional on valuations with compact support is introduced, and a property of selfduality of valuations is proved. Next a space of generalized valua…
This is a non-technical survey of a recent theory of valuations on manifolds constructed in math.MG/0503397, math.MG/0503399, math.MG/0509512, math.MG/0511171 and actually a guide to this series of articles. We review also some recent related results obtained by a number of people. We formulate some open questions.
One constructs new operations of pull-back and push-forward on valuations on manifolds with respect to submersions and immersions. A general Radon type transform on valuations is introduced using these operations and the product on valuations. It is shown that the classical Radon transform on smooth functions, and the well known Radon transform on constructible functions with respect to the Euler characteristic are special cases of this new Radon transform. An inversion formula for the Radon transform on valuations has been proven in a specific case of real projective spaces. Relations of thes…
This article is the third part of the series of articles where the theory of valuations on manifolds is constructed. In math.MG/0503399 the notion of a smooth valuation on a manifold was introduced. The goal of this article is to put a canonical multiplicative structure on the space of smooth valuations on general manifolds, thus extending some of the affine constructions from math.MG/0301148, math.MG/0503397.
Recently an algebra of smooth valuations was attached to any smooth manifold. Roughly put, a smooth valuation is finitely additive measure on compact submanifolds with corners which satisfies some extra properties. In this note we initiate a study of modules over smooth valuations. More specifically we study finitely generated projective modules in analogy to the study of vector bundles on a manifold. In particular it is shown that on a compact manifold there exists a canonical isomorphism between the $K$-ring constructed out of finitely generated projective modules over valuations and the cla…
For $1 \leq p < \infty$, Ludwig, Haberl and Parapatits classified $L_p$ Minkowski valuations intertwining the special linear group with additional conditions such as homogeneity and continuity. In this paper,a complete classification of $L_p$ Minkowski valuations intertwining the special linear group on polytopes without any additional conditions is established for $p \geq 1$ including $p = \infty$. For $n=3$ and $p=1$, there exist valuations not mentioned before.
The space of constructible functions form a dense subspace of the space of generalized valuations. In this note we prove a somewhat stronger property that the sequential closure, taken sufficiently many (in fact, infinitely many) times, of the former space is equal to the latter one. This stronger property is necessary for some applications in the theory of valuations on manifolds.
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 describe the orbit space of the action of the group $\mathrm{Sp}(2)\mathrm{Sp}(1)$ on the real Grassmann manifolds $\mathrm{Gr}_k(\mathbb{H}^2)$ in terms of certain quaternionic matrices of Moore rank not larger than $2$. We then give a complete classification of valuations on the quaternionic plane $\mathbb{H}^2$ which are invariant under the action of the group $\mathrm{Sp}(2)\mathrm{Sp}(1)$.
The product of smooth valuations on manifolds is described in terms of differential forms, Gelfand transforms and blow-up spaces. It is shown that the product extends partially to generalized valuations and corresponds geometrically to transversal intersections. This result is used to prove a general kinematic formula on compact rank one symmetric spaces.
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…
Generalizing Weyl's tube formula and building on Chern's work, Alesker reinterpreted the Lipschitz-Killing curvature integrals as a family of valuations (finitely-additive measures with good analytic properties), attached canonically to any Riemannian manifold, which is universal with respect to isometric embeddings. In this note, we uncover a similar structure for contact manifolds. Namely, we show that a contact manifold admits a canonical family of generalized valuations, which are universal under contact embeddings. Those valuations assign numerical invariants to even-dimensional submanifo…
The Ehrhart polynomial and the reciprocity theorems by Ehrhart \& Macdonald are extended to tensor valuations on lattice polytopes. A complete classification is established of tensor valuations of rank up to eight that are equivariant with respect to the special linear group over the integers and translation covariant. Every such valuation is a linear combination of the Ehrhart tensors which is shown to no longer hold true for rank nine.
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 …
A celebrated theorem of Hadwiger states that the Euler-Poincaré characteristic is the the unique invariant and continuous valuation on the distributive lattice of compact polyhedra in R^n that assigns value one to each convex non-empty such polyhedron. This paper provides an analogue of Hadwiger's result for finitely presented unital vector lattices (i.e. real vector spaces with a compatible lattice order, also known as Riesz spaces). The vector lattice of continuous and piecewise (affine) linear real-valued functions on a compact polyhedron, with operations defined pointwise from the vector l…
Any Riemannian manifold has a canonical collection of valuations (finitely additive measures) attached to it, known as the intrinsic volumes or Lipschitz-Killing valuations. They date back to the remarkable discovery of H. Weyl that the coefficients of the tube volume polynomial are intrinsic invariants of the metric. As a consequence, the intrinsic volumes behave naturally under isometric immersions. This phenomenon, subsequently observed in a number of different geometric settings, is commonly referred to as the Weyl principle. In general normed spaces, the Holmes-Thompson intrinsic volumes …
Let $\mathrm{SO}^+(p,q)$ denote the identity connected component of the real orthogonal group with signature $(p,q)$. We give a complete description of the spaces of continuous and generalized translation- and $\mathrm{SO}^+(p,q)$-invariant valuations, generalizing Hadwiger's classification of Euclidean isometry-invariant valuations. As a result of independent interest, we identify within the space of translation-invariant valuations the class of Klain-Schneider continuous valuations, which strictly contains all continuous translation-invariant valuations. The operations of pull-back and push-…
