Examples

Some common examples of ${\displaystyle {\mathcal {S}}}$ are

• the convex bodies in ${\displaystyle \mathbb {R} ^{n}}$
• compact convex polytopes in ${\displaystyle \mathbb {R} ^{n}}$
• convex cones
• smooth compact polyhedra in a smooth manifold ${\displaystyle X}$

Let ${\displaystyle {\mathcal {K}}(\mathbb {R} ^{n})}$ be the set of convex bodies in ${\displaystyle \mathbb {R} ^{n}.}$ Then some valuations on ${\displaystyle {\mathcal {K}}(\mathbb {R} ^{n})}$ are

• the Euler characteristic ${\displaystyle \chi :K(\mathbb {R} ^{n})\to \mathbb {Z} }$
• Lebesgue measure restricted to ${\displaystyle {\mathcal {K}}(\mathbb {R} ^{n})}$
• intrinsic volume (and, more generally, mixed volume)
• the map ${\displaystyle A\mapsto h_{A},}$ where ${\displaystyle h_{A}}$ is the support function of ${\displaystyle A}$

Some other valuations are

• the lattice point enumerator ${\displaystyle P\mapsto |\mathbb {Z} ^{n}\cap P|}$, where ${\displaystyle P}$ is a lattice polytope
• cardinality, on the family of finite sets

Homogeneous valuations

A translation-invariant continuous valuation ${\displaystyle \phi \in \operatorname {Val} (V)}$ is said to be ${\displaystyle i}$-homogeneous if

$${\displaystyle \phi (\lambda K)=\lambda ^{i}\phi (K)}$$

for all ${\displaystyle \lambda >0}$ and ${\displaystyle K\in {\mathcal {K}}(V).}$ The subset ${\displaystyle \operatorname {Val} _{i}(V)}$ of ${\displaystyle i}$-homogeneous valuations is a vector subspace of ${\displaystyle \operatorname {Val} (V).}$ McMullen's decomposition theorem^[1] states that

$${\displaystyle \operatorname {Val} (V)=\bigoplus _{i=0}^{n}\operatorname {Val} _{i}(V),\qquad n=\dim V.}$$

In particular, the degree of a homogeneous valuation is always an integer between ${\displaystyle 0}$ and ${\displaystyle n=\operatorname {dim} V.}$

Valuations are not only graded by the degree of homogeneity, but also by the parity with respect to the reflection through the origin, namely

$${\displaystyle \operatorname {Val} _{i}=\operatorname {Val} _{i}^{+}\oplus \operatorname {Val} _{i}^{-},}$$

where ${\displaystyle \phi \in \operatorname {Val} _{i}^{\epsilon }}$ with ${\displaystyle \epsilon \in \{+,-\}}$ if and only if ${\displaystyle \phi (-K)=\epsilon \phi (K)}$ for all convex bodies ${\displaystyle K.}$ The elements of ${\displaystyle \operatorname {Val} _{i}^{+}}$ and ${\displaystyle \operatorname {Val} _{i}^{-}}$ are said to be even and odd, respectively.

It is a simple fact that ${\displaystyle \operatorname {Val} _{0}(V)}$ is ${\displaystyle 1}$-dimensional and spanned by the Euler characteristic ${\displaystyle \chi ,}$ that is, consists of the constant valuations on ${\displaystyle {\mathcal {K}}(V).}$

In 1957 Hadwiger^[2] proved that ${\displaystyle \operatorname {Val} _{n}(V)}$ (where ${\displaystyle n=\dim V}$) coincides with the ${\displaystyle 1}$-dimensional space of Lebesgue measures on ${\displaystyle V.}$

A valuation ${\displaystyle \phi \in \operatorname {Val} (\mathbb {R} ^{n})}$ is simple if ${\displaystyle \phi (K)=0}$ for all convex bodies with ${\displaystyle \dim K<n.}$ Schneider^[3] in 1996 described all simple valuations on ${\displaystyle \mathbb {R} ^{n}}$: they are given by

