5
$\begingroup$

Let $\{M^n_i\}_{i=1}^\infty$ be a sequence of closed smooth Riemannian $n$-dimensional manifolds with uniformly bounded below Ricci curvature and uniformly bounded above diameter. The Gromov compactness theorem says that there exists a subsequence which converges in the Gromov-Hausdorff sense to a compact metric space $X$.

Questions. (1) Is the Hausdorff dimension of $X$ necessarily integer?

(2) Is it at most $n$?

Remark. If one assumes a stronger condition that the sectional (rather than Ricci) curvature of $M_i$ is uniformly bounded below then the answers to both questions are positive as it is shown in the theory of Alexandrov spaces.

Improve this question
$\endgroup$
2
  • $\begingroup$ The paper "Manifold with ideal boundaries of different dimensions" by N. L. Santos in Osaka J. Math.40 (2003), 455–467; might be related to the questions at hand. $\endgroup$
    – valeri
    Commented Jul 25, 2016 at 19:08
  • 1
    $\begingroup$ Cheeger and Colding obtained a condition on the sequences of Riemannian manifolds with uniformly lower bounded Ricci curvature (no assumption on the diameters) which guarantees that the Hausdorff dimension of the limit is an integer (see On the structure of spaces with Ricci curvature bounded below. II Theorem 1.38). While this is not exactly what you are asking it might be helpful. $\endgroup$
    – Sak
    Commented Jul 26, 2016 at 1:07

2 Answers 2

Reset to default
3
$\begingroup$

I cannot say anything about question (1), but the answer to question (2) is yes:

By the work of Cheeger-Colding, we can assume that $(M_i)$ endowed with the normalized volume measure converges in the measured Gromov-Hausdorff sense. Thus, the limit is a $\mathrm{CD}(K,n)$-space in the sense of Lott-Sturm-Villani (where $K$ is the uniform lower bound on the Ricci curvatures of $M_i$). These spaces have Hausdorff dimension $\leq n$.

You should find these results (or references to the original sources) in K.-T. Sturm. On the geometry of metric measure spaces I. and II.

Improve this answer
$\endgroup$
1
  • $\begingroup$ is this the right link I've added? $\endgroup$
    – Amir Sagiv
    Commented Aug 3, 2016 at 13:37
1
$\begingroup$

I think your question (1) is a conjecture by K. Fukaya.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .