Convolution of valuations on manifolds (Q1700300)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Convolution of valuations on manifolds
scientific article

    Statements

    Convolution of valuations on manifolds (English)
    0 references
    0 references
    0 references
    5 March 2018
    0 references
    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)].
    0 references
    0 references
    0 references
    0 references
    0 references
    valuations on manifolds
    0 references
    generalized valuation
    0 references
    Lie group action
    0 references
    convolution
    0 references
    0 references
    0 references
    0 references