arXiv subjects
Publications and source records attributed to Takashi Shioya.
We study the infinite-dimensional Gaussian pyramid and its quotients by the global sign flip and the $U(1)$-Hopf action. We resolve affirmatively a long-standing problem posed by Tomohiro Fukaya around 2014: these three limiting geometries are pairwise non-similar, meaning that no positive rescaling makes any two of them coincide.
As a continuation of \cite{NSY:local}, we mainly discuss the global structure of two-dimensional locally compact geodesically complete metric spaces with curvature bounded above. We first obtain the result on the Lipschitz homotopy approximations of such spaces by polyhedral spaces. We define the curvature measures on our spaces making use of the convergence of the curvature measures, and establish Gauss-Bonnet Theorem. We also give a characterization of such spaces.
We determine the local geometric structure of two-dimensional metric spaces with curvature bounded above as the union of finitely many properly embedded/branched immersed Lipschitz disks. As a result, we obtain a graph structure of the topological singular point set of such a singular surface.
Gromov introduced two distance functions, the box distance and the observable distance, on the space of isomorphism classes of metric measure spaces and developed the convergence theory of metric measure spaces. We investigate several topological properties on the space equipped with these distance functions toward a deep understanding of convergence theory.
We study the topological structure of the space $\mathcal{X}$ of isomorphism classes of metric measure spaces equipped with the box or concentration topologies. We consider the scale-change action of the multiplicative group $\mathbb{R}_+$ of positive real numbers on $\mathcal{X}$, which has a one-point metric measure space, say $*$, as only one fixed-point. We prove that the $\mathbb{R}_+$-action on $\mathcal{X}_* := \mathcal{X} \setminus \{*\}$ admits the structure of nontrivial and locally trivial principal $\mathbb{R}_+$-bundle over the quotient space. Our bundle $\mathbb{R}_+ \to \mathcal{X}_* \to \mathcal{X}_*/\mathbb{R}_+$ is a curious example of a nontrivial principal fiber bundle with contractible fiber. A similar statement is obtained for the pyramidal compactification of $\mathcal{X}$, where we completely determine the structure of the fixed-point set of the $\mathbb{R}_+$-action on the compactification.
In this paper, we introduce a pseudometric on the family of isometry classes of (extended) metric spaces. Using it, we obtain a natural compactification of the Gromov-Hausdorff space, which is compatible with ultralimit.
We generalize the box and observable distances to those between metric measure spaces with group actions, and prove some fundamental properties. As an application, we obtain an example of a sequence of lens spaces with unbounded dimension converging to the cone of the infinite-dimensional complex projective space. Our idea is to use the theory of mass-transport.
We prove the convergence of (solid) ellipsoids to a Gaussian space in Gromov's concentration/weak topology as the dimension diverges to infinity. This gives the first discovered example of an irreducible nontrivial convergent sequence in the concentration topology, where 'irreducible nontrivial' roughly means to be not constructed from Levy families nor box convergent sequences.
Let $M$ be a graph manifold such that each piece of its JSJ decomposition has the $\Bbb H^2 \times \Bbb R$ geometry. Assume that the pieces are glued by isometries. Then, there exists a complete Riemannian metric on $\Bbb R \times M$ which is an "eventually warped cusp metric" with the sectional curvature $K$ satisfying $-1 \le K <0$. A theorem by Ontaneda then implies that $M$ appears as an end of a 4-dimensional, complete, non-compact Riemannian manifold of finite volume with sectional curvature $K$ satisfying $-1 \le K <0$.
We prove that if a geodesic metric measure space satisfies a comparison condition for isoperimetric profile and if the observable variance is maximal, then the space is foliated by minimal geodesics, where the observable variance is defined to be the supremum of the variance of 1-Lipschitz functions on the space. Our result can be considered as a variant of Cheeger-Gromoll's splitting theorem and also of Cheng's maximal diameter theorem. As an application, we obtain a new isometric splitting theorem for a complete weighted Riemannian manifold with a positive Bakry-Émery Ricci curvature.
We study the high-dimensional limit of (projective) Stiefel and Grassmann manifolds as metric measure spaces in Gromov's topology. The limits are either the infinite-dimensional Gaussian space or its quotient by an mm-isomorphic group action, which are drastically different from the manifolds. As a corollary, we obtain some asymptotic estimates of the observable diameter of (projective) Stiefel and Grassmann manifolds.
In this book, we study Gromov's metric geometric theory on the space of metric measure spaces, based on the idea of concentration of measure phenomenon due to Lévy and Milman. Although most of the details are omitted in the original article of Gromov, we present complete and detailed proofs for some main parts, in which we prove several claims that are not mentioned in any literature. We also discuss concentration with a lower bound of curvature, originally studied by Funano and the author.
We give an explicit estimate of the area of a closed surface by the diameter and a lower bound of curvature. This is better than Calabi-Cao's estimate for a nonnegatively curved two-sphere.
We estimate the observable diameter of the $l_p$-product space $X^n$ of an mm-space $X$ by using the limit formula in our previous paper. The idea of our proof is based on Gromov's book. As a corollary we obtain the phase transition property of $\{X^n\}_{n=1}^\infty$ under a discreteness condition.
We generalize the observable diameter and the separation distance for metric measure spaces to those for pyramids, and prove some limit formulas for these invariants for a convergent sequence of pyramids. We obtain various applications of our limit formulas as follows. We have a criterion of the phase transition property for a sequence of metric measure spaces or pyramids, and find some examples of symmetric spaces of noncompact type with the phase transition property. We also give a simple proof of a theorem by Funano-Shioya on the limit of an $N$-Lévy family.
We study the limits of sequences of spheres and complex projective spaces with unbounded dimensions. A sequence of spheres (resp. complex projective spaces) either is a Levy family, infinitely dissipates, or converges to (resp. the Hopf quotient of) a virtual infinite-dimensional Gaussian space, depending on the size of the spaces. These are the first discovered examples with the property that the limits are drastically different from the spaces in the sequence. For the proof, we introduce a metric on Gromov's compactification of the space of metric measure spaces.
Under an infinitesimal version of the Bishop-Gromov relative volume comparison condition for a measure on an Alexandrov space, we prove a topological splitting theorem of Cheeger-Gromoll type. As a corollary, we prove an isometric splitting theorem for Riemannian manifolds with singularities of nonnegative (Bakry-Emery) Ricci curvature.
We prove the infinitesimal version of Bishop-Gromov volume comparison condition for Alexandrov spaces.