SearcharxivSearch

arXiv subjects

Karl-Theodor Sturm

Publications and source records attributed to Karl-Theodor Sturm.

At least 19 recordsLinked to original sources

Sectional Curvature for Kantorovich-Wasserstein and Hellinger-Kantorovich Geometries

We derive an explicit formula for the sectional curvature of the space ${\cal M}(M)$ of finite measures on a Riemannian manifold M. The space ${\cal M}(M)$ is equipped with the Hellinger-Kantorovich metric $HK$. Even in the case M=R^n, the curvature is comprised of two parts: the `lifted part' is negative, and the `twisted part' is positive. It will be analyzed in detail for the multidimensional torus. Our general approach to sectional curvature in geodesic spaces also leads to new insights into the curvature of the space $P_2(M)$ of probability measures on M equipped with the Kantorovich-Wasserstein metric $W_2$.

math.DG

Semiclassical limit of Polyakov-Liouville measure and Q-Curvature Uniformization on even-dimensional manifolds

We study the semiclassical limit of the Polyakov-Liouville measure $\boldsymbolν_γ$, which is a non-Gaussian measure on $H^{-\eps}(M)$ that has recently been extended from Riemann surfaces to general Riemannian manifolds $(M,g)$ of even dimension. We show that under an appropriate rescaling in the semiclassical limit as $γ\to0$, the normalized Polyakov-Liouville measure $\Q_γ$ concentrates on the unique smooth weight $u$ for which the conformal metric $e^{2u}g$ on $M$ has constant $Q$-curvature.

math.PR

Gaussian Volume Functional, Integral Scalar Curvature, and Minimal Super-Ricci Flows

We present a synthetic notion of scalar curvature (and its integral) for Riemannian manifolds and metric measure spaces, defined in terms of the initial slope of a Gaussian (double) integral. We explicitly calculate the integral scalar curvature for Lipschitz gluings of smooth Riemannian manifolds and for cones. In dimension 2, the former coincides with the formula derived by Gauss-Bonnet, whereas the latter differs. The extension to the time-dependent case allows us to characterize Ricci flows as super Ricci flows with minimal integral curvature functional.

math.DG

Synthetic approaches to Ricci flows

We review different notions of synthetic Ricci flow that apply to time-dependent families of metric measure spaces and which are based on properties of the heat flow, ideas from optimal transport, and the asymptotic behaviour of volumes. Each notion equivalently characterises (weighted) Ricci flow for smooth families of weighted Riemannian manifolds. We discuss the features of the different notions on various examples.

math.DG

Gradient and Transport Estimates for Heat Flow on Nonconvex Domains

For the Neumann heat flow on nonconvex Riemannian domains $D\subset M$, we provide sharp gradient estimates and transport estimates with a novel $\sqrt t$-dependence, for instance, $$\text{Lip}( P^D_tf)\le e^{2S \, \sqrt{t/π}+\mathcal{O}(t)}\cdot \text{Lip} (f),$$ and we provide an equivalent characterization of the lower bound $S$ on the second fundamental form of the boundary in terms of these quantitative estimates.

math.AP

Conformally invariant random fields, quantum Liouville measures, and random Paneitz operators on Riemannian manifolds of even dimension

For large classes of even-dimensional Riemannian manifolds $(M,g)$, we construct and analyze conformally invariant random fields. These centered Gaussian fields $h=h_g$, called co-polyharmonic Gaussian fields, are characterized by their covariance kernels $k$ which exhibit a precise logarithmic divergence: $|k(x,y)-\log\frac1{d(x,y)}|\le C$. They share a fundamental quasi-invariance property under conformal transformations. In terms of the co-polyharmonic Gaussian field $h$, we define the quantum Liouville measure, a random measure on $M$, heuristically given as $$ dμ_g^{h}(x):= e^{γh(x)-\frac{γ^2}2k(x,x)}\,d \text{vol}_g(x)$$ and rigorously obtained as almost sure weak limit of the right-hand side with $h$ replaced by suitable regular approximations $h_\ell, \ell\in{\mathbb N}$. In terms on the quantum Liouville measure, we define the Liouville Brownian motion on $M$ and the random GJMS operators. Finally, we present an approach to a conformal field theory in arbitrary even dimensions with an ansatz based on Branson's $Q$-curvature: we give a rigorous meaning to the Polyakov-Liouville measure $$ d\boldsymbolν^*_g(h) =\frac1{Z^*_g} \exp\Big(- \int Θ\,Q_g h + m e^{γh} d \text{vol}_g\Big) \exp\Big(-\frac{a_n}{2} {\mathfrak p}_g(h,h)\Big) dh, $$ and we derive the corresponding conformal anomaly. The set of admissible manifolds is conformally invariant. It includes all compact 2-dimensional Riemannian manifolds, all compact non-negatively curved Einstein manifolds of even dimension, and large classes of compact hyperbolic manifolds of even dimension. However, not every compact even-dimensional Riemannian manifold is admissible. Our results rely on new sharp estimates for heat kernels and higher order Green kernels on arbitrary compact manifolds.

math.PR

