ON ONE-DIMENSIONALITY OF METRIC MEASURE SPACES

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 CD(K, N) -space or an essentially non-branching MCP(K, N)-space with some open set isometric to an interval, then it is a one-dimensional manifold. We also obtain the same conclusion for a metric measure space which has a point in which the Gromov-Hausdorff tangent is unique and isometric to the real line, and for which the optimal transport maps not only exist but are unique. Again, we obtain an analogous corollary in the setting of essentially non-branching MCP(K, N)-spaces.

Automated summary

In this paper, it is proven that a metric measure space with at least one open set isometric to an interval, and with the existence of optimal transport maps from any absolutely continuous measure to an arbitrary measure, is a one-dimensional manifold. This conclusion is also extended to certain types of metric measure spaces under specific conditions.