$${\displaystyle \phi (K)=c\operatorname {vol} (K)+\int _{S^{n-1}}f(\theta )d\sigma _{K}(\theta ),}$$

where ${\displaystyle c\in \mathbb {C} ,}$ ${\displaystyle f\in C(S^{n-1})}$ is an arbitrary odd function on the unit sphere ${\displaystyle S^{n-1}\subset \mathbb {R} ^{n},}$ and ${\displaystyle \sigma _{K}}$ is the surface area measure of ${\displaystyle K.}$ In particular, any simple valuation is the sum of an ${\displaystyle n}$- and an ${\displaystyle (n-1)}$-homogeneous valuation. This in turn implies that an ${\displaystyle i}$-homogeneous valuation is uniquely determined by its restrictions to all ${\displaystyle (i+1)}$-dimensional subspaces.

Embedding theorems

The Klain embedding is a linear injection of ${\displaystyle \operatorname {Val} _{i}^{+}(V),}$ the space of even ${\displaystyle i}$-homogeneous valuations, into the space of continuous sections of a canonical complex line bundle over the Grassmannian ${\displaystyle \operatorname {Gr} _{i}(V)}$ of ${\displaystyle i}$-dimensional linear subspaces of ${\displaystyle V.}$ Its construction is based on Hadwiger's characterization^[2] of ${\displaystyle n}$-homogeneous valuations. If ${\displaystyle \phi \in \operatorname {Val} _{i}(V)}$ and ${\displaystyle E\in \operatorname {Gr} _{i}(V),}$ then the restriction ${\displaystyle \phi |_{E}}$ is an element ${\displaystyle \operatorname {Val} _{i}(E),}$ and by Hadwiger's theorem it is a Lebesgue measure. Hence

$${\displaystyle \operatorname {Kl} _{\phi }(E)=\phi |_{E}}$$

defines a continuous section of the line bundle ${\displaystyle Dens}$ over ${\displaystyle \operatorname {Gr} _{i}(V)}$ with fiber over ${\displaystyle E}$ equal to the ${\displaystyle 1}$-dimensional space ${\displaystyle \operatorname {Dens} (E)}$ of densities (Lebesgue measures) on ${\displaystyle E.}$

Theorem (Klain^[4]). The linear map ${\displaystyle \operatorname {Kl}$ :\operatorname {Val} _{i}^{+}(V)\to C(\operatorname {Gr} _{i}(V),\operatorname {Dens} )} is injective.

A different injection, known as the Schneider embedding, exists for odd valuations. It is based on Schneider's description of simple valuations.^[3] It is a linear injection of ${\displaystyle \operatorname {Val} _{i}^{-}(V),}$ the space of odd ${\displaystyle i}$-homogeneous valuations, into a certain quotient of the space of continuous sections of a line bundle over the partial flag manifold of cooriented pairs ${\displaystyle (F^{i}\subset E^{i+1}).}$ Its definition is reminiscent of the Klain embedding, but more involved. Details can be found in.^[5]

The Goodey-Weil embedding is a linear injection of ${\displaystyle \operatorname {Val} _{i}}$ into the space of distributions on the ${\displaystyle i}$-fold product of the ${\displaystyle (n-1)}$-dimensional sphere. It is nothing but the Schwartz kernel of a natural polarization that any ${\displaystyle \phi \in \operatorname {Val} _{k}(V)}$ admits, namely as a functional on the ${\displaystyle k}$-fold product of ${\displaystyle C^{2}(S^{n-1}),}$ the latter space of functions having the geometric meaning of differences of support functions of smooth convex bodies. For details, see.^[5]

Irreducibility Theorem

The classical theorems of Hadwiger, Schneider and McMullen give fairly explicit descriptions of valuations that are homogeneous of degree ${\displaystyle 1,}$ ${\displaystyle n-1,}$ and ${\displaystyle n=\operatorname {dim} V.}$ But for degrees ${\displaystyle 1<i<n-1}$ very little was known before the turn of the 21st century. McMullen's conjecture is the statement that the valuations