Bakry-Èmery, Hardy, and Spectral Gap Estimates on Manifolds with Conical Singularities

We study spectral properties and geometric functional inequalities on Riemannian manifolds of dimension $\ge3$ with (finite or countably many) conical singularities $\{z_i\}_{i\in\mathfrak I}$ in the neighborhood of which the largest lower bound for the Ricci curvature is \begin{equation}\label{d2} k(x)\simeq K_i-\frac{s_i}{d^2(z_i,x)}. \end{equation} Thus none of the existing Bakry-Émery inequalities or curvature-dimension conditions apply. In particular, $k$ does not belong to the Kato (or (extended Kato) class, and $(M,g)$ is not tamed. Manifolds with such a singular Ricci bound appear quite naturally., e.g. as cones over spheres of radius $>1$ For such manifolds with conical singularities we will prove * a version of the Bakry-Émery inequality * a novel Hardy inequality * a spectral gap estimate.

math.DG

Wasserstein Diffusion on Multidimensional Spaces

Given any closed Riemannian manifold $M$, we construct a reversible diffusion process on the space ${\mathcal P}(M)$ of probability measures on $M$ that is (i) reversible w.r.t.~the entropic measure ${\mathbb P}^β$ on ${\mathcal P}(M)$, heuristically given as $$d\mathbb{P}^β(μ)=\frac{1}{Z} e^{-β\, \text{Ent}(μ| m)}\ d\mathbb{P}^*(μ);$$ (ii) associated with a regular Dirichlet form with carré du champ derived from the Wasserstein gradient in the sense of Otto calculus $${\mathcal E}_W(f)=\liminf_{g\to f}\ \frac12\int_{{\mathcal P}(M)} \big\|\nabla_W g\big\|^2(μ)\ d{\mathbb P}^β(μ);$$ (iii) non-degenerate, at least in the case of the $n$-sphere and the $n$-torus.

math.PR

Metric Measure Spaces and Synthetic Ricci Bounds -- Fundamental Concepts and Recent Developments

Metric measure spaces with synthetic Ricci bounds have attracted great interest in recent years, accompanied by spectacular breakthroughs and deep new insights. In this survey, I will provide a brief introduction to the concept of lower Ricci bounds as introduced by Lott-Villani and myself, and illustrate some of its geometric, analytic and probabilistic consequences, among them Li-Yau estimates, coupling properties for Brownian motions, sharp functional and isoperimetric inequalities, rigidity results, and structural properties like rectifiability and rectifiability of the boundary. In particular, I will explain its crucial interplay with the heat flow and its link to the curvaturedimension condition formulated in functional-analytic terms by Bakry-Èmery. This equivalence between the Lagrangian and the Eulerian approach then will be further explored in various recent research directions: i) time-dependent Ricci bounds which provide a link to (super-) Ricci flows for singular spaces, ii) second order calculus, upper Ricci bounds, and transformation formulas, iii) distribution-valued Ricci bounds which e.g. allow singular effects of non-convex boundaries to be taken into account.

math.MG

Random Riemannian Geometry in 4 Dimensions

We construct and analyze conformally invariant random fields on 4-dimensional Riemannian manifolds $(M,g)$. These centered Gaussian fields $h$, called \emph{co-biharmonic Gaussian fields}, are characterized by their covariance kernels $k$ defined as the integral kernel for the inverse of the \emph{Paneitz operator} \begin{equation*}\mathsf p=\frac1{8π^2}\bigg[Δ^2+ \mathsf{div}\left(2\mathsf{Ric}-\frac23\mathsf{scal}\right)\nabla \bigg]. \end{equation*} The kernel $k$ is invariant (modulo additive corrections) under conformal transformations, and it exhibits a precise logarithmic divergence $$\Big|k(x,y)-\log\frac1{d(x,y)}\Big|\le C.$$ In terms of the co-biharmonic Gaussian field $h$, we define the \emph{quantum Liouville measure}, a random measure on $M$, heuristically given as \begin{equation*} dμ(x):= e^{γh(x)-\frac{γ^2}2k(x,x)}\,d \text{vol}_g(x)\,, \end{equation*} and rigorously obtained a.s.~for $|γ|<\sqrt8$ as weak limit of the RHS with $h$ replaced by suitable regular approximations $(h_\ell)_{\ell\in\mathbb N}$. For the flat torus $M=\mathbb T^4$, we provide discrete approximations of the Gaussian field and of the Liouville measures in terms of semi-discrete random objects, based on Gaussian random variables on the discrete torus and piecewise constant functions in the isotropic Haar system.

math.PR

Exponential Ergodicity for Time-Periodic McKean-Vlasov SDEs

As extensions to the corresponding results derived for time homogeneous McKean- Vlasov SDEs, the exponential ergodicity is proved for time-periodic distribution dependent SDEs in three different situations: 1) in the quadratic Wasserstein distance and relative entropy for the dissipative case; 2) in the Wasserstein distance induced by a cost function for the partially dissipative case; and 3) in the weighted Wasserstein distance induced by a cost function and a Lyapunov function for the fully non-dissipative case. The main results are illustrated by time inhomogeneous granular media equations, and are extended to reflecting McKean-Vlasov SDEs in a convex domain.

