Hard Lefschetz theorem for valuations, complex integral geometry, and unitarily invariant valuations. (Q1777994)

This paper is concerned with the structure of certain spaces of valuations on convex bodies and with a very remarkable analogue of Hadwiger's characterization theorem for intrinsic volumes. For a finite-dimensional real vector space \(V\), the set \(\text{Val}(V)\) of translation invariant continuous valuations on \({\mathcal K}(V)\) (the space of compact convex subsets of \(V\)) becomes a Fréchet space if endowed with the topology of uniform convergence on compact subsets of \({\mathcal K}(V)\). The natural continuous representation of \(\text{GL}(V)\) in \(\text{Val}(V)\) is defined by \((g(\phi))(K):= \phi(g^{-1}K)\) for \(g\in \text{GL}(V)\), \(\phi\in \text{Val}(V)\), \(K\in{\mathcal K}(V)\). The author uses representation theory and his earlier results on \(\text{Val}(V)\) and (with J. Bernstein) on the cosine transform, to establish an analogue of the hard Lefschetz theorem involving the spaces \(\text{Val}^{\text{ev}}_k(V)\) of even valuations that are homogeneous of degree \(k\). Using this and several other deep results, he succeeds in finding an explicit basis of \(\text{Val}_k^{U(n)}({\mathbb C}^n)\), the space of unitarily invariant, translation invariant, continuous, \(k\)-homogeneous valuations on a Hermitian space \({\mathbb C}^n\). The valuations of the basis are Crofton type integrals involving intersections with affine complex subspaces of \({\mathbb C}^n\). This classification (together with an approximation argument that is only sketched) is then used to deduce new integral geometric formulas for real submanifolds in Hermitian spaces. They generalize classical kinematic formulas in Euclidean spaces, yet are slightly less explicit, leaving open the determination of some constants.