1984/01/01 by William M. Goldman, Yoshinobu Kamishima · 66 citations
Mathematics · #Geometric Analysis and Curvature Flows #Geometric and Algebraic Topology #Geometry and complex manifolds #Mathematics #Lorentz space #Pure mathematics #Group (periodic table) #Lorentz transformation #Minkowski space #Space (punctuation) #Noncommutative geometry #Lie group #Lorentz group #Conjecture #Dimension (graph theory) #Manifold (fluid mechanics) #Geometry #Quantum mechanics #Physics
paper · pdf · doi:10.4310/jdg/1214438430
published in Journal of Differential Geometry 19(1) (Lehigh University)
openalex publication_date 1984/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/06
A flat Lorentz space form is a geodesically complete Lorentzian manifold of zero curvature. It is well known (see Auslander & Markus [3]) that such a space M may be represented as a quotient R/Γ, where is an -dimensional Minkowski space (n equals the dimension of M) and Γ is a group of Lorentz isometries acting properly discontinuously and freely on R. In particular the universal covering of M is isometric to R and the fundamental group ττλM) is isomorphic to Γ. Theorem. Let M be a compact flat Lorentz space form. Then πλM) is virtually poly cyclic. Recall that a group is virtually polycyclic if it can be built by iterated extensions from finitely many finite groups and cyclic groups. This result affirms a conjecture of Milnor [13] in a special case. For discussion of this conjecture as well as another special case, we refer to Fried & Goldman [8]. The importance of this result is that it reduces the classification of compact flat Lorentz space forms to fairly elementary problems concerning Lie algebras and lattices in solvable Lie groups; we hope to pursue this classification in a future publication. For a description of this reduction and the classification in dimension 3, see Fried & Goldman [8]; in dimension 4 the classification is worked out in Fried [7]. One immediate consequence of the structure theory developed in Fried & Goldman [8, §1] and Kamishima [12] is the following Corollary. Let M be the compact flat Lorentz space form. Then M has a finite covering which is diffeomorphic to a solvmanifold. The outline of this paper is as follows. In the first section we collect some basic facts about the group E(n — 1,1) of isometries of -dimensional Minkowski space. In the second section we prove the theorem in the special