Observable concentration of mm-spaces into nonpositively curved manifolds

Rigidity of nonpositively curved manifolds with convex boundary

We show that a compact Riemannian $3$-manifold $M$ with strictly convex simply connected boundary and sectional curvature $K\leq a\leq 0$ is isometric to a convex domain in a complete simply connected space of constant curvature $a$, provided that $K\equiv a$ on planes tangent to the boundary of $M$. This yields a characterization of strictly convex surfaces with minimal total curvature in Cartan-Hadamard $3$-manifolds, and extends some rigidity results of Greene-Wu, Gromov, and Schroeder-Strake. Our proof is based on a recent comparison formula for total curvature of Riemannian hypersurfaces,…

Nonpositively curved 2-complexes with isolated flats

We introduce the class of nonpositively curved 2-complexes with the Isolated Flats Property. These 2-complexes are, in a sense, hyperbolic relative to their flats. More precisely, we show that several important properties of Gromov-hyperbolic spaces hold `relative to flats' in nonpositively curved 2-complexes with the Isolated Flats Property. We introduce the Relatively Thin Triangle Property, which states roughly that the fat part of a geodesic triangle lies near a single flat. We also introduce the Relative Fellow Traveller Property, which states that pairs of quasigeodesics with common endp…

局部椭圆作用、挠群与非正曲率空间

Locally elliptic actions, torsion groups, and nonpositively curved spaces

猜想有限生成群在有限维非正曲率复形上的局部椭圆作用具有全局不动点，并以Helly图为主要工具，针对欧几里得建筑、Helly复形等一大类复形证明了该猜想。

Measure Concentration and the Topology of Positively-Curved Riemannian Manifolds

In this paper, I shall demonstrate that sufficiently high-dimensional closed positively-curved Riemannian manifolds are either diffeomorphic to a spherical space form, or isometric to a locally compact rank one symmetric space. This surprising classification of positively-curved Riemannian manifolds results from combining the concentration of measures of Grassmanians with Brendle-Schoen pointwise (weakly)- 1/4-pinching Theorem. A direct corollary of the main result within this paper is the answering of the long standing Hopf Conjecture in sufficiently high dimensions.

A geometric study of Wasserstein spaces: isometric rigidity in negative curvature

Given a metric space X, one defines its Wasserstein space W2(X) as a set of sufficiently decaying probability measures on X endowed with a metric defined from optimal transportation. In this article, we continue the geometric study of W2(X) when X is a simply connected, nonpositively curved metric spaces by considering its isometry group. When X is Euclidean, the second named author proved that this isometry group is larger than the isometry group of X. In contrast, we prove here a rigidity result: when X is negatively curved, any isometry of W2(X) comes from an isometry of X.

Espaces de représentations complètement réductibles

We study some geometric properties of actions on nonpositively curved spaces related to complete reducibility and semisimplicity, focusing on representations of a finitely generated group in the group G of rational points of a reductive group over a local field, acting on the associated space (symmetric space or affine building). We prove that the space of completely reducible classes is the maximal Hausdorff quotient space for the conjugacy action of G on the representation space.

粗凸空间之间的可视映射

Visual maps between coarsely convex spaces

本文将Dydak和Virk关于Gromov双曲空间间诱导边界连续映射的研究，推广至包含多种重要空间类型的粗凸空间之间的映射。

Gromov 双曲空间上无界凸函数的离散时间梯度流

Discrete-time gradient flows for unbounded convex functions on Gromov hyperbolic spaces

本文研究 Gromov 双曲空间中无界凸函数的离散时间梯度流，证明其沿唯一负渐近斜率方向发散，并给出收敛速率估计。

Beyond traditional Curvature-Dimension I: new model spaces for isoperimetric and concentration inequalities in negative dimension

We study the isoperimetric, functional and concentration properties of $n$-dimensional weighted Riemannian manifolds satisfying the Curvature-Dimension condition, when the generalized dimension $N$ is negative, and more generally, is in the range $N \in (-\infty,1)$, extending the scope from the traditional range $N \in [n,\infty]$. In particular, we identify the correct one-dimensional model-spaces under an additional diameter upper bound, and discover a new case yielding a \emph{single} model space (besides the previously known $N$-sphere and Gaussian measure when $N \in [n,\infty]$): a (pos…

Concentration of empirical barycenters in metric spaces

Barycenters (aka Fréchet means) were introduced in statistics in the 1940's and popularized in the fields of shape statistics and, later, in optimal transport and matrix analysis. They provide the most natural extension of linear averaging to non-Euclidean geometries, which is perhaps the most basic and widely used tool in data science. In various setups, their asymptotic properties, such as laws of large numbers and central limit theorems, have been established, but their non-asymptotic behaviour is still not well understood. In this work, we prove finite sample concentration inequalities (na…

Ricci curvature of Markov chains on metric spaces

We define the Ricci curvature of Markov chains on metric spaces as a local contraction coefficient of the random walk acting on the space of probability measures equipped with a Wasserstein transportation distance. For Brownian motion on a Riemannian manifold this gives back the value of Ricci curvature of a tangent vector. Examples of positively curved spaces for this definition include the discrete cube and discrete versions of the Ornstein--Uhlenbeck process. Moreover this generalization is consistent with the Bakry--Émery Ricci curvature for Brownian motion with a drift on a Riemannian man…