A new 3-dimensional curvature integral formula for PL-manifolds of non-positive curvature (Q2494592)

If \(\Omega\) is a smooth compact domain in a smooth Riemannian manifold, then the properties of the Gauss-Kronecker curvature \(GK_{\Omega}\) -- i.e. the determinant of the second fundamental form -- are well-known [see, for example, \textit{S.-S. Chern} and \textit{R. K. Lashof}, Mich. Math. J. 5, 5--12 (1958; Zbl 0095.35803)]. The present paper takes into account non-smooth manifolds \textit{with singularities}, and in particular \(n\)-dimensional simply connected piecewise linear manifolds \(X^n\) with non-positive curvature, which are part of the family of CAT(0) spaces [see \textit{M. R. Bridson} and \textit{A. Haefliger}, Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften. 319. Berlin: Springer (1999; Zbl 0988.53001)]. For any convex domain \(\Omega\) in such a PL-manifold \(X^n\), an outer Gauss-Kronecker curvature measure \(GK_{\partial \Omega}\) is introduced, via a suitable generalization of the curvatures introduced by Federer for any piecewise linear smooth convex domain \(\Omega\) in \(\mathbb R^n\) by using the coefficients of the Steiner polynomial of \(\Omega\) [see \textit{H. Federer}, Trans. Am. Math. Soc. 93, 418--491 (1959; Zbl 0089.38402)]. In the 3-dimensional setting, the new curvature integral formula also allows to obtain a sharp isoperimetric inequality for 3-dimensional PL-manifolds of non-positive curvature.