A differentiable manifold with noncoinciding dimensions (Q1314680)

What is the dimension of \(n\)-dimensional manifold \(M^ n\)? By definition the local dimension of \(M^ n\) is equal to \(n = \text{ind} M^ n\). There are two notions of a global dimension in general topology: the covering dimension dim and the large inductive dimension Ind. All three dimensions agree on nice spaces. It was known that generally they disagree. In this paper the author discovered that the global dimensions could disagree with the local dimension even for differentiable manifolds. In that case a manifold is not paracompact. Thus, the global dimension of \(n\)-dimensional manifold \(M^ n\) can be an arbitrary number \(m \geq n\).