## On the geometry of metric measure spaces. I.(English)Zbl 1105.53035

This is the first of two papers on the geometry of metric measure spaces presenting a concept of lower Ricci curvature bounds. In contrast to lower sectional curvature bounds, which can be defined in terms of the metric structure of a general metric space, a reference measure $$m$$ has to be specified to define lower Ricci curvature bounds. The basic idea of the approach can loosely be described as follows. Given a metric space $$(M,d)$$, we consider the space $${\mathcal P}_2(M)$$ of all probability measures on $$M$$ with the distance $d_W(\mu,\nu)=\inf\left\{\left( \int_{M\times M}d^2(x,y)dq(x,y)\right)^{1/2}: q\;{\text{is a coupling of}}\;\mu\;\text{and}\;\nu \right\},$ that is, $$d_W(\mu,\nu)$$ is the cost of an optimal mass transport between the measures $$\mu$$ and $$\nu$$ with the cost function $$d^2(x,y)$$. Now, fixing a reference measure $$m$$ on $$M$$, we say that the metric measure space $$(M,d,m)$$ has (Ricci) curvature $$\geq K$$ for some $$K\in\mathbb{R}$$ if and only if a relative entropy $$\nu\mapsto \text{ Ent}(\nu| m)$$ is a $$K$$-convex function on $${\mathcal P}_2(M)$$.
In this first paper, a dimension-independent concept of lower Ricci curvature bounds is presented, that is, the relative entropy for $$\nu=\rho m$$ is defined by $\text{ Ent}(\nu| \mu)=\lim_{\varepsilon\searrow 0} \int_{\rho>\varepsilon}\rho\log\rho\, dm.$ The main results of this paper are:
A complete and separable metric D on the family of all isomorphism classes of normalized metric measure spaces is defined via optimal mass transport. It is a length metric. D-convergence is weaker than measured Gromov-Hausdorff convergence. Both are equivalent on each family of compact metric measure spaces with full support and uniform bounds for the doubling constant and the diameter. Each of these families is D-compact;
A notion of lower curvature bound $$\underline{\text{Curv}}(M,d,m)$$ for a metric measure space $$(M,d,m)$$, based on a convexity property of the relative entropy $$\text{Ent}(\cdot\,| m)$$ with respect to the reference measure $$m$$, is introduced. For Riemannian manifolds, $$\underline{\text{Curv}}(M,d,m)\geq K$$ if and only if the Ricci curvature satisfies $$\text{ Ric}_M(\xi,\xi)\geq K| \xi| ^2$$ for all $$\xi\in TM$$. Local lower curvature bounds imply global lower curvature bounds.
Lower curvature bounds are stable under D-convergence, in particular, lower curvature bounds are stable under measured Gromov-Hausdorff convergence. Lower curvature bounds of the form $$\underline{\text{Curv}}(M,d,m)\geq K$$ imply (sharp) estimates for the volume growth of concentric balls in terms of squared exponentially growing functions. These estimates are best possible in general because the concept of lower curvature bounds is dimension-independent. (The second paper treats the finite-dimensional case, where metric measure spaces with more restrictive lower curvature bounds depending on dimension are considered. For such spaces the volume growth of concentric balls holds in precise form of the Bishop-Gromov volume comparison).
Similar results are independently obtained by [J. Lott and C. Villani [Ricci curvature for metric-measure spaces via optimal mass transport, arXive:math.DG/0412127 (to appear in Ann. Math.)] see also a survey by J. Lott [Optimal transport and Ricci curvature for metric-measure spaces, arXive:math.DG/0610154].

### MSC:

 53C23 Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces 28D20 Entropy and other invariants
Full Text:

### References:

  Alexandrov, A.D.: A theorem on triangles in a metric space and some applications. Trudy Mat. Inst. Steklov 38, 5–23 (1951) (Russian; translated into German and com-bined with more material in )  Alexandrov, A.D.: Über eine Verallgemeinerung der Riemannschen Geometrie. Schr. Forschungsinst. Math. Berlin 1, 33–84 (1957)  Ambrosio, L., Tilli, P.: Topics on Analysis in Metric Spaces. Oxford Lecture Series in Mathematics and its Applications, 25. Oxford University Press, Oxford (2004) · Zbl 1080.28001  Bakry, D., Émery, M.: Diffusions hypercontractives. In: Séminaire de Probabilités, XIX, 1983/84. Lecture Notes in Math., 1123, pp. 177–206. Springer, Berlin (1985)  Bobkov, S.G., Götze, F.: Exponential integrability and transportation cost related to logarithmic Sobolev inequalities. J. Funct. Anal. 163, 1–28 (1999) · Zbl 0924.46027  Brenier, Y.: Polar factorization and monotone rearrangement of vector-valued functions. Comm. Pure Appl. Math. 44, 375–417 (1991) · Zbl 0738.46011  Bridson, M.R., Haefliger, A.: Metric Spaces of Non-positive Curvature. Grundlehren der Mathematischen Wissenschaften, 319. Springer, Berlin (1999) · Zbl 0988.53001  Burago, D., Burago, Y., Ivanov, S.: A Course in Metric Geometry. Graduate Studies in Mathematics, 33. Amer. Math. Soc., Providence, RI (2001) · Zbl 0981.51016  Burago, Y., Gromov, M., Perelman, G.: A. D. Aleksandrov spaces with curvatures bounded below. Uspekhi Mat. Nauk 47(2), 3–51 (1992), 222 (Russian); English translation in Russian Math. Surveys 47(2), 1–58 (1992)  Chavel, I.: Riemannian Geometry–a Modern Introduction. Cambridge Tracts in Mathematics, 108. Cambridge University Press, Cambridge (1993) · Zbl 0810.53001  Cheeger, J.: Differentiability of Lipschitz functions on metric measure spaces. Geom.Funct. Anal. 9, 428–517 (1999) · Zbl 0942.58018  Cheeger, J., Colding, T.H.: On the structure of spaces with Ricci curvature bounded below I, II, III. J. Differential Geom. 46, 406–480 (1997); Ibid, 54, 13–35 (2000); Ibid, 54, 37–74 (2000) · Zbl 0902.53034  Cordero-Erausquin, D., McCann, R.J., Schmuckenschläger, M.: A Riemannian interpolation inequality à la Borell, Brascamp and Lieb. Invent. Math. 146, 219–257 (2001) · Zbl 1026.58018  Davies, E.B.: Heat Kernels and Spectral Theory. Cambridge Tracts in Mathematics, 92. Cambridge University Press, Cambridge (1989) · Zbl 0699.35006  Del Pino, M., Dolbeault, J.: Best constants for Gagliardo–Nirenberg inequalities and applications to nonlinear diffusions. J. Math. Pures Appl. 81, 847–875 (2002) · Zbl 1112.35310  Dudley, R. M.: Real Analysis and Probability. Wadsworth & Brooks/Cole, Pacific Grove, CA (1989) · Zbl 0686.60001  Feyel, D., Üstünel, A.S.: Monge–Kantorovitch measure transportation and Monge–Ampère equation on Wiener space. Probab. Theory Related Fields 128, 347–385 (2004) · Zbl 1055.60052  Feyel D., Üstünel, A.S.: The strong solution of the Monge–Ampère equation on the Wiener space for log-concave densities. C. R. Math. Acad. Sci. Paris, 339, 49–53 (2004) · Zbl 1051.60070  Fukaya, K.: Collapsing of Riemannian manifolds and eigenvalues of Laplace operator. Invent. Math. 87, 517–547 (1987) · Zbl 0589.58034  Gromov, M.: Groups of polynomial growth and expanding maps. Inst. Hautes Études Sci. Publ. Math. 53, 53–73 (1981) · Zbl 0474.20018  Gromov, M.: Structures Mètriques pour les Variètès Riemanniennes. Textes Mathèmatiques, 1 · Zbl 0509.53034  Gromov, M.: Metric Structures for Riemannian and non-Riemannian Spaces. Progress in Mathematics, 152. Birkhäuser Boston, Boston, MA, Based on  (1999) · Zbl 0953.53002  Grove, K., Petersen, P.: Manifolds near the boundary of existence. J. Differential Geom. 33, 379–394 (1991) · Zbl 0729.53045  Hajłasz, P., Koskela, P.: Sobolev meets Poincarè. C. R. Acad. Sci. Paris Sèr. I Math. 320, 1211–1215 (1995) · Zbl 0837.46024  Hajłasz, P., Koskela, P.: Sobolev met Poincaré. Mem. Amer. Math. Soc. 145 (2000) · Zbl 0954.46022  Heinonen, J.: Lectures on Analysis on Metric Spaces. Universitext. Springer, New York (2001) · Zbl 0985.46008  Jordan, R., Kinderlehrer, D., Otto, F.: The variational formulation of the Fokker–Planck equation. SIAM J. Math. Anal. 29, 1–17 (1998) · Zbl 0915.35120  Kantorovich, L.V.: On the translocation of masses. C. R. (Doklady) Acad. Sci. URSS 37, 199–201 (1942) · Zbl 0061.09705  Kantorovich, L.V., Rubinshteĭn, G.S.: On a functional space and certain extremum problems. Dokl. Akad. Nauk SSSR 115, 1058–1061 (1957) · Zbl 0081.11501  Kasue, A.: Convergence of Riemannian manifolds and Laplace operators II. Preprint (2004) · Zbl 0806.53048  Kasue, A., Kumura, H.: Spectral convergence of Riemannian manifolds. Tohoku Math. J. 46, 147–179 (1994) · Zbl 0814.53035  Kigami, J.: Analysis on Fractals. Cambridge Tracts in Mathematics, 143. Cambridge Uni-versity Press, Cambridge (2001) · Zbl 0998.28004  Koskela, P.: Upper gradients and Poincaré inequalities. In: Lecture Notes on Analysis in Metric Spaces (Trento, 1999), pp. 55–69. Appunti Corsi Tenuti Docenti Sc. Scuola Norm. Sup., Pisa (2000)  Kuwae, K., Shioya, T.: Convergence of spectral structures: a functional analytic theory and its applications to spectral geometry. Comm. Anal. Geom. 11, 599–673 (2003) · Zbl 1092.53026  Ledoux, M.: The Concentration of Measure Phenomenon. Mathematical Surveys and Monographs, 89. Amer. Math. Soc., Providence, RI (2001)  Li, P., Yau, S.-T.: On the parabolic kernel of the Schrödinger operator. Acta Math. 156, 153–201 (1986) · Zbl 0611.58045  Lott, J., Villani, C.: Ricci curvature for metric-measure spaces via optimal transport. Preprint (2005) · Zbl 1178.53038  McCann, R.J.: Existence and uniqueness of monotone measure-preserving maps. Duke Math. J. 80, 309–323 (1995) · Zbl 0873.28009  McCann, R.J.: A convexity principle for interacting gases. Adv. Math. 128, 153–179 (1997) · Zbl 0901.49012  Monge, G.: Mémoire sur la théorie des déblais et des remblais. In: Histoire de l’Académie Royale des Sciences. Paris (1781)  Otto, F.: The geometry of dissipative evolution equations: the porous medium equation. Comm. Partial Differential Equations 26, 101–174 (2001) · Zbl 0984.35089  Otto, F., Villani, C.: Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality. J. Funct. Anal. 173, 361–400 (2000) · Zbl 0985.58019  Perelman, G.: The entropy formula for the Ricci flow and its geometric applications. Preprint (2002) · Zbl 1130.53001  Plaut, C.: Metric spaces of curvature . In: Handbook of Geometric Topology, pp. 819–898. North-Holland, Amsterdam (2002) · Zbl 1011.57002  Rachev, S.T., Rüschendorf, L.: Mass Transportation Problems. Vol. I. Probability and its Applications (New York). Springer, New York (1998) · Zbl 0990.60500  von Renesse, M.-K., Sturm, K.-T.: Transport inequalities, gradient estimates, entropy, and Ricci curvature. Comm. Pure Appl. Math. 58, 923–940 (2005) · Zbl 1078.53028  Saloff-Coste, L.: Aspects of Sobolev-type Inequalities. London Math. Soc. Lecture Note Series, 289. Cambridge University Press, Cambridge (2002) · Zbl 0991.35002  Sturm, K.-T.: Diffusion processes and heat kernels on metric spaces. Ann. Probab. 26, 1–55 (1998) · Zbl 0936.60074  Sturm, K.-T.: Metric spaces of lower bounded curvature. Exposition. Math. 17, 35–47 (1999) · Zbl 0983.53025  Sturm, K.-T.: Probability measures on metric spaces of nonpositive curvature. In: Heat Kernels and Analysis on Manifolds, Graphs, and Metric Spaces (Paris, 2002), pp. 357–390. Contemp. Math., 338. Amer. Math. Soc., Providence, RI (2003)  Sturm, K.-T.: Convex functionals of probability measures and nonlinear diffusions on manifolds. J. Math. Pures Appl. 84, 149–168 (2005) · Zbl 1259.49074  Sturm, K.-T.: Generalized Ricci bounds and convergence of metric measure spaces. C. R. Math. Acad. Sci. Paris 340, 235–238 (2005) · Zbl 1092.28010  Sturm, K.-T.: On the geometry of metric measure spaces. II. Acta Math. 196, 133–177 (2006) · Zbl 1106.53032  Talagrand, M.: Concentration of measure and isoperimetric inequalities in product spaces. Inst. Hautes Études Sci. Publ. Math., 73–205 (1995) · Zbl 0864.60013  Villani, C.: Topics in Optimal Transportation. Graduate Studies in Mathematics, 58. Amer. Math. Soc., Providence, RI (2003) · Zbl 1106.90001  Wasserstein [Vasershtein], L.N.: Markov processes over denumerable products of spaces describing large system of automata. Problemy Peredači Informacii 5(3), 64–72 (1969) (Russian). English translation in Problems of Information Transmission 5(3), 47–52 (1969)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.