1 · The essentials
These manuscripts connect a condition on the curvature of a space with the behavior of shortest routes and optimal movement of mass. The space must be smooth, connected, compact, have no boundary, and have at least two dimensions. Under the stated curvature condition, the first result says that certain sets of directions and travel lengths describing shortest routes have no inward dents. The second concerns moving one distribution of mass into another while minimizing the total squared distance traveled. If both distributions stay between fixed positive lower and upper bounds, the optimal movement and its reverse are continuous, with a shared quantitative bound on how rapidly they can change. The distributions need not themselves be smooth or even continuous. Both manuscripts are identified as Lean-formalized.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine a board of travel arrows drawn from one starting point, keeping only those that describe shortest routes before they cease to be uniquely shortest. The first result says that the straight interpolation between two permitted arrows remains permitted; the analogy is imperfect because the arrows live in a mathematical space attached to the starting point, not on the curved space itself.
Why it matters
The first manuscript resolves what the source identifies as Villani’s conjecture in the stated setting. The companion result gives uniform control of optimal transport even for merely measurable densities. Together, they connect a curvature hypothesis to both the geometry of shortest routes and the continuity of mass rearrangements.
2 · Going further
The geometric problem is posed on a smooth, connected, compact Riemannian manifold without boundary, of dimension at least two. The hypothesis is weak Ma–Trudinger–Wang curvature, or weak MTW. The main manuscript establishes that every tangent injectivity domain is convex: in the tangent space at any point, straight segments between members of the domain stay within it. The source describes this as resolving Villani’s conjecture in this setting, and explicitly allows conjugate cut points.
The main abstract also states a more general support result: every ordinary subgradient of a squared-distance cost potential is a minimizing velocity with a global supporting mountain. This is the support structure highlighted alongside convexity in the manuscript’s title and abstract. The supplied abstracts do not give the steps of the argument, so they do not support a more detailed account of how the global support statement yields convexity. No density hypothesis is needed for this geometric result.
The companion manuscript concerns optimal transport for squared-distance cost on a fixed manifold satisfying the same geometric hypotheses. Across all pairs of measurable probability densities with fixed positive lower and upper bounds, it establishes a common Hölder estimate for the optimal maps and their inverses. The maps have homeomorphic representatives, and no density regularity is assumed. Both manuscripts are marked Lean-formalized; the supplied source does not describe the internal scope of their formalizations in further detail.
Useful notions
- Smooth curved spaces and tangent spaces
- Shortest paths and distance
- Convex sets
- Probability densities and optimal transport
- Continuity and Hölder estimates
What was known before / what is new
Before
The source identifies convexity of tangent injectivity domains under weak MTW as Villani’s conjecture in the stated setting. It does not give a history of the conjecture, earlier partial results, or previous transport estimates.
New
The main manuscript establishes convexity of every tangent injectivity domain under weak MTW, allowing conjugate cut points and requiring no density hypothesis. It also establishes the more general global support statement for ordinary subgradients of squared-distance cost potentials. The companion manuscript establishes uniform Hölder control of optimal transport maps and their inverses over the full class of densities with fixed positive upper and lower bounds.
Limits and assumptions
The results require a smooth, connected, compact, boundaryless Riemannian manifold of dimension at least two satisfying weak MTW. The uniform transport estimate is for a fixed manifold and fixed positive upper and lower density bounds; it does not assert a common estimate across different manifolds or without those bounds. No smoothness of the densities is required, and conjugate cut points are allowed. Both manuscripts are identified as Lean-formalized, but the source supplies no finer inventory of formalized claims. It states no remaining open problems and makes no claim for settings outside these hypotheses.
Mini glossary
- Tangent injectivity domain —
- The set of tangent velocities at a point describing uniquely minimizing geodesic travel before the cut point.
- Convex —
- A set is convex if it contains the straight segment joining any two of its points.
- Weak MTW —
- The weak Ma–Trudinger–Wang curvature condition is the geometric hypothesis used in both manuscripts.
- Optimal transport map —
- Here, a map that rearranges one probability density into another while minimizing total squared-distance cost.
- Hölder estimate —
- A quantitative continuity bound that controls output distance by a fixed constant times a positive power of input distance.
- Homeomorphic representative —
- A version of the transport map that is a continuous bijection with a continuous inverse.
Keywords : Weak MTW curvature · Convex injectivity domains · Optimal transport
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)
On every closed connected Riemannian manifold of dimension at least two satisfying weak Ma–Trudinger–Wang curvature, all tangent injectivity domains are convex, resolving Villani’s conjecture in this setting. For squared-distance transport between measurable probability densities bounded above and away from zero, the optimal map and its inverse are Hölder continuous.
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
Global Support and Convex Injectivity Domains under Weak MTW
25/09/2026We prove that weak Ma–Trudinger–Wang curvature on a smooth, connected, compact Riemannian manifold of dimension at least two without boundary implies convexity of every tangent injectivity domain, resolving Villani's conjecture in this setting. Conjugate cut points are allowed. More generally, every ordinary subgradient of a squared-distance cost potential is a minimizing velocity with a global supporting mountain. No density hypothesis is used.
Uniform Bi-Holder Transport from Weak MTW
25/09/2026We prove that the weak Ma–Trudinger–Wang condition on a fixed smooth connected compact boundaryless Riemannian manifold of dimension at least two implies a common Hölder estimate for optimal transport maps and their inverses over the entire class of probability densities with fixed positive upper and lower bounds. The maps have homeomorphic representatives, conjugate cut points are allowed, and no density regularity is assumed.