A Hadwiger-type theorem for the special unitary group (Q1034685)

Let \(V\) be a finite-dimensional vector space and let \(K(V)\) be the set of compact convex subsets of \(V\). A valuation on \(V\) is a map \(\mu:K(V)\to \mathbb{C}\) which is finitely additive in the following sense: \(\mu(K\cup L)+\mu(K\cap L)=\mu(K)+\mu(L)\) whenever \(K\), \(L\), \(K\cup L\in K(V)\). A valuation \(\mu\) is continuous if it is continuous with respect to the Hausdorff topology on \(K(V)\). It is translation invariant if \(\mu(v+K)=\mu(K)\) for all \(v\in V\). If \(V\) is a Euclidean vector space then \(\mu\) is called motion invariant if \(\mu(gK)=\mu(K)\) for all Euclidean motions \(g\). In the paper under review the dimension of the space of \(SU(n)\) and translation-invariant continuous valuations on \(\mathbb{C}^n\), \(n>1\), is computed. For even \(n\), this dimension equals \((n^2+3n+10)/2\); for odd \(n\) it equals \((n^2+3n+6)/2\). An explicit geometric basis of this space is constructed. The kinematic formulas for \(SU(n)\) are obtained as corollaries.