Positive sectional curvature on
Canonical statement
View source LaTeX
There exists a smooth Riemannian metric \(g\) on \(S^{2}\times S^{2}\) such that every \(2\)-plane \(\sigma\subset T_x(S^2\times S^2)\), at every \(x\), has sectional curvature \(K_g(\sigma)>0\).Notes
Does admit a Riemannian metric of strictly positive sectional curvature? The question asks for a metric in which every tangent -plane, at every point, curves positively. It crystallized in the mid-1960s — the date is approximate, marking the problem's emergence rather than a single securely dated proposal — and was given wide circulation through the problem literature of the following decades, notably Yau's collection [Yau1982OpenProblemsGeometry].
The difficulty sits exactly at the border between nonnegative and positive curvature. The product of two round spheres has , but any mixed plane spanned by one direction from each factor is flat, so the product metric narrowly fails. At the same time no known obstruction rules out a positively curved metric on . Positively curved examples remain scarce in general, as documented by Ziller [Ziller2007ExamplesNonnegative] and Grove [Grove2010RiemannianPositive], and despite the many constructions in nonnegative curvature, none has been pushed to strict positivity on .
The problem is open in both directions: no positively curved metric has been constructed, and no obstruction ruling one out is known.
References (3)
The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.