Geometrically formal 4-manifolds with nonnegative sectional curvature (Q2340904)

A Riemannian manifold is said to be \textit{geometrically formal} if the wedge products of harmonic forms are harmonic again. The simplest examples are provided by spheres (with arbitrary Riemannian structure) and flat tori. Here, the author classifies all closed, connected, geometrically formal \(4\)-manifolds of nonnegative sectional curvature. They fall into six classes: (1) rational homology \(4\)-spheres with finite fundamenal groups; (2) manifolds diffeomorphic to \(\mathbb{CP}^2\); (3) flat ones; (4) twisted products of flat tori with \(2\)-spheres of nonnegative curvature; (5) twisted products of a circle with either a \(3\)-dimensional spherical space form or the connected sum of two copies of \(\mathbb{RP}^3\) equipped with a metric of nonnegative curvature; (6) products of \(2\)-dimensional spheres, each factor of nonnegative curvature.