Source authenticated

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 n≥4n\ge4 there is CnC_n such that every connected complete boundaryless Riemannian nn-manifold with Scal≥1\mathrm{Scal}\ge1 admits a continuous map to a simplicial complex of dimension at most n−2n-2 whose entire fibers have diameter at most CnC_n; no orientability, spin, compactness or bounded-geometry assumption. Corollaries: Gromov's filling-radius bound FillRad≤Cn/(2σ)\mathrm{FillRad}\le C_n/(2\sigma) for closed manifolds with Scal≥σ2\mathrm{Scal}\ge\sigma^2, dim⁡mc≤n−2\dim_{mc}\le n-2 for universal covers of closed positive-scalar-curvature manifolds in every n≥2n\ge2, and an independent proof that closed aspherical manifolds of dimension ≥4\ge4 carry no positive scalar curvature. The October 5 companions extend the width bound to the spectral condition −4Δ+Scal≥1-4\Delta+\mathrm{Scal}\ge1 (n≥4n\ge4, and n=3n=3 with a graph target and bound 500/λ500/\sqrt\lambda). Not shown: the Lipschitz form dim⁡MC\dim_{MC}, or any explicit constant.

Exact FrontierDelta

Prior state unknown→proved

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

Open the source record ↗

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 n≥4n\ge4 there is CnC_n such that every connected complete boundaryless Riemannian nn-manifold with Scal≥1\mathrm{Scal}\ge1 admits a continuous map to a simplicial complex of dimension at most n−2n-2 whose entire fibers have diameter at most CnC_n; no orientability, spin, compactness or bounded-geometry assumption. Corollaries: Gromov's filling-radius bound FillRad≤Cn/(2σ)\mathrm{FillRad}\le C_n/(2\sigma) for closed manifolds with Scal≥σ2\mathrm{Scal}\ge\sigma^2, dim⁡mc≤n−2\dim_{mc}\le n-2 for universal covers of closed positive-scalar-curvature manifolds in every n≥2n\ge2, and an independent proof that closed aspherical manifolds of dimension ≥4\ge4 carry no positive scalar curvature. The October 5 companions extend the width bound to the spectral condition −4Δ+Scal≥1-4\Delta+\mathrm{Scal}\ge1 (n≥4n\ge4, and n=3n=3 with a graph target and bound 500/λ500/\sqrt\lambda). Not shown: the Lipschitz form dim⁡MC\dim_{MC}, or any explicit constant. parent of this event

Act on this frontier

Verify, challenge, or extend the result.