2025/03/10 by Lorenzo Dello Schiavo, Schiavo, Lorenzo Dello, Giacomo Enrico Sodini +1 · 1 citation
Mathematics · #22E66 (secondary) #31C25 #49Q22 (primary) #60G55 #60J60 #FOS: Mathematics #Functional Analysis (math.FA) #Functional Equations Stability Results #Mathematical Dynamics and Fractals #Metric Geometry (math.MG) #Probability (math.PR) #advanced mathematical theories
paper · pdf · doi:10.48550/arxiv.2503.07802
openalex publication_date 2025/03/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let (M,g) be a Riemannian manifold with Riemannian distance dg, and M(M) be the space of all non-negative Borel measures on M, endowed with the Hellinger-Kantorovich distance H Kdg induced by dg. Firstly, we prove that (M(M),H Kdg) is a universally infinitesimally Hilbertian metric space, and that a natural class of cylinder functions is dense in energy in the Sobolev space of every finite Borel measure on M(M). Secondly, we endow M(M) with its canonical reference measure, namely A.M. Vershik's multiplicative infinite-dimensional Lebesgue measure Lθ, θ>0, and we consider: (a) the geometric structure on M(M) induced by the natural action on M(M) of the semi-direct product of diffeomorphisms and densities on M, under which Lθ is the unique invariant measure; and (b) the metric measure structure of (M(M),H Kdg,Lθ), inherited from that of (M,dg,volg). We identify the canonical Dirichlet form (E,\mathscrD(E)) of (a) with the Cheeger energy of (b), thus proving that these two structures coincide. We further prove that (E,\mathscrD(E)) is a conservative quasi-regular strongly local Dirichlet form on M(M), recurrent if and only if θ∈ (0,1], and properly associated with the Brownian motion of the Hellinger-Kantorovich geometry on M(M).