Hölder continuity of tangent cones in RCD(K,N) spaces and applications to nonbranching

Deng, Qin¹

¹University of Toronto, Toronto, ON, Canala, MIT, Cambridge, MA, United States

Geometry & topology, Tome 29 (2025) no. 2, pp. 1037-1114

Résumé

We study the structure theory of metric measure spaces (X,d,m) satisfying the synthetic lower Ricci curvature bound condition RCD ⁡ (K,N). We prove that such a space is nonbranching and that tangent cones from the same sequence of rescalings are Hölder continuous along the interior of every geodesic in X. More precisely, we show that the geometry of balls of small radius centered in the interior of any geodesic changes in at most a Hölder continuous way along the geodesic in pointed Gromov–Hausdorff distance. This improves a result in the Ricci limit setting by Colding and Naber where the existence of at least one geodesic with such properties between any two points is shown. As in the Ricci limit case, this implies that the regular set of an RCD ⁡ (K,N) space has m-a.e. constant dimension, a result recently established by Brué and Semola, and is m-a.e convex. It also implies that the top dimension regular set is weakly convex, and therefore connected. In proving the main theorems, we develop in the RCD ⁡ (K,N) setting the expected second-order interpolation formula for the distance function along the regular Lagrangian flow of some vector field using its covariant derivative.

Détail

DOI : 10.2140/gt.2025.29.1037

Keywords: Ricci curvature, RCD spaces, geodesic, nonbranching

Bibliographie

[1] U Abresch, D Gromoll, On complete manifolds with nonnegative Ricci curvature, J. Amer. Math. Soc. 3 (1990) 355 | DOI

[2] L Ambrosio, Transport equation and Cauchy problem for BV vector fields, Invent. Math. 158 (2004) 227 | DOI

[3] L Ambrosio, N Gigli, A user’s guide to optimal transport, from: "Modelling and optimisation of flows on networks" (editors B Piccoli, M Rascle), Lecture Notes in Math. 2062, Springer (2013) 1 | DOI

[4] L Ambrosio, N Gigli, A Mondino, T Rajala, Riemannian Ricci curvature lower bounds in metric measure spaces with σ-finite measure, Trans. Amer. Math. Soc. 367 (2015) 4661 | DOI

[5] L Ambrosio, N Gigli, G Savaré, Density of Lipschitz functions and equivalence of weak gradients in metric measure spaces, Rev. Mat. Iberoam. 29 (2013) 969 | DOI

[6] L Ambrosio, N Gigli, G Savaré, Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below, Invent. Math. 195 (2014) 289 | DOI

[7] L Ambrosio, N Gigli, G Savaré, Metric measure spaces with Riemannian Ricci curvature bounded from below, Duke Math. J. 163 (2014) 1405 | DOI

[8] L Ambrosio, N Gigli, G Savaré, Bakry–Émery curvature-dimension condition and Riemannian Ricci curvature bounds, Ann. Probab. 43 (2015) 339 | DOI

[9] L Ambrosio, A Mondino, G Savaré, Nonlinear diffusion equations and curvature conditions in metric measure spaces, 1270, Amer. Math. Soc. (2019) | DOI

[10] L Ambrosio, D Trevisan, Well-posedness of Lagrangian flows and continuity equations in metric measure spaces, Anal. PDE 7 (2014) 1179 | DOI

[11] K Bacher, K T Sturm, Localization and tensorization properties of the curvature-dimension condition for metric measure spaces, J. Funct. Anal. 259 (2010) 28 | DOI

[12] F Baudoin, N Garofalo, Perelman’s entropy and doubling property on Riemannian manifolds, J. Geom. Anal. 21 (2011) 1119 | DOI

[13] S Bianchini, F Cavalletti, The Monge problem for distance cost in geodesic spaces, Comm. Math. Phys. 318 (2013) 615 | DOI

[14] E Brué, Q Deng, D Semola, Improved regularity estimates for Lagrangian flows on RCD(K,N) spaces, Nonlinear Anal. 214 (2022) 112609 | DOI

[15] E Brué, D Semola, Constancy of the dimension for RCD(K,N) spaces via regularity of Lagrangian flows, Comm. Pure Appl. Math. 73 (2020) 1141 | DOI

[16] E Brué, D Semola, Regularity of Lagrangian flows over RCD∗(K,N) spaces, J. Reine Angew. Math. 765 (2020) 171 | DOI

