Geometrically formal 4-manifolds with nonnegative sectional curvature

From MaRDI portal
Publication:2340904



Abstract: A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is strictly positive, the manifold must be homeomorphic to S^4 or diffeomorphic to CP^2. This conclusion stills holds true if the sectional curvature is strictly positive and we relax the condition of geometric formality to the requirement that the length of harmonic 2-forms is not too nonconstant. In particular, the Hopf conjecture on S^2 x S^2 holds in this class of manifolds.


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.











This page was built for publication: Geometrically formal 4-manifolds with nonnegative sectional curvature

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2340904)