2025-04-10 | | Total: 3
We generalize classical kinematic formulas for convex bodies in a real vector space V to the setting of non-compact Lie groups admitting a Cartan decomposition. Specifically, let G be a closed linear group with Cartan decomposition G≅K×exp(p0), where K is a maximal compact subgroup acting transitively on the unit sphere. For K-invariant continuous valuations on convex bodies, we establish an integral geometric-type formula for ¯G=G⋉V. Key to our approach is the introduction of a Gaussian measure on p0, which ensures convergence of the non-compact part of the integral. In the special case K=O(n), we recover a Hadwiger-type formula involving intrinsic volumes, with explicit constants cj computed via a Weyl integration formula.
We prove that the existence of an affine map on a Hadamard space which is not a dilation, characterizes Riemannian symmetric spaces of higher rank, Euclidean buildings of higher rank and non-trivial metric products.
We consider manifolds with almost non-negative Ricci curvature and strictly positive integral lower bounds on the sum of the lowest k eigenvalues of the Ricci tensor. If (Mn,g) is a Riemannian manifold satisfying such curvature bounds for k=2, then we show that M is contained in a neighbourhood of controlled width of an isometrically embedded 1-dimensional sub-manifold. From this, we deduce several metric and topological consequences: M has at most linear volume growth and at most two ends, the first Betti number of M is bounded above by 1, and there is precise information on elements of infinite order in π1(M). If (Mn,g) is a Riemannian manifold satisfying such bounds for k≥2 and additionally the Ricci curvature is asymptotically non-negative, then we show that M has at most (k−1)-dimensional behavior at large scales. If k=n=dim(M), so that the integral lower bound is on the scalar curvature, assuming in addition that the n−2-Ricci curvature is asymptotically non-negative, then we prove that the dimension drop at large scales improves to n−2. From the above results, we deduce topological restrictions, such as upper bounds on the first Betti number.