Hopf sign conjecture
Canonical statement
View source LaTeX
If \(M^{2m}\) is a closed connected Riemannian manifold with sectional curvature \(K\le0\), then \[ (-1)^m\chi(M)\ge0. \]Notes
The Hopf sign conjecture asserts that nonpositive curvature controls the sign of the Euler characteristic: a closed connected Riemannian manifold with sectional curvature should satisfy . The expectation goes back to Hopf's lectures around 1931 on curvature and vector fields [Hopf1931CurvatureEuler], though the exact first written formulation is historically uncertain.
In dimension the statement follows at once from the Gauss–Bonnet theorem, and in dimension it follows from the Chern–Gauss–Bonnet formula, whose integrand is pointwise nonnegative under there; this pointwise argument does not extend to dimension six and higher. Beyond low dimensions the conjecture is known for various locally symmetric and other high-symmetry classes, and the Euler characteristic of nonpositively curved manifolds has been studied more broadly [Davis1995EulerNonpositive]. Recent work examines the borderline case of nonpositively curved -manifolds with vanishing Euler characteristic [ConnellRuanWang2026Euler].
The conjecture is open in every even dimension at least ; a resolution would require a mechanism relating sectional curvature to the Euler characteristic that avoids the sign analysis of the Gauss–Bonnet integrand.
References (3)
The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.