Abstract
The recently introduced Lipschitz–Killing curvature measures on pseudo-Riemannian manifolds satisfy a Weyl principle, i.e. are invariant under isometric embeddings. We show that they are uniquely characterized by this property. We apply this characterization to prove a Künneth-type formula for Lipschitz–Killing curvature measures, and to classify the invariant generalized valuations and curvature measures on all isotropic pseudo-Riemannian space forms.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Background
A valuation on a finite-dimensional vector space V is a functional \(\mu :{\mathcal {K}}(V) \rightarrow A\), where \({\mathcal {K}}(V)\) denotes the set of compact convex subsets of V and A is an abelian semigroup, such that
whenever \(K,L,K \cup L \in {\mathcal {K}}(V)\), and \(\mu (\emptyset )=0\).
An important example is given by the intrinsic volumes. If V is a Euclidean vector space of dimension n with unit ball B, and \(K \in {\mathcal {K}}(V)\), then, as observed by Steiner [36], the volume of the r-tube \(K_r:=K+rB\) around K is a polynomial in r:
Here \(\omega _{n-k}\) is the volume of the \((n-k)\)-dimensional Euclidean unit ball. The coefficient \(\mu _k(K)\) is called k-th intrinsic volume. If \(\iota :V \rightarrow W\) is an isometric embedding of Euclidean vector spaces, then \(\mu _k^W(\iota (K))=\mu _k^V(K)\) for all \(K \in {\mathcal {K}}(V)\). In particular, \(\mu _k\) is invariant under translations and rotations. Conversely, if \(\mu \) is a continuous (with respect to the Hausdorff metric on \({\mathcal {K}}(V)\)), translation- and rotation-invariant real-valued valuation, then \(\mu \) is a linear combination of intrinsic volumes by a famous theorem of Hadwiger.
Hadwiger’s theorem has inspired a lot of research. To mention just a few of the numerous results, we refer the reader to [1, 8,9,10, 14, 15] for versions for subgroups of the orthogonal group, to [6, 28, 30, 34, 37, 38] for valuations taking values in some abelian semigroups, and to [31, 32] for semi-continuous valuations.
A differential geometric version of Steiner’s formula was found by Weyl [39]. Instead of taking a compact convex body, he considered a compact submanifold M (possibly with boundary) of a Euclidean space and showed that the volume of an r-tube is a polynomial for small enough r. Moreover, the coefficients only depend on the intrinsic geometry of the submanifold, and not on the embedding. We refer to this as Weyl’s principle.
For both formulas, the Steiner and the Weyl formula, local versions exist, where one looks only at those points in the r-tube such that the foot point on K or M belongs to a given Borel subset of V. The coefficients \(\Lambda _k, k=0,\ldots ,n\) are then valuations with values in the space of signed measures on V and are called Lipschitz–Killing curvature measures. For instance, if (M, g) is a compact m-dimensional Riemannian submanifold without boundary, then \(\Lambda _{m-2}^M(M,U)=\frac{1}{4\pi } \int _U {sc} \cdot d\mathrm {vol}\), where \(U \subset M\) is a Borel subset and sc is the scalar curvature of (M, g).
The structural similarity of the results by Steiner and Weyl is not a coincidence and can be explained with Alesker’s much more recent theory of valuations on manifolds. In this language, the intrinsic volumes are valuations which are defined on arbitrary Riemannian manifolds and which behave naturally with respect to isometric embeddings; and the Lipschitz–Killing curvature measures are curvature measures naturally associated to Riemannian manifolds. Conversely, Fu and Wannerer [25] have recently shown in the spirit of Hadwiger’s characterization that the intrinsic volumes/Lipschitz–Killing curvature measures are characterized by the Weyl principle, i.e. any valuation/curvature measure on Riemannian manifolds that satisfies the Weyl principle is a linear combination of intrinsic volumes/Lipschitz–Killing measures.
It is a very natural question to look for analogous results in pseudo-Riemannian geometry. In this case, the tubes are in general not compact, but nevertheless one can try to associate valuations and curvature measures to pseudo-Riemannian manifolds. In the flat case, this was achieved in [7] and [12]. It turns out that the continuity assumption is too restrictive and should be replaced by the notion of generalized valuations or curvature measures. The very rough idea is that a generalized valuation can not be evaluated on every compact differentiable polyhedron, but only on smooth enough sets which are transversal (in some precise sense) to the light cone of the metric. These sets are called LC-transversal. One obtains a sequence \(\mu _k, {k\ge 0}\) of complex-valued generalized valuations called intrinsic volumes, and a sequence \(\Lambda _k, {k\ge 0}\) of complex-valued generalized curvature measures called Lipschitz–Killing curvature measures.
The extension to the curved case was carried out in [13]. To every pseudo-Riemannian manifold \(M^{p,q}\) we associate a space \(\mathcal {LK}(M)\) of intrinsic volumes, which are generalized valuations on M; and a space \(\widetilde{\mathcal {LK}}(M)\) of Lipschitz–Killing curvature measures, which are generalized curvature measures on M. They can be evaluated on smooth enough LC-transversal sets. The most important property of these objects is the Weyl principle, which states that for every isometric immersion \(M \looparrowright N\) of pseudo-Riemannian manifolds, the restriction of the intrinsic volume \(\mu _k^N\) to M equals \(\mu _k^M\) and the restriction of the Lipschitz–Killing curvature measure \(\Lambda _k^N\) to M equals \(\Lambda _k^M\). A characterization of the intrinsic volumes as the only generalized valuations on pseudo-Riemannian manifolds satisfying a Weyl principle appeared in [13, Theorem D], based on the results from [12].
1.2 Results
To complete the analogy with the Euclidean/Riemannian case, we still need a characterization theorem for generalized curvature measures satisfying a Weyl principle. As noted above, each Lipschitz-Killing curvature measure satisfies the Weyl principle, i.e. it associates to each pseudo-Riemannian manifold (M, Q) a generalized curvature measure \(\Lambda _k^M\) such that whenever \(M \looparrowright N\) is an isometric immersion, then \(\Lambda _k^N|_M=\Lambda _k^M\). The same holds true for linear combinations \(\sum _{k=0}^\infty a_k \Lambda _k+b_k{\bar{\Lambda }}_k\). Note that when evaluated on a given Riemannian manifold M, the sum is finite since \(\Lambda _k^M=0\) for \(k>\dim M\). Our first main theorem states that, conversely, every assignment of a generalized curvature measure \(\Lambda ^M\) to each pseudo-Riemannian manifold M that satisfies \(\Lambda ^N|_M=\Lambda ^M\) is of this form. In other words, the space \(\widetilde{\mathcal {LK}}(M)\) of Lipschitz–Killing curvature measures is characterized by the Weyl principle.
To state the theorem more precisely, we need some terminology. Let \({\Psi \mathbf {Met}}\) denote the category of pseudo-Riemannian manifolds with isometric immersions. Let \(\mathbf {GCrv}\) be the category where the objects are pairs \((M, \Phi )\), with M a smooth manifold, and \(\Phi \in {\mathcal {C}}^{-\infty }(M, {\mathbb {C}})\) (the space of generalized curvature measures). The morphisms \(e:(M, \Phi _M)\rightarrow (N,\Phi _N)\) are immersions \(e:M \looparrowright N\) such that \(e^*\Phi _N\) is well-defined, and \(\Phi _M=e^*\Phi _N\). The category \(\mathbf {GVal}\) of manifolds with generalized valuations is defined similarly.
A Weyl functor on pseudo-Riemannian manifolds with values in generalized curvature measures is any covariant functor \(\Lambda :\Psi \mathbf {Met}\rightarrow \mathbf {GCrv}\) intertwining the forgetful functor to the category of smooth manifolds. More generally, we may similarly define Weyl functors between any two categories of manifolds equipped with a geometric structure, when natural restriction operations are available for both structures. Important examples of Weyl functors are the intrinsic volumes of Riemannian manifolds, taking values in smooth valuations, and the Lipschitz–Killing curvature measures [22, 25]. For a different example, a family of Weyl functors on contact manifolds with values in generalized valuations was described in [21].
In this language, the intrinsic volumes and Lipschitz-Killing curvature measures on Riemannian manifolds were extended in [13] to Weyl functors \(\mu _k:\Psi \mathbf {Met}\rightarrow \mathbf {GVal}\) and \(\Lambda _k:\Psi \mathbf {Met}\rightarrow \mathbf {GCrv}\), respectively. It was moreover shown that the Weyl functors \(\Psi \mathbf {Met}\rightarrow \mathbf {GVal}\) are spanned over \({\mathbb {R}}\) by \(\mu _0=\chi \) and \(\{\mu _k, \overline{\mu _k}\}_{k\ge 1}\). Our first result is a similar classification for the curvature measures.
Theorem A
Any Weyl functor \(\Lambda :\Psi \mathbf {Met} \rightarrow \mathbf {GCrv}\) is given by a unique infinite linear combination \(\Lambda =\sum _{k=0}^\infty a_k \Lambda _k+b_k{\bar{\Lambda }}_k\).
Theorem A may be used to prove geometric formulas by the template method, where the templates are special pseudo-Riemannian manifolds. As a first application of this method, we prove the following formula, which is well-known in the Riemannian case [17, Equation 3.34].
Theorem B
(Künneth-type formula) Let \((M_1,Q_1),(M_2,Q_2)\) be pseudo-Riemannian manifolds. Let \(A_i \subset M_i, i=1,2\) be LC-transversal differentiable polyhedra. Then
Here \(\Lambda _{k_1}^{M_1}(A_1,\bullet ) \boxtimes \Lambda _{k_2}^{M_2}(A_2,\bullet )\) denotes the exterior product of the generalized measures \(\Lambda ^{M_1}_{k_1}(A_1,\bullet )\) and \(\Lambda ^{M_2}_{k_2}(A_2,\bullet )\).
By the Weyl principle, we have for every pseudo-Riemannian manifold
where \(\mathrm {Isom}(M)\) is the isometry group.
A (pseudo-Riemannian) space form is a complete connected pseudo-Riemannian manifold of constant sectional curvature. We refer to Sect. 2.1 for the classification of space forms. A connected space form is isotropic if the isometry group acts transitively on the level sets of the metric. Examples include all pseudospheres, pseudohyperbolic spaces, and flat pseudo-Euclidean spaces. Our third main theorem states that the displayed inclusions become equalities if M is an isotropic space form. It thus gives a complete description of isometry invariant generalized valuations and curvature measures for these space forms, and can be considered as a Hadwiger-type theorem.
Theorem C
Let (M, Q) be an isotropic space form. Then
The following special case of the theorem completes the classification of isometry invariant generalized valuations from [12] and will be the main ingredient in the proof of Theorem C.
Proposition 1.1
(Classification of isometry invariant curvature measures on pseudo-Euclidean space) Let V be an n-dimensional real vector space endowed with a non-degenerate quadratic form of signature (p, q) and isometry group \({{\,\mathrm{O}\,}}(p,q)\). Let \({{\,\mathrm{Curv}\,}}_k^{-\infty }(V)^{{{\,\mathrm{O}\,}}(p,q)}\) be the space of k-homogeneous, translation-invariant and \({{\,\mathrm{O}\,}}(p,q)\)-invariant generalized curvature measures on V. Then
In each case, a basis is given by the real and/or imaginary parts of the Lipschitz–Killing curvature measure \(\Lambda _k\).
2 Preliminaries
2.1 Pseudo-Riemannian Space Forms
We refer to [33, 40] for the material in this subsection.
Definition 2.1
-
(i)
The pseudo-Euclidean space of signature (p, q) is \({\mathbb {R}}^{p,q}={\mathbb {R}}^{p+q}\) with a quadratic form of signature (p, q), e.g. \(Q=\sum _{i=1}^p dx_i^2-\sum _{i=p+1}^{p+q} dx_i^2\).
-
(ii)
The pseudosphere of signature (p, q) and radius \(r>0\) is
$$\begin{aligned} S_r^{p,q}=\{v \in {\mathbb {R}}^{p+1,q}:Q(v)=r^2\}. \end{aligned}$$The pseudosphere \(S_1^{n,1}\subset {\mathbb {R}}^{n+1,1}\) is called de Sitter space and denoted by \(dS^{n,1}\).
-
(iii)
The pseudohyperbolic space of signature (p, q) and radius \(r>0\) is
$$\begin{aligned} H_r^{p,q}=\{v \in {\mathbb {R}}^{p,q+1}:Q(v)=-r^2\}. \end{aligned}$$The pseudohyperbolic space \(H_1^{n,1}\) is called the anti-de Sitter space.
The isometry groups of these spaces are given by
In each case, the action is transitive and the stabilizer at any point is conjugate to \({{\,\mathrm{O}\,}}(p,q)\).
Definition 2.2
A complete connected pseudo-Riemannian manifold of constant sectional curvature is called space form. A connected space form whose isometry group acts transitively on the level sets of the metric is called isotropic.
By a theorem of Wolf [40], the stabilizer of a point in the isometry group of an isotropic space form acts on the tangent space by the full orthogonal group.
The next theorem gives a classification of simply connected space forms. They are all isotropic.
Theorem 2.3
Let (M, Q) be a pseudo-Riemannian space form of signature (p, q) and curvature K. Then, the universal cover of M is isometric to
-
(i)
\({\mathbb {R}}^{p,q}\) if \(K=0\);
-
(ii)
\(S^{p,q}_{\frac{1}{\sqrt{K}}}\) if \(K>0\) and \(p \ge 2\);
-
(iii)
\({\tilde{S}}^{1,q}_{\frac{1}{\sqrt{K}}}\) (simply connected pseudo-Riemannian covering of \(S^{1,q}_{\frac{1}{K}}\)) if \(K>0, p=1\);
-
(iv)
\(cS^{0,q}_{\frac{1}{\sqrt{K}}}\) (connected component of \(S^{0,q}_{\frac{1}{\sqrt{K}}}\)) if \(K>0, p=0\);
-
(v)
\(H^{p,q}_{\frac{1}{\sqrt{-K}}}\) if \(K<0,q \ge 2\);
-
(vi)
\({\tilde{H}}^{p,1}_{\frac{1}{\sqrt{-K}}}\) (simply connected pseudo-Riemannian covering of \(H^{p,1}_{\frac{1}{\sqrt{-K}}}\)) if \(K<0,q=1\);
-
(vii)
\(cH^{p,0}_{\frac{1}{\sqrt{-K}}}\) (connected component of \(H^{p,0}_{\frac{1}{\sqrt{-K}}}\)) if \(K<0, q=0\).
2.2 Valuations and Curvature Measures on Manifolds
In this subsection, we recall the definitions of the basic objects of this paper: smooth and generalized valuations and smooth and generalized curvature measures on manifolds. We refer to [13, Section 2] for more details.
Let M be a smooth manifold, assumed oriented for simplicity. By \(\pi :{\mathbb {P}}_M \rightarrow M\) we denote the cosphere bundle. We let \({\mathcal {P}}(M)\) denote the set of compact differentiable polyhedra. A smooth valuation on a manifold M is a functional \(\mu :{\mathcal {P}}(M) \rightarrow {\mathbb {R}}\) of the form
Here, \({{\,\mathrm{nc}\,}}(A)\) is the normal cycle of A, which is an integral current in \({\mathbb {P}}_M\). The space of smooth valuations is a Fréchet space which is denoted by \({\mathcal {V}}^\infty (M)\). Examples are the Euler characteristic \(\chi \), the volume, and more generally the intrinsic volumes of a Riemannian manifold (M, g).
There is a natural notion of the support of a valuation, and the space of compactly supported smooth valuations is denoted by \({\mathcal {V}}^\infty _c(M)\) and equipped with a natural LF-topology. A generalized valuation is an element of the dual space \({\mathcal {V}}^{-\infty }(M):={\mathcal {V}}^\infty _c(M)^*\). It can be represented by generalized forms \(\phi \in \Omega ^n_{-\infty }(M), \omega \in \Omega ^{n-1}_{-\infty }({\mathbb {P}}_M)\). In this case, (2) still makes sense for particularly nice A. Every \(A \in {\mathcal {P}}(M)\) defines a generalized valuation \(\chi _A\) by setting \(\langle \chi _A, \mu \rangle =\mu (A)\), and every smooth valuation can also be considered as a generalized valuation by Alesker-Poincaré duality. The wave front of a generalized valuation describes its singularities, we refer to [4, Section 8] for the definition. Given closed subsets \(\Lambda \subset {\mathbb {P}}_+(T^*M), \Gamma \subset {\mathbb {P}}_+(T^*{\mathbb {P}}_M)\), the space of generalized valuations with wave front included in \((\Lambda ,\Gamma )\) is denoted by \({\mathcal {V}}^{-\infty }_{\Lambda ,\Gamma }(M)\).
A smooth curvature measure is a functional of the form
Here \(A \in {\mathcal {P}}(M)\) and \(U \subset M\) is a Borel subset. The Fréchet space of smooth curvature measures is denoted by \({\mathcal {C}}^\infty (M)\). Sometimes we also write \([\phi ,\omega ]\) for the curvature measure defined by (3).
The pairs of forms \((\phi ,\omega )\) such that the valuation \(\mu \) from (2) is trivial were described in [11] in terms of the contact structure on \({\mathbb {P}}_M\). We need a (simpler) version of this description for curvature measures.
Note that a local contact form \(\alpha \) is unique up to multiplication by a non-zero function. In the following, we will do some constructions using \(\alpha \), and will leave it to the reader to check that each construction is independent of the choice of \(\alpha \).
A form \(\omega \in \Omega ^k({\mathbb {P}}_M)\) is called primitive if \(k \le n-1\) and
The Lefschetz decomposition of a form \(\omega \in \Omega ^k({\mathbb {P}}_M)\) is given by
where \(\omega _i \in \Omega ^{k}({\mathbb {P}}_M)\) is of the form \(\omega _i=d\alpha ^i \wedge {\tilde{\omega }}_i\) with \({\tilde{\omega }}_i \in \Omega ^{k-2i}({\mathbb {P}}_M)\) primitive. See [29] for these notions.
Proposition 2.4
Let \(\phi \in \Omega ^n(M), \omega \in \Omega ^{n-1}({\mathbb {P}}_M)\). The following conditions are equivalent.
-
(i)
The curvature measure \(\Phi \) defined by (3) vanishes.
-
(ii)
\(\phi =0\) and \(\omega \) belongs to the ideal generated by \(\alpha \) and \(d\alpha \).
-
(iii)
\(\phi =0\) and
$$\begin{aligned} \int _{{\mathbb {P}}_M} \alpha \wedge \omega \wedge \tau _0=0 \end{aligned}$$for all primitive forms \(\tau _0 \in \Omega _c^{n-1}({\mathbb {P}}_M)\).
Proof
- \((ii) \implies (i)\) :
-
This follows from the fact that normal cycles are Legendrian.
- \((i) \implies (ii)\) :
-
Take a smooth compact submanifold \(A \subset M\) of dimension n with smooth boundary \(\partial A\). Then for every \(f \in C_c^\infty (M)\), we have
$$\begin{aligned} \int _A f \phi +\int _{{{\,\mathrm{nc}\,}}(A)} \pi ^*f \cdot \omega =0. \end{aligned}$$Taking f be supported in \(\mathrm {int}A\), we find that \(\phi =0\). Letting the support of f shrink to a point on the boundary, it follows that \(\omega \) vanishes on all tangent spaces to \({{\,\mathrm{nc}\,}}(A)\). Since these tangent spaces are dense in the set of all Legendrian planes (i.e. \((n-1)\)-dimensional linear subspaces E of some \(T_\xi {\mathbb {P}}_M\) such that \(\alpha |_E,d\alpha |_E\) vanish), it follows that \(\omega \) vanishes on all Legendrian planes. By [11, Lemma 1.4] this implies that \(\omega \in \langle \alpha ,d\alpha \rangle \).
- \((ii) \implies (iii)\) :
-
Obvious.
- \((iii) \implies (ii)\) :
-
Let \(\tau \in \Omega _c^{n-1}({\mathbb {P}}_M)\) be arbitrary and let
$$\begin{aligned} \omega \equiv \sum _{i=0}^{\left\lfloor \frac{n-1}{2}\right\rfloor } \omega _i \mod \alpha , \quad \tau \equiv \sum _{i=0}^{\left\lfloor \frac{n-1}{2}\right\rfloor } \tau _i \mod \alpha , \end{aligned}$$be the Lefschetz decompositions. Then \(\omega _i \wedge \tau _0 \equiv 0\) and \(\tau _i \wedge \omega _0 \equiv 0\) for all \(i>0\). The assumption is thus equivalent to
$$\begin{aligned} 0= \int _{{\mathbb {P}}_M} \alpha \wedge \omega \wedge \tau _0 = \int _{{\mathbb {P}}_M} \alpha \wedge \omega _0 \wedge \tau _0 = \int _{{\mathbb {P}}_M} \alpha \wedge \omega _0 \wedge \tau , \end{aligned}$$which implies by Poincaré duality that \(\alpha \wedge \omega _0=0\). Hence \(\omega _0\) is a multiple of \(\alpha \). Since each \(\omega _i, i>0\) is a multiple of \(d\alpha \), the statement follows.
\(\square \)
A generalized curvature measure is given by a pair \(\phi \in \Omega ^n_{-\infty }(M), \omega \in \Omega ^{n-1}_{-\infty }({\mathbb {P}}_M)\). It can be evaluated at pairs \(\mu ,f\), where \(\mu \in {\mathcal {V}}^\infty _c(M)\) and \(f \in C_c^\infty (M)\). We write \(\Phi (\mu ,f)\) for this evaluation. The space of generalized curvature measures is denoted by \({\mathcal {C}}^{-\infty }(M)\). As for generalized valuations, the singularities of a generalized curvature measure can be described by its wave front set [13, Section 2.3]. The set of generalized curvature measures with wave front set contained in \((\Lambda ,\Gamma )\), where \(\Lambda \subset {\mathbb {P}}_+(T^*M), \Gamma \subset {\mathbb {P}}_+(T^*{\mathbb {P}}_M)\) are closed subsets, is denoted by \({\mathcal {C}}^{-\infty }_{\Lambda ,\Gamma }(M)\).
If \(A \in {\mathcal {P}}(M)\) satisfies certain transversality conditions (which are given in terms of wave front sets), then
is well-defined.
Proposition 2.5
Let \(\phi \in \Omega ^n_{-\infty }(M), \omega \in \Omega ^{n-1}_{-\infty }({\mathbb {P}}_M)\). The following conditions are equivalent.
-
(i)
The generalized curvature measure \(\Phi \) defined by \((\phi ,\omega )\) vanishes.
-
(ii)
\(\phi =0\) and \(\omega \) belongs to the ideal in \(\Omega ^*_{-\infty }({\mathbb {P}}_M)\) generated by \(\alpha \) and \(d\alpha \).
-
(iii)
\(\phi =0\) and
$$\begin{aligned} \int _{{\mathbb {P}}_M} \alpha \wedge \omega \wedge \tau _0=0 \end{aligned}$$for all primitive forms \(\tau _0 \in \Omega _c^{n-1}({\mathbb {P}}_M)\).
Proof
The implications \((ii) \implies (i), (ii) \iff (iii)\) are as in the proof of Proposition 2.4.
For the implication \((i) \implies (ii)\), we work locally and with coordinates and assume that \(M={\mathbb {R}}^n\). Convolve with an approximate identity \(\rho _j \in C_c^\infty (\overline{\mathrm {GL}(n)})\), where \(\overline{\mathrm {GL}(n)}\) is the affine group of \({\mathbb {R}}^n\). Then \(\rho _j * \Phi \) is the smooth curvature measure represented by the smooth forms \((\rho _j *\phi , \rho _j * \omega )\), but obviously it is the trivial curvature measure. By Proposition 2.4, \(\rho _j * \phi =0\), while \(\rho _j * \omega \) belongs to the ideal \(\langle \alpha ,d\alpha \rangle \subset \Omega ^{n-1}({\mathbb {P}}_M)\). For \(j \rightarrow \infty \), \(\rho _j * \phi \rightarrow \phi \) and \(\rho _j * \omega \rightarrow \omega \) in the weak topology, hence \(\phi =0\). Since \(\langle \alpha ,d\alpha \rangle \cap \Omega ^{n-1}_{-\infty }({\mathbb {P}}_M)\) is closed in the weak topology (which follows from the implication \((ii) \iff (iii)\)), it follows that \(\omega \) belongs to this space. \(\square \)
Sometimes we also need \({\mathbb {C}}\)-valued valuations and curvature measures, which are defined in an analogous way. In all the following, the range which is either \({\mathbb {R}}\) or \({\mathbb {C}}\) is often omitted from notation, and should be determined from context.
2.3 Translation-Invariant Valuations and Curvature Measures
If V is a vector space of dimension n, the spaces of smooth or generalized translation-invariant valuations and curvature measures are denoted by \({{\,\mathrm{Val}\,}}^{\pm \infty },{{\,\mathrm{Curv}\,}}^{\pm \infty }\). They admit gradings by homogeneity
A k-homogeneous element in one of these spaces can be represented by a pair \((0,\omega )\) with \(\omega \) translation-invariant and of bidegree \((k,n-k-1)\) if \(k<n\); and by a pair \((\phi ,0)\) with \(\phi \) translation-invariant if \(k=n\).
Proposition 2.6
The (smooth or generalized) curvature measure induced by a translation-invariant (smooth or generalized) form \(\omega \) of bidegree \((k,n-k-1)\) with \(k<n\) vanishes if and only if \(\omega \) belongs to the ideal in \(\Omega ^{*}({\mathbb {P}}_V)^{{{\,\mathrm{tr}\,}}}\) or \(\Omega ^{*}_{-\infty }({\mathbb {P}}_V)^{{{\,\mathrm{tr}\,}}}\) generated by \(\alpha \) and \(d\alpha \).
The proof is similar to the proofs of Propositions 2.4 and 2.5 and we omit the details. In this case, instead of taking the usual Poincaré pairing on manifolds, we have to use the Poincaré pairing on translation-invariant forms as follows. Take the wedge product of two translation-invariant forms of complementary degrees, and push-forward to V. Then we obtain a translation-invariant n-form on V, hence a multiple of the volume form. The corresponding factor is then the pairing of the two forms. This pairing is non-degenerate.
2.4 LC-Transversality
Let (M, Q) be a pseudo-Riemannian manifold. We denote by \({{\,\mathrm{LC}\,}}^*_M \subset {\mathbb {P}}_M={\mathbb {P}}_+(T^*M)\) the set of null-directions in the cosphere bundle and by \({{\,\mathrm{LC}\,}}_M \subset {\mathbb {P}}_+(TM)\) the set of null-directions in the sphere bundle. For a submanifold \(X \subset M\), we let \(N^*X \subset T^*M\) be the conormal bundle, which we consider often as a subset of \({\mathbb {P}}_+(T^*M)\). We also write \(T_X^* M\) instead of \(N^*X\) if we want to emphasize the ambient space.
Definition 2.7
( [13, Section 4.2]) A differentiable polyhedron \(A\subset M\) is called LC-transversal if each smooth stratum of \({{\,\mathrm{nc}\,}}(A)\) intersects \({{\,\mathrm{LC}\,}}^*_M\) transversally.
In particular, a submanifold \(X \subset M\) is LC-transversal if \(N^*X \pitchfork {{\,\mathrm{LC}\,}}^*_M\). Since \({{\,\mathrm{LC}\,}}^*_M\) is a hypersurface, this amounts to saying that there is for each \((x,[\xi ]) \in N^*X \cap {{\,\mathrm{LC}\,}}_M^*\) some vector \(w \in T_{(x,[\xi ])} N^*X\) which is not in \(T_{(x,[\xi ])} {{\,\mathrm{LC}\,}}_M^*\).
We will need the following generalization of LC-transversality.
Definition 2.8
A generalized valuation \(\psi \in {\mathcal {V}}^{-\infty }(M)\) is called LC-transversal if \(\psi \in {\mathcal {V}}^{-\infty }_{\Lambda ,\Gamma }(M)\) with \(\Gamma \cap N^*({{\,\mathrm{LC}\,}}_M^*)=\emptyset \).
This relates to the LC-transversality of subsets as follows.
Lemma 2.9
If a differentiable polyhedron \(A \subset M\) is LC-transversal, then the generalized valuation \(\chi _A\) is LC-transversal.
Proof
Recall that \(\chi _A=[([[A]], [[{{\,\mathrm{nc}\,}}(A)]] )]\). Now \({{\,\mathrm{WF}\,}}([[{{\,\mathrm{nc}\,}}(A)]])\) is contained in the union of the conormal bundles to the smooth strata of \({{\,\mathrm{nc}\,}}(A)\). By assumption, the latter conormal bundles have empty intersection with \(N^*{{\,\mathrm{LC}\,}}_M^*\). \(\square \)
3 Uniqueness of the Lipschitz–Killing Functors
In this section we will prove Proposition 1.1, which is the technical heart of the proof of Theorems A and C . We will need two technical lemmas. The first one is from [12], see also [7, Section 4.4] for some of the notation. To state it, we need some preparation.
Let X be a smooth manifold, and E a smooth vector bundle over X. For any \(\nu \ge 0\) and a locally closed submanifold \(Y\subset X\), define the vector bundle \(F^\nu _Y\) over Y with fiber
For a closed submanifold \(Y\subset X\), let \(\Gamma ^{-\infty ,\nu }_{Y}(X,E) \subset \Gamma ^{-\infty }_{Y}(X,E)\) be the space of all generalized sections supported on Y with differential order not greater that \(\nu \ge 0\) in directions normal to Y. One then has a natural isomorphism
Now let a Lie group G act on X in such a way that there are finitely many orbits, all of which are locally closed submanifolds. We will assume that E is a G-vector bundle. If \(Y \subset X\) is a G-invariant locally closed submanifold, then \(F^\nu _Y\) is naturally a G-bundle. If Y is in fact a closed submanifold then \(\Gamma ^{-\infty ,\nu }_Y(X,E)^G\), \(\nu \ge 0\), form a filtration on \(\Gamma ^{-\infty }_Y(X,E)^G\).
Lemma 3.1
( [12, Lemma A.1]) Let \(Z\subset X\) be a closed G-invariant subset. Decompose \(Z=\bigcup _{j=1}^J Y_j\) where each \(Y_j\) is a G-orbit and fix an element \(y_j \in Y_j\). Then
For a G-module X and a character \(\chi \) on G, we write \(X^{G,\chi }=\{\omega \in X: g\omega =\chi (g)\omega , g\in G \}\) and call its elements \((G,\chi )\)-invariant. By tensorizing all representations with the one-dimensional representation \({\mathbb {C}}\) on which G acts by \(\chi (g)\), a similar upper bound holds for \((G,\chi )\) resp. \(({{\,\mathrm{Stab}\,}}(y_j),\chi )\)-invariant subspaces. We will use the character \(\det :\mathrm {O}(p,q) \rightarrow {\mathbb {R}}\).
The second technical lemma concerns generalized functions on the real line. Assume \(\sigma \in C^\infty (-\epsilon ,\epsilon )\), \(\sigma (0)=0\) and \(\sigma '(0)\ne 0\). Let \(g_\alpha \), \(\alpha \ge 0\) be a smooth family of smooth injective maps from \((-\epsilon ,\epsilon )\) to itself, given by \(g_\alpha (x)=x b_\alpha (x)\) where \(b_0(x)=1\), \(b_\alpha (x)\le 1\), \(b_\alpha (x)\) is smooth in both variables, and \(\left. \frac{d}{d \alpha }\right| _0 b_\alpha (0)\ne 0\). Define \(\psi _\alpha (x)=\frac{\sigma (g_\alpha (x))}{\sigma (x)}\) for \(x\ne 0\), and \(\psi _\alpha (0) =\lim _{x \rightarrow 0} \psi _\alpha (x)=g_\alpha '(0)=b_\alpha (0)\).
Proposition 3.2
Let W be the space of generalized functions \(f\in C^{-\infty }(-\epsilon ,\epsilon )\) satisfying the equation \(g_\alpha ^*f=\psi _{\alpha }^{-m}\cdot f\) for all \(|\alpha | \le \alpha _0\), for some \(\alpha _0>0\) and \(m \in {\mathbb {N}}\). Then the subspace of W of functions supported at \(x=0\) is at most one-dimensional. Moreover, there is \(\delta >0\) such that the space of restrictions of W to \((-\delta ,\delta )\setminus \{0\}\) is also at most one-dimensional.
Proof
Write \(\sigma (x)=x s(x)\) and \(w(x)=\left. \frac{\partial }{\partial \alpha }\right| _0b_\alpha (x)\). Assume \(w(x), s(x)\ne 0\) for \(|x|\le \epsilon _1\le \epsilon \). We have
Differentiating the functional equation at \(\alpha =0\), we find
Write \(F(\sigma )=f(x)\) in an interval \(|x|<\epsilon _2\le \epsilon _1\) where \(\sigma \) is invertible. Then \(f'(x)=F'(\sigma )(s(x)+xs'(x))\), and the equation becomes
which is the equation of a \((-m)\)-homogeneous function in a neighborhood of the origin, and the statement follows from [26, Chapter 1, §3]. \(\square \)
Proof of Proposition 1.1
A translation-invariant generalized curvature measure of degree n is induced by a translation-invariant generalized n-form on V. Since translations act transitively on V, such forms are actually smooth and hence multiples of the volume form. Hence \({{\,\mathrm{Curv}\,}}_n^{-\infty ,{{\,\mathrm{O}\,}}(p,q)}\) is spanned by the volume.
Let us assume in the following that \(0 \le k \le n-1\). Consider first the case \(\min (p,q)=0\), i.e. the case of a Euclidean (or anti-Euclidean) vector space. The action of the Euclidean motion group \(\overline{{{\,\mathrm{O}\,}}(p,q)}\) on the cosphere bundle is transitive, which implies that all invariant generalized forms are smooth. However, from the classification of the invariant smooth forms in [23, 24] it follows immediately that \({{\,\mathrm{Curv}\,}}^{-\infty ,{{\,\mathrm{O}\,}}(p,q)}_k \cong {{\,\mathrm{Curv}\,}}^{\infty ,{{\,\mathrm{O}\,}}(p,q)}_k \cong {{\,\mathrm{Val}\,}}_k^{\infty ,{{\,\mathrm{O}\,}}(p,q)}\), and the latter space is one-dimensional by Hadwiger’s theorem.
In the remaining case \(\min (p,q)>0\) we proceed as in [12, Section 5.3].
Let \({\mathbb {P}}_+(V^*):=V^*\setminus \{0\}/{\mathbb {R}}_+\) and let \({\mathbb {P}}_V:=V \times {\mathbb {P}}_+(V^*)\) be the cosphere bundle over V. For \(\xi \in {\mathbb {P}}_+(V^*)\) we denote by \(\xi ^Q\) the Q-orthogonal complement, which is a hyperplane in V. Denote by \(D^{k,l}\) the vector bundle over \({\mathbb {P}}_+(V^*)\) whose fiber over \(\xi \) is given by
Then the space of translation-invariant forms is given by
The space of vertical translation-invariant generalized forms is
where \(D_v^{k,l}\) is the vector bundle with fiber
The space of horizontal translation-invariant generalized forms (i.e. the quotient of all generalized translation-invariant forms by the vertical translation-invariant generalized forms) is
where \(D_h^{k,l}\) is the vector bundle with fiber
Let \(D_p^{k,l}|_\xi \subset D_h^{k,l}|_\xi \) be the subspace of primitive elements. By Proposition 2.6
Let \(G:={{\,\mathrm{O}\,}}(p,q)\). Since the orientation of the conormal cycle depends on the choice of an orientation on V, we have
Recall from [12, Proposition 4.9] that the action of G on \({\mathbb {P}}_+(V^*)\) has two open orbits \(M^+:=\{\xi :Q(\xi ,\xi )>0\}, M^-:=\{\xi : Q(\xi ,\xi )<0\}\) and one closed orbit \(M^0:=\{\xi :Q(\xi ,\xi )=0\}\), which is called light cone. By [12, Proposition 4.2] the normal bundle is given by \(N_\xi M^0=\xi ^* \otimes \xi ^*\).
We claim that the space \(\Gamma ^{-\infty }_{M^0}({\mathbb {P}}_+(V^*),D_p^{k,n-k-1})^{G,\det }\) of \((G,\det )\)-invariant and primitive generalized forms supported on the light cone is trivial if \((n-k)\) is odd, and at most one-dimensional if \((n-k)\) is even.
To prove the claim, we fix \(\xi \in M^0\) and denote by \(H \subset G\) the stabilizer of \(\xi \). By Lemma 3.1 and [12, Lemma 5.7],
Set
with \(\beta =n-k-2\nu -3\).
Since we have an exact sequence
we get an exact sequence
Note that \((\xi ^Q/\xi )^* \cong \xi ^Q/\xi \), since the restriction of Q to \(\xi ^Q/\xi \) is non-degenerate. The action of H on this space is that of \({{\,\mathrm{O}\,}}(p-1,q-1)\).
Hence
By [12, Lemma 2.1] we have
As in [12] we define the spaces
By [12, Lemma 5.1] we have
Note that the kernel of \(\wedge ^k \xi ^Q \rightarrow \wedge ^k(\xi ^Q/\xi )\) is canonically isomorphic to \(\wedge ^{k-1}(\xi ^Q/\xi )\otimes \xi \). Define the subspaces
and the quotients
If A is an H-representation and B a subrepresentation, then \(\dim A^{H,\det } \le \dim B^{H,\det } + \dim (A/B)^{H,\det }\). We thus obtain that
Hence \(W_u\) can only contain an \((H,\det )\)-invariant if \(\beta =1\). Let us show by a direct argument as in [12, Prop. 5.10] that also in the case \(\beta =1\), there is no such invariant.
Let \(\rho \in W_u^{H,\det }\). Let \(Y \subset \xi ^Q\) be a complement of \(\xi \) and \(H_Y \subset H:={{\,\mathrm{Stab}\,}}(\xi )\) be the stabilizer of Y. The decomposition
is compatible with the action of \(H_Y\). The projection of \(\rho \) to the second summand is \(H_Y\)-invariant. Since there are elements in \(H_Y\) acting by the identity on Y (and hence on \(\xi ^Q/\xi \)) and by rescaling \(\xi \), the second summand can not contain non-zero \((H_Y,\det )\)-invariant elements. Hence \(\rho \) must belong to the first summand. Since Y was an arbitrary complement of \(\xi \), our invariant must belong to the intersection
Fix some Y that gives a minimal-length representation
By the minimality of the representation, the \(\eta _i\) are linearly independent.
The subgroup of H acting by \(\mathrm {Id}\) on \(\xi ^Q/\xi \) is transitive on all hyperplanes Y complementing \(\xi \). Acting by such an element g on \(\rho \), we get the equality
It follows that \(y_i=y'_i\) for all i, hence \(y_i \in \bigcap _Y \wedge ^{n-k-1}Y\). It is elementary to prove that this intersection is trivial, and hence \(y_i=0\) for all i and therefore \(\rho =0\).
On the other hand, we have
and therefore
We distinguish two cases. If \((n-k)\) is odd, then \(\beta =n-k-2\nu -3 \ne -1\) for all \(\nu \). By (4), the space of \((G,\det )\)-invariant generalized primitive forms of degree \((k,n-k-1)\) supported on the light cone is trivial. Let \(\phi \in \Omega _{p,-\infty }^{k,n-k-1}({\mathbb {P}}_V)^{tr}\) be \((G,\det )\)-invariant. The restriction of \(\phi \) to each open orbit of \({\mathbb {P}}_V\) must be a multiple of the form \(\phi _{k,r}^\pm \) constructed in [13, Section 5.1]. Hence there are constants \(c_\pm \) such that \(\phi =c_+ \phi _{k,r}^+\) on \(S^+V\) and \(\phi =c_- \phi _{k,r}^-\) on \(S^-V\). In [13, Definition 5.14] we have constructed global generalized forms \(\phi _{k,r}^0, \phi _{k,r}^1\) such that \(\phi _{k,r}^0=\phi _{k,r}^+\) on \(S^+M\) and \(\phi _{k,r}^0=0\) on \(S^-M\); and \(\phi _{k,r}^1=0\) on \(S^+M\), \(\phi _{k,r}^1=(-1)^{\frac{n-k-1}{2}} \phi _{k,r}^-\) on \(S^-M\).
It follows that the global form \(\phi -c_+\phi _{k,r}^0-c_- (-1)^\frac{n-k-1}{2} \phi _{k,r}^1\) is supported on the light cone. Since this form is \((G,\det )\)-invariant, it vanishes.
Let \((n-k)\) be even. Let \(\phi \in \Omega _{p,-\infty }^{k,n-k-1}({\mathbb {P}}_V)^{tr}\) be \((G,\det )\)-invariant. In the following, we identify \(V=V^*\) using the quadratic form Q. By the above, we obtain that \(\phi =c_+ \phi _{k,r}^+\) on \(S^+V\) and \(\phi =c_- \phi _{k,r}^-\) on \(S^-V\) for some constants \(c_\pm \). We will show that \(c_+=c_-\).
Fix a compatible Euclidean structure P on V (see [12, Definition 2.7]). From [13, Equation (60)], we have
where \(\rho _{k,r}\) is a globally defined smooth form, and \(\sigma _+,\sigma _-\) are the positive and negative parts of \(\sigma =\sigma _+-\sigma _-=\frac{Q}{P}\).
Write \(V={\mathbb {R}}^{p,q}={\mathbb {R}}^{1,1} \oplus {\mathbb {R}}^{p-1,q-1}\) and \(L:={\mathbb {P}}_+({\mathbb {R}}^{1,1}) \subset {\mathbb {P}}_+(V)\), \(\xi _0, \xi '_0\in L\) the degenerate lines. Take \(g_\alpha \in {{\,\mathrm{SO}\,}}^+(Q)\) fixing \({\mathbb {R}}^{p-1,q-1}\) and acting by an \(\alpha \)-boost on \({\mathbb {R}}^{1,1}\), with \(g_\alpha |_{\xi _0}=e^\alpha \), \(g_\alpha |_{\xi '_0}=e^{-\alpha }\). Thus \(\{g_\alpha :\alpha \in {\mathbb {R}}\} \simeq {{\,\mathrm{SO}\,}}^+(1,1)\). Let \(\psi _\alpha (\xi ):=\left. \frac{g_\alpha ^*\sigma }{\sigma }\right| _\xi \).
We will use the standard Euclidean structure on \({\mathbb {R}}^{1,1}\) and introduce the polar angle \(\theta \) for which \(\theta (\xi _0)=\frac{\pi }{4}\). Consider the interval \(L'\) with \(0\le \theta \le \frac{\pi }{2}\). Then \(\sigma =\cos 2\theta \) is a coordinate in the interior of \(L'\). With respect to this coordinate, we have \(g_\alpha (\sigma )=\sigma b_\alpha (\sigma )\) with
Since \(\phi _{k,r}=\sigma ^{-\frac{n-k}{2}}\rho _{k,r}\) is \({{\,\mathrm{SO}\,}}(p,q)\)-invariant, we find that
By \({{\,\mathrm{O}\,}}(p,q)\)-invariance it follows that the wave front set of \(\phi \) is disjoint from \(N^*L\). Letting \(j_L:L\hookrightarrow {\mathbb {P}}_+(V)\) be the inclusion and denoting \(D=j_L^* D^{k,n-1-k}\), we may therefore define \(\phi _L=j_L^*\phi \in \Gamma ^{-\infty }(L, D)\).
By definition, \(D^{k,n-k-1}=\wedge ^k V\otimes \wedge ^{n-k-1}\xi ^Q \otimes \xi ^{n-k-1}\). Under the action of \({{\,\mathrm{SO}\,}}^+(1,1)\), we can decompose into equivariant summands
where \({\tilde{\xi }}\subset {\mathbb {R}}^{1,1}\). The first summand can be further written as a sum of lines on which \({{\,\mathrm{SO}\,}}^+(1,1)\) acts trivially.
It follows that D can be \({{\,\mathrm{SO}\,}}^+(1,1)\)-equivariantly decomposed into the sum of line bundles, \(D=\oplus _{i=1}^N D_j\). Let \(\pi _j:D \rightarrow D_j\) be the projection. Since \(\rho _{k,r}\) is a smooth and non-vanishing form, there exists \(j_0\) such that \(\pi _{j_0}(\rho _{k,r})\) is a smooth non-vanishing section of \(D_{j_0}\) over a neighborhood of \(\xi _0\), denoted \({\tilde{L}}_0\). It follows that
for some \(f \in C^{-\infty }({\tilde{L}}_0)\). By (5) and the invariance of \(\phi _L\) we obtain that
and applying Proposition 3.2 shows that outside of \(\xi _0\), f must coincide with a multiple of \(\sigma ^{-\frac{n-k}{2}}\), that is \(c_+=c_-\).
On the other hand, since \((n-k)\) is even, \(\beta =-1\) if and only if \(\nu =\frac{n-k}{2}-1\). By (4) it follows that the space of \((G,\det )\)-invariant generalized primitive forms of degree \((k,n-k-1)\) supported on the light cone is at most 1-dimensional.
In both cases we find \(\dim {{\,\mathrm{Curv}\,}}_k^{-\infty ,{{\,\mathrm{O}\,}}(p,q)} = \dim \Omega _{p,-\infty }^{k,n-k-1}({\mathbb {P}}_V)^{tr,G,\det }\le 2\). \(\square \)
Proof of Theorem A
Consider a Weyl functor \(\Lambda : {\varvec{\Psi }} {\mathbf {Met}}\rightarrow \mathbf {GCrv}\). Fix \(p,q>0\). From Proposition 1.1 we obtain that
for some constants \(a_k,b_k\). Since the \(\Lambda _k,{\bar{\Lambda }}_k\) are linearly independent and satisfy a Weyl principle, the \(a_k,b_k\) are unique and independent of the choice of \({\mathbb {R}}^{p,q}\) provided that \(k<p+q\). Then \(\Lambda ^{{\mathbb {R}}^{p',q'}}=\sum _{k=0}^\infty a_k \Lambda _k^{{\mathbb {R}}^{p',q'}}+b_k {\bar{\Lambda }}_k^{{\mathbb {R}}^{p',q'}}\) on each pseudo-Euclidean space \({\mathbb {R}}^{p',q'}\). By functoriality and the pseudo-Riemannian Nash embedding theorem [18], we then have on each pseudo-Riemann manifold M
\(\square \)
4 A Künneth-Type Formula for Lipschitz–Killing Curvature Measures
4.1 Disintegration of Curvature Measures
We start with a general proposition.
Proposition 4.1
Let \(X_1,X_2\) be smooth manifolds and \(X:=X_1 \times X_2\). Let \(\Psi \in {\mathcal {C}}^\infty (X), \phi _2 \in {\mathcal {V}}_c^\infty (X_2), f_2 \in C_c^\infty (X_2)\). Then there exists a unique smooth curvature measure \({\tilde{\Psi }} \in {\mathcal {C}}^\infty (X_1)\) such that
Proof
Uniqueness is clear. To prove existence, we use the notations and maps from [5, Section 4.1]. The relevant diagram is
Let \(\phi _i \in {\mathcal {V}}_c^\infty (X_i), i=1,2\) be represented by forms \(\phi _i \in \Omega ^{n_i}(X_i), \omega _i \in \Omega ^{n_i-1}({\mathbb {P}}_{X_i})\). According to [3, 5], the exterior product \(\phi _1 \boxtimes \phi _2 \in {\mathcal {V}}^{-\infty }(X_1 \times X_2)\) is represented by generalized forms \(\phi \in \Omega ^{n_1+n_2}_{-\infty }(X_1 \times X_2),\omega \in \Omega ^{n_1+n_2-1}_{-\infty }({\mathbb {P}}_X)\) such that
The second equation implies that
The signs come from the fact that the degree of the antipodal map is given by \((-1)^{n_1}\) on \({\mathbb {P}}_{X_1} \times X_2\); by \((-1)^{n_2}\) on \(X_1 \times {\mathbb {P}}_{X_2}\); and \((-1)^{n_1+n_2}\) on \({\mathbb {P}}_X\) and on \({\hat{{\mathbb {P}}}}_X\).
Let \(\Psi \in {\mathcal {C}}^\infty (X_1 \times X_2)\) be a smooth curvature measure, given by forms \(\rho \in \Omega ^{n_1+n_2}(X_1 \times X_2),\eta \in \Omega ^{n_1+n_2-1}({\mathbb {P}}_X)\). Then
Using (7), we see that the first summand is given by
According to (8), the second summand splits as the sum \(T_1+T_2+T_3\) where
We set
Since \(p_1,{\tilde{p}}_1,q_1\) are submersions, it follows that \({\tilde{\omega }}\) and the first summand of \({\tilde{\phi }}\) are smooth. For the second summand, this is not immediate because of the push-forward under the map \(i_2\) which is not a submersion. But the restriction of \({\tilde{p}}_1 \circ \pi _X\) to the image of \(i_2\) is obviously a submersion, hence this term is smooth as well.
We thus see that the curvature measure \({\tilde{\Psi }}:=[{\tilde{\phi }},{\tilde{\omega }}] \in {\mathcal {C}}^\infty (X_1)\) satisfies (6). \(\square \)
We need a version of the previous proposition for generalized curvature measures. In this case, the left hand side of (6) is well-defined only if \(\Psi \) satisfies an additional condition of transversality, compare also [4, Section 4].
Recall from [5] the set \({\mathcal {M}}={\mathcal {M}}_1 \cup {\mathcal {M}}_2 \subset {\mathbb {P}}_X\) with
Definition 4.2
Let \(X_1,X_2\) be smooth manifolds. Then a generalized curvature measure \(\Psi \in {\mathcal {C}}^{-\infty }(X_1 \times X_2)\) is called transversal, if it belongs to
where \(\Gamma \) runs over all closed conical subsets in \(T^*{\mathbb {P}}_X \setminus {\underline{0}}\) that are disjoint from the conormal bundle \(T^*_{{\mathcal {M}}}{\mathbb {P}}_X=\{(x,[\xi ]) \in {\mathbb {P}}_X: x \in {\mathcal {M}}, \xi |_{T_xM}=0\}\).
By [5, Proposition 4.1], a transversal curvature measure can be applied to a pair \((\phi _1 \boxtimes \phi _2,f_1 \boxtimes f_2)\) with \(\phi _i \in {\mathcal {V}}^\infty _c(X_i), f_i \in C_c^\infty (X_i)\).
Proposition 4.3
Let \(X_1,X_2\) be smooth manifolds. Let \(\Psi \in {\mathcal {C}}^{-\infty }(X_1 \times X_2)\) be transversal and \(\phi _2 \in {\mathcal {V}}_c^\infty (X_2), f_2 \in C_c^\infty (X_2)\). Then there exists a unique generalized curvature measure \({\tilde{\Psi }} \in {\mathcal {C}}^{-\infty }(X_1)\) such that
Proof
Let \(\Psi \in {\mathcal {C}}^{-\infty }_{T^*X \setminus {\underline{0}},\Gamma }(X_1 \times X_2)\), where \(\Gamma \) is disjoint from \(T^*_{{\mathcal {M}}}{\mathbb {P}}_X\). Let \(\Psi \) be represented by generalized forms \(\rho \in \Omega ^{n_1+n_2}_{-\infty }(X_1 \times X_2), \eta \in \Omega ^{n_1+n_2-1}_\Gamma ({\mathbb {P}}_X)\).
As in the previous proof, we are going to define the forms \({\tilde{\phi }} \in \Omega ^{n_1}_{-\infty }(X), {\tilde{\omega }} \in \Omega ^{n_1-1}_{-\infty }({\mathbb {P}}_X)\) by (9) and (10).
We have to check that this is possible. For \({\tilde{\phi }}\) we note that the wave front set of \({i_2}_{*}p_2^*(D\omega _2+\pi _{X_2}^*\phi _2)\) is contained in \(T^*_{{\mathcal {M}}_2}{\mathbb {P}}_X \subset T^*_{{\mathcal {M}}}{\mathbb {P}}_X\), hence the wedge product with \(\eta \) is defined, and then \({\tilde{\phi }}\) is well-defined.
The first term in the definition of \({\tilde{\omega }}\) is well-defined since F is a submersion. The second term is well-defined since \(i_1\) is transversal to \(\Gamma \).
From the same arguments as in the previous proof, we see that the generalized curvature measure \({\tilde{\Psi }}:=[{\tilde{\phi }},{\tilde{\omega }}]\) satisfies (11). \(\square \)
4.2 Proof of the Künneth-Type Formula
Proposition 4.4
Let \((M_i,Q_i)\) be pseudo-Riemannian manifolds and \(\psi _i \in {\mathcal {V}}^{-\infty }(M_i)\) for \(i=1,2\) be LC-transversal. Then \(\psi _1 \boxtimes \psi _2 \in {\mathcal {V}}^{-\infty }(M_1 \times M_2)\) is LC-transversal. More precisely, if \({{\,\mathrm{WF}\,}}(\psi _i) \subset (\Lambda _i,\Gamma _i)\) and \(\Gamma _i \cap N^*({{\,\mathrm{LC}\,}}^*_{M_i})=\emptyset \) for \(i=1,2\), then there exists \((\Lambda ,\Gamma )\) with \(\Gamma \cap N^*({{\,\mathrm{LC}\,}}^*_{M_1 \times M_2}) = \emptyset \) and such that
is continuous.
Proof
We prove the statement in the case of LC-transversal submanifolds \(X_1,X_2\).
Let \(Q_1,Q_2\) be the metrics on \(M_1,M_2\) and \(Q:=Q_1 \oplus Q_2\). Since they are non-degenerate, the manifolds
are of codimension 1.
The conormal bundle of \(X_1 \times X_2\) is given by
We claim that \(X_1 \times X_2\) is LC-transversal, i.e. that \(N^*(X_1 \times X_2)\) intersects \({{\,\mathrm{LC}\,}}_{M_1 \times M_2}^*\) transversally. Let \((x_1,x_2,[\xi _1:\xi _2]) \in N^*(X_1 \times X_2) \cap {{\,\mathrm{LC}\,}}^*_{M_1 \times M_2}\). Since \({{\,\mathrm{LC}\,}}^*_{M_1 \times M_2}\) is a hypersurface, we must show that there exists some tangent vector \(w \in T_{(x_1,x_2,[\xi _1:\xi _2])} N^*(X_1 \times X_2)\) which is not in \(T_{(x_1,x_2,[\xi _1:\xi _2])} {{\,\mathrm{LC}\,}}^*_{M_1 \times M_2}\).
We consider two cases. If \(Q_1(\xi _1) \ne 0\), then \(\xi _1 \ne 0\) and the curve \(c(t):=(x_1,x_2,[t\xi _1:\xi _2])\) stays inside \(N^*(X_1 \times X_2)\). But the vector \(w:=c'(1)\) is not tangent to \({{\,\mathrm{LC}\,}}^*_{M_1 \times M_2}\).
If \(Q_1(\xi _1)=0\), then also \(Q_2(\xi _2)=0\). Suppose that \(\xi _1 \ne 0\). Since \(X_1\) is LC-regular, there exists some tangent vector \(w_1 \in T_{(x_1,[\xi _1])} N^*X_1\) with \(w_1 \not \in T_{(x_1,[\xi _1])} {{\,\mathrm{LC}\,}}^*_{M_1}\). Then the image w of \(w_1\) under the natural embedding
is not tangent to \({{\,\mathrm{LC}\,}}^*_{M_1 \times M_2}\). Finally, if \(\xi _1=0\) then \(\xi _2 \ne 0\) and we may argue as before, using that \(X_2\) is LC-regular.
We omit the proof of the general case of the statement. In this case, a careful analysis of the wave front set of the exterior product \(\psi _1 \boxtimes \psi _2\) is needed. By [5, Proposition 4.1] it consists of the union of three sets, and each of these sets can be shown to be disjoint from the wave front set of \({{\,\mathrm{LC}\,}}^*_{M_1 \times M_2}\) by arguments which are similar to the given ones. \(\square \)
Proof of Theorem B
By [13, Proposition 7.1], we have
We claim that
which implies that \(\Lambda _k^{M_1 \times M_2}\) is transversal in the sense of Definition 4.2. To prove the claim, take an element in \({{\,\mathrm{LC}\,}}^*_{M_1 \times M_2} \cap {\mathcal {M}}\). Without loss of generality, suppose that it belongs to \({\mathcal {M}}_1\), i.e. it is of the form \((x_1,x_2,[\xi _1:0])\) with \(x_1 \in M_1,x_2 \in M_2\) and \(\xi _1\) a null-covector of \(M_1\). The claim now follows from the fact that 0 is a regular value of \(Q_1 \in C^\infty (TM_1 \setminus {\underline{0}})\).
Fix \(\phi _2 \in {\mathcal {V}}^\infty _c(M_2),f_2 \in C_c^\infty (M_2)\). By Proposition 4.3,
is a generalized curvature measure on \(M_1\), which will be denoted by \(\Lambda _k^{M_1 \times M_2}(\bullet \boxtimes \phi _2,\bullet \boxtimes f_2)\).
If \(i:M_1 \rightarrow {\tilde{M}}_1\) is an isometric embedding, then \(i \times \mathrm {id}: M_1 \times M_2 \rightarrow {\tilde{M}}_1 \times M_2\) is also an isometric embedding. By Weyl’s principle [13, Theorem D] we have
Hence \( M_1 \mapsto \Lambda _k^{M_1 \times M_2}(\bullet \boxtimes \phi _2,\bullet \boxtimes f_2)\) is a Weyl functor. By Theorem A, there are constants \(a_{k_1}^{M_2,k}(\phi _2,f_2)\) and \(b_{k_1}^{M_2,k}(\phi _2,f_2), k=0,1,\ldots \) which do not depend on \(M_1\) such that
for all \(M_1\).
Take \(n_1 \ge 2\) and a pseudo-Riemannian manifold \(M_1\) of dimension \(n_1\) and signature \((p_1,q_1)\) with \(p_1,q_1\ge 1\). By [13, Corollary 7.8], the generalized curvature measures \(\Lambda _{k_1}^{M_1}, {\bar{\Lambda }}_{k_1}^{M_1}, 0 \le k_1 < n_1\) and \(\Lambda _{n_1}^{M_1}\) are linearly independent. By [13, Proposition 7.7] we have \({\bar{\Lambda }}_{n_1}^{M_1}=(-1)^{q_1} \Lambda _{n_1}^{M_1}\). We thus find \(\phi _1^i \in {\mathcal {V}}_c(M_1), f_1^i \in C_c^\infty (M_1), i=1,\ldots ,2n_1+1\) such that the system of linear equations
has a non degenerate coefficient matrix. Since the left hand side is a Weyl functor for each i, it follows that \(a_{k_1}^{M_2,k}, b_{k_1}^{M_2,k}, 0 \le k_1 < n_1\) and \(a_{n_1}^{M_2,k}+(-1)^{q_1} b_{n_1}^{M_2,k}\) are Weyl functors. Taking \(n_1\) arbitrarily large, we see that \(a_{k_1}^{M_2,k},b_{k_1}^{M_2,k}\) are Weyl functors for all \(k_1 \ge 0\).
We thus may write
with scalars \(a_{k_1,k_2}^k,{\hat{a}}_{k_1,k_2}^k, b_{k_1,k_2}^k,{\hat{b}}_{k_1,k_2}^k\) which do not depend on \(M_1\) and \(M_2\). Then
Using the scaling property of the Lipschitz–Killing curvature measures [13, Proposition 7.10] we find that \(a_{k_1,k_2}^k={\hat{a}}_{k_1,k_2}^k=b_{k_1,k_2}^k={\hat{b}}_{k_1,k_2}^k=0\) unless \(k_1+k_2=k\).
It remains to determine \(a_{k_1,k_2}^{k_1+k_2},{\hat{a}}_{k_1,k_2}^{k_1+k_2},b_{k_1,k_2}^{k_1+k_2},{\hat{b}}_{k_1,k_2}^{k_1+k_2}\). Take pseudo-Riemannian manifolds \(M_1,M_2\) of dimensions \(k_1\) and \(k_2\) respectively. Then, whatever the signatures are, we have \({{\,\mathrm{vol}\,}}_{M_1 \times M_2}={{\,\mathrm{vol}\,}}_{M_1} \boxtimes {{\,\mathrm{vol}\,}}_{M_2}\). Taking riemannian and lorentzian signature metrics on \(M_1\) and \(M_2\) and using [13, Proposition 7.7.], we obtain a system of four linear equations with the unique solution \(a_{k_1,k_2}^{k_1+k_2}=1,{\hat{a}}_{k_1,k_2}^{k_1+k_2}=b_{k_1,k_2}^{k_1+k_2}={\hat{b}}_{k_1,k_2}^{k_1+k_2}=0\).
We thus have
for all \(\phi _1 \in {\mathcal {V}}_c^\infty (M_1), \phi _2 \in {\mathcal {V}}_c^\infty (M_2)\).
Finally, let \(A_i \in {\mathcal {P}}(M_i),i=1,2\) be LC-transversal. By Lemma 2.9, \(\chi _{A_i}\) are LC-transversal generalized valuations. Then by Proposition 4.4 it follows that \(\chi _{A_1 \times A_2}=\chi _{A_1}\boxtimes \chi _{A_2}\) is LC-transversal. Set \((\Lambda _i,\Gamma _i):={{\,\mathrm{WF}\,}}(\chi _{A_i})\). By assumption, we have
By Proposition 4.4 there exist some \((\Lambda ,\Gamma )\) with
such that the exterior product \(\boxtimes : {\mathcal {V}}^{-\infty }_{\Lambda _1,\Gamma _1}(M_1) \times {\mathcal {V}}^{-\infty }_{ \Lambda _2,\Gamma _2}(M_2) \rightarrow {\mathcal {V}}^{-\infty }_{\Lambda ,\Gamma }(M_1 \times M_2)\) is continuous.
Take a sequence \(\phi _i^m \in {\mathcal {V}}_c^\infty (M_i)\) which converges to \(\chi _{A_i}\) in \({\mathcal {V}}_{\Lambda _i,\Gamma _i}^{-\infty }(M_i)\). The sequence \(\phi _1^m \boxtimes \phi _2^m\) then converges in \({\mathcal {V}}_{\Lambda ,\Gamma }^{-\infty }(M_1 \times M_2)\) to \(\chi _{A_1} \boxtimes \chi _{A_2}\).
By [13, Proposition 7.1] we may take the limit in Eq. (14) which yields the statement. \(\square \)
5 Generalized Valuations and Curvature Measures on Isotropic Space Forms
The aim of this section is to prove Theorem C. The following special case of valuations on pseudo-Euclidean spaces \({\mathbb {R}}^{p,q}\) was considered in [7] for \(\min (p,q)=1\) and in [12] in general.
Theorem 5.1
The space of translation and \({{\,\mathrm{O}\,}}(p,q)\)-invariant generalized valuations on \({\mathbb {R}}^{p,q}\) coincides with \(\mathcal {LK}({\mathbb {R}}^{p,q})\).
The corresponding statement for curvature measures is Proposition 1.1. To extend this statement to isotropic space forms, we will need the following technical lemma.
Lemma 5.2
Let M be a smooth manifold, G a Lie group acting smoothly and transitively on M, and \({\mathcal {E}}\) a G-equivariant Frechét bundle over M. Then the G-invariants of the dual space \(\Gamma _c^{\infty }(M, {\mathcal {E}})^*\) coincide with \(\Gamma (M, {\mathcal {E}}^*\otimes |\omega _M|)^G\).
Proof
Take \(s \in \left( \Gamma _c^{\infty }(M, {\mathcal {E}})^*\right) ^G\). For \(\phi \in \Gamma _c^\infty (M, {\mathcal {E}})\) one can define \(s\cdot \phi \in {\mathcal {M}}^{-\infty }(M)\) by setting \(\int f\cdot d(s\cdot \phi ):=s(f\phi )\) for all \(f \in C^\infty _c(M)\). We apply the theorem of Dixmier-Malliavin [19] (see also [16] for an exposition) to the action of G on \(\Gamma _c^\infty (M, {\mathcal {E}})\). To do this, one has to combine in a straightforward manner the proofs of the two standard versions of the theorem, for compactly supported smooth functions on G, and for smooth vectors in a representation of G on a Frechét space. Alternatively, one can invoke a generalization of Dixmier-Malliavin’s theorem to bornological vector spaces by Dor [20].
It follows that \(\phi \) can be represented as \(\phi =\sum _{j=1}^N \int _G w_j(g)g^*\phi _jdg\) with \(w_j \in C^\infty _c(G), \phi _j \in \Gamma _c^\infty (M,{\mathcal {E}})\). Then by G-invariance of s,
It follows that \(s\cdot \phi \) is a smooth measure on M. In particular, it defines a density on every tangent plane, \((s\cdot \phi )|_x\in {{\,\mathrm{Dens}\,}}(T_xM)\). We next claim that \((s\cdot \phi )|_x\) only depends on s and \(\phi (x) \in {\mathcal {E}}|_x\). Indeed, assume \(\phi (x)=0\), and choose a coordinate chart U near x with coordinates \(y_j\) such that \(y_j(x)=0\) for all j. Choose a bump function \(\rho \in C^\infty (M)\) supported inside U and identically equal to 1 in a neighborhood \(U'\subset U\) of x, and write \(\phi =\phi _1+(1-\rho )\phi \), where \(\phi _1=\rho \cdot \phi \) is supported in U. It holds that \((s\cdot (1-\rho )\phi )|_{U'}=0\).
Now use the action of G to identify \(\phi _1|_U\) with \({\tilde{\phi }}\in C^\infty _c(U, E|_x)\). Write
Hence we have \(\phi _1|_U=\sum _j y_j \psi _j\) with \(\psi _j \in \Gamma _c^\infty (U,{\mathcal {E}})\). Thus
and so \((s\cdot \phi )|_x=0\). It follows that s defines elements \(s_x\in ({\mathcal {E}}|_x)^*\otimes {{\,\mathrm{Dens}\,}}(T_xM)\), that is, we get a section \({\tilde{s}}\in \Gamma (M, {\mathcal {E}}^*\otimes |\omega _M|)\), which by construction is G-invariant and in particular continuous. It remains to verify that \({\tilde{s}}\) induces the same functional s on \(\Gamma _c^\infty (M,{\mathcal {E}})\), which again is immediate from construction: \(\langle {\tilde{s}}, \phi \rangle =\int _M (s\cdot \phi )=s(\phi )\).
\(\square \)
Consider the cosphere bundle \(\pi :{\mathbb {P}}_M\rightarrow M\). The space \(\Omega ^{n-1}({\mathbb {P}}_M)\) of differential forms has a natural filtration
where \(\Omega ^{n-1}_k({\mathbb {P}}_M)=\langle \pi ^*\Omega ^k(M)\rangle _{n-1}\). Here \(\langle A\rangle _{n-1}\) denotes the subspace of forms of degree \((n-1)\) in the ideal generated by A. This induces a filtration
where \({\mathcal {C}}^\infty _k(M)\) denotes the space of curvature measures \(\Phi \) of the form \(\Phi =[\omega ,\phi ]\) with \(\omega \in \Omega ^{n-1}_k({\mathbb {P}}_M)\) for \(0 \le k \le n-1\), and \(\Phi =[0,\phi ]\) with \(\phi \in \Omega ^n(M)\) for \(k=n\).
Denote by \({{\,\mathrm{Curv}\,}}_k^\infty (TM)\) the bundle over M whose fiber at a point x consists of the space \({{\,\mathrm{Curv}\,}}_k^\infty (T_xM)\). In [35], a map (there denoted by \(\Lambda _k'\))
is constructed as follows.
Fix \(x \in M\) and take \(\phi \) a local diffeomorphism \(\phi :T_xM \rightarrow M\) with \(\phi (0)=x, d\phi |_0=\mathrm {id}\). Then for \(\Phi \in {\mathcal {C}}^\infty _k(M)\)
where \(h_t:T_xM \rightarrow T_xM\) is multiplication by t.
In terms of forms, this map can be described as follows. If \(k=n\), then \(\Phi \) is a smooth measure on M, and evaluation at a point \(x \in M\) gives us a Lebesgue measure on \(T_xM\), hence an element of \({{\,\mathrm{Curv}\,}}_n^\infty (T_xM)\).
If \(k<n\), we may represent \(\Phi =[\phi , \omega ]\) with \(\omega \in \Omega _k^{n-1}({\mathbb {P}}_M)\). Fix a point \((x,\xi ) \in {\mathbb {P}}_M\). We use \(d\pi ^*\) to identify
Consider the projection
Noting that
this gives rise to a map
The fiber \(\pi ^{-1}(x)\) can be identified with the fiber of the cosphere bundle of \(T_xM\), and so
Let \(i:\pi ^{-1}(x) \hookrightarrow {\mathbb {P}}_M\) be the inclusion. For \(\omega \in \Omega _k^{n-1}({\mathbb {P}}_M)\) we consider the restriction \(i^*({\tilde{\sigma }}_k\omega )\) (as a section of the pull-back bundle) and extend it to a translation-invariant form of \({\mathbb {P}}_{T_xM}\). We thus get a map
which fulfills
Indeed, for \(\omega =\pi ^*\beta \wedge \eta \) with \(\beta \in \Omega ^k(M),\eta \in \Omega ^{n-k-1}({\mathbb {P}}_M)\) we have
where \(r:T_\xi \pi ^{-1}(x)\rightarrow T_\xi {\mathbb {P}}_M\) is the inclusion. On the other hand, if \({\bar{h}}_t,{\bar{\phi }}\) are the maps on the cosphere bundles induced by \( h_t,\phi \), then for each \(v\in T_xM\)
Therefore, \(\lim _{t\rightarrow 0} t^{-k} ({\bar{h}}_t^*{\bar{\phi }}^*\omega )\) is translation-invariant and equals \({\bar{\sigma }}_k\omega (x)\) as claimed.
The kernel of \(\sigma _k\) is \({\mathcal {C}}^\infty _{k+1}(M)\), while \(\sigma _k\) is evidently onto, hence we have an isomorphism
We now generalize these concepts to generalized curvature measures under an additional assumption.
Definition 5.3
Let M be a smooth manifold and \(\Phi \in {\mathcal {C}}^{-\infty }(M)\). We define the space of horizontally smooth curvature measures by
where \(\Gamma \) runs over all closed conical subsets in \(T^*{\mathbb {P}}_M \setminus {\underline{0}}\) that are disjoint from \(d\pi ^*(T^*M) \setminus {\underline{0}}\). The topology is the inductive limit topology, in particular a sequence \(\Phi _j \in {\mathcal {C}}^{hs}(M)\) converges to some \(\Phi \in {\mathcal {C}}^{hs}(M)\) if there is some fixed \(\Gamma \) such that \(\Phi _j \in {\mathcal {C}}^{-\infty }_{\emptyset ,\Gamma }(M)\) for all j and \(\Phi _j \rightarrow \Phi \) in \({\mathcal {C}}^{-\infty }_{\emptyset ,\Gamma }(M)\).
Note that \(\Omega _k^{n-1}({\mathbb {P}}_M)\) equals the space of smooth sections of some finite-dimensional vector bundle over \({\mathbb {P}}_M\). We let \(\Omega _k^{n-1,-\infty }({\mathbb {P}}_M)\) be the corresponding space of generalized sections of the same vector bundle and define \({\mathcal {C}}_k^{-\infty }(M)\) as above. Then we have a filtration analogous to (15).
Proposition 5.4
Let M be a smooth manifold and \(x \in M\). Then the map
can be extended by continuity to a map
whose kernel is \({\mathcal {C}}_{k+1}^{hs}(M)\).
Proof
Fix \(x \in M\). A generalized form \(\omega \in \Omega ^{n-1,-\infty }_k({\mathbb {P}}_M)\) can be restricted, as a section of the vector bundle with fiber \(\wedge ^{n-1}T_{x,\xi }^*{\mathbb {P}}_M\), to the fiber \(\pi ^{-1}(x)\) under the assumption that \({{\,\mathrm{WF}\,}}(\omega )\) and \(N^*\pi ^{-1}(x)\) are disjoint, which is precisely what we get from the horizontal smoothness. Clearly the corresponding restriction map is continuous. Tracing the construction in the smooth case, we obtain a generalized, translation-invariant form on \({\mathbb {P}}_{T_xM}\) of bidegree \((k, n-1-k)\), and hence an element of \({{\,\mathrm{Curv}\,}}_k^{-\infty }(TM)\). Using Proposition 2.5, it is easy to check that the resulting map vanishes on those forms which induce the trivial curvature measure, completing the proof. \(\square \)
Proposition 5.5
Let M be a smooth manifold, G a Lie group that acts smoothly and transitively on M. Then
Proof
Let \(X_1,\ldots ,X_m\) be a basis of the Lie algebra \({\mathfrak {g}}\) and let \(X_1^\#,\ldots ,X^\#_m\) be the induced vector fields on M. Since G acts transitively, we have that at each point \(x \in M\), \(X^\#_1|_x,\ldots ,X^\#_m|_x\) generate the tangent space \(T_xM\). These vector fields induce in a natural way vector fields \({\tilde{X}}_1^\#,\ldots ,{\tilde{X}}_m^\#\) on \({\mathbb {P}}_M\) such that \(d\pi ({\tilde{X}}_i^\#)=X_i^\#\).
By Proposition 2.5, a generalized curvature measure \(\Phi \) can be identified with the generalized sections of a certain finite-dimensional vector bundle \({\mathcal {E}}\) over \({\mathbb {P}}_M\).
If \(\Phi \) is G-invariant, then this section is G-invariant. Let \(P_i\) denote the differential operator acting on sections of \({\mathcal {E}}\) corresponding to \({\tilde{X}}_i^\#\). By [27, Theorem 8.3.1] we have
The characteristic set of \(P_i\) at a given point \((x,[\xi ]) \in {\mathbb {P}}_M\) consists of all \(\eta \in T_{(x,[\xi ])}^* \pi ^{-1}(x) \setminus \{0\}\) that vanish on \({\tilde{X}}_i^\#\). On the other hand, the conormal bundle of \(\pi ^{-1}(x)\) consists of all such \(\eta \) that vanish on all tangent vectors to \(\pi ^{-1}(x)\).
Now the vectors \({\tilde{X}}_1^\#,\ldots ,{\tilde{X}}_m^\#\) and the tangent vectors to \(\pi ^{-1}(x)\) span \(T_{(x,[\xi ])}{\mathbb {P}}_M\), hence \({{\,\mathrm{WF}\,}}(\Phi ) \cap N^* \pi ^{-1}(x)=\emptyset \) as claimed. \(\square \)
Proof of Theorem C
Let M be an isotropic space form of signature (p, q). The isometry group \(G:={{\,\mathrm{Isom}\,}}(M)\) acts transitively on M. By the Weyl principle, the intrinsic volumes are invariant under isometries, i.e. \(\mathcal {LK}(M) \subset {\mathcal {V}}^{-\infty }(M)^G\). We have to prove the opposite inclusion.
Given \(\mu \in {\mathcal {V}}^{-\infty }(M)^G\), take \(k \in \{0,\ldots ,n+1\}\) with \(\mu \in {\mathcal {W}}_k^{-\infty }(M)\). If \(k=n+1\), then \(\mu =0\) and we are done. Suppose that \(k<n+1\).
We note that, by Proposition 7.3.2 of [2],
Passing to G-invariants and using Lemma 5.2 yields
Denote by \(\beta _k:{\mathcal {W}}_k^{-\infty }(M)^G\rightarrow \Gamma ^\infty ({{\,\mathrm{Val}\,}}_k^{-\infty }(TM))^G\) the induced map.
Fix some point \(x_0 \in M\) and let \(G_0\) be the stabilizer of G at \(x_0\). Since M is isotropic,
By [12], we may find a linear combination \(\tau :=a\mu _k+b{\bar{\mu }}_k\) of intrinsic volumes such that \(\beta _k\tau (x_0)=\beta _k\mu (x_0)\). By G-invariance, it follows that \(\beta _k\tau =\beta _k\mu \), i.e. \(\mu -\tau \in {\mathcal {W}}_{k+1}^{-\infty }(M)^G\). Induction over k then yields some \({\tilde{\tau }} \in \mathcal {LK}(M)\) with \(\mu -{\tilde{\tau }} \in {\mathcal {W}}_{n+1}^{-\infty }(M)^G=\{0\}\).
The argument in the case of generalized curvature measures is similar. Take \(\Phi \in {\mathcal {C}}^{-\infty }(M)^G\), take \(k \in \{0,\ldots ,n+1\}\) with \(\Phi \in {\mathcal {C}}_k^{-\infty }(M)\). If \(k=n+1\), then \(\Phi =0\) and we are done. Suppose that \(k<n+1\). Fix a point \(x_0 \in M\). By Proposition 5.5, \(\Phi \) is horizontally smooth. Then \(\sigma _k \Phi (x_0) \in {{\,\mathrm{Curv}\,}}_k^{-\infty }({\mathbb {R}}^{p,q})^{{{\,\mathrm{O}\,}}(p,q)}\) is well-defined by Proposition 5.4. By Proposition 1.1 we find a linear combination \(\Psi :=a \Lambda _k+b {\bar{\Lambda }}_k \in \widetilde{\mathcal {LK}}(M)\) of Lipschitz–Killing measures such that \(\sigma _k \Phi (x_0)=\sigma _k \Psi (x_0)\). By G-invariance, we have \(\sigma _k \Phi =\sigma _k\Psi \), hence \(\Phi -\Psi \in {\mathcal {C}}_{k+1}^{-\infty }(M)^G\) and by induction on k we find some \({\tilde{\Psi }} \in \widetilde{\mathcal {LK}}(M)\) with \(\Phi -{\tilde{\Psi }} \in {\mathcal {C}}_{n+1}^{-\infty }(M)^G=\{0\}\). \(\square \)
References
Alesker, S.: Hard Lefschetz theorem for valuations, complex integral geometry, and unitarily invariant valuations. J. Differ. Geom. 63(1), 63–95 (2003)
Alesker, S.: Theory of valuations on manifolds. IV. New properties of the multiplicative structure. In Geometric aspects of functional analysis, volume 1910 of Lecture Notes in Math. Springer, Berlin, pp. 1–44 (2007)
Alesker, S.: Valuations on manifolds and integral geometry. Geom. Funct. Anal. 20(5), 1073–1143 (2010)
Alesker, S., Bernig, A.: The product on smooth and generalized valuations. Am. J. Math. 134, 507–560 (2012)
Alesker, S., Bernig, A.: Convolution of valuations on manifolds. J. Differ. Geom. 107(2), 203–240 (2017)
Alesker, S., Bernig, A., Schuster, F.: Harmonic analysis of translation invariant valuations. Geom. Funct. Anal. 21, 751–773 (2011)
Alesker, S., Faifman, D.: Convex valuations invariant under the Lorentz group. J. Differ. Geom. 98(2), 183–236 (2014)
Bernig, A.: A Hadwiger type theorem for the special unitary group. Geom. Funct. Anal. 19, 356–372 (2009)
Bernig, A.: Integral geometry under \(G_2\) and \({\rm Spin}(7)\). Isr. J. Math. 184, 301–316 (2011)
Bernig, A.: Invariant valuations on quaternionic vector spaces. J. Inst. Math. Jussieu 11, 467–499 (2012)
Bernig, A., Bröcker, L.: Valuations on manifolds and Rumin Cohomology. J. Differ. Geom. 75(3), 433–457 (2007)
Bernig, A., Faifman, D.: Valuation theory of indefinite orthogonal groups. J. Funct. Anal. 273(6), 2167–2247 (2017)
Bernig, A., Faifman, D., Solanes, G.: Curvature measures on pseudo-Riemannian manifolds. Preprint arXiv:1910.09635
Bernig, A., Solanes, G.: Classification of invariant valuations on the quaternionic plane. J. Funct. Anal. 267, 2933–2961 (2014)
Bernig, A., Voide, F.: Spin-invariant valuations on the octonionic plane. Isr. J. Math. 214(2), 831–855 (2016)
Casselman, W.: The theorem of Dixmier-Malliavin. https://www.math.ubc.ca/~cass/research/essays.html
Cheeger, J., Müller, W., Schrader, R.: On the curvature of piecewise flat spaces. Commun. Math. Phys. 92(3), 405–454 (1984)
Clarke, C.J.S.: On the global isometric embedding of pseudo-Riemannian manifolds. Proc. R. Soc. Lond. A 314, 417–428 (1970)
Dixmier, J., Malliavin, P.: Factorisations de fonctions et de vecteurs indéfiniment différentiables. Bull. Sci. Math. 102(4), 307–330 (1978)
Dor, G.: The Dixmier-Malliavin Theorem and Bornological Vector Spaces. Preprint arXiv:2001.05694
Faifman, D.: Contact integral geometry and the Heisenberg algebra. Geom. Topol. 23(6), 3041–3110 (2019)
Federer, H.: Curvature measures. Trans. Am. Math. Soc. 93, 418–491 (1959)
Fu, J.H.G.: Kinematic formulas in integral geometry. Indiana Univ. Math. J. 39(4), 1115–1154 (1990)
Fu, J.H.G.: Some remarks on Legendrian rectifiable currents. Manuscr. Math. 97(2), 175–187 (1998)
Fu, J.G.H., Wannerer, T.: Riemannian curvature measures. Geom. Funct. Anal. 29(2), 343–381 (2019)
Gel’ fand, I.M., Shilov, G.E.: Generalized functions. Vol. 1. AMS Chelsea Publishing, Providence, RI, 2016. Properties and operations, Translated from the 1958 Russian original [ MR0097715] by Eugene Saletan, Reprint of the 1964 English translation [ MR0166596]
Hörmander, L.: The analysis of linear partial differential operators. I. Classics in Mathematics. Springer-Verlag, Berlin, 2003. Distribution theory and Fourier analysis, Reprint of the second (1990) edition [Springer, Berlin; MR1065993 (91m:35001a)]
Hug, D., Schneider, R., Schuster, R.: The space of isometry covariant tensor valuations. Algebra Anal. 19(1), 194–224 (2007)
Huybrechts, D.: Complex geometry. Universitext. Springer-Verlag, Berlin. An introduction (2005)
Ludwig, M.: Minkowski valuations. Trans. Am. Math. Soc. 357(10), 4191–4213 (2005)
Ludwig, M., Reitzner, M.: A characterization of affine surface area. Adv. Math. 147(1), 138–172 (1999)
Ludwig, M., Reitzner, M.: A classification of \({\rm SL}(n)\) invariant valuations. Ann. Math. 172(2), 1219–1267 (2019)
O’Neill, B.: Semi-Riemannian geometry, volume 103 of Pure and Applied Mathematics. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1983. With applications to relativity
Schuster, F.E.: Crofton measures and Minkowski valuations. Duke Math. J. 154, 1–30 (2010)
Solanes, G., Wannerer, T.: Integral geometry of exceptional spheres. J. Differ. Geom. 117(1), 137–191 (2021)
Steiner, J.: Über parallele Flächen. Monatsber. Preuß. Akad. Wiss., pages 114–118, 1840. Ges. Werke, vol. 2, pp. 171–176, Reimer, Berlin, (1882)
Wannerer, T.: Integral geometry of unitary area measures. Adv. Math. 263, 1–44 (2014)
Wannerer, T.: The module of unitarily invariant area measures. J. Differ. Geom. 96(1), 141–182 (2014)
Weyl, H.: On the Volume of Tubes. Am. J. Math. 61(2), 461–472 (1939)
Wolf, J.: Homogeneous manifolds of constant curvature. Comment. Math. Helv. 36, 112–147 (1961)
Acknowledgements
Part of this work was carried out during the second named author’s stay at CRM - Université de Montréal, which is gratefully acknowledged. We thank the anonymous referee for many useful comments.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A.B. was supported by DFG grant BE 2484/5-2
D.F. was partially supported by an NSERC Discovery Grant.
G.S. was supported by FEDER/MICINN grant PGC2018-095998-B-I00 and the Serra Húnter Programme.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bernig, A., Faifman, D. & Solanes, G. Uniqueness of Curvature Measures in Pseudo-Riemannian Geometry. J Geom Anal 31, 11819–11848 (2021). https://doi.org/10.1007/s12220-021-00702-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-021-00702-4