3352b913d270bb25.tex
1: \begin{definition}\label{def R} For $2p\le k$, define $C_{kp}$ to be the object that assigns to any smooth Riemannian manifold $M$  the 
2: curvature measure
3: $$\iota_M(C_{kp}):=C^M_{kp}:=\begin{cases} \, \frac{\omega_k}{\pi^k{ (m+1-k)!} \omega_{m+1-k}}[\bar \rho_M( \phi_{kp}), 0] &  \text{if } k< \dim M = m+1 \\
4:  \frac{\omega_k}{\pi^k}\, [0,\bar \rho_M( \psi_p)]&  \text{if } k= \dim M \\
5:  0 &  \text{if } k>\dim M.
6:  \end{cases}
7:  $$
8:  Here $\omega_k$ denotes the volume of the unit ball in $\RR^k$. The globalization of $C_{21}^M$ coincides, up to scale, 
9:  with the valuation first described in Theorem 2 of \cite{bernig voide}.
10:  
11: 
12: The $\omega$-span of the  $ C_{kp} $  is denoted by $\calR$.  
13: The space $\calR$ is $\omega$-graded, by setting $\deg(C_{kp})=k$. Given any smooth Riemannian $M$, the realization map $\iota_M:\calR \to \calC(M)$ is an $\omega$-graded map of degree zero.
14: We denote the image of the realization map by
15: $\calR(M):= \iota_M(\calR)\subset \calC(M)$.
16: %Sometimes we will write $C^M_{kp}$ instead of $C_{kp}$ to emphasize the dependence on $M$. 
17: \end{definition}
18: