Showing 1–39 of 39 results for author: Cavalletti, F

On the geometry of synthetic null hypersurfaces

Authors: Fabio Cavalletti, Davide Manini, Andrea Mondino

Abstract: This paper develops a synthetic framework for the geometric and analytic study of null (lightlike) hypersurfaces in non-smooth spacetimes. Drawing from optimal transport and recent advances in Lorentzian geometry and causality theory, we define a synthetic null hypersurface as a triple $(H, G, \mathfrak{m})$: $H$ is a closed achronal set in a topological causal space, $G$ is a gauge function encod… ▽ More This paper develops a synthetic framework for the geometric and analytic study of null (lightlike) hypersurfaces in non-smooth spacetimes. Drawing from optimal transport and recent advances in Lorentzian geometry and causality theory, we define a synthetic null hypersurface as a triple $(H, G, \mathfrak{m})$: $H$ is a closed achronal set in a topological causal space, $G$ is a gauge function encoding affine parametrizations along null generators, and $\mathfrak{m}$ is a Radon measure serving as a synthetic analog of the rigged measure. This generalizes classical differential geometric structures to potentially singular spacetimes. A central object is the synthetic null energy condition ($\mathsf{NC}^e(N)$), defined via the concavity of an entropy power functional along optimal transport, with parametrization given by the gauge $G$. This condition is invariant under changes of gauge and measure within natural equivalence classes. It agrees with the classical Null Energy Condition in the smooth setting and it applies to low-regularity spacetimes. A key property of $\mathsf{NC}^e(N)$ is the stability under convergence of synthetic null hypersurfaces, inspired by measured Gromov--Hausdorff convergence. As a first application, we obtain a synthetic version of Hawking's area theorem. Moreover, we obtain various sharpenings of the celebrated Penrose's singularity theorem: for smooth spacetimes we show that the incomplete null geodesic whose existence is guaranteed by Penrose's argument is actually maximizing; we extend Penrose's singularity theorem to continuous spacetimes; we prove the existence of trapped regions in the general setting of topological causal spaces satisfying the synthetic $\mathsf{NC}^e(N)$. △ Less

Submitted 5 June, 2025; originally announced June 2025.

Comments: 52 pages

MSC Class: 53C50 (primary) 83C75; 49Q22; 53C23 (secondary)

Optimal transport on null hypersurfaces and the null energy condition

Authors: Fabio Cavalletti, Davide Manini, Andrea Mondino

