Spectral scalar curvature, Urysohn width, and macroscopic dimension
OpenAI research collection · 3 manuscripts · Source checked 2026-10-19
OpenAI's result summary
Every complete connected smooth boundaryless n-manifold, n ≥ 3, satisfying -4\Delta+Scal\ge1 as a quadratic-form inequality admits a continuous map to a simplicial complex of dimension at most n-2 whose entire fibers have diameter bounded only by n in the original metric. This strengthens Gromov's width conclusion to spectral scalar curvature. Universal covers of closed positive-scalar-curvature manifolds also have continuous macroscopic dimension at most n-2 for every n ≥ 2.
Read the manuscripts
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
MANUSCRIPT 01
Spectral scalar curvature and uniform Urysohn width
For every n ≥ 4, a complete connected smooth Riemannian n-manifold without boundary satisfying -4\Delta+\mathop{Scal}\nolimits \ge1 as a quadratic-form inequality admits a continuous map to a simplicial complex of dimension at most n-2 whose entire fibers have diameter bounded only in terms of n. The bound is measured in the…
Full source abstract
For every n ≥ 4, a complete connected smooth Riemannian n-manifold without boundary satisfying -4\Delta+\mathop{Scal}\nolimits \ge1 as a quadratic-form inequality admits a continuous map to a simplicial complex of dimension at most n-2 whose entire fibers have diameter bounded only in terms of n. The bound is measured in the original metric. This extends the uniform Urysohn width theorem from a pointwise scalar-curvature lower bound to a spectral lower bound.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
Spectral scalar curvature and Urysohn width in dimension three
Every connected complete smooth Riemannian three-manifold without boundary satisfying -4\Delta+\mathop{Scal}\nolimits ≥\lambda> 0 as a quadratic-form inequality admits a continuous map to a graph whose entire fibers have diameter at most 500/\sqrt\lambda in the original metric. No orientability, spin, compactness, or…
Full source abstract
Every connected complete smooth Riemannian three-manifold without boundary satisfying -4\Delta+\mathop{Scal}\nolimits ≥\lambda> 0 as a quadratic-form inequality admits a continuous map to a graph whose entire fibers have diameter at most 500/\sqrt\lambda in the original metric. No orientability, spin, compactness, or bounded-geometry assumption is required.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
Positive scalar curvature and uniform codimension-two width
We prove the quantitative continuous form of Gromov's scalar-curvature conjecture in every dimension n ≥ 4. Every complete connected smooth boundaryless n-manifold with scalar curvature at least one admits a continuous map to a simplicial complex of dimension at most n-2 whose entire fibers have diameter bounded only in terms…
Full source abstract
We prove the quantitative continuous form of Gromov's scalar-curvature conjecture in every dimension n ≥ 4. Every complete connected smooth boundaryless n-manifold with scalar curvature at least one admits a continuous map to a simplicial complex of dimension at most n-2 whose entire fibers have diameter bounded only in terms of n. We also obtain the continuous macroscopic-dimension conclusion for universal covers of closed manifolds with positive scalar curvature in every dimension n ≥ 2.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.