The globalization theorem for the Curvature-Dimension condition

• 成果类型: Article
• 署名作者: Cavalletti, Fabio; Milman, Emanuel
• 署名单位: International School for Advanced Studies (SISSA); Technion Israel Institute of Technology
• 刊物名称: INVENTIONES MATHEMATICAE
• ISSN/ISSBN: 0020-9910
• DOI: 10.1007/s00222-021-01040-6
• 发表日期: 2021
• 页码: 1-137
• 关键词: metric-measure-spaces; to-global property; RICCI CURVATURE; isoperimetric-inequalities; needle decompositions; transport; geometry; sharp; localization

摘要

The Lott-Sturm-Villani Curvature-Dimension condition provides a synthetic notion for ametric-measure space to have Ricci-curvature bounded from below and dimension bounded from above. We prove that it is enough to verify this condition locally: an essentially non-branching metric-measure space (X, d, m) (so that (supp(m), d) is a length-space and m( X) < infinity) verifying the local Curvature-Dimension condition CDloc( K, N) with parameters K is an element of R and N is an element of(1, infinity), also verifies the global Curvature-Dimension condition CD( K, N). In other words, the Curvature-Dimension condition enjoys the globalization (or local-to-global) property, answering a question which had remained open since the beginning of the theory. For the proof, we establish an equivalence between L-1- and L-2-optimal-transport-based interpolation. The challenge is not merely a technical one, and several new conceptual ingredients which are of independent interest are developed: an explicit change-of-variables formula for densities of Wasserstein geodesics depending on a second-order temporal derivative of associated Kantorovich potentials; a surprising third-order theory for the latter Kantorovich potentials, which holds in complete generality on any proper geodesic space; and a certain rigidity property of the change-of-variables formula, allowing us to bootstrap the a-priori available regularity. As a consequence, numerous variants of the Curvature-Dimension condition proposed by various authors throughout the years are shown to, in fact, all be equivalent in the above setting, thereby unifying the theory.