[17] D Burago, Y Burago, S Ivanov, A course in metric geometry, 33, Amer. Math. Soc. (2001) | DOI

[18] Y Burago, M Gromov, G Perelman, A D Alexandrov spaces with curvature bounded below, Uspekhi Mat. Nauk 47 (1992) 3

[19] E Calabi, On Ricci curvature and geodesics, Duke Math. J. 34 (1967) 667

[20] F Cavalletti, Monge problem in metric measure spaces with Riemannian curvature-dimension condition, Nonlinear Anal. 99 (2014) 136 | DOI

[21] F Cavalletti, E Milman, The globalization theorem for the curvature-dimension condition, Invent. Math. 226 (2021) 1 | DOI

[22] F Cavalletti, A Mondino, Optimal maps in essentially non-branching spaces, Commun. Contemp. Math. 19 (2017) 1750007 | DOI

[23] F Cavalletti, A Mondino, Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds, Invent. Math. 208 (2017) 803 | DOI

[24] F Cavalletti, A Mondino, New formulas for the Laplacian of distance functions and applications, Anal. PDE 13 (2020) 2091 | DOI

[25] J Cheeger, Differentiability of Lipschitz functions on metric measure spaces, Geom. Funct. Anal. 9 (1999) 428 | DOI

[26] J Cheeger, T H Colding, Lower bounds on Ricci curvature and the almost rigidity of warped products, Ann. of Math. 144 (1996) 189 | DOI

[27] J Cheeger, T H Colding, On the structure of spaces with Ricci curvature bounded below, I, J. Differential Geom. 46 (1997) 406

[28] J Cheeger, T H Colding, On the structure of spaces with Ricci curvature bounded below, II, J. Differential Geom. 54 (2000) 13

[29] J Cheeger, T H Colding, On the structure of spaces with Ricci curvature bounded below, III, J. Differential Geom. 54 (2000) 37

[30] T H Colding, A Naber, Sharp Hölder continuity of tangent cones for spaces with a lower Ricci curvature bound and applications, Ann. of Math. 176 (2012) 1173 | DOI

[31] T H Colding, A Naber, Characterization of tangent cones of noncollapsed limits with lower Ricci bounds and applications, Geom. Funct. Anal. 23 (2013) 134 | DOI

[32] S Daneri, G Savaré, Eulerian calculus for the displacement convexity in the Wasserstein distance, SIAM J. Math. Anal. 40 (2008) 1104 | DOI

[33] Q Deng, J Santos-Rodríguez, S Zamora, X Zhao, Margulis lemma on RCD(K,N) spaces, preprint (2023)

[34] R J Diperna, P L Lions, Ordinary differential equations, transport theory and Sobolev spaces, Invent. Math. 98 (1989) 511 | DOI

[35] M Erbar, K Kuwada, K T Sturm, On the equivalence of the entropic curvature-dimension condition and Bochner’s inequality on metric measure spaces, Invent. Math. 201 (2015) 993 | DOI

[36] N Garofalo, A Mondino, Li–Yau and Harnack type inequalities in RCD∗(K,N) metric measure spaces, Nonlinear Anal. 95 (2014) 721 | DOI

[37] N Gigli, The splitting theorem in non-smooth context, preprint (2013)

[38] N Gigli, On the differential structure of metric measure spaces and applications, 1113, Amer. Math. Soc. (2015) | DOI

[39] N Gigli, Nonsmooth differential geometry : an approach tailored for spaces with Ricci curvature bounded from below, 1196, Amer. Math. Soc. (2018) | DOI

[40] N Gigli, B X Han, The continuity equation on metric measure spaces, Calc. Var. Partial Differential Equations 53 (2015) 149 | DOI

[41] N Gigli, B X Han, Sobolev spaces on warped products, J. Funct. Anal. 275 (2018) 2059 | DOI

[42] N Gigli, A Mondino, T Rajala, Euclidean spaces as weak tangents of infinitesimally Hilbertian metric measure spaces with Ricci curvature bounded below, J. Reine Angew. Math. 705 (2015) 233 | DOI

[43] N Gigli, A Mondino, G Savaré, Convergence of pointed non-compact metric measure spaces and stability of Ricci curvature bounds and heat flows, Proc. Lond. Math. Soc. 111 (2015) 1071 | DOI

