Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f

Remark: 348-01. Zero-Plane Rigidity for Einstein Four-Manifolds

Manuscript map · lines 9095–9104

OpenAI@2026-10-07#rem:oai-p-348-01

Back to manuscript

Authors: OpenAI. Family 348.

Title: Zero-Plane Rigidity for Einstein Four-Manifolds.

Abstract: We prove that a closed Einstein four-manifold with positive Einstein constant, nonnegative sectional curvature, and a zero-curvature plane has universal Riemannian cover isometric to a product of two round two-spheres. Under the normalization ${}mathop{{}mathrm{Ric}}{}nolimits =3g$, both spheres have radius $1/{}sqrt3$. The proof extends coupled estimates for the two Weyl curvature blocks to the boundary of the sectional-curvature cone and determines their equality case.

This abstract is a catalogue record. It is not a verification and not a premise. It does not close O.1. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted.

Nearby in this section