1 · The essentials
The manuscript studies smooth curved spaces by comparing two distances. One is the greatest distance between any two points. The other measures how far shortest routes from a starting point remain unambiguous, using a bound that works throughout the space. The manuscript claims that when these distances are equal, the space must belong to a particular standard family, apart from a uniform change of size. This claim concerns spaces that are connected, have no boundary, are compact, and have positive dimension. The supplied abstract states the conclusion but does not explain the argument. The main result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine exploring a curved world and comparing its largest point-to-point distance with how far you can travel before shortest-route directions become ambiguous. The manuscript claims that an exact match between these two measurements restricts the world's shape to a particular family; the travel image does not capture all the mathematical conditions.
Why it matters
The claimed result turns an equality between two distance measurements into a classification of the entire geometry. Under the stated hypotheses, it would identify not just the space's general shape but its metric, apart from overall scale.
2 · Going further
The precise statement concerns a connected, closed, smooth Riemannian manifold of positive dimension. Its hypothesis is , where the left-hand side is the global injectivity radius and the right-hand side is the diameter. The manuscript claims that every such is, up to scale, a standard compact rank-one symmetric space.
The diameter measures the largest distance between points. The global injectivity radius is the infimum of the injectivity radii at individual points: locally, this radius describes the range in which geodesic coordinates from a point remain nonsingular and one-to-one. Thus the hypothesis equates a uniformly controlled local distance threshold with the largest distance in the whole space. The conclusion is a metric classification, allowing a uniform rescaling.
The source calls this statement the metric Blaschke conjecture and presents the main manuscript as establishing it. However, the supplied abstract gives no argument, intermediate results, or description of a method, so a main idea of the argument cannot be reported from this material. Only one manuscript is supplied; no relationship to companion manuscripts is described.
Useful notions
- Smooth manifolds and Riemannian metrics
- Geodesics and shortest-path distance
- Injectivity radius
- Diameter
- Metric classification up to scale
What was known before / what is new
Before
The source identifies the classification statement as the metric Blaschke conjecture. It supplies no account of earlier partial results, historical development, or previously established cases.
New
The manuscript claims the full classification under the stated equality of global injectivity radius and diameter. Its stated conclusion is that every connected, closed, smooth Riemannian manifold of positive dimension satisfying this equality is, up to scale, a standard compact rank-one symmetric space.
Limits and assumptions
The hypotheses require connectedness, closedness (compactness without boundary), smoothness, positive dimension, and exact equality of global injectivity radius and diameter. The supplied statement does not address spaces outside these hypotheses or cases where the two measurements are merely close. The abstract contains no argument to assess, and the main result is not formalized in Lean and has not been formally verified. No remaining open questions are specified in the supplied material.
Mini glossary
- Riemannian manifold —
- A smooth space equipped with a metric that measures tangent-vector lengths and thereby lengths of paths and distances.
- Closed manifold —
- A manifold that is compact and has no boundary.
- Diameter —
- The supremum of the distances between pairs of points in a space.
- Global injectivity radius —
- The infimum, over all starting points, of the radii within which geodesic coordinates remain nonsingular and one-to-one.
- Up to scale —
- Allowing a uniform change in all lengths when comparing two geometries.
Keywords : Metric Blaschke conjecture · Injectivity radius · Riemannian geometry
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
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.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
The metric Blaschke theorem
23/09/2026We 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.