$${\displaystyle \phi _{A}(K)=\operatorname {vol} _{n}(K+A),\qquad A\in {\mathcal {K}}(V),}$$

span a dense subspace of ${\displaystyle \operatorname {Val} (V).}$ McMullen's conjecture was confirmed by Alesker in a much stronger form, which became known as the Irreducibility Theorem:

Theorem (Alesker^[6]). For every ${\displaystyle 0\leq i\leq n,}$ the natural action of ${\displaystyle GL(V)}$ on the spaces ${\displaystyle \operatorname {Val} _{i}^{+}(V)}$ and ${\displaystyle \operatorname {Val} _{i}^{-}(V)}$ is irreducible.

Here the action of the general linear group ${\displaystyle GL(V)}$ on ${\displaystyle \operatorname {Val} (V)}$ is given by

$${\displaystyle (g\cdot \phi )(K)=\phi (g^{-1}K).}$$

The proof of the Irreducibility Theorem is based on the embedding theorems of the previous section and Beilinson-Bernstein localization.

Smooth valuations

A valuation ${\displaystyle \phi \in \operatorname {Val} (V)}$ is called smooth if the map ${\displaystyle g\mapsto g\cdot \phi }$ from ${\displaystyle GL(V)}$ to ${\displaystyle \operatorname {Val} (V)}$ is smooth. In other words, ${\displaystyle \phi }$ is smooth if and only if ${\displaystyle \phi }$ is a smooth vector of the natural representation of ${\displaystyle GL(V)}$ on ${\displaystyle \operatorname {Val} (V).}$ The space of smooth valuations ${\displaystyle \operatorname {Val} ^{\infty }(V)}$ is dense in ${\displaystyle \operatorname {Val} (V)}$; it comes equipped with a natural Fréchet-space topology, which is finer than the one induced from ${\displaystyle \operatorname {Val} (V).}$

For every (complex-valued) smooth function ${\displaystyle f}$ on ${\displaystyle \operatorname {Gr} _{i}(\mathbb {R} ^{n}),}$

$${\displaystyle \phi (K)=\int _{\operatorname {Gr} _{i}(\mathbb {R} ^{n})}\operatorname {vol} _{i}(P_{E}K)f(E)dE,}$$

where ${\displaystyle P_{E}:\mathbb {R} ^{n}\to E}$ denotes the orthogonal projection and ${\displaystyle dE}$ is the Haar measure, defines a smooth even valuation of degree ${\displaystyle i.}$ It follows from the Irreducibility Theorem, in combination with the Casselman-Wallach theorem, that any smooth even valuation can be represented in this way. Such a representation is sometimes called a Crofton formula.

For any (complex-valued) smooth differential form ${\displaystyle \omega \in \Omega ^{n-1}(\mathbb {R} ^{n}\times S^{n-1})}$ that is invariant under all the translations ${\displaystyle (x,u)\mapsto (x+t,u)}$ and every number ${\displaystyle c\in \mathbb {C} ,}$ integration over the normal cycle defines a smooth valuation:

$${\displaystyle \phi (K)=c\operatorname {vol} _{n}(K)+\int _{N(K)}\omega ,\qquad K\in {\mathcal {K}}(\mathbb {R} ^{n}).}$$

(1)

As a set, the normal cycle ${\displaystyle N(K)}$ consists of the outward unit normals to ${\displaystyle K.}$ The Irreducibility Theorem implies that every smooth valuation is of this form.

Exterior product

Let ${\displaystyle V,W}$ be finite-dimensional real vector spaces. There exists a bilinear map, called the exterior product,

$${\displaystyle \boxtimes$$ :\operatorname {Val} ^{\infty }(V)\times \operatorname {Val} ^{\infty }(W)\to \operatorname {Val} (V\times W)}

