Positive sectional curvature on S2×S2S^2\times S^2

OPENMajorOpen problemProposed c. 1965 · Canonical special case

Canonical statement

There exists a smooth Riemannian metric gg on S2×S2S^{2}\times S^{2} such that every 22-plane σTx(S2×S2)\sigma\subset T_x(S^2\times S^2), at every xx, has sectional curvature Kg(σ)>0K_g(\sigma)>0.
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\).

Does S2×S2S^2\times S^2 admit a Riemannian metric of strictly positive sectional curvature? The question asks for a metric gg in which every tangent 22-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 K0K\ge 0, 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 S2×S2S^2\times S^2. 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 S2×S2S^2\times S^2.

The problem is open in both directions: no positively curved metric has been constructed, and no obstruction ruling one out is known.

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.