Hard Lefschetz theorem for valuations and related questions of integral geometry (Q4664553)

In [Geom. Funct. Anal. 14, 1--26 (2004; Zbl 1072.52011)] the author defined an important new multiplicative structure for valuations on \({\mathcal K}(V)\), the set of convex compact subsets of an \(n\)-dimensional real vector space \(V\). In the paper under review, he is using this multiplication to give the following new version of the hard Lefschetz theorem for even translation invariant valuations; the original version was obtained by the author in [J. Differ. Geom. 63, 63--95 (2003; Zbl 1073.52004)]. Let \(\text{Val}(V)\) denote the space of translation invariant continuous valuations on \({\mathcal K}(V)\) and let \(\text{Val}_i^{ev}(V)^{sm}\) denote the subspace of valuations that are even, smooth, and homogeneous of degree \(i\). Let \(V_1\) denote the first intrinsic volume and let \(0\leq i<n/2\). Then the multiplication by \((V_1)^{n-2\,i}\) induces an isomorphism \(\text{Val}_i^{ev}(V)^{sm} \tilde\rightarrow \text{Val}_{n-i}^{ev}(V)^{sm}\). For the entire collection see [Zbl 1052.46001].