which is uniquely characterized by the following two properties:

• it is continuous with respect to the usual topologies on ${\displaystyle \operatorname {Val} }$ and ${\displaystyle \operatorname {Val} ^{\infty }.}$
• if ${\displaystyle \phi =\operatorname {vol} _{V}(\bullet +A)}$ and ${\displaystyle \psi =\operatorname {vol} _{W}(\bullet +B)}$ where ${\displaystyle A\in {\mathcal {K}}(V)}$ and ${\displaystyle B\in {\mathcal {K}}(W)}$ are convex bodies with smooth boundary and strictly positive Gauss curvature, and ${\displaystyle \operatorname {vol} _{V}}$ and ${\displaystyle \operatorname {vol} _{W}}$ are densities on ${\displaystyle V}$ and ${\displaystyle W,}$ then

$${\displaystyle \phi \boxtimes \psi =(\operatorname {vol} _{V}\boxtimes \operatorname {vol} _{W})(\bullet +A\times B).}$$

Product

The product of two smooth valuations ${\displaystyle \phi ,\psi \in \operatorname {Val} ^{\infty }(V)}$ is defined by

$${\displaystyle (\phi \cdot \psi )(K)=(\phi \boxtimes \psi )(\Delta (K)),}$$

where ${\displaystyle \Delta :V\to V\times V}$ is the diagonal embedding. The product is a continuous map

$${\displaystyle \operatorname {Val} ^{\infty }(V)\times \operatorname {Val} ^{\infty }(V)\to \operatorname {Val} ^{\infty }(V).}$$

Equipped with this product, ${\displaystyle \operatorname {Val} ^{\infty }(V)}$ becomes a commutative associative graded algebra with the Euler characteristic as the multiplicative identity.

Alesker-Poincaré duality

By a theorem of Alesker, the restriction of the product

$${\displaystyle \operatorname {Val} _{k}^{\infty }(V)\times \operatorname {Val} _{n-k}^{\infty }(V)\to \operatorname {Val} _{n}^{\infty }(V)=\operatorname {Dens} (V)}$$

is a non-degenerate pairing. This motivates the definition of the ${\displaystyle k}$-homogeneous generalized valuation, denoted ${\displaystyle \operatorname {Val} _{k}^{-\infty }(V),}$ as ${\displaystyle \operatorname {Val} _{n-k}^{\infty }(V)^{*}\otimes \operatorname {Dens} (V),}$ topologized with the weak topology. By the Alesker-Poincaré duality, there is a natural dense inclusion ${\displaystyle \operatorname {Val} _{k}^{\infty }(V)\hookrightarrow \operatorname {Val} _{k}^{-\infty }(V)/}$

Convolution

Convolution is a natural product on ${\displaystyle \operatorname {Val} ^{\infty }(V)\otimes \operatorname {Dens} (V^{*}).}$ For simplicity, we fix a density ${\displaystyle \operatorname {vol} }$ on ${\displaystyle V}$ to trivialize the second factor. Define for fixed ${\displaystyle A,B\in {\mathcal {K}}(V)}$ with smooth boundary and strictly positive Gauss curvature

$${\displaystyle \operatorname {vol} (\bullet +A)\ast \operatorname {vol} (\bullet +B)=\operatorname {vol} (\bullet +A+B).}$$

There is then a unique extension by continuity to a map

$${\displaystyle \operatorname {Val} ^{\infty }(V)\times \operatorname {Val} ^{\infty }(V)\to \operatorname {Val} ^{\infty }(V),}$$

called the convolution.

Unlike the product, convolution respects the co-grading, namely if ${\displaystyle \phi \in \operatorname {Val} _{n-i}^{\infty }(V),}$ ${\displaystyle \psi \in \operatorname {Val} _{n-j}^{\infty }(V),}$ then ${\displaystyle \phi \ast \psi \in \operatorname {Val} _{n-i-j}^{\infty }(V).}$

