Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Kleiner-Hsiang (JDG 1989) proved such a manifold is homeomorphic to $S^4$ or $CP^{2}$. an interesting corrollary is that $S^2 \times S^2$ does not admit positively curved metric with countinuous symmetry. They asked in their paper if it is diffeomorphic. I don't know much on this area, only noticed one subsequent work Searle-Yang. Seems that there are preprints on arXiv attempting to do the problem in full generality. Not sure if it was fully settled. Anyone knows the precise status of this problem?

share|improve this question
1  
One preprint seems to have appeared in publication: worldscinet.com/ijm/22/2207/S0129167X11007197.html –  Ian Agol Feb 4 '12 at 17:24
    
Thanks for pointing it out. I am just not sure if that paper is well acknowledged. –  Bo_Y Feb 9 '12 at 3:11
2  
Perhaps it is worth reading the review on MR that R. Fintushel wrote about the paper quoted above: ams.org/mathscinet-getitem?mr=2823113 –  Renato G Bettiol Nov 15 '13 at 2:50
add comment

1 Answer

The status of the problem is that it is solved: the classification up to (equivariant) diffeomorphism was obtained very recently by K. Grove and B. Wilking, see Thm A here. The proof uses the solution of the Poincare' Conjecture and some fancy machinery of Alexandrov geometry.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.