Hopf conjecture

From Diffgeom
Revision as of 19:47, 18 May 2008 by Vipul (talk | contribs) (2 revisions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Template:Conjecture

Statement

Any compact, even-dimensional Riemannian manifold with everywhere positive sectional curvature, must have positive Euler characteristic.

Progress towards the conjecture

In dimension two

The Hopf conjecture is true in dimension two, following trivially from the Gauss-Bonnet theorem.

In dimension four

Th Hopf conjecture is also true in dimension 4. The proof idea is as follows. We write down a Gauss-Bonnet formula (which generalizes the Gauss-Bonnet theorem to even-dimensional manifolds) which equates the Euler characteristic to a certain integral over the manifold. We then show that in dimension four, positivity of the sectional curvature implies positivity of the integrand, and hence, of the integral.

(Note that this holds even in dimension two, where the integrand is the sectional curvature upto normalization).

Why this fails in higher dimensions

In higher dimensions, positivity of the sectional curvature no longer implies positivity of the integrand. It may still be true, though, that the overall integral remains positive.

Partial proof for higher dimensions

It turns out that the Hopf conjecture is true on the manifold if it admits a d-dimensional isometric torus action, where:

d > \frac{n}{8} - \frac{1}{2}

References

  • Positive sectional curvature does not imply positive Gauss-Bonnet integrand by Robert Geroch, Proceedings of the American Mathematical Society, Volume 54, January 1976