For instance, let ${\displaystyle V(K_{1},\ldots ,K_{n})}$ denote the mixed volume of the convex bodies ${\displaystyle K_{1},\ldots ,K_{n}\subset \mathbb {R} ^{n}.}$ If convex bodies ${\displaystyle A_{1},\dots ,A_{n-i}}$ in ${\displaystyle \mathbb {R} ^{n}}$ with a smooth boundary and strictly positive Gauss curvature are fixed, then ${\displaystyle \phi (K)=V(K[i],A_{1},\dots ,A_{n-i})}$ defines a smooth valuation of degree ${\displaystyle i.}$ The convolution two such valuations is

$${\displaystyle V(\bullet [i],A_{1},\dots ,A_{n-i})\ast V(\bullet [j],B_{1},\dots ,B_{n-j})=c_{i,j}V(\bullet [n-j-i],A_{1},\dots ,A_{n-i},B_{1},\dots ,B_{n-j}),}$$

where ${\displaystyle c_{i,j}}$ is a constant depending only on ${\displaystyle i,j,n.}$

Fourier transform

The Alesker-Fourier transform is a natural, ${\displaystyle GL(V)}$-equivariant isomorphism of complex-valued valuations

$${\displaystyle \mathbb {F}$$ :\operatorname {Val} ^{\infty }(V)\to \operatorname {Val} ^{\infty }(V^{*})\otimes \operatorname {Dens} (V),}

discovered by Alesker and enjoying many properties resembling the classical Fourier transform, which explains its name. It reverses the grading, namely ${\displaystyle \mathbb {F}$ :\operatorname {Val} _{k}^{\infty }(V)\to \operatorname {Val} _{n-k}^{\infty }(V^{*})\otimes \operatorname {Dens} (V),} and intertwines the product and the convolution:

$${\displaystyle \mathbb {F} (\phi \cdot \psi )=\mathbb {F} \phi \ast \mathbb {F} \psi .}$$

Fixing for simplicity a Euclidean structure to identify ${\displaystyle V=V^{*},}$ ${\displaystyle \operatorname {Dens} (V)=\mathbb {C} ,}$ we have the identity

$${\displaystyle \mathbb {F} ^{2}\phi (K)=\phi (-K).}$$

On even valuations, there is a simple description of the Fourier transform in terms of the Klain embedding: ${\displaystyle \operatorname {Kl} _{\mathbb {F} \phi }(E)=\operatorname {Kl} _{\phi }(E^{\perp }).}$ In particular, even real-valued valuations remain real-valued after the Fourier transform.

For odd valuations, the description of the Fourier transform is substantially more involved. Unlike the even case, it is no longer of purely geometric nature. For instance, the space of real-valued odd valuations is not preserved.

Pullback and pushforward

Given a linear map ${\displaystyle f:U\to V,}$ there are induced operations of pullback ${\displaystyle f^{*}:\operatorname {Val} (V)\to \operatorname {Val} (U)}$ and pushforward ${\displaystyle f_{*}:\operatorname {Val} (U)\otimes \operatorname {Dens} (U)^{*}\to \operatorname {Val} (V)\otimes \operatorname {Dens} (V)^{*}.}$ The pullback is the simpler of the two, given by ${\displaystyle f^{*}\phi (K)=\phi (f(K)).}$ It evidently preserves the parity and degree of homogeneity of a valuation. Note that the pullback does not preserve smoothness when ${\displaystyle f}$ is not injective.

The pushforward is harder to define formally. For simplicity, fix Lebesgue measures on ${\displaystyle U}$ and ${\displaystyle V.}$ The pushforward can be uniquely characterized by describing its action on valuations of the form ${\displaystyle \operatorname {vol} (\bullet +A),}$ for all ${\displaystyle A\in {\mathcal {K}}(U),}$ and then extended by continuity to all valuations using the Irreducibility Theorem. For a surjective map ${\displaystyle f,}$