Abstract: The goal of the present work is to study optimal transport on null hypersurfaces inside Lorentzian manifolds. The challenge here is that optimal transport along a null hypersurface is completely degenerate, as the cost takes only the two values $0$ and $+\infty$. The tools developed in the manuscript enable to give an optimal transport characterization of the null energy condition (namely, non-n… ▽ More The goal of the present work is to study optimal transport on null hypersurfaces inside Lorentzian manifolds. The challenge here is that optimal transport along a null hypersurface is completely degenerate, as the cost takes only the two values $0$ and $+\infty$. The tools developed in the manuscript enable to give an optimal transport characterization of the null energy condition (namely, non-negative Ricci curvature in the null directions) for Lorentzian manifolds in terms of convexity properties of the Boltzmann--Shannon entropy along null-geodesics of probability measures. We obtain as applications: a stability result under convergence of spacetimes, a comparison result for null-cones, and the Hawking area theorem (both in sharp form, for possibly weighted measures, and with apparently new rigidity statements). △ Less

Submitted 16 May, 2025; v1 submitted 16 August, 2024; originally announced August 2024.

Comments: 52 pages. Final version, to appear in "Communications in Mathematical Physics"

MSC Class: 83C05 (primary) 49Q22 (secondary)

A sharp isoperimetric-type inequality for Lorentzian spaces satisfying timelike Ricci lower bounds

Authors: Fabio Cavalletti, Andrea Mondino

Abstract: The paper establishes a sharp and rigid isoperimetric-type inequality in Lorentzian signature under the assumption of Ricci curvature bounded below in the timelike directions. The inequality is proved in the high generality of Lorentzian pre-length spaces satisfying timelike Ricci lower bounds in a synthetic sense via optimal transport, the so-called $\mathsf{TCD}^e_p(K,N)$ spaces. The results are… ▽ More The paper establishes a sharp and rigid isoperimetric-type inequality in Lorentzian signature under the assumption of Ricci curvature bounded below in the timelike directions. The inequality is proved in the high generality of Lorentzian pre-length spaces satisfying timelike Ricci lower bounds in a synthetic sense via optimal transport, the so-called $\mathsf{TCD}^e_p(K,N)$ spaces. The results are new already for smooth Lorentzian manifolds. Applications include an upper bound on the area of achronal hypersurfaces inside the interior of a black hole (original already in Schwarzschild) and an upper bound on the area of achronal hypersurfaces in cosmological spacetimes. △ Less

Submitted 3 February, 2025; v1 submitted 8 January, 2024; originally announced January 2024.

Comments: Improved both the results and the presentation. 53 pages

A proof of the Hamiltonian Thom Isotopy Lemma

Authors: Paolo Antonini, Fabio Cavalletti, Antonio Lerario

Abstract: In this note we present a complete proof of the fact that all the submanifolds of a one parameter family of compact symplectic submanifolds inside a compact symplectic manifold are Hamiltonian isotopic. In this note we present a complete proof of the fact that all the submanifolds of a one parameter family of compact symplectic submanifolds inside a compact symplectic manifold are Hamiltonian isotopic. △ Less

Submitted 13 July, 2023; originally announced July 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2212.10274

MSC Class: 53D05

Optimal transport between algebraic hypersurfaces

Authors: Paolo Antonini, Fabio Cavalletti, Antonio Lerario

Abstract: What is the optimal way to deform a projective hypersurface into another one? In this paper we will answer this question adopting the point of view of measure theory, introducing the optimal transport problem between complex algebraic projective hypersurfaces. First, a natural topological embedding of the space of hypersurfaces of a given degree into the space of measures on the projective space… ▽ More What is the optimal way to deform a projective hypersurface into another one? In this paper we will answer this question adopting the point of view of measure theory, introducing the optimal transport problem between complex algebraic projective hypersurfaces. First, a natural topological embedding of the space of hypersurfaces of a given degree into the space of measures on the projective space is constructed. Then, the optimal transport problem between hypersurfaces is defined through a constrained dynamical formulation, minimizing the energy of absolutely continuous curves which lie on the image of this embedding. In this way an inner Wasserstein distance on the projective space of homogeneous polynomials is introduced. This distance is finer than the Fubini-Study one. The innner Wasserstein distance is complete and geodesic: geodesics corresponds to optimal deformations of one algebraic hypersurface into another one. Outside the discriminant this distance is induced by a smooth Riemannian metric, which is the real part of an explicit Hermitian structure. Moreover, this Hermitian structure is Kähler and the corresponding metric is of Weil-Petersson type. To prove these results we develop new techniques, which combine complex and symplectic geometry with optimal transport, and which we expect to be relevant on their own. We discuss applications on the regularity of the zeroes of a family of multivariate polynomials and on the condition number of polynomial systems solving. △ Less

Submitted 16 July, 2023; v1 submitted 20 December, 2022; originally announced December 2022.

Comments: The main differences between the current version and the previous one are: 1. there are some new results on the Kähler property of the Wasserstein metric and the fact that it is a Weil-Petersson type metric; 2. the proof of the Hamiltonian Thom's Isotopy Lemma has been moved to a separate note (arXiv:2307.06826)

Rigidities of Isoperimetric inequality under nonnegative Ricci curvature

Authors: Fabio Cavalletti, Davide Manini

Abstract: The sharp isoperimetric inequality for non-compact Riemannian manifolds with non-negative Ricci curvature and Euclidean volume growth has been obtained in increasing generality with different approaches in a number of contributions [arXiv:1812.05022, arXiv:2012.09490, arXiv:2009.13717, arXiv:2103.08496] culminated by Balogh and Kristaly [arXiv:2012.11862] covering also m.m.s.'s verifying the non-n… ▽ More The sharp isoperimetric inequality for non-compact Riemannian manifolds with non-negative Ricci curvature and Euclidean volume growth has been obtained in increasing generality with different approaches in a number of contributions [arXiv:1812.05022, arXiv:2012.09490, arXiv:2009.13717, arXiv:2103.08496] culminated by Balogh and Kristaly [arXiv:2012.11862] covering also m.m.s.'s verifying the non-negative Ricci curvature condition in the synthetic sense of Lott, Sturm and Villani. In sharp contrast with the compact case of positive Ricci curvature, for a large class of spaces including weighted Riemannian manifolds, no complete characterisation of the equality cases is present in the literature. The scope of this note is to settle this problem by proving, in the same generality of [arXiv:2012.11862], that the equality in the isoperimetric inequality can be attained only by metric balls. Whenever this happens the space is forced, in a measure theoretic sense, to be a cone. Our result applies to different frameworks yielding as corollaries new rigidity results: it extend to weighted Riemannian manifold the rigidity results of [arXiv:2009.13717], it extend to general $\mathsf{RCD}$ spaces the rigidity results of [arXiv:2201.04916] and finally applies also to the Euclidean setting by proving that that optimisers in the anisotropic and weighted isoperimetric inequality for Euclidean cones are necessarily the Wulff shapes. △ Less

Submitted 7 August, 2024; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: 49 pages; minor corrections; add Remark 1.6

MSC Class: 53C23 (primary) 58E99; 49Q22 (secondary)

A review of Lorentzian synthetic theory of timelike Ricci curvature bounds

Authors: Fabio Cavalletti, Andrea Mondino

Abstract: The scope of this survey is to give a self-contained introduction to synthetic timelike Ricci curvature bounds for (possibly non-smooth) Lorentzian spaces via optimal transport $\&$ entropy tools, including a synthetic version of Hawking's singularity theorem and a synthetic characterisation of Einstein's vacuum equations. We will also discuss some motivations arising from the smooth world and som… ▽ More The scope of this survey is to give a self-contained introduction to synthetic timelike Ricci curvature bounds for (possibly non-smooth) Lorentzian spaces via optimal transport $\&$ entropy tools, including a synthetic version of Hawking's singularity theorem and a synthetic characterisation of Einstein's vacuum equations. We will also discuss some motivations arising from the smooth world and some possible directions for future research. △ Less

Submitted 29 October, 2022; v1 submitted 28 April, 2022; originally announced April 2022.

Comments: Final version, published in "General Relativity and Gravitation", special issue in honour of Roger Penrose. arXiv admin note: text overlap with arXiv:2004.08934

Journal ref: Gen. Relativity Gravitation 54 (2022), no. 11, Paper No. 137

Isoperimetric inequality in noncompact MCP spaces

Authors: Fabio Cavalletti, Davide Manini

Abstract: We prove a sharp isoperimetric inequality for the class of metric measure spaces verifying the synthetic Ricci curvature lower bounds $MCP(0,N)$ and having Euclidean volume growth at infinity. We avoid the classical use of the Brunn-Minkowski inequality, not available for $MCP(0,N)$, and of the PDE approach, not available in the singular setting. Our approach will be carried over by using a scalin… ▽ More We prove a sharp isoperimetric inequality for the class of metric measure spaces verifying the synthetic Ricci curvature lower bounds $MCP(0,N)$ and having Euclidean volume growth at infinity. We avoid the classical use of the Brunn-Minkowski inequality, not available for $MCP(0,N)$, and of the PDE approach, not available in the singular setting. Our approach will be carried over by using a scaling limit of localisation. △ Less

Submitted 11 November, 2021; v1 submitted 14 October, 2021; originally announced October 2021.

Comments: 11 pages; proof of main inequality and theorem 3.2 corrected; minor typos corrected

Geometry of Grassmannians and optimal transport of quantum states

Authors: Paolo Antonini, Fabio Cavalletti

Abstract: Let $\mathsf{H}$ be a separable Hilbert space. We prove that the Grassmannian $\mathsf{P}_c(\mathsf{H})$ of the finite dimensional subspaces of $\mathsf{H}$ is an Alexandrov space of nonnegative curvature and we employ its metric geometry to develop the theory of optimal transport for the normal states of the von Neumann algebra of linear and bounded operators $\mathsf{B}(\mathsf{H})$. Seeing dens… ▽ More Let $\mathsf{H}$ be a separable Hilbert space. We prove that the Grassmannian $\mathsf{P}_c(\mathsf{H})$ of the finite dimensional subspaces of $\mathsf{H}$ is an Alexandrov space of nonnegative curvature and we employ its metric geometry to develop the theory of optimal transport for the normal states of the von Neumann algebra of linear and bounded operators $\mathsf{B}(\mathsf{H})$. Seeing density matrices as discrete probability measures on $\mathsf{P}_c(\mathsf{H})$ (via the spectral theorem) we define an optimal transport cost and the Wasserstein distance for normal states. In particular we obtain a cost which induces the $w^*$-topology. Our construction is compatible with the quantum mechanics approach of composite systems as tensor products $\mathsf{H}\otimes \mathsf{H}$. We provide indeed an interpretation of the pure normal states of $\mathsf{B}(\mathsf{H}\otimes \mathsf{H})$ as families of transport maps. This also defines a Wasserstein cost for the pure normal states of $\mathsf{B}(\mathsf{H}\otimes \mathsf{H})$, reconciling with our proposal. △ Less

Submitted 6 April, 2021; originally announced April 2021.

Indeterminacy estimates and the size of nodal sets in singular spaces

Authors: Fabio Cavalletti, Sara Farinelli

Abstract: We obtain the sharp version of the uncertainty principle recently introduced in [47], and improved by [13], relating the size of the zero set of a continuous function having zero mean and the optimal transport cost between the mass of the positive part and the negative one. The result is actually valid for the wide family of metric measure spaces verifying a synthetic lower bound on the Ricci curv… ▽ More We obtain the sharp version of the uncertainty principle recently introduced in [47], and improved by [13], relating the size of the zero set of a continuous function having zero mean and the optimal transport cost between the mass of the positive part and the negative one. The result is actually valid for the wide family of metric measure spaces verifying a synthetic lower bound on the Ricci curvature, namely the MCP(K,N) or CD(K,N) condition, thus also extending the scope beyond the smooth setting of Riemannian manifolds. Applying the uncertainty principle to eigenfunctions of the Laplacian in possibly non-smooth spaces, we obtain new lower bounds on the size of their nodal sets in terms of the eigenvalues. Those cases where the Laplacian is possibly non-linear are also covered and applications to linear combinations of eigenfunctions of the Laplacian are derived. To the best of our knowledge, no previous results were known for non-smooth spaces. △ Less

Submitted 11 January, 2021; v1 submitted 9 November, 2020; originally announced November 2020.

Independence of synthetic Curvature Dimension conditions on transport distance exponent

Authors: Afiny Akdemir, Fabio Cavalletti, Andrew Colinet, Robert McCann, Flavia Santarcangelo

Abstract: The celebrated Lott-Sturm-Villani theory of metric measure spaces furnishes synthetic notions of a Ricci curvature lower bound $K$ joint with an upper bound $N$ on the dimension. Their condition, called the Curvature-Dimension condition and denoted by $\mathrm{CD}(K,N)$, is formulated in terms of a modified displacement convexity of an entropy functional along $W_{2}$-Wasserstein geodesics. We sho… ▽ More The celebrated Lott-Sturm-Villani theory of metric measure spaces furnishes synthetic notions of a Ricci curvature lower bound $K$ joint with an upper bound $N$ on the dimension. Their condition, called the Curvature-Dimension condition and denoted by $\mathrm{CD}(K,N)$, is formulated in terms of a modified displacement convexity of an entropy functional along $W_{2}$-Wasserstein geodesics. We show that the choice of the squared-distance function as transport cost does not influence the theory. By denoting with $\mathrm{CD}_{p}(K,N)$ the analogous condition but with the cost as the $p^{th}$ power of the distance, we show that $\mathrm{CD}_{p}(K,N)$ are all equivalent conditions for any $p>1$ -- at least in spaces whose geodesics do not branch. We show that the trait d'union between all the seemingly unrelated $\mathrm{CD}_{p}(K,N)$ conditions is the needle decomposition or localization technique associated to the $L^{1}$-optimal transport problem. We also establish the local-to-global property of $\mathrm{CD}_{p}(K,N)$ spaces. △ Less

Submitted 21 July, 2020; originally announced July 2020.

Journal ref: Trans. Amer. Math. Soc. 374 (2021) 5877-5923

Displacement convexity of Entropy and the distance cost Optimal Transportation

Authors: Fabio Cavalletti, Nicola Gigli, Flavia Santarcangelo

Abstract: During the last decade Optimal Transport had a relevant role in the study of geometry of singular spaces that culminated with the Lott-Sturm-Villani theory. The latter is built on the characterisation of Ricci curvature lower bounds in terms of displacement convexity of certain entropy functionals along $W_{2}$-geodesics. Substantial recent advancements in the theory (localization paradigm and loc… ▽ More During the last decade Optimal Transport had a relevant role in the study of geometry of singular spaces that culminated with the Lott-Sturm-Villani theory. The latter is built on the characterisation of Ricci curvature lower bounds in terms of displacement convexity of certain entropy functionals along $W_{2}$-geodesics. Substantial recent advancements in the theory (localization paradigm and local-to-global property) have been obtained considering the different point of view of $L^1$-Optimal transport problems yielding a different curvature dimension $\mathsf{CD}^{1}(K,N)$ [8] formulated in terms of one-dimensional curvature properties of integral curves of Lipschitz maps. In this note we show that the two approaches produce the same curvature-dimension condition reconciling the two definitions. In particular we show that the $\mathsf{CD}^{1}(K,N)$ condition can be formulated in terms of displacement convexity along $W_{1}$-geodesics. △ Less

Submitted 1 May, 2020; originally announced May 2020.

Comments: Comments are welcome

Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications

Authors: Fabio Cavalletti, Andrea Mondino

Abstract: The goal of the present work is three-fold. The first goal is to set foundational results on optimal transport in Lorentzian (pre-)length spaces, including cyclical monotonicity, stability of optimal couplings and Kantorovich duality (several results are new even for smooth Lorentzian manifolds). The second one is to give a synthetic notion of ``timelike Ricci curvature bounded below and dimen… ▽ More The goal of the present work is three-fold. The first goal is to set foundational results on optimal transport in Lorentzian (pre-)length spaces, including cyclical monotonicity, stability of optimal couplings and Kantorovich duality (several results are new even for smooth Lorentzian manifolds). The second one is to give a synthetic notion of ``timelike Ricci curvature bounded below and dimension bounded above'' for a measured Lorentzian pre-length space using optimal transport. The key idea being to analyse convexity properties of Entropy functionals along future directed timelike geodesics of probability measures. This notion is proved to be stable under a suitable weak convergence of measured Lorentzian pre-length spaces, giving a glimpse on the strength of the approach we propose. The third goal is to draw applications, most notably extending volume comparisons and Hawking singularity Theorem (in sharp form) to the synthetic setting. The framework of Lorentzian pre-length spaces includes as remarkable classes of examples: space-times endowed with a causally plain (or, more strongly, locally Lipschitz) continuous Lorentzian metric, closed cone structures, some approaches to quantum gravity. △ Less

Submitted 26 September, 2023; v1 submitted 19 April, 2020; originally announced April 2020.

Comments: 74 pages. Improved exposition, in particular in Sections 2.5 and 3.3. Final version accepted in Cambridge Journal of Mathematics

Journal ref: Cambridge Journal of Mathematics, Volume 12, Number 2, 417-534, 2024

Quantitative Obata's Theorem

Authors: Fabio Cavalletti, Andrea Mondino, Daniele Semola

Abstract: We prove a quantitative version of Obata's Theorem involving the shape of functions with null mean value when compared with the cosine of distance functions from single points. The deficit between the diameters of the manifold and of the corresponding sphere is bounded likewise. These results are obtained in the general framework of (possibly non-smooth) metric measure spaces with curvature-dimens… ▽ More We prove a quantitative version of Obata's Theorem involving the shape of functions with null mean value when compared with the cosine of distance functions from single points. The deficit between the diameters of the manifold and of the corresponding sphere is bounded likewise. These results are obtained in the general framework of (possibly non-smooth) metric measure spaces with curvature-dimension conditions through a quantitative analysis of the transport-rays decompositions obtained by the localization method. △ Less

Submitted 1 February, 2022; v1 submitted 15 October, 2019; originally announced October 2019.

Comments: 38 pages. Final version to appear in Analysis and PDEs

Journal ref: Analysis & PDE 16 (2023) 1389-1431

Isoperimetric inequality under Measure-Contraction property

Authors: Fabio Cavalletti, Flavia Santarcangelo

Abstract: We prove that if $(X,\mathsf d,\mathfrak m)$ is an essentially non-branching metric measure space with $\mathfrak m(X)=1$, having Ricci curvature bounded from below by $K$ and dimension bounded from above by $N \in (1,\infty)$, understood as a synthetic condition called Measure-Contraction property, then a sharp isoperimetric inequality à la Lévy-Gromov holds true. Measure theoretic rigidity is al… ▽ More We prove that if $(X,\mathsf d,\mathfrak m)$ is an essentially non-branching metric measure space with $\mathfrak m(X)=1$, having Ricci curvature bounded from below by $K$ and dimension bounded from above by $N \in (1,\infty)$, understood as a synthetic condition called Measure-Contraction property, then a sharp isoperimetric inequality à la Lévy-Gromov holds true. Measure theoretic rigidity is also obtained. △ Less

Submitted 26 October, 2018; originally announced October 2018.

An overview of L1 Optimal Transportation on metric measure spaces

Authors: Fabio Cavalletti

Abstract: The scope of this note is to make a self-contained survey of the recent developments and achievements of the theory of L1-Optimal Transportation on metric measure spaces. Among the results proved in the recent papers [20, 21] where the author, together with A. Mondino, proved a series of sharp (and in some cases rigid) geometric and functional inequalities in the setting of metric measure spaces e… ▽ More The scope of this note is to make a self-contained survey of the recent developments and achievements of the theory of L1-Optimal Transportation on metric measure spaces. Among the results proved in the recent papers [20, 21] where the author, together with A. Mondino, proved a series of sharp (and in some cases rigid) geometric and functional inequalities in the setting of metric measure spaces enjoying a weak form of Ricci curvature lower bound, we review the proof of the Lévy-Gromov isoperimetric inequality. △ Less

Submitted 13 September, 2018; originally announced September 2018.

Comments: Chapter of "Measure Theory in Non-Smooth Spaces", De Gruyter, Ed. Nicola Gigli

New formulas for the Laplacian of distance functions and applications

Authors: Fabio Cavalletti, Andrea Mondino

Abstract: The goal of the paper is to prove an exact representation formula for the Laplacian of the distance (and more generally for an arbitrary 1-Lipschitz function) in the framework of metric measure spaces satisfying Ricci curvature lower bounds in a synthetic sense (more precisely in essentially non-branching MCP(K,N)-spaces). Such a representation formula makes apparent the classical upper bounds and… ▽ More The goal of the paper is to prove an exact representation formula for the Laplacian of the distance (and more generally for an arbitrary 1-Lipschitz function) in the framework of metric measure spaces satisfying Ricci curvature lower bounds in a synthetic sense (more precisely in essentially non-branching MCP(K,N)-spaces). Such a representation formula makes apparent the classical upper bounds and also some new lower bounds, together with a precise description of the singular part. The exact representation formula for the Laplacian of 1-Lipschitz functions (in particular for distance functions) holds also (and seems new) in a general complete Riemannian manifold. We apply these results to prove the equivalence of CD(K,N) and a dimensional Bochner inequality on signed distance functions. Moreover we obtain a measure-theoretic Splitting Theorem for infinitesimally Hilbertian essentially non-branching spaces verifying MCP(0,N). △ Less

Submitted 28 December, 2019; v1 submitted 26 March, 2018; originally announced March 2018.

Comments: Final version to appear in Analysis and PDE

Journal ref: Analysis & PDE 13 (2020) 2091-2147

Quantitative isoperimetry à la Levy-Gromov

Authors: F. Cavalletti, F. Maggi, A. Mondino

Abstract: On a Riemannian manifold with a positive lower bound on the Ricci tensor, the distance of isoperimetric sets from geodesic balls is quantitatively controlled in terms of the gap between the isoperimetric profile of the manifold and that of a round sphere of suitable radius. The deficit between the diameters of the manifold and of the corresponding sphere is bounded likewise. These results are actu… ▽ More On a Riemannian manifold with a positive lower bound on the Ricci tensor, the distance of isoperimetric sets from geodesic balls is quantitatively controlled in terms of the gap between the isoperimetric profile of the manifold and that of a round sphere of suitable radius. The deficit between the diameters of the manifold and of the corresponding sphere is bounded likewise. These results are actually obtained in the more general context of (possibly non-smooth) metric measure spaces with curvature-dimension conditions through a quantitative analysis of the transport-rays decompositions obtained by the localization method. △ Less

Submitted 12 July, 2018; v1 submitted 13 July, 2017; originally announced July 2017.

Comments: 31 pages. Final version to appear in Comm. Pure Applied Math. From the previous version, we added some more background in the introduction and updated the bibliography

Journal ref: Comm. Pure Appl. Math., Vol. 72 (2019), no. 8, 1631--1677

Almost euclidean Isoperimetric Inequalities in spaces satisfying local Ricci curvature lower bounds

Authors: Fabio Cavalletti, Andrea Mondino

Abstract: Motivated by Perelman's Pseudo Locality Theorem for the Ricci flow, we prove that if a Riemannian manifold has Ricci curvature bounded below in a metric ball which moreover has almost maximal volume, then in a smaller ball (in a quantified sense) it holds an almost-euclidean isoperimetric inequality. The result is actually established in the more general framework of non-smooth spaces satisfying l… ▽ More Motivated by Perelman's Pseudo Locality Theorem for the Ricci flow, we prove that if a Riemannian manifold has Ricci curvature bounded below in a metric ball which moreover has almost maximal volume, then in a smaller ball (in a quantified sense) it holds an almost-euclidean isoperimetric inequality. The result is actually established in the more general framework of non-smooth spaces satisfying local Ricci curvature lower bounds in a synthetic sense via optimal transportation. △ Less

Submitted 18 April, 2018; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: 22 pages. Final version published by Int. Math. Res. Not. (IMRN)

Journal ref: Int. Math. Res. Not. IMRN, Vol 2020, no. 5, 1481--1510

The Globalization Theorem for the Curvature Dimension Condition

Authors: Fabio Cavalletti, Emanuel Milman

Abstract: The Lott-Sturm-Villani Curvature-Dimension condition provides a synthetic notion for a metric-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,{\mathsf d},{\mathfrak m})$ (so that $(\text{supp} \; {\mathfrak m},{\mathsf d})$ is a length-space… ▽ More The Lott-Sturm-Villani Curvature-Dimension condition provides a synthetic notion for a metric-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,{\mathsf d},{\mathfrak m})$ (so that $(\text{supp} \; {\mathfrak m},{\mathsf d})$ is a length-space and ${\mathfrak m}(X) < \infty$) verifying the local Curvature-Dimension condition $\mathsf{CD}_{loc}(K,N)$ with parameters $K \in \mathbb{R}$ and $N \in (1,\infty)$, also verifies the global Curvature-Dimension condition $\mathsf{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. △ Less

Submitted 24 February, 2021; v1 submitted 22 December, 2016; originally announced December 2016.

Comments: 92 pages; polished the introduction, added some heuristic arguments to provide insight, and corrected typos. To appear in Inventiones Mathematicae

Rigidity for critical points in the Levy-Gromov inequality

Authors: Fabio Cavalletti, Francesco Maggi, Andrea Mondino

Abstract: The Levy-Gromov inequality states that round spheres have the least isoperimetric profile (normalized by total volume) among Riemannian manifolds with a fixed positive lower bound on the Ricci tensor. In this note we study critical metrics corresponding to the Levy-Gromov inequality and prove that, in two-dimensions, this criticality condition is quite rigid, as it characterizes round spheres and… ▽ More The Levy-Gromov inequality states that round spheres have the least isoperimetric profile (normalized by total volume) among Riemannian manifolds with a fixed positive lower bound on the Ricci tensor. In this note we study critical metrics corresponding to the Levy-Gromov inequality and prove that, in two-dimensions, this criticality condition is quite rigid, as it characterizes round spheres and projective planes. △ Less

Submitted 13 December, 2016; originally announced December 2016.

Comments: 5 pages

Journal ref: Math. Z., Vol. 289, (2018), no. 3-4, 1191--1197

Isoperimetric inequalities for finite perimeter sets under lower Ricci curvature bounds

Authors: Fabio Cavalletti, Andrea Mondino

Abstract: We prove that the results regarding the Isoperimetric inequality and Cheeger constant formulated in terms of the Minkowski content, obtained by the authors in previous papers in the framework of essentially non-branching metric measure spaces verifying the local curvature dimension condition, also hold in the stronger formulation in terms of the perimeter. We prove that the results regarding the Isoperimetric inequality and Cheeger constant formulated in terms of the Minkowski content, obtained by the authors in previous papers in the framework of essentially non-branching metric measure spaces verifying the local curvature dimension condition, also hold in the stronger formulation in terms of the perimeter. △ Less

Submitted 16 January, 2018; v1 submitted 17 October, 2016; originally announced October 2016.

Comments: 13 pages, final version to appear in Rend. Lincei Mat. Appl. arXiv admin note: text overlap with arXiv:1505.02061

Journal ref: Rendiconti Lincei Matematica Applicazioni, Volume 29, Issue 3, 2018, pp. 413-430

Optimal maps in essentially non-branching spaces

Authors: Fabio Cavalletti, Andrea Mondino

Abstract: In this note we prove that in a metric measure space $(X, d, m)$ verifying the measure contraction property with parameters $K \in \mathbb{R}$ and $1< N< \infty$, any optimal transference plan between two marginal measures is induced by an optimal map, provided the first marginal is absolutely continuous with respect to $m$ and the space itself is essentially non-branching. In particular this show… ▽ More In this note we prove that in a metric measure space $(X, d, m)$ verifying the measure contraction property with parameters $K \in \mathbb{R}$ and $1< N< \infty$, any optimal transference plan between two marginal measures is induced by an optimal map, provided the first marginal is absolutely continuous with respect to $m$ and the space itself is essentially non-branching. In particular this shows that there exists a unique transport plan and it is induced by a map. △ Less

Submitted 21 February, 2017; v1 submitted 2 September, 2016; originally announced September 2016.

Comments: Final version to appear in Communications in Contemporary Mathematics

Journal ref: Commun. Contemp. Math., Vol. 19, (2017), no. 6, 1750007, 27 pp

Sharp geometric and functional inequalities in metric measure spaces with lower Ricci curvature bounds

Authors: Fabio Cavalletti, Andrea Mondino

Abstract: For metric measure spaces verifying the reduced curvature-dimension condition $CD^*(K,N)$ we prove a series of sharp functional inequalities under the additional assumption of essentially non-branching. Examples of spaces entering this framework are (weighted) Riemannian manifolds satisfying lower Ricci curvature bounds and their measured Gromov Hausdorff limits, Alexandrov spaces satisfying lower… ▽ More For metric measure spaces verifying the reduced curvature-dimension condition $CD^*(K,N)$ we prove a series of sharp functional inequalities under the additional assumption of essentially non-branching. Examples of spaces entering this framework are (weighted) Riemannian manifolds satisfying lower Ricci curvature bounds and their measured Gromov Hausdorff limits, Alexandrov spaces satisfying lower curvature bounds and more generally $RCD^*(K,N)$-spaces, Finsler manifolds endowed with a strongly convex norm and satisfying lower Ricci curvature bounds, etc. In particular we prove Brunn-Minkowski inequality, $p$-spectral gap (or equivalently $p$-Poincaré inequality) for any $p\in [1,\infty)$, log-Sobolev inequality, Talagrand inequality and finally Sobolev inequality. All the results are proved in a sharp form involving an upper bound on the diameter of the space; if this extra sharpening is suppressed, all the previous inequalities for essentially non-branching $CD^*(K,N)$ spaces take the same form of the corresponding ones holding for a weighted Riemannian manifold verifying curvature-dimension condition $CD(K,N)$ in the sense of Bakry-Émery. In this sense inequalities are sharp. We also discuss the rigidity and almost rigidity statements associated to the $p$-spectral gap. Finally let us mention that for essentially non-branching metric measure spaces, the local curvature-dimension condition $CD_{loc}(K,N)$ is equivalent to the reduced curvature-dimension condition $CD^*(K,N)$. Therefore we also have shown that sharp Brunn-Minkowski inequality in the \emph{global} form can be deduced from the \emph{local} curvature-dimension condition, providing a step towards (the long-standing problem of) globalization for the curvature-dimension condition $CD(K,N)$. △ Less

Submitted 12 April, 2016; v1 submitted 8 May, 2015; originally announced May 2015.

Comments: accepted for publication "Geom. Topol." arXiv admin note: text overlap with arXiv:1502.06465

Journal ref: Geometry and Topology, Volume 21, (2017) 603-645

Tangent lines and Lipschitz differentiability spaces

Authors: Fabio Cavalletti, Tapio Rajala

Abstract: We study the existence of tangent lines, i.e. subsets of the tangent space isometric to the real line, in tangent spaces of metric spaces. We first revisit the almost everywhere metric differentiability of Lipschitz continuous curves. We then show that any blow-up done at a point of metric differentiability and of density one for the domain of the curve gives a tangent line. Metric differentiabi… ▽ More We study the existence of tangent lines, i.e. subsets of the tangent space isometric to the real line, in tangent spaces of metric spaces. We first revisit the almost everywhere metric differentiability of Lipschitz continuous curves. We then show that any blow-up done at a point of metric differentiability and of density one for the domain of the curve gives a tangent line. Metric differentiability enjoys a Borel measurability property and this will permit us to use it in the framework of Lipschitz differentiability spaces. We show that any tangent space of a Lipschitz differentiability space contains at least $n$ distinct tangent lines, obtained as the blow-up of $n$ Lipschitz curves, where $n$ is the dimension of the local measurable chart. Under additional assumptions on the space, such as curvature lower bounds, these $n$ distinct tangent lines span an $n$-dimensional part of the tangent space. △ Less

Submitted 29 April, 2015; v1 submitted 3 March, 2015; originally announced March 2015.

Comments: 16 pages

Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds

Authors: Fabio Cavalletti, Andrea Mondino

Abstract: We prove that if $(X,\mathsf{d},\mathfrak{m})$ is a metric measure space with $\mathfrak{m}(X)=1$ having (in a synthetic sense) Ricci curvature bounded from below by $K>0$ and dimension bounded above by $N\in [1,\infty)$, then the classic Lévy-Gromov isoperimetric inequality (together with the recent sharpening counterparts proved in the smooth setting by E. Milman for any $K\in \mathbb{R}$,… ▽ More We prove that if $(X,\mathsf{d},\mathfrak{m})$ is a metric measure space with $\mathfrak{m}(X)=1$ having (in a synthetic sense) Ricci curvature bounded from below by $K>0$ and dimension bounded above by $N\in [1,\infty)$, then the classic Lévy-Gromov isoperimetric inequality (together with the recent sharpening counterparts proved in the smooth setting by E. Milman for any $K\in \mathbb{R}$, $N\geq 1$ and upper diameter bounds) hold, i.e. the isoperimetric profile function of $(X,\mathsf{d},\mathfrak{m})$ is bounded from below by the isoperimetric profile of the model space. Moreover, if equality is attained for some volume $v \in (0,1)$ and $K$ is strictly positive, then the space must be a spherical suspension and in this case we completely classify the isoperimetric regions. Finally we also establish the almost rigidity: if the equality is almost attained for some volume $v \in (0,1)$ and $K$ is strictly positive, then the space must be mGH close to a spherical suspension. To our knowledge this is the first result about isoperimetric comparison for non smooth metric measure spaces satisfying Ricci curvature lower bounds. Examples of spaces fitting our assumptions include measured Gromov-Hausdorff limits of Riemannian manifolds satisfying Ricci curvature lower bounds and Alexandrov spaces with curvature bounded from below; the result seems new even in these celebrated classes of spaces. △ Less

Submitted 24 October, 2016; v1 submitted 23 February, 2015; originally announced February 2015.

Comments: Final version, to appear in Inventiones Mathematicae

Journal ref: Invent. Math., Vol. 208 (2017), no. 3, 803-849

Measure rigidity of Ricci curvature lower bounds

Authors: Fabio Cavalletti, Andrea Mondino

Abstract: The measure contraction property, $\mathsf{MCP}$ for short, is a weak Ricci curvature lower bound conditions for metric measure spaces. The goal of this paper is to understand which structural properties such assumption (or even weaker modifications) implies on the measure, on its support and on the geodesics of the space. We start our investigation from the euclidean case by proving that if a pos… ▽ More The measure contraction property, $\mathsf{MCP}$ for short, is a weak Ricci curvature lower bound conditions for metric measure spaces. The goal of this paper is to understand which structural properties such assumption (or even weaker modifications) implies on the measure, on its support and on the geodesics of the space. We start our investigation from the euclidean case by proving that if a positive Radon measure $\mathsf{m}$ over $\mathbb{R}^{d}$ is such that $(\mathbb{R}^{d},|\cdot |, \mathsf{m})$ verifies a weaker variant of $\mathsf{MCP}$, then its support $\text{spt}(\mathsf{m})$ must be convex and $\mathsf{m}$ has to be absolutely continuous with respect to the relevant Hausdorff measure of $\text{spt}(\mathsf{m})$. This result is then used as a starting point to investigate the rigidity of $\mathsf{MCP}$ in the metric framework. We introduce the new notion of $reference \ measure$ for a metric space and prove that if $(X,\mathsf{d},\mathsf{m})$ is essentially non-branching and verifies $\mathsf{MCP}$, and $μ$ is an essentially non-branching $\mathsf{MCP}$ reference measure for $(\text{spt}(\mathsf{m}), \mathsf{d})$, then $\mathsf{m}$ is absolutely continuous with respect to $μ$, on the set of points where an inversion plan exists. As a consequence, an essentially non-branching $\mathsf{MCP}$ reference measure enjoys a weak type of uniqueness, up to densities. We also prove a stability property for reference measures under measured Gromov-Hausdorff convergence, provided an additional uniform bound holds. In the final part we present concrete examples of metric spaces with reference measures, both in smooth and non-smooth setting. △ Less

Submitted 22 September, 2015; v1 submitted 14 January, 2015; originally announced January 2015.

Journal ref: Advances in Mathematics, Vol. 286, pp.430-480, 2 Jan. 2016

A variational time discretization for the compressible Euler equations

Authors: Fabio Cavalletti, Marc Sedjro, Michael Westdickenberg

Abstract: We introduce a variational time discretization for the multi-dimensional gas dynamics equations, in the spirit of minimizing movements for curves of maximal slope. Each timestep requires the minimization of a functional measuring the acceleration of fluid elements, over the cone of monotone transport maps. We prove convergence to measure-valued solutions for the pressureless gas dynamics and the c… ▽ More We introduce a variational time discretization for the multi-dimensional gas dynamics equations, in the spirit of minimizing movements for curves of maximal slope. Each timestep requires the minimization of a functional measuring the acceleration of fluid elements, over the cone of monotone transport maps. We prove convergence to measure-valued solutions for the pressureless gas dynamics and the compressible Euler equations. For one space dimension, we obtain sticky particle solutions for the pressureless case. △ Less

Submitted 27 September, 2018; v1 submitted 23 October, 2014; originally announced November 2014.

A Simple Proof of Global Existence for the 1D Pressureless Gas Dynamics Equations

Authors: Fabio Cavalletti, Marc Sedjro, Michael Westdickenberg

Abstract: Sticky particle solutions to the one-dimensional pressureless gas dynamics equations can be constructed by a suitable metric projection onto the cone of monotone maps, as was shown in recent work by Natile and Savaré. Their proof uses a discrete particle approximation and stability properties for first order differential inclusions. Here we give a more direct proof that relies on a result by Harau… ▽ More Sticky particle solutions to the one-dimensional pressureless gas dynamics equations can be constructed by a suitable metric projection onto the cone of monotone maps, as was shown in recent work by Natile and Savaré. Their proof uses a discrete particle approximation and stability properties for first order differential inclusions. Here we give a more direct proof that relies on a result by Haraux on the differentiability of metric projections. We apply the same method also to the one-dimensional Euler-Poisson system, obtaining a new proof for the global existence of weak solutions. △ Less

Submitted 19 November, 2014; v1 submitted 13 November, 2013; originally announced November 2013.

Comments: 15 pages, added Euler-Poisson system

MSC Class: 35L65; 49J40; 82C40

Monge problem in metric measure spaces with Riemannian curvature-dimension condition

Authors: Fabio Cavalletti

Abstract: We prove the existence of solutions for the Monge minimization problem, addressed in a metric measure space $(X,d,m)$ enjoying the Riemannian curvature-dimension condition $\RCD(K,N)$, with $N < \infty$. For the first marginal measure, we assume that $μ_{0} \ll m$. As a corollary, we obtain that the Monge problem and its relaxed version, the Monge-Kantorovich problem, attain the same minimal value… ▽ More We prove the existence of solutions for the Monge minimization problem, addressed in a metric measure space $(X,d,m)$ enjoying the Riemannian curvature-dimension condition $\RCD(K,N)$, with $N < \infty$. For the first marginal measure, we assume that $μ_{0} \ll m$. As a corollary, we obtain that the Monge problem and its relaxed version, the Monge-Kantorovich problem, attain the same minimal value. Moreover we prove a structure theorem for $d$-cyclically monotone sets: neglecting a set of zero $m$-measure they do not contain any branching structures, that is, they can be written as the disjoint union of the image of a disjoint family of geodesics. △ Less

Submitted 15 October, 2013; originally announced October 2013.

A note on a residual subset of Lipschitz functions on metric spaces

Authors: Fabio Cavalletti

Abstract: Let (X, d) be a quasi-convex, complete and separable metric space with reference probability measure m. We prove that the set of of real valued Lipschitz function with non zero point-wise Lipschitz constant m-almost everywhere is residual, and hence dense, in the Banach space of Lipschitz and bounded functions. The result is the metric analogous of a result proved for real valued Lipschitz maps de… ▽ More Let (X, d) be a quasi-convex, complete and separable metric space with reference probability measure m. We prove that the set of of real valued Lipschitz function with non zero point-wise Lipschitz constant m-almost everywhere is residual, and hence dense, in the Banach space of Lipschitz and bounded functions. The result is the metric analogous of a result proved for real valued Lipschitz maps defined on R2 by Alberti, Bianchini and Crippa in [1]. △ Less

Submitted 20 June, 2013; originally announced June 2013.

The Polar Cone of the set of monotone maps

Authors: Fabio Cavalletti, Michael Westdickenberg

Abstract: We prove that every element of the polar cone to the closed convex cone of monotone transport maps can be represented as the divergence of a measure field taking values in the positive definite matrices. We prove that every element of the polar cone to the closed convex cone of monotone transport maps can be represented as the divergence of a measure field taking values in the positive definite matrices. △ Less

Submitted 19 August, 2013; v1 submitted 13 May, 2013; originally announced May 2013.

Comments: to appear on Proc. AMS

MSC Class: 49Q20

Existence and uniqueness of optimal transport maps

Authors: Fabio Cavalletti, Martin Huesmann

Abstract: Let $(X,d,m)$ be a proper, non-branching, metric measure space. We show existence and uniqueness of optimal transport maps for cost written as non-decreasing and strictly convex functions of the distance, provided $(X,d,m)$ satisfies a new weak property concerning the behavior of $m$ under the shrinking of sets to points, see Assumption 1. This in particular covers spaces satisfying the measure co… ▽ More Let $(X,d,m)$ be a proper, non-branching, metric measure space. We show existence and uniqueness of optimal transport maps for cost written as non-decreasing and strictly convex functions of the distance, provided $(X,d,m)$ satisfies a new weak property concerning the behavior of $m$ under the shrinking of sets to points, see Assumption 1. This in particular covers spaces satisfying the measure contraction property. We also prove a stability property for Assumption 1: If $(X,d,m)$ satisfies Assumption 1 and $\tilde m = g\cdot m$, for some continuous function $g >0$, then also $(X,d,\tilde m)$ verifies Assumption 1. Since these changes in the reference measures do not preserve any Ricci type curvature bounds, this shows that our condition is strictly weaker than measure contraction property. △ Less

Submitted 4 August, 2014; v1 submitted 9 January, 2013; originally announced January 2013.

Comments: extended version; new section on geometric consequences and stability of Assumption 1; comments are welcome

MSC Class: 49Q20

Self-Intersection of Optimal geodesics

Authors: Fabio Cavalletti, Martin Huesmann

Abstract: Let $(X,d,m)$ be a geodesic metric measure space. Consider a geodesic $μ_{t}$ in the $L^{2}$-Wasserstein space. Then as $s$ goes to $t$ the support of $μ_{s}$ and the support of $μ_{t}$ have to overlap, provided an upper bound on the densities holds. We give a more precise formulation of this self-intersection property. We consider for each $t$ the set of times for which a geodesic belongs to the… ▽ More Let $(X,d,m)$ be a geodesic metric measure space. Consider a geodesic $μ_{t}$ in the $L^{2}$-Wasserstein space. Then as $s$ goes to $t$ the support of $μ_{s}$ and the support of $μ_{t}$ have to overlap, provided an upper bound on the densities holds. We give a more precise formulation of this self-intersection property. We consider for each $t$ the set of times for which a geodesic belongs to the support of $μ_{t}$ and we prove that $t$ is a point of Lebesgue density 1 for this set, in the integral sense. Our result applies to spaces satisfying $\mathsf{CD}(K,\infty)$. The non branching property is not needed. △ Less

Submitted 12 June, 2013; v1 submitted 28 November, 2012; originally announced November 2012.

MSC Class: 51F99; 49L99

Decomposition of geodesics in the Wasserstein space and the globalization property

Authors: Fabio Cavalletti

Abstract: We will prove a decomposition for Wasserstein geodesics in the following sense: let $(X,d,m)$ be a non-branching metric measure space verifying $\mathsf{CD}_{loc}(K,N)$ or equivalently $\mathsf{CD}^{*}(K,N)$. We prove that every geodesic $μ_{t}$ in the $L^{2}$-Wasserstein space, with $μ_{t} \ll m$, is decomposable as the product of two densities, one corresponding to a geodesic with support of cod… ▽ More We will prove a decomposition for Wasserstein geodesics in the following sense: let $(X,d,m)$ be a non-branching metric measure space verifying $\mathsf{CD}_{loc}(K,N)$ or equivalently $\mathsf{CD}^{*}(K,N)$. We prove that every geodesic $μ_{t}$ in the $L^{2}$-Wasserstein space, with $μ_{t} \ll m$, is decomposable as the product of two densities, one corresponding to a geodesic with support of codimension one verifying $\mathsf{CD}^{*}(K,N-1)$, and the other associated with a precise one dimensional measure, provided the length map enjoys local Lipschitz regularity. The motivation for our decomposition is in the use of the component evolving like $\mathsf{CD}^{*}$ in the globalization problem. For a particular class of optimal transportation we prove the linearity in time of the other component, obtaining therefore the global $\mathsf{CD}(K,N)$ for $μ_{t}$. The result can be therefore interpret as a globalization theorem for $\mathsf{CD}(K,N)$ for this class of optimal transportation, or as a ``self-improving property'' for $\mathsf{CD}^{*}(K,N)$. Assuming more regularity, namely in the setting of infinitesimally strictly convex metric measure space, the one dimensional density is the product of two differentials giving more insight on the density decomposition. △ Less

Submitted 20 August, 2013; v1 submitted 26 September, 2012; originally announced September 2012.

Comments: 39 pages, 1 figure. to appear on GAFA

Local curvature-dimension condition implies measure-contraction property

Authors: Fabio Cavalletti, Karl-Theodor Sturm

Abstract: We prove that for non-branching metric measure spaces the local curvature condition CDloc(K,N) implies the global version of MCP(K,N). The curvature condition CD(K,N) introduced by the second author and also studied by Lott & Villani is the generalization to metric measure space of lower bounds on Ricci curvature together with upper bounds on the dimension. It is worth pointing out that our result… ▽ More We prove that for non-branching metric measure spaces the local curvature condition CDloc(K,N) implies the global version of MCP(K,N). The curvature condition CD(K,N) introduced by the second author and also studied by Lott & Villani is the generalization to metric measure space of lower bounds on Ricci curvature together with upper bounds on the dimension. It is worth pointing out that our result implies sharp Bishop-Gromov volume growth inequality and sharp Poincaré inequality. △ Less

Submitted 13 May, 2013; v1 submitted 21 December, 2011; originally announced December 2011.

Comments: Journal of Functional Analysis 2012

The Monge problem in Wiener Space

Authors: Fabio Cavalletti

Abstract: We address the Monge problem in the abstract Wiener space and we give an existence result provided both marginal measures are absolutely continuous with respect to the infinite dimensional Gaussian measure γ. We address the Monge problem in the abstract Wiener space and we give an existence result provided both marginal measures are absolutely continuous with respect to the infinite dimensional Gaussian measure γ. △ Less

Submitted 24 March, 2011; v1 submitted 14 March, 2011; originally announced March 2011.

Optimal transport with branching distance costs and the obstacle problem

Authors: Fabio Cavalletti

Abstract: We address the Monge problem in metric spaces with a geodesic distance: (X, d) is a Polish space and dN is a geodesic Borel distance which makes (X,dN) a possibly branching geodesic space. We show that under some assumptions on the transference plan we can reduce the transport problem to transport problems along family of geodesics. We introduce two assumptions on the transference plan π which imp… ▽ More We address the Monge problem in metric spaces with a geodesic distance: (X, d) is a Polish space and dN is a geodesic Borel distance which makes (X,dN) a possibly branching geodesic space. We show that under some assumptions on the transference plan we can reduce the transport problem to transport problems along family of geodesics. We introduce two assumptions on the transference plan π which imply that the conditional probabilities of the first marginal on each family of geodesics are continuous and that each family of geodesics is a hourglass-like set. We show that this regularity is sufficient for the construction of a transport map. We apply these results to the Monge problem in d with smooth, convex and compact obstacle obtaining the existence of an optimal map provided the first marginal is absolutely continuous w.r.t. the d-dimensional Lebesgue measure. △ Less

Submitted 28 September, 2012; v1 submitted 14 March, 2011; originally announced March 2011.

Comments: 27 pages, 1 figure; SIAM J. Math. Anal. 2012. arXiv admin note: substantial text overlap with arXiv:1103.2796, arXiv:1103.2798

The Monge Problem for distance cost in geodesic spaces

Authors: Stefano Bianchini, Fabio Cavalletti

Abstract: We address the Monge problem in metric spaces with a geodesic distance: (X, d) is a Polish space and dL is a geodesic Borel distance which makes (X,dL) a non branching geodesic space. We show that under the assumption that geodesics are d-continuous and locally compact, we can reduce the transport problem to 1-dimensional transport problems along geodesics. We introduce two assumptions on the tran… ▽ More We address the Monge problem in metric spaces with a geodesic distance: (X, d) is a Polish space and dL is a geodesic Borel distance which makes (X,dL) a non branching geodesic space. We show that under the assumption that geodesics are d-continuous and locally compact, we can reduce the transport problem to 1-dimensional transport problems along geodesics. We introduce two assumptions on the transport problem π which imply that the conditional probabilities of the first marginal on each geodesic are continuous or absolutely continuous w.r.t. the 1- dimensional Hausdorff distance induced by dL. It is known that this regularity is sufficient for the construction of a transport map. We study also the dynamics of transport along the geodesic, the stability of our conditions and show that in this setting dL-cyclical monotonicity is not sufficient for optimality. △ Less

Submitted 14 March, 2011; originally announced March 2011.