Source authenticated

The Blaschke conjecture: Blaschke manifolds are compact rank-one symmetric spaces

Theorem 1.1: if (M,g)(M,g) is connected, closed, smooth, of positive dimension, with inj(M,g)=diam(M,g)\mathrm{inj}(M,g)=\mathrm{diam}(M,g), then (M,g)(M,g) is isometric up to scale to a round sphere, a standard real, complex or quaternionic projective space, or the Cayley plane. Theorem 1.2 gives Vol(M,g)≥Vol(M0,g0)\mathrm{Vol}(M,g)\ge\mathrm{Vol}(M_0,g_0) against the model at equal diameter, with equality only for isometry; the upper bound in quaternionic dimension 4r4r, r≥2r\ge2, is proved from characteristic classes and the geodesic space. It does not treat the weaker Besse-type questions on manifolds all of whose geodesics are closed without the Blaschke condition (SC or P-manifolds in general).

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: The Blaschke conjecture: Blaschke manifolds are compact rank-one symmetric spaces · Blaschke 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

This event attributed to Unreleased internal OpenAI model

Theorem 1.1: if (M,g)(M,g) is connected, closed, smooth, of positive dimension, with inj(M,g)=diam(M,g)\mathrm{inj}(M,g)=\mathrm{diam}(M,g), then (M,g)(M,g) is isometric up to scale to a round sphere, a standard real, complex or quaternionic projective space, or the Cayley plane. Theorem 1.2 gives Vol(M,g)≥Vol(M0,g0)\mathrm{Vol}(M,g)\ge\mathrm{Vol}(M_0,g_0) against the model at equal diameter, with equality only for isometry; the upper bound in quaternionic dimension 4r4r, r≥2r\ge2, is proved from characteristic classes and the geodesic space. It does not treat the weaker Besse-type questions on manifolds all of whose geodesics are closed without the Blaschke condition (SC or P-manifolds in general). parent of this event

VibeMathed record: The Blaschke conjecture: Blaschke manifolds are compact rank-one symmetric spaces evidence for this event

The Blaschke conjecture: Blaschke manifolds are compact rank-one symmetric spaces parent of this event

The Blaschke conjecture: Blaschke manifolds are compact rank-one symmetric spaces evidence for this event

McKay, Summary of progress on the Blaschke conjecture (arXiv 1309.1326) evidence for this event

Act on this frontier

Verify, challenge, or extend the result.