A Fourier-type transform on translation-invariant valuations on convex sets (Q532583)

Let \({\mathcal K}(V)\) be the space of convex compact sets in a finite-dimensional real vector space \(V\). A function \(\phi: {\mathcal K}(V)\to\mathbb C\) is called a continuous valuation if it is continuous with respect to the Hausdorff metric of \({\mathcal K}(V)\) and satisfies \(\phi(K_1\cup K_2) = \phi(K_1) + \phi(K_2) - \phi(K_1\cap K_2)\) (Euler additivity) whenever \(K_1\), \(K_2\), \(K_1\cup K_2 \in {\mathcal K}(V)\). The space \(Val (V)\) of translation invariant continuous valuations is an infinite-dimensional Fréchet space. The group \(GL(V)\) of invertible linear transformations of \(V\) naturally acts on \(Val (V)\); the subspace of \(GL(V)\)-smooth vectors is denoted by \(Val^{sm}(V)\) and is called the space of translation invariant smooth valuations on \({\mathcal K}(V)\). The space \(Val^{sm}(V)\) contains not only the Lebesgue measure but also the Euler characteristic and all the mixed volumes. Let \(Dens (V)\) be the complex one-dimensional space of complex-valued Lebesgue measures on \(V\). The main result of the paper is the existence of an isomorphism of linear topological spaces \[ \mathbb F_V : \, Val^ {sm} (V) \to Val^ {sm} (V ^ {\ast} ) \otimes Dens (V) \] having the following three properties: it (1) commutes with the natural action of the group \(GL(V)\) on both spaces, (2) takes the product that the source is equipped with (introduced by \textit{S. Alesker} [Geom. Funct. Anal. 14, No.~1, 1--26 (2004; Zbl 1072.52011)]) to the convolution of the target (introduced by \textit{A. Bernig} and \textit{J. H. G. Fu} [Geom. Dedicata 123, 153--169 (2006; Zbl 1117.53054)]), and (3) satisfies a Plancherel type inversion formula. Therefore \(\mathbb F_V\) is a type of Fourier transform (on translation invariant smooth valuations) since it shares many formal properties with the Fourier transform of functions. As an application, the author derives a version of the Hard Lefschetz Theorem for translation invariant valuations.