A Dehn type quantity for Riemannian manifolds

TL;DR

This paper introduces a new Dehn-type curvature quantity for Riemannian manifolds, exploring its properties, differences from Euler characteristic, and computing it for specific examples.

Contribution

It defines a novel metric-dependent curvature functional Y(M) and its discrete version, analyzing their behavior and computing them for various manifolds.

Findings

Y_disc(M) is positive for manifolds with curvature sign e.

Y(M) differs from Euler characteristic and is metric dependent.

Explicit calculations of Y_disc for spheres, CP^2, SO(4), and SU(3).

Abstract

We look at the functional Y(M) = int_M K(x) dV(x) for compact Riemannian 2d-manifolds M, where K(x) = (2d)! (d!)^-1 (4pi)^-d int_T prod_k=1^d K_t_2k,t_2k+1(x) dt involves products of d sectional curvatures K_ij(x) averaged over the space T sim O(2d) of all orthonormal frames t=(t_1, ... ,t_2d). A discrete version Y_disc(M) with K_d(x) = (d!)^-1 (4pi)^-d sum_sigma prod_k=1^d K_sigma(2k-1),sigma(2k) sums over all permutations sigma of 1,..,2d. Unlike Euler characteristic which by Gauss-Bonnet-Chern is int_M K_GBC dV=X(M), the quantities Y or Y_disc are in general metric dependent. We are interested in Y(M)-X(M) because if M has curvature sign e, then Y(M) e^d and Y_disc(M) are positive while X(M) e^d>0 is only conjectured. We compute Y_disc in a few concrete examples like 2d-spheres, the 4-manifold CP^2, the 6 manifold SO(4) or the 8-manifold SU(3).