[Paper Review] Integral geometric Hopf conjectures

Oliver Knill|arXiv (Cornell University)|Jan 6, 2020

Geometric Analysis and Curvature Flows51 references4 citations

TL;DR

This paper formulates curvature in finite simple graphs using integral geometry to explore the Hopf sign and product conjectures, demonstrating that for any positive curvature manifold, there exists a μ-curvature satisfying Gauss-Bonnet-Chern with positive values on a set of volume arbitrarily close to the total. The approach uses index expectation from random Morse functions to construct curvature measures, offering a discrete analog to continuous Riemannian geometry problems.

ABSTRACT

The Hopf sign conjecture states that a compact Riemannian 2d-manifold M of positive curvature has Euler characteristic X(M)>0 and that in the case of negative curvature X(M) (-1)^d >0. The Hopf product conjecture asks whether a positive curvature metric can exist on product manifolds like S^2 x S^2. By formulating curvature integral geometrically, these questions can be explored for finite simple graphs, where it leads to linear programming problems. In this more expository document we aim to explore also a bit of the history of the Hopf conjecture and mention some strategies of attacks which have been tried. We illustrate the new integral theoretic mu-curvature concept by proving that for every positive curvature manifold M there exists a mu-curvature K satisfying Gauss-Bonnet-Chern X(M)=\int_M K dV such that K is positive on an open set U of volume arbitrary close to the volume of M.

Motivation & Objective

• To investigate the Hopf sign and product conjectures in Riemannian geometry through a discrete, integral-geometric framework.
• To reformulate curvature using index expectation from random Morse functions on graphs, enabling a discrete analog of Gauss-Bonnet-Chern theorems.
• To establish conditions under which the Euler characteristic remains positive in positive curvature manifolds by constructing a μ-curvature that is positive on a large measure subset.
• To bridge discrete and continuous geometry by showing that if the Hopf conjecture holds for finite graphs with positive μ-curvature, it holds for Riemannian manifolds with the same property.
• To explore whether quarter-pinched positive μ-curvature in graphs or manifolds implies spherical topology, extending the sphere theorem to the discrete setting.

Proposed method

• Define a μ-curvature on finite simple graphs using rotational invariant measures on linear functions, generalizing sectional curvature.
• Use index expectation over a probability space of Morse functions to construct a curvature $ K(x) = \mathbb{E}[i_f(x)] $, where $ i_f(x) $ is the Poincaré-Hopf index.
• Leverage the Gauss-Bonnet-Chern theorem in the discrete setting: $ \chi(G) = \sum_{x \in V} K(x) $, with $ K(x) $ derived from expected indices.
• Apply partition of unity and local patching to extend local positive curvature constructions to global metrics, though control at gluing regions remains challenging.
• Use the Cauchy-Crofton formula to define a pseudo-metric on graphs via expected number of sign changes of functions along paths, leading to a metric space via Kolmogorov quotient.
• Relate discrete graph curvature to continuous Riemannian curvature by embedding graphs into Euclidean space and taking fine triangulations to approximate manifolds.

Experimental results

Research questions

• RQ1 Can the Hopf sign conjecture be proven for finite simple graphs equipped with a μ-curvature that is positive on a set of volume arbitrarily close to the total?
• RQ2 Does the existence of a μ-curvature that is positive on a full-volume set imply that the Euler characteristic of the manifold is positive?
• RQ3 Can the Hopf product conjecture be approached via discrete graphs by showing that no such positive μ-curvature metric exists on product graphs like $ S^2 \times S^2 $?
• RQ4 Under what conditions does positive μ-curvature in graphs or manifolds imply spherical topology, particularly under the quarter-pinching condition?
• RQ5 To what extent can the discrete and continuous formulations of curvature and Euler characteristic be linked via fine triangulations and measure-theoretic constructions?

Key findings

• For every positive curvature manifold $ M $, there exists a μ-curvature $ K $ such that $ \chi(M) = \int_M K \, dV $ and $ K > 0 $ on an open set of volume arbitrarily close to $ \text{Vol}(M) $.
• The index expectation $ K(x) = \mathbb{E}[i_f(x)] $ from random Morse functions yields a curvature measure that satisfies the Gauss-Bonnet-Chern formula in both discrete and continuous settings.
• Geroch’s counterexample shows that the standard Gauss-Bonnet-Chern integrand from linear functionals on the sphere bundle can be negative even under positive curvature, justifying the need for more general measures.
• The construction of global curvature via partition of unity fails to control curvature in gluing regions, indicating a key limitation in extending local positive curvature patches.
• In the discrete setting, if a finite simple $ 2d $-graph has positive μ-curvature and satisfies the quarter-pinching condition, it is conjectured to be a $ d $-sphere as a $ d $-graph.
• A pseudo-metric on graphs defined via expected number of sign changes of functions along paths converges to a true metric under reasonable probability measures, enabling a geometric structure on the graph.