Gromov's codimension-two Urysohn width conjecture for positive scalar curvature, with the macroscopic dimension conjecture for universal covers
Principal manuscript, Theorem 1.1: for every there is such that every connected complete boundaryless Riemannian -manifold with admits a continuous map to a simplicial complex of dimension at most whose entire fibers have diameter at most ; no orientability, spin, compactness or bounded-geometry assumption. Corollaries: Gromov's filling-radius bound for closed manifolds with , for universal covers of closed positive-scalar-curvature manifolds in every , and an independent proof that closed aspherical manifolds of dimension carry no positive scalar curvature. The October 5 companions extend the width bound to the spectral condition (, and with a graph target and bound ). Not shown: the Lipschitz form , or any explicit constant.
Exact FrontierDelta
Scope and record
Occurred: Sep 23, 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 codimension-two Urysohn width conjecture for positive scalar curvature, with the macroscopic dimension conjecture for universal covers · Gromov's codimension-two width conjecture
Confidence: Not scored
Registry verification: unreviewed · announcement · candidate
Attribution
VibeMathed
registry · event recorded by
Unreleased internal OpenAI model
model · ai model contributor · OpenAI
Lineage and corrections
Gromov, A dozen problems, questions and conjectures about positive scalar curvature (2017) evidence for this event
This event attributed to Unreleased internal OpenAI model
Gromov's codimension-two Urysohn width conjecture for positive scalar curvature, with the macroscopic dimension conjecture for universal covers parent of this event
Gromov's codimension-two Urysohn width conjecture for positive scalar curvature, with the macroscopic dimension conjecture for universal covers evidence for this event
Companion: Spectral scalar curvature and uniform Urysohn width (October 5, 2026) evidence for this event
VibeMathed record: Gromov's codimension-two Urysohn width conjecture for positive scalar curvature, with the macroscopic dimension conjecture for universal covers evidence for this event
Companion: Spectral scalar curvature and Urysohn width in dimension three (October 5, 2026) evidence for this event
Principal manuscript, Theorem 1.1: for every there is such that every connected complete boundaryless Riemannian -manifold with admits a continuous map to a simplicial complex of dimension at most whose entire fibers have diameter at most ; no orientability, spin, compactness or bounded-geometry assumption. Corollaries: Gromov's filling-radius bound for closed manifolds with , for universal covers of closed positive-scalar-curvature manifolds in every , and an independent proof that closed aspherical manifolds of dimension carry no positive scalar curvature. The October 5 companions extend the width bound to the spectral condition (, and with a graph target and bound ). Not shown: the Lipschitz form , or any explicit constant. parent of this event
Act on this frontier