Valuation theory of indefinite orthogonal groups

Abstract: Let

m a t h r m {S O}^{+} (p, q)

denote the identity connected component of the real orthogonal group with signature

(p, q)

. We give a complete description of the spaces of continuous and generalized translation- and

m a t h r m {S O}^{+} (p, q)

-invariant valuations, generalizing Hadwiger's classification of Euclidean isometry-invariant valuations. As a result of independent interest, we identify within the space of translation-invariant valuations the class of Klain-Schneider continuous valuations, which strictly contains all continuous translation-invariant valuations. The operations of pull-back and push-forward by a linear map extend naturally to this class.

Review text

Let \(V\) be an \(n\)-dimensional real vector space, \({\mathcal K}(V)\) the set of compact convex bodies in \(V\), and \(\mathrm{Val}^G\) the vector space of continuous, translation invariant valuations on \({\mathcal K}(V)\) (with values in \(\mathbb{R}\) or \(\mathbb{C}\)) that are invariant under the group \(G\subset \mathrm{GL}(V)\). By a classical theorem of Hadwiger, the space \(\mathrm{Val}^{\mathrm{SO}(n)}\) has dimension \(n+1\) and is spanned by the intrinsic volumes. For a compact group \(G\), it was proved by Alesker that \(\mathrm{Val}^G\) has finite dimension if and only \(G\) acts transitively on the unit sphere. These results have important consequences for integral geometry. Continuing earlier work of Alesker and the second author, the present paper deals with the indefinite orthogonal groups \(\mathrm{SO}^+(p,q)\). The first main theorem completely determines the dimensions of the subspaces of \(k\)-homogeneous valuations in \(\mathrm{Val}^{\mathrm{SO}^+(p,q)}\). All these dimensions are small numbers. The second main theorem does the same for the space \(\mathrm{Val}_k^{-\infty}(V)^{\mathrm{SO}^+(p,q)}\) of \(k\)-homogeneous, \(\mathrm{SO}^+(p,q)\)-invariant generalized translation-invariant valuations. The third main theorem describes the even \(\mathrm{SO}^+(p,q)\)-invariant generalized translation-invariant valuations in terms of their Klain function. The authors further introduce KS-continuous valuations. As they say non-formally, a \(k\)-homogeneous generalized valuation is KS-continuous if it can be naturally evaluated on a \((k+1)\)-dimensional convex body, and the latter value depends continuously on the body. The class of KS-continuous valuations strictly contains all continuous translation-invariant valuations. The authors show that pull-back and push-forward extend to spaces of KS-continuous valuations, and that the class of even KS-continuous valuations is invariant under the Alesker-Fourier transform.

Recommendations

Cites work

Cited in

(25)

This page was built for publication: Valuation theory of indefinite orthogonal groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2363164)