A Fourier-type transform on translation-invariant valuations on convex sets (Q532583): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 06:45, 30 January 2024

scientific article
Language Label Description Also known as
English
A Fourier-type transform on translation-invariant valuations on convex sets
scientific article

    Statements

    A Fourier-type transform on translation-invariant valuations on convex sets (English)
    0 references
    0 references
    5 May 2011
    0 references
    Let \({\mathcal K}(V)\) be the space of convex compact sets in a finite-dimensional real vector space \(V\). A function \(\phi: {\mathcal K}(V)\to\mathbb C\) is called a continuous valuation if it is continuous with respect to the Hausdorff metric of \({\mathcal K}(V)\) and satisfies \(\phi(K_1\cup K_2) = \phi(K_1) + \phi(K_2) - \phi(K_1\cap K_2)\) (Euler additivity) whenever \(K_1\), \(K_2\), \(K_1\cup K_2 \in {\mathcal K}(V)\). The space \(Val (V)\) of translation invariant continuous valuations is an infinite-dimensional Fréchet space. The group \(GL(V)\) of invertible linear transformations of \(V\) naturally acts on \(Val (V)\); the subspace of \(GL(V)\)-smooth vectors is denoted by \(Val^{sm}(V)\) and is called the space of translation invariant smooth valuations on \({\mathcal K}(V)\). The space \(Val^{sm}(V)\) contains not only the Lebesgue measure but also the Euler characteristic and all the mixed volumes. Let \(Dens (V)\) be the complex one-dimensional space of complex-valued Lebesgue measures on \(V\). The main result of the paper is the existence of an isomorphism of linear topological spaces \[ \mathbb F_V : \, Val^ {sm} (V) \to Val^ {sm} (V ^ {\ast} ) \otimes Dens (V) \] having the following three properties: it (1) commutes with the natural action of the group \(GL(V)\) on both spaces, (2) takes the product that the source is equipped with (introduced by \textit{S. Alesker} [Geom. Funct. Anal. 14, No.~1, 1--26 (2004; Zbl 1072.52011)]) to the convolution of the target (introduced by \textit{A. Bernig} and \textit{J. H. G. Fu} [Geom. Dedicata 123, 153--169 (2006; Zbl 1117.53054)]), and (3) satisfies a Plancherel type inversion formula. Therefore \(\mathbb F_V\) is a type of Fourier transform (on translation invariant smooth valuations) since it shares many formal properties with the Fourier transform of functions. As an application, the author derives a version of the Hard Lefschetz Theorem for translation invariant valuations.
    0 references
    linear topological space
    0 references
    continuous valuation
    0 references
    convex set
    0 references
    Lebesgue measure
    0 references
    Fourier transform
    0 references
    product
    0 references
    convolution
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references