arXiv subjects
Publications and source records attributed to Kei Funano.
In this paper, from the viewpoint of the concentration theory of maps, we study a compact group and a Lévy group action to a large class of metric spaces, such as R-trees, doubling spaces, metric graphs, and Hadamard manifolds.
The classical Fubini theorem asserts that the multiple integral is equal to the repeated one for any integrable function on a product measure space. In this paper, we derive an asymptotic variant of the Fubini theorem for maps into CAT$(0)$-spaces from the $L^1$ and $L^2$-concentration of the maps.
In this paper, we study the Lévy-Milman concentration phenomenon of 1-Lipschitz maps from mm-spaces to $\mathbb{R}$-trees. Our main theorems assert that the concentration to $\mathbb{R}$-trees is equivalent to the concentration to the real line.
The measure concentration property of an mm-space $X$ is roughly described as that any 1-Lipschitz map on $X$ to a metric space $Y$ is almost close to a constant map. The target space $Y$ is called the screen. The case of $Y=\mathbb{R}$ is widely studied in many literature (see \cite{gromov}, \cite{ledoux}, \cite{mil2}, \cite{milsch}, \cite{sch}, \cite{tal}, \cite{tal2} and its reference). M. Gromov developed the theory of measure concentration in the case where the screen $Y$ is not necessarily $\mathbb{R}$ (cf. \cite{gromovcat}, {gromov2}, \cite{gromov}). In this paper, we consider the case where the screen $Y$ is a nonpositively curved manifolds. We also show that if the screen $Y$ is so big, then the mm-space $X$ does not concentrate.
In 1999, M. Gromov introduced the box distance function $\sikaku$ on the space of all mm-spaces. In this paper, by using the method of T. H. Colding (cf. \cite[Lemma 5.10]{Colding}), we estimate $\sikaku(\mathbb{S}^n,\mathbb{S}^m)$ and $\sikaku (\mathbb{C}P^n, \mathbb{C}P^m)$, where $\mathbb{S}^n$ is the $n$-dimensional unit sphere in $\mathbb{R}^{n+1}$ and $\mathbb{C}P^n$ is the $n$-dimensional complex projective space equipped with the Fubini-Study metric. In paticular, we give the complete answer to an Exercise of Gromov's Green book (cf. \cite[Section $3{1/2}.18$]{gromov}). We also estimate $\sikaku \big(SO(n), SO(m)\big)$ from below, where SO(n) is the special orthogonal group.
This is just a note for \cite[Chapter$3{1/2}_+$]{gromov}. Maybe this note is obvious for a reader who knows metric geometry. I wish that someone study further in this direction.
The property of measure concentration is that an arbitrary 1-Lipschitz function $f:X\to \mathbb{R}$ on an mm-space $X$ is almost close to a constant function. In this paper, we prove that if such a concentration phenomenon arise, then any 1-Lipschitz map $f$ from $X$ to a space $Y$ with a doubling measure also concentrates to a constant map. As a corollary, we get any 1-Lipschitz map to a Riemannian manifold with a lower Ricci curvature bounds also concentrates to a constant map.