arXiv subjects
Publications and source records attributed to Martin Kell.
We develop a structure theory for RCD spaces with curvature bounded above in Alexandrov sense. In particular, we show that any such space is a topological manifold with boundary whose interior is equal to the set of regular points. Further the set of regular points is a smooth manifold and is geodesically convex. Around regular points there are DC coordinates and the distance is induced by a continuous BV Riemannian metric.
The dual problem of optimal transportation in Lorentz-Finsler geometry is studied. It is shown that in general no solution exists even in the presence of an optimal coupling. Under natural assumptions dual solutions are established. It is further shown that the existence of a dual solution implies that the optimal transport is timelike on a set of full measure. In the second part the persistence of absolute continuity along an optimal transportation under obvious assumptions is proven and a solution to the relativistic Monge problem is provided.
In this paper known results of symmetric orthogonality, as introduced by G. Birkhoff, and non-expansive nearest point projections are extended from the linear to the metric setting. If the space has non-positive curvature in the sense Busemann then it is shown that those concepts are actually equivalent. In the end it is shown that every space having non-positive curvature in the sense of Busemann is a $CAT(0)$-space provided that its tangent cones are uniquely geodesic and their nearest point projections onto convex are non-expansive.
In this paper we investigate the relationship between a general existence of transport maps of optimal couplings with absolutely continuous first marginal and the property of the background measure called essentially non-branching introduced by Rajala-Sturm (Calc.Var.PDE 2014). In particular, it is shown that the qualitative non-degenericity condition introduced by Cavalletti-Huesmann (Ann. Inst. H. Poincaré Anal. Non Linèaire 2015) implies that any essentially non-branching metric measure space has a unique transport maps whenever initial measure is absolutely continuous. This generalizes a recently obtained result by Cavalletti-Mondino (Commun. Contemp. Math. 2017) on essentially non-branching spaces with the measure contraction condition $\mathsf{MCP}(K,N)$. In the end we prove a measure rigidity result showing that any two essentially non-branching, qualitatively non-degenerate measures on a fixed metric spaces must be mutually absolutely continuous. This result was obtained under stronger conditions by Cavalletti-Mondino (Adv.Math. 2016). It applies, in particular, to metric measure spaces with generalized finite dimensional Ricci curvature bounded from below.
Let $(M,g)$ be a smooth Riemannian manifold and $\mathsf{G}$ a compact Lie group acting on $M$ effectively and by isometries. It is well known that a lower bound of the sectional curvature of $(M,g)$ is again a bound for the curvature of the quotient space, which is an Alexandrov space of curvature bounded below. Moreover, the analogous stability property holds for metric foliations and submersions. The goal of the paper is to prove the corresponding stability properties for synthetic Ricci curvature lower bounds. Specifically, we show that such stability holds for quotients of $\mathsf{RCD}^{*}(K,N)$-spaces, under isomorphic compact group actions and more generally under metric-measure foliations and submetries. An $\mathsf{RCD}^{*}(K,N)$-space is a metric measure space with an upper dimension bound $N$ and weighted Ricci curvature bounded below by $K$ in a generalized sense. In particular, this shows that if $(M,g)$ has Ricci curvature bounded below by $K\in \mathbb{R}$ and dimension $N$, then the quotient space is an $\mathsf{RCD}^{*}(K,N)$-space. Additionally, we tackle the same problem for the $\mathsf{CD}/\mathsf{CD}^*$ and $\mathsf{MCP}$ curvature-dimension conditions. We provide as well geometric applications which include: A generalization of Kobayashi's Classification Theorem of homogenous manifolds to $\mathsf{RCD}^{*}(K,N)$-spaces with essential minimal dimension $n\leq N$; a structure theorem for $\mathsf{RCD}^{*}(K,N)$-spaces admitting actions by large (compact) groups; and geometric rigidity results for orbifolds such as Cheng's Maximal Diameter and Maximal Volume Rigidity Theorems. Finally, in two appendices we apply the methods of the paper to study quotients by isometric group actions of discrete spaces and of (super-)Ricci flows.
We prove that, given an $RCD^{*}(K,N)$-space $(X,d,m)$, then it is possible to $m$-essentially cover $X$ by measurable subsets $(R_{i})_{i\in \mathbb{N}}$ with the following property: for each $i$ there exists $k_{i} \in \mathbb{N}\cap [1,N]$ such that $m\llcorner R_{i}$ is absolutely continuous with respect to the $k_{i}$-dimensional Hausdorff measure. We also show that a Lipschitz differentiability space which is bi-Lipschitz embeddable into a euclidean space is rectifiable as a metric measure space, and we conclude with an application to Alexandrov spaces.
In the first part Busemann concavity as non-negative curvature is introduced and a bi-Lipschitz splitting theorem is shown. Furthermore, if the Hausdorff measure of a Busemann concave space is non-trivial then the space is doubling and satisfies a Poincaré condition and the measure contraction property. Using a comparison geometry variant for general lower curvature bounds $k\in\mathbb{R}$, a Bonnet-Myers theorem can be proven for spaces with lower curvature bound $k>0$. In the second part the notion of uniform smoothness known from the theory of Banach spaces is applied to metric spaces. It is shown that Busemann functions are (quasi-)convex. This implies the existence of a weak soul. In the end properties are developed to further dissect the soul.
In this paper, we study harmonic functions on metric measure spaces with Riemannian Ricci curvature bounded from below, which were introduced by Ambrosio-Gigli-Savaré. We prove a Cheng-Yau type local gradient estimate for harmonic functions on these spaces. Furthermore, we derive various optimal dimension estimates for spaces of polynomial growth harmonic functions on metric measure spaces with nonnegative Riemannian Ricci curvature.
Recently Gigli developed a Sobolev calculus on non-smooth spaces using module theory. In this paper it is shown that his theory fits nicely into the theory of differentiability spaces initiated by Cheeger, Keith and others. A relaxation procedure for $L^p$-valued subadditive functionals is presented and a relationship between the module generated by a functional and the one generated by its relaxation is given. In the framework of differentiability spaces, which includes so called PI- and $RCD(K,N)$-spaces, the Lipschitz module is pointwise finite dimensional. A general renorming theorem together with the characterization above shows that the Sobolev spaces of such spaces are reflexive.
In this note it is shown that Berwald spaces admitting the same norm-preserving torsion-free affine connection have the same (weighted) Ricci curvatures. Combing this with Szabó's Berwald metrization theorem one can apply the Cheeger-Gromoll splitting theorem in order to get a full structure theorem for Berwald spaces of non-negative Ricci curvature. Furthermore, if none of the factor is a symmetric space one obtains an explicit expression of Finsler norm of the resulting product. By the general structure theorem one can apply the soul theorem to the factor in case of non-negative flag curvature to obtain a compact totally geodesics, totally convex submanifolds whose normal bundle is diffeomorphic to the whole space. In the end we given applications to the structure of Berwald-Einstein manifolds and non-negatively curved Berwald spaces of large volume growth.
In this paper the theory of uniformly convex metric spaces is developed. These spaces exhibit a generalized convexity of the metric from a fixed point. Using a (nearly) uniform convexity property a simple proof of reflexivity is presented and a weak topology of such spaces is analyzed. This topology called co-convex topology agrees with the usualy weak topology in Banach spaces. An example of a $CAT(0)$-spaces with weak topology which is not Hausdorff is given. This answers questions raised by Monod 2006, Kirk and Panyanak 2008 and Espínola and Fernández-León 2009. In the end existence and uniqueness of generalized barycenters is shown and a Banach-Saks property is proved.
We introduce a new definition of nonpositive curvature in metric spaces and study its relationship to the existing notions of nonpositive curvature in comparison geometry. The main feature of our definition is that it applies to all metric spaces and does not rely on geodesics. Moreover, a scaled and a relaxed version of our definition are appropriate in discrete metric spaces, and are believed to be of interest in geometric data analysis.
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 the Borel-Brascamp-Lieb inequality for general Riemannian and Finsler manifolds and led Lott-Villani and Sturm to define an abstract Ricci curvature condition. Following their ideas, a similar condition can be defined and for positively curved spaces one can prove a Poincaré inequality. Using Gigli's recently developed calculus on metric measure spaces, even a $q$-Laplacian comparison theorem holds on $q$-infinitesimal convex spaces. In the appendix, the theory of Orlicz-Wasserstein spaces is developed and necessary adjustments to prove the interpolation inequality along geodesics in those spaces are given.
Based on the idea of a recent paper by Ambrosio-Gigli-Savaré in Invent. Math. (2013), we show that flow of the $q$-Cheeger energy, called $q$-heat flow, solves the gradient flow problem of the Renyi entropy functional in the $p$-Wasserstein. For that, a further study of the $q$-heat flow is presented including a condition for its mass preservation. Under a convexity assumption on the upper gradient, which holds for all $q\ge2$, one gets uniqueness of the gradient flow and the two flows can be identified. Smooth solution of the $q$-heat flow are solution the parabolic q-Laplace equation, i.e. $\partial_{t}f_{t}=Δ_{q}f_{t}.$
In this note we show how to adjust some proofs of Koskela et. al 2003 and Jiang 2011 in order to show that in certain spaces $(X,d,μ)$, like $RCD(K,N)$-spaces, every Sobolev function with local $L^{p}$-Laplacian and $p>\dimμ$ is locally Lipschitz continuous.
We systematically investigate the problem of representing Markov chains by families of random maps, and which regularity of these maps can be achieved depending on the properties of the probability measures. Our key idea is to use techniques from optimal transport to select optimal such maps. Optimal transport theory also tells us how convexity properties of the supports of the measures translate into regularity properties of the maps via Legendre transforms. Thus, from this scheme, we cannot only deduce the representation by measurable random maps, but we can also obtain conditions for the representation by continuous random maps. Finally, we present conditions for the representation of Markov chain by random diffeomorphisms.
We develop a "weak Ważewski principle" for discrete and continuous time dynamical systems on metric spaces having a weaker topology to show that attractors can be continued in a weak sense. After showing that the Wasserstein space of a proper metric space is weakly proper we give a sufficient and necessary condition such that a continuous map (or semiflow) induces a continuous map (or semiflow) on the Wasserstein space. In particular, if these conditions hold then the global attractor, viewed as invariant measures, can be continued under Markov-type random perturbations which are sufficiently small w.r.t. the Wasserstein distance, e.g. any small bounded Markov-type noise and Gaussian noise with small variance will satisfy the assumption.
Using Conley theory we show that local attractors remain (past) attractors under small non-autonomous perturbations. In particular, the attractors of the perturbed systems will have positive invariant neighborhoods and converge upper semicontinuously to the original attractor. The result is split into a finite-dimensional part (locally compact) and an infinite-dimensional part (not necessarily locally compact). The finite-dimensional part will be applicable to bounded random noise, i.e. continuous time random dynamical systems on a locally compact metric space which are uniformly close the unperturbed deterministic system. The "closeness" will be defined via a (simpler version of) convergence coming from singular perturbations theory.