$${\displaystyle f_{*}\operatorname {vol} (\bullet +A)=\operatorname {vol} (\bullet +f(A)).}$$

For an inclusion ${\displaystyle f:U\hookrightarrow V,}$ choose a splitting ${\displaystyle V=U\oplus W.}$ Then

$${\displaystyle f_{*}\operatorname {vol} (\bullet +A)(K)=\int _{W}\operatorname {vol} (K\cap (U+w)+A)dw.}$$

Informally, the pushforward is dual to the pullback with respect to the Alesker-Poincaré pairing: for ${\displaystyle \phi \in \operatorname {Val} (V)}$ and ${\displaystyle \psi \in \operatorname {Val} (U)\otimes \operatorname {Dens} (U)^{*},}$

$${\displaystyle \langle f^{*}\phi ,\psi \rangle =\langle \phi ,f_{*}\psi \rangle .}$$

However, this identity has to be carefully interpreted since the pairing is only well-defined for smooth valuations. For further details, see.^[7]

Examples

The following are examples of smooth valuations on a smooth manifold ${\displaystyle X}$:

• Smooth measures on ${\displaystyle X.}$
• The Euler characteristic; this follows from the work of Chern^[8] on the Gauss-Bonnet theorem, where such ${\displaystyle \mu }$ and ${\displaystyle \omega }$ were constructed to represent the Euler characteristic. In particular, ${\displaystyle \mu }$ is then the Chern-Gauss-Bonnet integrand, which is the Pfaffian of the Riemannian curvature tensor.
• If ${\displaystyle X}$ is Riemannian, then the Lipschitz-Killing valuations or intrinsic volumes ${\displaystyle V_{0}^{X}=\chi ,V_{1}^{X},\ldots ,V_{n}^{X}=\mathrm {vol} _{X}}$ are smooth valuations. If ${\displaystyle f:X\to \mathbb {R} ^{m}}$ is any isometric immersion into a Euclidean space, then ${\displaystyle V_{i}^{X}=f^{*}V_{i}^{\mathbb {R} ^{m}},}$ where ${\displaystyle V_{i}^{\mathbb {R} ^{m}}}$ denotes the usual intrinsic volumes on ${\displaystyle \mathbb {R} ^{m}}$ (see below for the definition of the pullback). The existence of these valuations is the essence of Weyl's tube formula.^[9]
• Let ${\displaystyle \mathbb {C} P^{n}}$ be the complex projective space, and let ${\displaystyle \mathrm {Gr} _{k}^{\mathbb {C} }}$ denote the Grassmannian of all complex projective subspaces of fixed dimension ${\displaystyle k.}$ The function

$${\displaystyle \phi (A)=\int _{\mathrm {Gr} _{k}^{\mathbb {C} }}\chi (A\cap E)dE,\qquad A\in {\mathcal {P}}(\mathbb {C} P^{n}),}$$

where the integration is with respect to the Haar probability measure on ${\displaystyle \mathrm {Gr} _{k}^{\mathbb {C} },}$ is a smooth valuation. This follows from the work of Fu.^[10]

Filtration

The space ${\displaystyle {\mathcal {V}}^{\infty }(X)}$ admits no natural grading in general, however it carries a canonical filtration

$${\displaystyle {\mathcal {V}}^{\infty }(X)=W_{0}\supset W_{1}\supset \cdots \supset W_{n}.}$$

Here ${\displaystyle W_{n}}$ consists of the smooth measures on ${\displaystyle X,}$ and ${\displaystyle W_{j}}$ is given by forms ${\displaystyle \omega }$ in the ideal generated by ${\displaystyle \pi ^{*}\Omega ^{j}(X),}$ where ${\displaystyle \pi$ :\mathbb {P} _{X}\to X} is the canonical projection. The associated graded vector space ${\displaystyle \bigoplus _{i=0}^{n}W_{i}/W_{i+1}}$ is canonically isomorphic to the space of smooth sections

