Convolution of valuations on manifolds (Q1700300)

This article continues to develop the theory of valuations on manifolds (the domains being compact submanifolds with corners), which has already led to deep algebraic structures and considerable progress in integral geometry. Let \(G\) be a Lie group acting transitively on a smooth manifold. In the set \({\mathcal V}^{-\infty}(\cdot)\) of generalized valuations, the authors consider compactly supported (index \(c\)) and the newly defined \textit{tame} valuations (index \(t\)). A new convolution \(*\) of a valuation \(\mu\in {\mathcal V}_c^{-\infty}(G)\) and a valuation \(\psi\in {\mathcal V}^{-\infty}(M)\) is defined (where possible), as the push-forward under the multiplication map of the exterior product of \(\mu\) and \(\psi\). A main result says that the convolution \(\mu*\psi\in{\mathcal V}^{-\infty}(M)\) is well defined if \(\mu\) is tame. Moreover, in the appropriate topologies, \({\mathcal V}^{-\infty}_{c,t}(G)\) is an algebra, the spaces \({\mathcal V}^{-\infty}(M)\), \({\mathcal V}^{\infty}(M)\) (smooth valuations), \({\mathcal V}^{-\infty}_t(M)\) are modules over this algebra, and the map \((\mu,\psi)\mapsto \mu*\psi\) is jointly sequentially continuous. More explicit results are presented in the case where \(G=V={\mathbb R}^n\) is acting on itself by addition. For example, if \(\phi_i(K)= \mu_i(K+A_i)\) (\(i=1,2)\), where the \(\mu_i\) are compactly supported smooth measures on \(V\) and the \(A_i\) are smooth compact convex bodies with positive curvature, then \(\phi_1*\phi_2(K)= \mu_1*\mu_2(K+A_1+A_2)\). In this case, the new convolution extends the convolution on smooth translation invariant valuations introduced by \textit{A. Bernig} and \textit{J. H. G. Fu} [Geom. Dedicata 123, 153--169 (2006; Zbl 1117.53054)].