Dual area measures and local additive kinematic formulas (Q2334092)

Let \(V\) be a Euclidean vector space of dimension \(n\) and \(SV= V\times S^{n-1}\) be the sphere bundle. Let the space area of smooth area measures be endowed with the quotient topology of the usual Fréchet topology on the space of \((n-1)\)-forms on \(SV\). Elements of the dual space \(\mathrm{Area}^*\) are called dual area measures. A dual area measure \(L\) is called smooth if there exists some \(n\)-form \(\tau\) such that \(\langle L, \Phi \rangle = \int \omega \wedge \tau\), whenever \(\omega\in \Omega^{n-1}\) (\(\Omega^k\) is the space of translation-invariant forms of total degree \(k\)) and \(\Phi\) is the area measure induced by \(\omega\). The paper is organized as follows. In Section 2 the author collects some definitions like smooth valuations and area measures, and some important maps between them like the globalization map, the first variation map and the moment maps. In Section 3 the author adapts the results from [\textit{M. Rumin}, J. Differ. Geom. 39, No. 2, 281--330 (1994; Zbl 0973.53524)] to the present situation and prove a formula for the Rumin operator, which turns out to be useful. Sections 4 and 5 shown that the higher moment maps are injective. In Section 6 the concept of a smooth dual area measure is introduced and show how this new algebraic structure encodes local additive kinematic formulas. Section 7 is devoted to the important case of Hermitian integral geometry.