$${\displaystyle \bigoplus _{i=0}^{n}C^{\infty }(X,\operatorname {Val} _{i}^{\infty }(TX)),}$$

where ${\displaystyle \operatorname {Val} _{i}^{\infty }(TX)}$ denotes the vector bundle over ${\displaystyle X}$ such that the fiber over a point ${\displaystyle x\in X}$ is ${\displaystyle \operatorname {Val} _{i}^{\infty }(T_{x}X),}$ the space of ${\displaystyle i}$-homogeneous smooth translation-invariant valuations on the tangent space ${\displaystyle T_{x}X.}$

Product

The space ${\displaystyle {\mathcal {V}}^{\infty }(X)}$ admits a natural product. This product is continuous, commutative, associative, compatible with the filtration:

$${\displaystyle W_{i}\cdot W_{j}\subset W_{i+j},}$$

and has the Euler characteristic as the identity element. It also commutes with the restriction to embedded submanifolds, and the diffeomorphism group of ${\displaystyle X}$ acts on ${\displaystyle {\mathcal {V}}^{\infty }(X)}$ by algebra automorphisms.

For example, if ${\displaystyle X}$ is Riemannian, the Lipschitz-Killing valuations satisfy

$${\displaystyle V_{i}^{X}\cdot V_{j}^{X}=V_{i+j}^{X}.}$$

The Alesker-Poincaré duality still holds. For compact ${\displaystyle X}$ it says that the pairing ${\displaystyle {\mathcal {V}}^{\infty }(X)\times {\mathcal {V}}^{\infty }(X)\to \mathbb {C} ,}$ ${\displaystyle (\phi ,\psi )\mapsto (\phi \cdot \psi )(X)}$ is non-degenerate. As in the translation-invariant case, this duality can be used to define generalized valuations. Unlike the translation-invariant case, no good definition of continuous valuations exists for valuations on manifolds.

The product of valuations closely reflects the geometric operation of intersection of subsets. Informally, consider the generalized valuation ${\displaystyle \chi _{A}=\chi (A\cap \bullet ).}$ The product is given by ${\displaystyle \chi _{A}\cdot \chi _{B}=\chi _{A\cap B}.}$ Now one can obtain smooth valuations by averaging generalized valuations of the form ${\displaystyle \chi _{A},}$ more precisely ${\displaystyle \phi (X)=\int _{S}\chi _{s(A)}ds}$ is a smooth valuation if ${\displaystyle S}$ is a sufficiently large measured family of diffeomorphisms. Then one has

$${\displaystyle \int _{S}\chi _{s(A)}ds\cdot \int _{S'}\chi _{s'(B)}ds'=\int _{S\times S'}\chi _{s(A)\cap s'(B)}dsds',}$$

see.^[11]

Pullback and pushforward

Every smooth immersion ${\displaystyle f:X\to Y}$ of smooth manifolds induces a pullback map ${\displaystyle f^{*}:{\mathcal {V}}^{\infty }(Y)\to {\mathcal {V}}^{\infty }(X).}$ If ${\displaystyle f}$ is an embedding, then

$${\displaystyle (f^{*}\phi )(A)=\phi (f(A)),\qquad A\in {\mathcal {P}}(X).}$$

The pullback is a morphism of filtered algebras. Every smooth proper submersion ${\displaystyle f:X\to Y}$ defines a pushforward map ${\displaystyle f^{*}:{\mathcal {V}}^{\infty }(X)\to {\mathcal {V}}^{\infty }(Y)}$ by

$${\displaystyle (f_{*}\phi )(A)=\phi (f^{-1}(A)),\qquad A\in {\mathcal {P}}(Y).}$$

The pushforward is compatible with the filtration as well: ${\displaystyle f_{*}:W_{i}(X)\to W_{i-(\dim X-\dim Y)}(Y).}$

For general smooth maps, one can define pullback and pushforward for generalized valuations under some restrictions.