Searcharxiv⌕ Search

arXiv subjects

Christian Ketterer

Publications and source records attributed to Christian Ketterer.

27 records · Page 2Linked to original sources

CD meets CAT

We show that if a noncollapsed $CD(K,n)$ space $X$ with $n\ge 2$ has curvature bounded above by $κ$ in the sense of Alexandrov then $K\le (n-1)κ$ and $X$ is an Alexandrov space of curvature bounded below by $K-κ(n-2)$. We also show that if a $CD(K,n)$ space $Y$ with finite $n$ has curvature bounded above then it is infinitesimally Hilbertian.

math.DG↗

Rigidity for the spectral gap on $RCD(K,\infty)$-spaces

We consider a rigidity problem for the spectral gap of the Laplacian on an $RCD(K,\infty)$-space (a metric measure space satisfying the Riemannian curvature-dimension condition) for positive $K$. For a weighted Riemannian manifold, Cheng--Zhou showed that the sharp spectral gap is achieved only when a $1$-dimensional Gaussian space is split off. This can be regarded as an infinite-dimensional counterpart to Obata's rigidity theorem. Generalizing to $RCD(K,\infty)$-spaces is not straightforward due to the lack of smooth structure and doubling condition. We employ the lift of an eigenfunction to the Wasserstein space and the theory of regular Lagrangian flows recently developed by Ambrosio--Trevisan to overcome this difficulty.

math.DG↗

Lagrangian calculus for nonsymmetric diffusion operators

We characterize lower bounds for the Bakry-Emery Ricci tensor of nonsymmetric diffusion operators by convexity of entropy on the $L^2$-Wasserstein space, and define a curvature-dimension condition for general metric measure spaces together with a square integrable $1$-form in the sense of \cite{giglinonsmooth}. This extends the Lott-Sturm-Villani approach for lower Ricci curvature bounds of metric measure spaces. In generalized smooth context, consequences are new Bishop-Gromov estimates, pre-compactness under measured Gromov-Hausdorff convergence, and a Bonnet-Myers theorem that generalizes previous results by Kuwada \cite{kuwadamaximaldiameter}. We show that $N$-warped products together with lifted vector fields satisfy the curvature-dimension condition. For smooth Riemannian manifolds we derive an evolution variational inequality and contraction estimates for the dual semigroup of nonsymmetric diffusion operators. Another theorem of Kuwada \cite{kuwadaduality, kuwadaspacetime} yields Bakry-Emery gradient estimates.

math.DG↗

Evolution variational inequality and Wasserstein control in variable curvature context

In this note we continue the analysis of metric measure space with variable ricci curvature bounds. First, we study $(κ,N)$-convex functions on metric spaces where $κ$ is a lower semi-continuous function, and gradient flow curves in the sense of a new evolution variational inequality that captures the information that is provided by $κ$. Then, in the spirit of previous work by Erbar, Kuwada and Sturm \cite{erbarkuwadasturm} we introduce an entropic curvature-dimension condition $CD^e(κ,N)$ for metric measure spaces and lower semi-continuous $κ$. This condition is stable with respect to Gromov convergence and we show that is equivalent to the reduced curvature-dimension condition $CD^*(κ,N)$ provided the space is non-branching. Finally, we introduce a Riemannian curvature-dimension condition in terms of an evolution variational inequality on the Wasserstein space. A consequence is a new differential Wasserstein contraction estimate.

math.MG↗

On the geometry of metric measure spaces with variable curvature bounds

Motivated by a classical comparison result of J. C. F. Sturm we introduce a curvature-dimension condition CD(k,N) for general metric measure spaces and variable lower curvature bound k. In the case of non-zero constant lower curvature our approach coincides with the celebrated condition that was proposed by K.-T. Sturm. We prove several geometric properties as sharp Bishop-Gromov volume growth comparison or a sharp generalized Bonnet-Myers theorem (Schneider's Theorem). Additionally, our curvature-dimension condition is stable with respect to measured Gromov-Hausdorff convergence, and it is stable with respect to tensorization of finitely many metric measure spaces provided a non-branching condition is assumed.

math.DG↗

Obata's rigidity theorem for metric measure spaces

We prove Obata's rigidity theorem for metric measure spaces that satisfy a Riemannian curvature-dimension condition. Additionally, we show that a lower bound $K$ for the generalized Hessian of a sufficiently regular function $u$ holds if and only if $u$ is $K$-convex. A corollary is also a rigidity result for higher order eigenvalues.

math.MG↗

Cones over metric measure spaces and the maximal diameter theorem

The main result of this article states that the (K;N)-cone over some metric measure space satisfies the reduced Riemannian curvature-dimension condition RCD^*(KN;N+1) if and only if the underlying space satisfies RCD^*(N-1;N). The proof uses a characterization of reduced Riemannian curvature-dimension bounds by Bochner's inequality that was established for metric measure spaces by Erbar, Kuwada and Sturm and independently by Ambrosio, Mondino and Savaré. As corollary of our result and the Cheeger-Gigli-Gromoll splitting theorem we obtain a maximal diameter theorem for metric measure spaces that satisfy a reduced Riemannian curvature-dimension condition.

math.MG↗

Failure of topological rigidity results for the measure contraction property

We give two examples of metric measure spaces satisfying the measure contraction property MCP(K,N) but having different topological dimensions at different regions of the space. The first one satisfies MCP(0,3) and contains a subset isometric to $\mathbb{R}$, but does not topologically split. The second space satisfies MCP(2,3) and has diameter $π$, which is the maximal possible diameter for a space satisfying MCP(N-1,N), but is not a topological spherical suspension. The latter example gives an answer to a question by Ohta.

math.MG↗

Ricci curvature bounds for warped products

We prove generalized lower Ricci curvature bounds for warped products over complete Finsler manifolds. On the one hand our result covers a theorem of Bacher and Sturm concerning euclidean and spherical cones. On the other hand it can be seen in analogy to a result of Bishop and Alexander in the setting of Alexandrov spaces with curvature bounded from below. For the proof we combine techniques developed in these papers. Because the Finsler product metric can degenerate we regard a warped product as metric measure space that is in general neither a Finsler manifold nor an Alexandrov space again but a space satisfying a curvature-dimension condition in the sense of Lott-Villani/Sturm.

math.DG↗