[44] N Gigli, T Rajala, K T Sturm, Optimal maps and exponentiation on finite-dimensional spaces with Ricci curvature bounded from below, J. Geom. Anal. 26 (2016) 2914 | DOI

[45] N Gigli, C Rigoni, Recognizing the flat torus among RCD∗(0,N) spaces via the study of the first cohomology group, Calc. Var. Partial Differential Equations 57 (2018) 104 | DOI

[46] N Gigli, L Tamanini, Second order differentiation formula on RCD∗(K,N) spaces, J. Eur. Math. Soc. (JEMS) 23 (2021) 1727 | DOI

[47] N Gigli, I Y Violo, Monotonicity formulas for harmonic functions in RCD(0,N) spaces, J. Geom. Anal. 33 (2023) 100 | DOI

[48] A Grigor’Yan, J Hu, Off-diagonal upper estimates for the heat kernel of the Dirichlet forms on metric spaces, Invent. Math. 174 (2008) 81 | DOI

[49] L Guijarro, J Santos-Rodríguez, On the isometry group of RCD∗(K,N)-spaces, Manuscripta Math. 158 (2019) 441 | DOI

[50] B X Han, Ricci tensor on RCD∗(K,N) spaces, J. Geom. Anal. 28 (2018) 1295 | DOI

[51] R Jiang, The Li–Yau inequality and heat kernels on metric measure spaces, J. Math. Pures Appl. 104 (2015) 29 | DOI

[52] V Kapovitch, N Li, On dimensions of tangent cones in limit spaces with lower Ricci curvature bounds, J. Reine Angew. Math. 742 (2018) 263 | DOI

[53] V Kapovitch, B Wilking, Structure of fundamental groups of manifolds with Ricci curvature bounded below, preprint (2011)

[54] Y Kitabeppu, A sufficient condition to a regular set being of positive measure on RCD spaces, Potential Anal. 51 (2019) 179 | DOI

[55] H Li, Sharp heat kernel bounds and entropy in metric measure spaces, Sci. China Math. 61 (2018) 487 | DOI

[56] P Li, S T Yau, On the parabolic kernel of the Schrödinger operator, Acta Math. 156 (1986) 153 | DOI

[57] Z Li, The globalization theorem for CD(K,N) on locally finite spaces, Ann. Mat. Pura Appl. 203 (2024) 49 | DOI

[58] S Lisini, Characterization of absolutely continuous curves in Wasserstein spaces, Calc. Var. Partial Differential Equations 28 (2007) 85 | DOI

[59] J Lott, C Villani, Weak curvature conditions and functional inequalities, J. Funct. Anal. 245 (2007) 311 | DOI

[60] J Lott, C Villani, Ricci curvature for metric-measure spaces via optimal transport, Ann. of Math. 169 (2009) 903 | DOI

[61] A Mondino, A Naber, Structure theory of metric measure spaces with lower Ricci curvature bounds, J. Eur. Math. Soc. (JEMS) 21 (2019) 1809 | DOI

[62] S I Ohta, On the measure contraction property of metric measure spaces, Comment. Math. Helv. 82 (2007) 805 | DOI

[63] S I Ohta, Finsler interpolation inequalities, Calc. Var. Partial Differential Equations 36 (2009) 211 | DOI

[64] A Petrunin, Alexandrov meets Lott–Villani–Sturm, Münster J. Math. 4 (2011) 53

[65] T Rajala, Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of Sturm, J. Funct. Anal. 263 (2012) 896 | DOI

[66] T Rajala, K T Sturm, Non-branching geodesics and optimal maps in strong CD(K,∞)-spaces, Calc. Var. Partial Differential Equations 50 (2014) 831 | DOI

[67] M K Von Renesse, On local Poincaré via transportation, Math. Z. 259 (2008) 21 | DOI

[68] G Savaré, Self-improvement of the Bakry–Émery condition and Wasserstein contraction of the heat flow in RCD(K,∞) metric measure spaces, Discrete Contin. Dyn. Syst. 34 (2014) 1641 | DOI

[69] G Sosa, The isometry group of an RCD∗ space is Lie, Potential Anal. 49 (2018) 267 | DOI

[70] K T Sturm, On the geometry of metric measure spaces, I, Acta Math. 196 (2006) 65 | DOI

[71] K T Sturm, On the geometry of metric measure spaces, II, Acta Math. 196 (2006) 133 | DOI

[72] C Villani, Optimal transport: old and new, 338, Springer (2009) | DOI