Decomposition of flat manifolds

From MaRDI portal
Publication:4346290





Let \(M\) be a compact flat Riemannian manifold of dimension \(n\), and \(\Gamma\) its fundamental group. Then we have the following exact sequence \(0\to Z^n\to\Gamma\to G\to 0\), where \(Z^n\) is a maximal abelian subgroup of \(\Gamma\) and \(G\) is a finite group isomorphic to the holonomy group of \(M\). Let us call \(\Gamma\) a Bieberbach group. In 1970 A. T. Vasquez proved that for any finite group \(G\) there exists an integer \(n(G)\) with the following property: if \(M\) is any compact flat manifold with holonomy group \(G\) (short \(G\)-manifold) then \(M\) is a fibre bundle over the flat manifold of dimension \(\leq n(G)\) with flat torus as a fibre. In the paper the author defines an invariant \(n'(G)\) by a method apparently different than that used for \(n(G)\). However, he proves that \(n'(G)=n(G)\), (Theorem 3). In addition he characterizes all finite groups with \(n(G)=1\), (Theorem 2). As a corollary (Corollary 2A) he proves that there exists some flat manifold \(M\) such that any flat \(G\)-manifold is a fibre bundle over \(M\) with a flat torus as a fibre.











This page was built for publication: Decomposition of flat manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4346290)