The
universal cover of a
complete flat manifold is Euclidean space. This can be used to prove the theorem of
Bieberbach (
1911,
1912) that all
compact flat manifolds are finitely covered by tori; the 3-dimensional case was proved earlier by
Schoenflies (1891).
Examples
The following manifolds can be endowed with a flat metric. Note that this may not be their 'standard' metric (for example, the flat metric on the 2-dimensional torus is not the metric induced by its usual embedding into ).
Dimension 1
Every one-dimensional Riemannian manifold is flat. Conversely, given that every connected one-dimensional smooth manifold is diffeomorphic to either or it is straightforward to see that every connected one-dimensional Riemannian manifold is isometric to one of the following (each with their standard Riemannian structure):
the real line
the open interval for some number
the open interval
the circle of radius for some number
Only the first and last are complete. If one includes Riemannian manifolds-with-boundary, then the half-open and closed intervals must also be included.
The simplicity of a complete description in this case could be ascribed to the fact that every one-dimensional Riemannian manifold has a smooth unit-length vector field, and that an isometry from one of the above model examples is provided by considering an integral curve.
Dimension 2
The five possibilities, up to diffeomorphism
If is a smooth two-dimensional connected complete flat Riemannian manifold, then must be diffeomorphic to the
Möbius strip, or the
Klein bottle. Note that the only compact possibilities are and the Klein bottle, while the only orientable possibilities are and
It takes more effort to describe the distinct complete flat Riemannian metrics on these spaces. For instance, the two factors of can have any two real numbers as their radii. These metrics are distinguished from each other by the ratio of their two radii, so this space has infinitely many different flat product metrics which are not isometric up to a scale factor. In order to talk uniformly about the five possibilities, and in particular to work concretely with the Möbius strip and the Klein bottle as abstract manifolds, it is useful to use the language of group actions.
The five possibilities, up to isometry
Given let denote the translation given by Let denote the reflection given by Given two positive numbers consider the following subgroups of the group of isometries of with its standard metric.
provided
These are all groups acting freely and properly discontinuously on and so the various coset spaces all naturally have the structure of two-dimensional complete flat Riemannian manifolds. None of them are isometric to one another, and any smooth two-dimensional complete flat connected Riemannian manifold is isometric to one of them.
Orbifolds
There are 17 compact 2-dimensional orbifolds with flat metric (including the torus and Klein bottle), listed in the article on
orbifolds, that correspond to the 17
wallpaper groups.
Remarks
Note that the standard 'picture' of the torus as a
doughnut does not present it with a flat metric, since the points furthest from the center have positive curvature while the points closest to the center have negative curvature. According to Kuiper's formulation of the
Nash embedding theorem, there is a embedding which induces any of the flat product metrics which exist on but these are not easily visualizable. Since is presented as an embedded submanifold of any of the (flat) product structures on are naturally presented as submanifolds of Likewise, the standard three-dimensional visualizations of the Klein bottle do not present a flat metric. The standard construction of a Möbius strip, by gluing ends of a strip of paper together, does indeed give it a flat metric, but it is not complete.
The Cartesian product of a circle and a Klein bottle, .
A manifold similar to the aforementioned, but translationally offset in one direction parallel to the
glide plane; moving in this direction returns to the opposite side of the manifold.
The manifold made by reflecting a point across two perendicular glide planes and translating along the third direction.
A manifold similar to the aforementioned, but translationally offset in one direction parallel to one glide plane; moving in this direction returns to the opposite side of the manifold.
The Cartesian product of a circle and an (unbounded) Möbius strip.
The manifold made by translating a point along one axis and reflecting it across a perpendicular glide plane.
The manifold made by translating a point along one axis and reflecting it across a parallel glide plane.
The manifold made by reflecting a point across two perpendicular glide planes.
Higher dimensions
Euclidean space
Tori
Products of flat manifolds
Quotients of flat manifolds by groups acting freely.
This is a consequence of the Adams-
Ballmann theorem (1998),[5] which establishes this characterization in the much more general setting of
discrete cocompact groups of isometries of
Hadamard spaces. This provides a far-reaching generalisation of
Bieberbach's theorem.
The discreteness assumption is essential in the Adams-Ballmann theorem: otherwise, the classification must include
symmetric spaces,
Bruhat-Tits buildings and
Bass-Serre trees in view of the "indiscrete" Bieberbach theorem of Caprace-
Monod.[6]
^
abThe early universe and the cosmic microwave background : theory and observations. Dordrecht: Kluwer Academic Publishers. 2003. pp. 166–169.
ISBN978-1-4020-1800-8.
^Conway, J. H.; Rossetti, J.P. (24 October 2005). "Describing the platycosms".
arXiv:math/0311476.
Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of differential geometry. Vol. I (Reprint of the 1963 original ed.), New York: John Wiley & Sons, Inc., pp. 209–224,
ISBN0-471-15733-3
Schoenflies, A. (1891), Kristallsysteme und Kristallstruktur, Teubner.