The problem
On a round sphere, shortest paths stay unique until antipodal points, and that stopping distance is the sphere’s diameter. Does the same agreement, measured from every point of a closed connected Riemannian space, force all distances to match one of the standard symmetric models, after a common change of scale? The injectivity radius records how far geodesic coordinates stay unique and nonsingular from a starting point; diameter is the largest distance between points.
Let (M,g) be closed and connected, with injₚ(M,g)=diam(M,g) for every p. The conjecture asserts that (M,g), up to multiplying g by a positive constant, is a standard compact rank-one symmetric space. Equal least periods of geodesics alone—the Zoll condition—is weaker and is not the target.[1] [2]
Scope
Metric rigidity of closed connected Riemannian manifolds whose injectivity radius at every point equals their diameter, up to constant rescaling.
What remains open
Classical sphere and real-projective metric results leave the unrestricted projective-type rigidity problem. Song’s entire adapted-complex-structure hypothesis permits VMRT recognition and proves the desired isometry in that subclass. It must not be silently assumed for all Blaschke manifolds. Earlier survey corrections also preclude recycling withdrawn topological arguments.[1] [2]
Why it matters
Research directions
1 direction to explore
Recover the unrestricted metric
Prove rigidity without the entire adapted-complex-structure assumption, or exhibit a nonstandard Blaschke metric.
Definitions
2 terms
injectivity radius
The radius within which starting directions and lengths give unique nonsingular geodesic coordinates from a point. On a round unit sphere it is π, where the antipode breaks uniqueness.[2]
isometry
A bijection preserving distances. Having the same topology or smooth structure is weaker; this conjecture permits one common rescaling before comparing the metrics.[2]
Sources
Partial results
Rigidity under an entire adapted complex structure. Scope: Blaschke manifolds satisfying the additional tangent-bundle hypothesis.
The additional hypothesis is not established universally.
Source date: 2026-09-20Theorem 1.3 concludes the conjectured standard metric.Read the source ↗- Blaschke Conjecture and Complex Geometry
Notes on Blaschke Conjecture and Complex Geometry
Defines the distance condition at every point, lists standard CROSS metrics, and makes the new complexification hypothesis explicit.
- Summary of progress on the Blaschke conjecture
Notes on Summary of progress on the Blaschke conjecture
Provides classical solved cases and distinguishes metric isometry from cohomology or topological identification.