On one-dimensionality of metric measure spaces

Schultz, Timo

doi:10.1090/proc/15162

On one-dimensionality of metric measure spaces

Author: Timo Schultz
Journal: Proc. Amer. Math. Soc. 149 (2021), 383-396
MSC (2010): Primary 53C23
DOI: https://doi.org/10.1090/proc/15162
Published electronically: October 21, 2020
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 -space or an essentially non-branching -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 -spaces.

[1] Guillaume Carlier, Luigi De Pascale, and Filippo Santambrogio, A strategy for non-strictly convex transport costs and the example of |𝑋-𝑌|^{𝑃} in ℝ², Commun. Math. Sci. 8 (2010), no. 4, 931–941. MR 2744914
[2] Fabio Cavalletti and Martin Huesmann, Existence and uniqueness of optimal transport maps, Ann. Inst. H. Poincaré Anal. Non Linéaire 32 (2015), no. 6, 1367–1377. MR 3425266, https://doi.org/10.1016/j.anihpc.2014.09.006
[3] Fabio Cavalletti and Andrea Mondino, Measure rigidity of Ricci curvature lower bounds, Adv. Math. 286 (2016), 430–480. MR 3415690, https://doi.org/10.1016/j.aim.2015.09.016
[4] Fabio Cavalletti and Andrea Mondino, Optimal maps in essentially non-branching spaces, Commun. Contemp. Math. 19 (2017), no. 6, 1750007, 27. MR 3691502, https://doi.org/10.1142/S0219199717500079
[5] 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
[6] Wilfrid Gangbo and Robert J. McCann, The geometry of optimal transportation, Acta Math. 177 (1996), no. 2, 113–161. MR 1440931, https://doi.org/10.1007/BF02392620
[7] 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, https://doi.org/10.1007/s00039-012-0176-5
[8] 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, https://doi.org/10.1007/s12220-015-9654-y
[9] Shouhei Honda, On low-dimensional Ricci limit spaces, Nagoya Math. J. 209 (2013), 1–22. MR 3032136, https://doi.org/10.1017/S0027763000010667
[10] Martin Kell, Transport maps, non-branching sets of geodesics and measure rigidity, Adv. Math. 320 (2017), 520–573. MR 3709114, https://doi.org/10.1016/j.aim.2017.09.003
[11] 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, https://doi.org/10.1007/s11118-014-9450-5
[12] Yu Kitabeppu and Sajjad Lakzian, Characterization of low dimensional 𝑅𝐶𝐷*(𝐾,𝑁) spaces, Anal. Geom. Metr. Spaces 4 (2016), no. 1, 187–215. MR 3550295, https://doi.org/10.1515/agms-2016-0007
[13] Stefano Lisini, Characterization of absolutely continuous curves in Wasserstein spaces, Calc. Var. Partial Differential Equations 28 (2007), no. 1, 85–120. MR 2267755, https://doi.org/10.1007/s00526-006-0032-2
[14] 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, https://doi.org/10.4007/annals.2009.169.903
[15] 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
[16] 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, https://doi.org/10.4171/JEMS/874
[17] Shin-ichi Ohta, On the measure contraction property of metric measure spaces, Comment. Math. Helv. 82 (2007), no. 4, 805–828. MR 2341840, https://doi.org/10.4171/CMH/110
[18] Tapio Rajala and Karl-Theodor Sturm, Non-branching geodesics and optimal maps in strong 𝐶𝐷(𝐾,∞)-spaces, Calc. Var. Partial Differential Equations 50 (2014), no. 3-4, 831–846. MR 3216835, https://doi.org/10.1007/s00526-013-0657-x
[19] Timo Schultz, Existence of optimal transport maps in very strict 𝐶𝐷(𝐾,∞)-spaces, Calc. Var. Partial Differential Equations 57 (2018), no. 5, Paper No. 139, 11. MR 3846900, https://doi.org/10.1007/s00526-018-1414-y
[20] Timo Schultz, Equivalent definitions of very strict -spaces, Preprint, 1906.07693 (2019).
[21] Karl-Theodor Sturm, On the geometry of metric measure spaces. I, Acta Math. 196 (2006), no. 1, 65–131. MR 2237206, https://doi.org/10.1007/s11511-006-0002-8
[22] Karl-Theodor Sturm, On the geometry of metric measure spaces. II, Acta Math. 196 (2006), no. 1, 133–177. MR 2237207, https://doi.org/10.1007/s11511-006-0003-7