BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Takashi Shioya appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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.
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.
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 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.
We study discrete groups from the view point of a dimension gap in connection to CAT(0) geometry. Developing studies by Brady-Crisp and Bridson, we show that there exist finitely presented groups of geometric dimension 2 which do not act properly on any proper CAT(0) spaces of dimension 2 by isometries, although such actions exist on CAT(0) spaces of dimension 3. Another example is the fundamental group, G, of a complete, non-compact, complex hyperbolic manifold M with finite volume, of complex-dimension n > 1. The group G is acting on the universal cover of M, which is isometric to H^n_C. It is a CAT(-1) space of dimension 2n. The geometric dimension of G is 2n-1. We show that G does not act on any proper CAT(0) space of dimension 2n-1 properly by isometries. We also discuss the fundamental groups of a torus bundle over a circle, and solvable Baumslag-Solitar groups.