Positive sectional curvature on homotopy nine-spheres
We determine which homotopy nine-spheres admit positive sectional curvature: they are precisely the four smooth types with vanishing real Dirac index. The other four admit no metric of nonnegative sectional curvature. In particular, we construct a strictly positively curved metric on the exotic Kervaire nine-sphere, an...