On the equivalence of the entropic curvature-dimension condition and Bochner’s inequality on metric measure spaces

@article{Erbar2013OnTE,
  title={On the equivalence of the entropic curvature-dimension condition and Bochner’s inequality on metric measure spaces},
  author={Matthias Erbar and Kazumasa Kuwada and Karl-Theodor Sturm},
  journal={Inventiones mathematicae},
  year={2013},
  volume={201},
  pages={993-1071}
}
We prove the equivalence of the curvature-dimension bounds of Lott–Sturm–Villani (via entropy and optimal transport) and of Bakry–Émery (via energy and $$\Gamma _2$$Γ2-calculus) in complete generality for infinitesimally Hilbertian metric measure spaces. In particular, we establish the full Bochner inequality on such metric measure spaces. Moreover, we deduce new contraction bounds for the heat flow on Riemannian manifolds and on mms in terms of the $$L^2$$L2-Wasserstein distance. 
Equivalence between dimensional contractions in Wasserstein distance and the curvature-dimension condition
The curvature-dimension condition is a generalization of the Bochner inequality to weighted Riemannian manifolds and general metric measure spaces. It is now known to be equivalent to evolutionExpand
The Heintze-Karcher inequality for metric measure spaces
In this note we prove the Heintze-Karcher inequality in the context of essentially non-branching metric measure spaces satisfying a lower Ricci curvature bound in the sense of Lott-Sturm-Villani. TheExpand
CALCULUS, HEAT FLOW AND CURVATURE-DIMENSION BOUNDS IN METRIC MEASURE SPACES
The theory of curvature-dimension bounds for nonsmooth spaces has several motivations: the study of functional and geometric inequalities in structures which are very far from being Euclidean,Expand
A Bishop type inequality on metric measure spaces with Ricci curvature bounded below
We define a Bishop-type inequality on metric measure spaces with Riemannian curvature-dimension condition. The main result in this short article is that any RCD spaces with the Bishop-typeExpand
Measure rigidity of synthetic lower Ricci curvature bound on Riemannian manifolds
In this paper we investigate Lott-Sturm-Villani's synthetic lower Ricci curvature bound on Riemannian manifolds with boundary. We prove several measure rigidity results for some important functionalExpand
Monotonicity and rigidity of the W-entropy on RCD(0, N) spaces.
By means of a space-time Wasserstein control, we show the monotonicity of the W-entropy functional in time along heat flows on possibly singular metric measure spaces with non-negative RicciExpand
On interpolation and curvature via Wasserstein geodesics
Abstract In this article, a proof of the interpolation inequality along geodesics in p-Wasserstein spaces is given. This interpolation inequality was the main ingredient to prove theExpand
Dimension free Harnack inequalities on $\RCD(K, \infty)$ spaces
The dimension free Harnack inequality for the heat semigroup is established on the $\RCD(K,\infty)$ space, which is a non-smooth metric measure space having the Ricci curvature bounded from below inExpand
ABOUT SYNTHETIC UPPER RICCI BOUNDS FOR METRIC MEASURE SPACES
We discuss various characterizations of synthetic upper Ricci bounds for metric measure spaces in terms of heat flow, entropy and optimal transport. In particular, we present a characterization inExpand
Equality in the logarithmic Sobolev inequality
We investigate the rigidity problem for the logarithmic Sobolev inequality on weighted Riemannian manifolds satisfying $$\mathrm {Ric}_{\infty } \ge K>0$$ Ric ∞ ≥ K > 0 . Assuming that equalityExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 62 REFERENCES
Metric measure spaces with Riemannian Ricci curvature bounded from below
In this paper we introduce a synthetic notion of Riemannian Ricci bounds from below for metric measure spaces (X,d,m) which is stable under measured Gromov-Hausdorff convergence and rules out FinslerExpand
Eulerian Calculus for the Displacement Convexity in the Wasserstein Distance
TLDR
A new proof of the (strong) displacement convexity of a class of integral functionals defined on a compact Riemannian manifold satisfying a lower Ricci curvature bound is given. Expand
Li–Yau and Harnack type inequalities in RCD∗(K,N) metric measure spaces
Abstract Metric measure spaces satisfying the reduced curvature-dimension condition CD ∗ ( K , N ) and where the heat flow is linear are called RCD ∗ ( K , N ) -spaces. This class of non smoothExpand
On the heat flow on metric measure spaces: existence, uniqueness and stability
We prove existence and uniqueness of the gradient flow of the Entropy functional under the only assumption that the functional is λ-geodesically convex for some $${\lambda\in\mathbb {R}}$$. Also, weExpand
NON-BRANCHING GEODESICS AND OPTIMAL MAPS IN STRONG CD(K,∞)-SPACES
We prove that in metric measure spaces where the entropy functional is Kconvex along every Wasserstein geodesic any optimal transport between two absolutely continuous measures with finite secondExpand
Non-branching geodesics and optimal maps in strong CD(K,{\infty})-spaces
We prove that in metric measure spaces where the entropy functional is K-convex along every Wasserstein geodesic any optimal transport between two absolutely continuous measures with finite secondExpand
Heat flow on Alexandrov spaces
We prove that on compact Alexandrov spaces with curvature bounded below the gradient flow of the Dirichlet energy in the $L^2$-space produces the same evolution as the gradient flow of the relativeExpand
Riemannian Ricci curvature lower bounds in metric measure spaces with -finite measure
In prior work (4) of the first two authors with Savare, a new Riemannian notion of lower bound for Ricci curvature in the class of metric measure spaces (X,d,m) was introduced, and the correspondingExpand
Bakry-Émery curvature-dimension condition and Riemannian Ricci curvature bounds
The aim of the present paper is to bridge the gap between the Bakry–Emery and the Lott–Sturm–Villani approaches to provide synthetic and abstract notions of lower Ricci curvature bounds. We startExpand
Local curvature-dimension condition implies measure-contraction property
Abstract We prove that for non-branching metric measure spaces the local curvature condition CD loc ( K , N ) implies the global version of MCP ( K , N ) . The curvature condition CD ( K , N )Expand
...
1
2
3
4
5
...