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

Remark: 335-02. Positive scalar curvature forces rational inessentiality

Manuscript map · lines 8885–8894

OpenAI@2026-10-07#rem:oai-p-335-02

Back to manuscript

Authors: OpenAI. Family 335.

Title: Positive scalar curvature forces rational inessentiality.

Abstract: We prove that every closed connected oriented smooth manifold admitting strictly positive scalar curvature is rationally inessential: its rational fundamental class maps to zero under the classifying map. No spin or fundamental-group hypothesis is needed, and there is no upper dimension bound. This proves the Gromov–Lawson aspherical conjecture; moreover, every nonnegative-scalar-curvature metric on a closed aspherical manifold is flat. We also show that every closed oriented smooth manifold of positive dimension with nonnegative scalar curvature has zero real simplicial volume, proving the qualitative vanishing consequence of Gromov's conjectural comparison.

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