This questions asks for your intuition and insight as I'm surprised by how little is known about the difference between nonnegative and positive curvature. I don't want to be completely vague, so I could ask: What are the difficulties and currently blocked paths to solving the Hopf Conjecture? (Does $S^2\times S^2$ support a metric of positive curvature?). But in general, I would like to know what others might know on why it's difficult to determine if a given closed simply-connected space of nonnegative curvature can also admit positive curvature. As far as I know, there are no obstructions, how come? The amount of examples of nonnegative curvature compared to that of examples of positive curvature seem to suggest there should be something distinguishing the two.
-
$\begingroup$ Interesting question. Is there any simply-connected closed manifold which is known to have nonnegative but not positive sectional curvature? $\endgroup$– Johannes EbertCommented Dec 1, 2010 at 20:50
-
5$\begingroup$ This is well-known open (and fundamental) problem. A recent survey is at front.math.ucdavis.edu/0701.5389. $\endgroup$– Igor BelegradekCommented Dec 1, 2010 at 21:15
-
$\begingroup$ @IgorBelegradek here's an updated link to Ziller's Examples of Riemannian Manifolds with non-negative sectional curvature: arxiv.org/abs/math/0701389 $\endgroup$– David Roberts ♦Commented Sep 24, 2021 at 1:15
1 Answer
Yau asked in 1982 if there is any compact simply connected manifold with nonnegative curvature for which one can prove that it does not admit a metric of positive curvature. This question opens his list of unsolved problems in geometry (see "Seminar on Differential Geometry", p. 670.)
Let me quote from "A Panoramic View of Riemannian Geometry" by Berger (Springer 2003, p. 579):
It is not surprising that many people tried to address Yau’s remark, starting with the Hopf conjecture on $S^2 × S^2$, by trying to deform such a metric with $K ≥ 0$ into one with $K >0$. This means considering some one parameter family $g(t)$ of metrics and computing the various derivatives at $t = 0$ of the sectional curvature. Technically it is very easy to compute such a derivative for a given tangent plane, but what is difficult is to find a variation for which all the derivatives would be positive. Today this approach still does not work.
A major difficulty is that it is not clear how to find the critical set of the sectional curvature (as a function on the set of tangent planes).
The earlier short survey by Bourguignon contains a discussion of the reasons why some seemingly natural approaches fail.
-
7$\begingroup$ More recent remarks on Hopf conjecture (about existence of positively curved metric on $S^2\times S^2$) can be found in the survey by Wilking: front.math.ucdavis.edu/0707.3091. This problem is somewhat poisoned as many talented people thought hard of it with little or no progress. $\endgroup$ Commented Dec 1, 2010 at 23:55
-
2$\begingroup$ I forgot to say that the remarks are hidden on page 26. $\endgroup$ Commented Dec 1, 2010 at 23:56
-
$\begingroup$ @Igor Belegradek: thank you for the comments and reference. $\endgroup$ Commented Dec 2, 2010 at 6:36
-
$\begingroup$ @IgorBelegradek Recently, is there any progress ? $\endgroup$ Commented Jul 17, 2016 at 0:55
-
$\begingroup$ The link in Igor's comment is broken, here's a replacement: arxiv.org/abs/0707.3091. $\endgroup$– David Roberts ♦Commented Mar 29, 2022 at 8:04