There are 10 compact flat 3 manifolds up to diffeomorphism, 6 orientable and 4 non orientable. I am looking to better understand how to construct the orientable ones.


The six orientable ones are determined by their holonomy groups
$$
C\_1,C\_2,C\_3,C\_4,C\_6
$$
and
$$
C\_2 \times C\_2
$$
The five with cyclic holonomy all arise as the mapping torus of a mapping class of $ T^2 $ with the corresponding order: 1,2,3,4, or 6. These five Euclidean manifolds with cyclic holonomy can even be constructed as a quotient of the special Euclidean group $ SE\_2 $ by a cocompact lattice constructed as the semidirect product of a lattice in $ \mathbb{R}^2 $ and a finite cyclic subgroup of $ SL\_2(\mathbb{Z}) $ preserving that lattice. For example $ C\_1 $ corresponds to the three torus $ T^3 $.


**I am very curious about the compact flat orientable 3 manifold with holonomy $ C\_2 \times C\_2 $ (known as the Hantzsche-Wendt manifold). It is not a mapping torus of $ T^2 $ like the other five, but perhaps it is a mapping torus of the Klein bottle $ K $?**



Compact flat orientable 3 manifolds and mapping tori
The remaining orientable manifold is called the Hantzsche-Wendt manifold $M^{HW}$, and is not a mapping torus over the Klein bottle. It has first homology $H\_1(M^{HW}, \mathbb{Z}) = \mathbb{Z}\_4 \times \mathbb{Z}\_4$. Any mapping torus $MT(M, f)$ of a manifold $M$ via the map $f: M \to M$ has $\pi\_1(MT(M, f)) \cong \pi\_1(M\_0) \rtimes\_{f\_\*} \mathbb{Z}$. Abelianizing and using Hurewicz's theorem yields that if $M$ is a mapping torus of the Klein bottle, $H\_1(M, \mathbb{Z})$ must be of the form $\mathbb{Z} \times H$, where $H$ is a quotient of $H\_1(K, \mathbb{Z}) = \mathbb{Z} \times \mathbb{Z}\_2$, and hence cannot be $\mathbb{Z}\_4 \times \mathbb{Z}\_4$. It is worth mentioning that the $3$-torus is a normal covering space of all flat compact $3$-manifolds.


The Hantzsche-Wendt Manifold has a nice description as a branched cover of the complement of the Borromean rings, which is described in Zimmerman's paper *[On the Hantzsche-Wendt Manifold](https://eudml.org/doc/178505)*. The standard reference for a classification of compact flat 3-manifolds is J. Wolf's book *Spaces of Constant Curvature,* which gives a classification of them and explicit constructions as quotients of $\mathbb{R}^3$ by isometries.


A resource to develop visual intuition about these manifolds is Jeffrey Weeks' program [Curved Spaces](https://www.geometrygames.org/), which simulates how it would look to "fly around inside of" manifolds and has a number of flat 3 manifolds as pre-built examples, including the Hantzsche-Wendt manifold.


