On one-dimensionality of metric measure spaces

Schultz, Timo

doi:10.1090/proc/15162

On one-dimensionality of metric measure spaces
HTML articles powered by AMS MathViewer

by Timo Schultz PDF

Proc. Amer. Math. Soc. 149 (2021), 383-396 Request permission

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 $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.

References

Guillaume Carlier, Luigi De Pascale, and Filippo Santambrogio, A strategy for non-strictly convex transport costs and the example of $\|X-Y\|^P$ in $\Bbb R^2$, Commun. Math. Sci. 8 (2010), no. 4, 931–941. MR 2744914, DOI 10.4310/CMS.2010.v8.n4.a8
Fabio Cavalletti and Martin Huesmann, Existence and uniqueness of optimal transport maps, Ann. Inst. H. Poincaré C Anal. Non Linéaire 32 (2015), no. 6, 1367–1377. MR 3425266, DOI 10.1016/j.anihpc.2014.09.006
Fabio Cavalletti and Andrea Mondino, Measure rigidity of Ricci curvature lower bounds, Adv. Math. 286 (2016), 430–480. MR 3415690, DOI 10.1016/j.aim.2015.09.016
Fabio Cavalletti and Andrea Mondino, Optimal maps in essentially non-branching spaces, Commun. Contemp. Math. 19 (2017), no. 6, 1750007, 27. MR 3691502, DOI 10.1142/S0219199717500079
Jeff Cheeger and Tobias H. Colding, On the structure of spaces with Ricci curvature bounded below. I, J. Differential Geom. 46 (1997), no. 3, 406–480. MR 1484888
Wilfrid Gangbo and Robert J. McCann, The geometry of optimal transportation, Acta Math. 177 (1996), no. 2, 113–161. MR 1440931, DOI 10.1007/BF02392620
Nicola Gigli, Optimal maps in non branching spaces with Ricci curvature bounded from below, Geom. Funct. Anal. 22 (2012), no. 4, 990–999. MR 2984123, DOI 10.1007/s00039-012-0176-5
Nicola Gigli, Tapio Rajala, and Karl-Theodor Sturm, Optimal maps and exponentiation on finite-dimensional spaces with Ricci curvature bounded from below, J. Geom. Anal. 26 (2016), no. 4, 2914–2929. MR 3544946, DOI 10.1007/s12220-015-9654-y
Shouhei Honda, On low-dimensional Ricci limit spaces, Nagoya Math. J. 209 (2013), 1–22. MR 3032136, DOI 10.1017/S0027763000010667
Martin Kell, Transport maps, non-branching sets of geodesics and measure rigidity, Adv. Math. 320 (2017), 520–573. MR 3709114, DOI 10.1016/j.aim.2017.09.003
Christian Ketterer and Tapio Rajala, Failure of topological rigidity results for the measure contraction property, Potential Anal. 42 (2015), no. 3, 645–655. MR 3336992, DOI 10.1007/s11118-014-9450-5
Yu Kitabeppu and Sajjad Lakzian, Characterization of low dimensional $RCD^*(K,N)$ spaces, Anal. Geom. Metr. Spaces 4 (2016), no. 1, 187–215. MR 3550295, DOI 10.1515/agms-2016-0007
Stefano Lisini, Characterization of absolutely continuous curves in Wasserstein spaces, Calc. Var. Partial Differential Equations 28 (2007), no. 1, 85–120. MR 2267755, DOI 10.1007/s00526-006-0032-2
John Lott and Cédric Villani, Ricci curvature for metric-measure spaces via optimal transport, Ann. of Math. (2) 169 (2009), no. 3, 903–991. MR 2480619, DOI 10.4007/annals.2009.169.903
Pertti Mattila, Geometry of sets and measures in Euclidean spaces, Cambridge Studies in Advanced Mathematics, vol. 44, Cambridge University Press, Cambridge, 1995. Fractals and rectifiability. MR 1333890, DOI 10.1017/CBO9780511623813
Andrea Mondino and Aaron Naber, Structure theory of metric measure spaces with lower Ricci curvature bounds, J. Eur. Math. Soc. (JEMS) 21 (2019), no. 6, 1809–1854. MR 3945743, DOI 10.4171/JEMS/874
Shin-ichi Ohta, On the measure contraction property of metric measure spaces, Comment. Math. Helv. 82 (2007), no. 4, 805–828. MR 2341840, DOI 10.4171/CMH/110
Tapio Rajala and Karl-Theodor Sturm, Non-branching geodesics and optimal maps in strong $CD(K,\infty )$-spaces, Calc. Var. Partial Differential Equations 50 (2014), no. 3-4, 831–846. MR 3216835, DOI 10.1007/s00526-013-0657-x
Timo Schultz, Existence of optimal transport maps in very strict $CD(K,\infty )$-spaces, Calc. Var. Partial Differential Equations 57 (2018), no. 5, Paper No. 139, 11. MR 3846900, DOI 10.1007/s00526-018-1414-y
Timo Schultz, Equivalent definitions of very strict $CD(K,N)$ -spaces, Preprint, arXiv:1906.07693 (2019).
Karl-Theodor Sturm, On the geometry of metric measure spaces. I, Acta Math. 196 (2006), no. 1, 65–131. MR 2237206, DOI 10.1007/s11511-006-0002-8
Karl-Theodor Sturm, On the geometry of metric measure spaces. II, Acta Math. 196 (2006), no. 1, 133–177. MR 2237207, DOI 10.1007/s11511-006-0003-7