Nonnegative-curvature Einstein classification and an L² topological gap

2 · Going further

The geometric problem concerns closed connected Einstein four-manifolds with positive Einstein constant and nonnegative sectional curvature. Here the Einstein condition is $\mathrm{Ric}=\lambda g$ with $\lambda >0$. The main manuscript addresses the case in which some tangent two-plane has zero sectional curvature: its universal Riemannian cover is isometric to a product of two round two-spheres. Under the normalization $\mathrm{Ric}=3g$, both spheres have radius $1/\sqrt{3}$.

The argument described in the main abstract extends coupled estimates for the two Weyl curvature blocks to the boundary of the sectional-curvature cone and determines their equality case. The strictly positive-curvature companion manuscript describes its result as resolving a classification conjecture: up to positive scaling and isometry, the connected closed Einstein four-manifolds in that setting are the round $S^4$, Fubini–Study ${\mathbb{CP}}^2$, and round real projective four-space. No orientability assumption is needed there. Together, the results yield the repository's classification of universal Riemannian covers in the nonnegative-curvature setting: $S^4$, ${\mathbb{CP}}^2$, or a product of equal round two-spheres, up to scaling.

The second manuscript concerns closed simply connected four-manifolds with nonnegative sectional curvature, without requiring the original metric to be Einstein. It shows in the manuscript that a universal positive threshold for the scale-invariant $L^2$ size of trace-free Ricci curvature forces the manifold to be diffeomorphic to $S^4$, ${\mathbb{CP}}^2$, or $S^2\times S^2$. Its abstract explicitly identifies the positive-Einstein classification supplied by the companion rigidity theorem as a premise. It gives no further details of the gap argument, and its conclusion is about the smooth manifold rather than an isometry of the original metric.

Useful notions

• Closed smooth manifolds and Riemannian metrics
• Sectional curvature and Ricci curvature
• Einstein metrics
• Universal covers and simple connectivity
• Isometry versus diffeomorphism
• Scale-invariant L² curvature measurements

What was known before / what is new

Limits and assumptions

The geometric classification requires a closed connected four-manifold, the Einstein condition with positive constant, and nonnegative sectional curvature; the main rigidity statement additionally requires a zero-curvature plane. Its product conclusion concerns the universal Riemannian cover, not necessarily the original manifold. The gap statement requires closedness, simple connectivity, nonnegative sectional curvature, and sufficiently small trace-free Ricci L² size; no numerical threshold is supplied. It yields a diffeomorphism type, not an isometry of the original metric. The main result has a Lean formalization, but its detailed scope is not supplied, so formal verification should not be inferred for every companion claim. The source identifies no remaining open problem.

Mini glossary

Einstein metric

—

A Riemannian metric whose Ricci curvature tensor is a constant multiple of the metric.

Sectional curvature

—

The curvature assigned to a two-dimensional plane in a tangent space.

Universal Riemannian cover

—

The simply connected covering space equipped with the geometry inherited from the original manifold.

Trace-free Ricci curvature

—

The part of the Ricci curvature tensor left after removing its scalar multiple of the metric.

Diffeomorphism

—

A smooth invertible map with smooth inverse, identifying smooth structure without necessarily preserving metric measurements.

Isometry

—

A map identifying Riemannian geometries while preserving their metric measurements.

Keywords : Einstein four-manifolds · Zero-plane rigidity · L² curvature gap

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Manuscripts in this family