Result 344, Differential geometry

The metric Blaschke conjecture

Proves the metric Blaschke conjecture: every closed connected Riemannian manifold of positive dimension whose injectivity radius equals its diameter is, up to scaling, a standard compact rank-one symmetric space.

Proof

The bigger picture

Why it matters

Can a single equality between two distances force an entire curved space to have a standard geometry? The manuscript claims that it can, linking the behavior of shortest paths to the shape of the whole space.

What changes?

The manuscript reports that every connected, compact, smooth Riemannian manifold without boundary, in any positive dimension, is a standard compact rank-one symmetric space up to uniform rescaling if its global injectivity radius equals its diameter. The former measures how far geodesics, the geometry's straight paths, remain unique shortest routes from every starting point; the latter is the greatest distance between points. The conclusion identifies the full distance geometry with one of these standard, highly symmetric spaces.

What does that help mathematicians do?

The claimed classification would let researchers deduce an entire metric structure from this equality, rather than merely identify the space's topology or bound its size. It also rules out nonstandard geometries satisfying the same condition under the stated assumptions. This is a rigidity statement: requiring shortest paths to retain their minimizing behavior out to the diameter leaves only the standard possibilities, apart from scale.

Are there practical applications?

The immediate value is foundational, providing an exact classification criterion in differential geometry. A researcher studying a candidate space could use the equality to identify its geometry, or use a nonstandard geometry to rule out the equality. The claim concerns exact equality; it does not supply a guarantee for spaces whose two radii are merely close.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

The metric Blaschke theorem

September 23, 2026 41 pages

We prove the metric Blaschke conjecture: every connected closed smooth Riemannian manifold of positive dimension whose global injectivity radius equals its diameter is, up to scale, a standard compact rank-one symmetric space.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:The-metric-Blaschke-theorem-September-23-2026,
  author = {{OpenAI}},
  title = {{The metric Blaschke theorem}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-metric-Blaschke-theorem-September-23-2026/paper.pdf}{OAI:The-metric-Blaschke-theorem-September-23-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 9 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.