math.PR

Polyharmonic Fields and Liouville Quantum Gravity Measures on Tori of Arbitrary Dimension: from Discrete to Continuous

For an arbitrary dimension $n$, we study: (a) the Polyharmonic Gaussian Field $h_L$ on the discrete torus $\mathbb{T}^n_L = \frac{1}{L} \mathbb{Z}^{n} / \mathbb{Z}^{n}$, that is the random field whose law on $\mathbb{R}^{\mathbb{T}^{n}_{L}}$ given by \begin{equation*} c_n\, e^{-b_n\|(-Δ_L)^{n/4}h\|^2} dh, \end{equation*} where $dh$ is the Lebesgue measure and $Δ_{L}$ is the discrete Laplacian; (b) the associated discrete Liouville Quantum Gravity measure associated with it, that is the random measure on $\mathbb{T}^{n}_{L}$ \begin{equation*}μ_{L}(dz) = \exp \Big( γh_L(z) - \frac{γ^{2}}{2} \mathbf{E} h_{L}(z) \Big) dz,\end{equation*} where $γ$ is a regularity parameter. As $L\to\infty$, we prove convergence of the fields $h_L$ to the Polyharmonic Gaussian Field $h$ on the continuous torus $\mathbb{T}^n = \mathbb{R}^{n} / \mathbb{Z}^{n}$, as well as convergence of the random measures $μ_L$ to the LQG measure $μ$ on $\mathbb{T}^n$, for all $|γ| < \sqrt{2n}$.

math.PR

A Discovery Tour in Random Riemannian Geometry

We study random perturbations of Riemannian manifolds $(\mathsf{M},\mathsf{g})$ by means of so-called Fractional Gaussian Fields, which are defined intrinsically by the given manifold. The fields $h^\bullet: ω\mapsto h^ω$ will act on the manifolds via conformal transformation $\mathsf{g}\mapsto \mathsf{g}^ω\colon\!\!= e^{2h^ω}\,\mathsf{g}$. Our focus will be on the regular case with Hurst parameter $H>0$, the celebrated Liouville geometry in two dimensions being borderline. We want to understand how basic geometric and functional analytic quantities like diameter, volume, heat kernel, Brownian motion, spectral bound, or spectral gap will change under the influence of the noise. And if so, is it possible to quantify these dependencies in terms of key parameters of the noise. Another goal is to define and analyze in detail the Fractional Gaussian Fields on a general Riemannian manifold, a fascinating object of independent interest.

math.PR

Functional inequalities for the heat flow on time-dependent metric measure spaces

We prove that synthetic lower Ricci bounds for metric measure spaces -- both in the sense of Bakry-Émery and in the sense of Lott-Sturm-Villani -- can be characterized by various functional inequalities including local Poincaré inequalities, local logarithmic Sobolev inequalities, dimension independent Harnack inequality, and logarithmic Harnack inequality. More generally, these equivalences will be proven in the setting of time-dependent metric measure spaces and will provide a characterization of super-Ricci flows of metric measure spaces.

math.AP

Distribution-Valued Ricci Bounds for Metric Measure Spaces, Singular Time Changes, and Gradient Estimates for Neumann Heat Flows

We will study metric measure spaces $(X,d,m)$ beyond the scope of spaces with synthetic lower Ricci bounds. In particular, we introduce distribution-valued lower Ricci bounds BE$_1(κ,\infty)$ $\bullet$ for which we prove the equivalence with sharp gradient estimates, $\bullet$ the class of which will be preserved under time changes with arbitrary $ψ\in{\mathrm Lip}_b(X)$, and $\bullet$ which are satisfied for the Neumann Laplacian on arbitrary semi-convex subsets $Y\subset X$. In the latter case, the distribution-valued Ricci bound will be given by the signed measure $κ= k\, m_Y + \ell\,σ_{\partial Y}$ where $k$ denotes a variable synthetic lower bound for the Ricci curvature of $X$ and $\ell$ denotes a lower bound for the "curvature of the boundary" of $Y$, defined in purely metric terms. We also present a new localization argument which allows us to pass on the RCD property to arbitrary open subsets of RCD spaces. And we introduce new synthetic notions for boundary curvature, second fundamental form, and boundary measure for subsets of RCD spaces.

math.FA

Tamed spaces -- Dirichlet spaces with distribution-valued Ricci bounds

We develop the theory of tamed spaces which are Dirichlet spaces with distribution-valued lower bounds on the Ricci curvature and investigate these from an Eulerian point of view. To this end we analyze in detail singular perturbations of Dirichlet form by a broad class of distributions. The distributional Ricci bound is then formulated in terms of an integrated version of the Bochner inequality using the perturbed energy form and generalizing the well-known Bakry-Émery curvature-dimension condition. Among other things we show the equivalence of distributional Ricci bounds to gradient estimates for the heat semigroup in terms of the Feynman-Kac semigroup induced by the taming distribution as well as consequences in terms of functional inequalities. We give many examples of tamed spaces including in particular Riemannian manifolds with either interior singularities or singular boundary behavior.

math.FA