MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

3 added 146 characters in body

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.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..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 some of the reasons why some seemingly natural approaches fail.

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 open 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...

The earlier short survey by Bourguignon contains a discussion of some of the reasons why seemingly natural approaches fail.

1

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 open 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...