Mathematical FrontierNetworkSubmit movement

Discoveries / geometry-topology

Source authenticated

Gromov's integral scalar-curvature bound for simplicial volume

Theorem 1.1: for every n≥3n\ge3 there is an>0a_n>0 with ∫M(Scalg−)n/2dVg≥an∥M∥\int_M(\mathrm{Scal}_g^-)^{n/2}dV_g\ge a_n\|M\| for every closed connected oriented smooth nn-manifold MM and smooth metric gg; e.g. Scalg≥−n(n−1)\mathrm{Scal}_g\ge-n(n-1) gives Volg(M)≥an[n(n−1)]−n/2∥M∥\mathrm{Vol}_g(M)\ge a_n[n(n-1)]^{-n/2}\|M\|. The route is a Yamabe reduction to Scal=−1\mathrm{Scal}=-1 followed by a bounded-cohomology and graph-deformation estimate. No explicit value of ana_n is stated in the theorem, and dimension two is excluded.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Oct 5, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Gromov's integral scalar-curvature bound for simplicial volume · Gromov's scalar curvature vs simplicial volume

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

Gromov's integral scalar-curvature bound for simplicial volume parent of this event

This event attributed to Unreleased internal OpenAI model

VibeMathed record: Gromov's integral scalar-curvature bound for simplicial volume evidence for this event

Theorem 1.1: for every n≥3n\ge3 there is an>0a_n>0 with ∫M(Scalg−)n/2dVg≥an∥M∥\int_M(\mathrm{Scal}_g^-)^{n/2}dV_g\ge a_n\|M\| for every closed connected oriented smooth nn-manifold MM and smooth metric gg; e.g. Scalg≥−n(n−1)\mathrm{Scal}_g\ge-n(n-1) gives Volg(M)≥an[n(n−1)]−n/2∥M∥\mathrm{Vol}_g(M)\ge a_n[n(n-1)]^{-n/2}\|M\|. The route is a Yamabe reduction to Scal=−1\mathrm{Scal}=-1 followed by a bounded-cohomology and graph-deformation estimate. No explicit value of ana_n is stated in the theorem, and dimension two is excluded. parent of this event

Gromov's integral scalar-curvature bound for simplicial volume evidence for this event

Positive scalar curvature forces rational inessentiality (companion, vanishing input) evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Help verifyOpen canonical problemExplore evidence graph
Gromov's integral scalar-curvature bound for simplicial volume — Mathematical Frontier Network