[Paper Review] Four-manifolds with positive curvature

Rafael Diógenes, E. Ribeiro+1 more|arXiv (Cornell University)|Sep 17, 2018

Geometric Analysis and Curvature Flows21 references3 citations

TL;DR

This paper establishes that a four-dimensional compact oriented half-conformally flat Riemannian manifold with sectional curvatures in the interval $[\frac{3\sqrt{3}-5}{4}, 1]$ is topologically either the 4-sphere $\mathbb{S}^4$ or the complex projective plane $\mathbb{CP}^2$. The proof uses curvature pinching and biorthogonal curvature estimates to show definiteness of the intersection form, leading to topological classification via Freedman and Donaldson theorems.

ABSTRACT

In this note we prove that a four-dimensional compact oriented half-confor\-mally flat Riemannian manifold $M^4$ is topologically $\mathbb{S}^{4}$ or $\mathbb{C}\mathbb{P}^{2},$ provided that the sectional curvatures all lie in the interval $[\frac{3\sqrt{3}-5}{4},\,1].$ In addition, we use the notion of biorthogonal (sectional) curvature to obtain a pinching condition which guarantees that a four-dimensional compact manifold is homeomorphic to a connected sum of copies of the complex projective plane or the $4$-sphere.

Motivation & Objective

• To classify four-dimensional compact oriented Riemannian manifolds with positive curvature under specific curvature pinching and geometric constraints.
• To extend curvature pinching results to the case of half-conformally flat manifolds, a special class with rich geometric structure.
• To establish topological rigidity using biorthogonal curvature and spectral analysis of harmonic forms.
• To improve existing pinching thresholds for four-manifolds to guarantee spherical or complex projective topology.
• To bridge curvature conditions with intersection form definiteness, enabling classification via topological theorems of Freedman and Donaldson.

Proposed method

• The authors analyze the curvature pinching condition $K \in \left[\frac{3\sqrt{3}-5}{4}, 1\right]$ on a four-dimensional compact oriented half-conformally flat manifold.
• They use the decomposition of the bundle of 2-forms into self-dual and anti-self-dual parts, $\Lambda^2M = \Lambda^+M \oplus \Lambda^-M$, to study harmonic forms and the second Betti number.
• A key step involves estimating the biorthogonal curvature and applying a generalized Weitzenb\
• The proof relies on a quadratic form $\mathcal{P}(t)$ derived from the Bochner-type formula and curvature estimates, showing non-negativity under the pinching condition.
• By analyzing the discriminant $\Delta$ of $\mathcal{P}(t)$, the authors show $\Delta \leq 0$ under the curvature assumption, implying $|\omega_-| = 0$.
• This forces the intersection form to be definite, and by Freedman's and Donaldson's theorems, the manifold is homeomorphic to $\mathbb{S}^4$ or $\mathbb{CP}^2$.

Experimental results

Research questions

• RQ1 Under what curvature pinching conditions is a four-dimensional half-conformally flat manifold topologically $\mathbb{S}^4$ or $\mathbb{CP}^2$?
• RQ2 Can biorthogonal curvature be used to establish topological rigidity in four-manifolds with positive curvature?
• RQ3 What is the optimal pinching constant for a four-manifold to be forced into the $\mathbb{S}^4$ or $\mathbb{CP}^2$ class?
• RQ4 How does the half-conformal flatness condition constrain the topology of four-manifolds with positive sectional curvature?
• RQ5 To what extent can curvature estimates control the definiteness of the intersection form in four-dimensional manifolds?

Key findings

• A four-dimensional compact oriented half-conformally flat Riemannian manifold with sectional curvatures in $[\frac{3\sqrt{3}-5}{4}, 1]$ is topologically $\mathbb{S}^4$ or $\mathbb{CP}^2$.
• The curvature pinching threshold $\frac{3\sqrt{3}-5}{4} \approx 0.16139$ is sharp enough to force the intersection form to be definite.
• The use of biorthogonal curvature allows the authors to derive a pinching condition that implies topological classification.
• The proof shows $|\omega_-| = 0$ via non-negativity of a quadratic form $\mathcal{P}(t)$, implying the manifold is definite.
• The definiteness of the intersection form, combined with Freedman's and Donaldson's theorems, leads to the conclusion that the manifold is homeomorphic to $\mathbb{S}^4$ or $\mathbb{CP}^2$.
• The result improves upon previous pinching results by showing that even with weaker curvature bounds, topological classification is possible under the half-conformally flat condition.