REVIEW 2 cited by
New formulas for the Laplacian of distance functions and applications
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original 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 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).
Forward citations
Cited by 2 Pith papers
-
The Quasi Curvature-Dimension Condition with applications to sub-Riemannian manifolds
A quasi-convex relaxation of the curvature-dimension condition gives dimension-independent Poincaré and log-Sobolev constants on Heisenberg groups and other sub-Riemannian manifolds, up to a universal factor.
-
The Heintze-Karcher inequality for metric measure spaces
The Heintze-Karcher inequality, a Riemannian volume comparison theorem, is generalized to essentially non-branching metric measure spaces with lower Ricci curvature bounds, with a rigidity result for RCD spaces.
Discussion (0). Continue with ORCID to comment.