1 · The essentials
The manuscript describes a three-dimensional space with a surprising combination of geometric possibilities. It is closed, meaning compact and without a boundary, and it is smooth, connected, and orientable. One can choose a way of measuring lengths on it that avoids a particular kind of refocusing of nearby shortest-path-like curves. This condition is called having no conjugate points. Yet no smooth choice of length measurements makes its curvature nonpositive in every direction at every point. Crucially, this is not just a failure of the particular measurements constructed: it rules out every smooth choice with that curvature condition. The main result has a Lean formalization.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, think of the space as a fixed object on which you can try different measuring systems. The result supplies one system that passes a no-refocusing test, while establishing that no system on that same object can pass the everywhere-nonpositive-curvature test. The image is limited because these are precise geometric conditions, not ordinary checks with a ruler.
Why it matters
The result separates two requirements that one might ask a space to satisfy through a suitable choice of geometry. Having a metric without conjugate points does not guarantee the existence of a metric of nonpositive sectional curvature. The counterexample already occurs in dimension three.
2 · Going further
The precise question concerns existence of metrics on a fixed manifold, rather than two properties of a single metric. The manuscript constructs a closed, connected, orientable smooth three-manifold carrying a smooth Riemannian metric without conjugate points, while no smooth Riemannian metric on has sectional curvature everywhere.
The distinction between and is essential. It would not suffice to exhibit a metric without conjugate points that itself fails the curvature condition: another metric on the same manifold could conceivably satisfy it. The stated result instead combines existence of the first type of metric with an obstruction to every metric of the second type.
The repository summary presents this as a negative answer to whether the first metric-existence property implies the second, already in dimension three. The supplied abstract states the construction and its two properties, but gives no details of the construction or the argument establishing the obstruction. Only one manuscript is supplied, so no relationship to companion manuscripts can be described. The main result is identified as Lean-formalized.
Useful notions
- Smooth manifolds
- Riemannian metrics
- Geodesics and conjugate points
- Sectional curvature
What was known before / what is new
Before
The source identifies the question of whether admitting a metric without conjugate points forces a manifold to admit a metric of nonpositive sectional curvature. It supplies no earlier results or historical attribution for that question.
New
The manuscript supplies a closed, connected, orientable smooth three-manifold separating those two existence properties. It admits a smooth metric without conjugate points but no smooth metric of nonpositive sectional curvature. The main result has a Lean formalization.
Limits and assumptions
The stated example is three-dimensional, closed, connected, orientable, and smooth; both metric assertions concern smooth Riemannian metrics. The result is an existence counterexample, not a classification of manifolds with either property. The supplied material identifies the main result as Lean-formalized but provides no further breakdown of the formalization's scope. It gives neither construction details nor additional open questions.
Mini glossary
- Closed manifold —
- A manifold that is compact and has no boundary.
- Riemannian metric —
- A smoothly varying rule for measuring lengths and angles on a smooth manifold.
- Geodesic —
- A curve that follows the locally straight paths determined by a Riemannian metric.
- Conjugate points —
- Points along a geodesic where a nonzero infinitesimal variation through geodesics vanishes at both points, expressing a precise kind of refocusing.
- Nonpositive sectional curvature —
- The condition that the curvature assigned to every two-dimensional tangent plane at every point is at most zero.
Keywords : Three-manifolds · Conjugate points · Sectional curvature
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)
Constructs a closed connected orientable smooth three-manifold that admits a metric without conjugate points but no metric of nonpositive sectional curvature. This answers negatively, already in dimension three, whether the first metric-existence property implies the second.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
A Three-Manifold Without Conjugate Points and Without a Nonpositively Curved Metric
24/09/2026We construct a closed connected orientable smooth three-manifold that admits a smooth Riemannian metric without conjugate points but admits no smooth Riemannian metric of nonpositive sectional curvature.