Almost flat manifold

From HandWiki

In mathematics, a smooth compact manifold M is called almost flat if for any [math]\displaystyle{ \varepsilon\gt 0 }[/math] there is a Riemannian metric [math]\displaystyle{ g_\varepsilon }[/math] on M such that [math]\displaystyle{ \mbox{diam}(M,g_\varepsilon)\le 1 }[/math] and [math]\displaystyle{ g_\varepsilon }[/math] is [math]\displaystyle{ \varepsilon }[/math]-flat, i.e. for the sectional curvature of [math]\displaystyle{ K_{g_\varepsilon} }[/math] we have [math]\displaystyle{ |K_{g_\epsilon}| \lt \varepsilon }[/math].

Given n, there is a positive number [math]\displaystyle{ \varepsilon_n\gt 0 }[/math] such that if an n-dimensional manifold admits an [math]\displaystyle{ \varepsilon_n }[/math]-flat metric with diameter [math]\displaystyle{ \le 1 }[/math] then it is almost flat. On the other hand, one can fix the bound of sectional curvature and get the diameter going to zero, so the almost-flat manifold is a special case of a collapsing manifold, which is collapsing along all directions.

According to the Gromov–Ruh theorem, M is almost flat if and only if it is infranil. In particular, it is a finite factor of a nilmanifold, which is the total space of a principal torus bundle over a principal torus bundle over a torus.

Notes

References