2020
DOI: 10.1090/proc/15162
|View full text |Cite
|
Sign up to set email alerts
|

On one-dimensionality of metric measure spaces

Abstract: In this paper, we prove that a metric measure space which has at least one open set isometric to an interval, and for which the (possibly non-unique) optimal transport map exists from any absolutely continuous measure to an arbitrary measure, is a one-dimensional manifold (possibly with boundary). As an immediate corollary we obtain that if a metric measure space is a very strict C D ( K , N ) CD(K,N) -space or an essentially non-branching … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
5
0

Year Published

2021
2021
2022
2022

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(5 citation statements)
references
References 20 publications
0
5
0
Order By: Relevance
“…Moreover, at the other points the tangent is still unique and isometric to a half line pointed at the extreme (otherwise there would be a full line in the tangent and we would be in the previous case). Arguing as in the proof of [84,Theorem 3.1] we conclude that each point in Z has a neighborhood isometric either to (−ε, ε) or to [0, ε). Hence the metric conclusion follows from the characterization of one dimensional Riemannian manifolds.…”
Section: Remark 36mentioning
confidence: 61%
See 1 more Smart Citation
“…Moreover, at the other points the tangent is still unique and isometric to a half line pointed at the extreme (otherwise there would be a full line in the tangent and we would be in the previous case). Arguing as in the proof of [84,Theorem 3.1] we conclude that each point in Z has a neighborhood isometric either to (−ε, ε) or to [0, ε). Hence the metric conclusion follows from the characterization of one dimensional Riemannian manifolds.…”
Section: Remark 36mentioning
confidence: 61%
“…Adapting the arguments of [63] (see also [84] for a recent generalization with simplified arguments relying on optimal transport tools), it is possible to prove that at points of Z where there is a line in the tangent there is a small ball isometric to the Euclidean one. Moreover, at the other points the tangent is still unique and isometric to a half line pointed at the extreme (otherwise there would be a full line in the tangent and we would be in the previous case).…”
Section: Remark 36mentioning
confidence: 99%
“…With such a complex definition it is not completely obvious that the map M satisfies condition (12), but this can be easily proven.…”
Section: Definition Of the Midpointmentioning
confidence: 99%
“…• the very strict CD condition studied by Schultz ([7], [8], [9]) is strictly stronger than the weak one,…”
mentioning
confidence: 99%