Connected complete Riemannian spaces of constant curvature (cf. Complete Riemannian space). The problem of classifying the -dimensional Riemannian spaces of arbitrary constant curvature was formulated by W. Killing (1891), who called it the Clifford–Klein problem of space forms. The contemporary formulation of this problem is due to H. Hopf (1925).
Examples of space forms.
The Euclidean space of dimension is a space form of zero curvature (a so-called flat space); the sphere in of radius is a space form of positive curvature ; the Lobachevskii space (a hyperbolic space) is a space form of negative curvature; the flat torus , where is an -dimensional lattice in , is a space form of zero curvature (a flat space).
Any space form of curvature can be obtained from a simply-connected space form of the same curvature by factorization with respect to a discrete group of freely-acting motions of (i.e. acting fixed-point free). Two spaces and are, moreover, isometric if and only if and are conjugate in the group of all motions of . Thus, the problem of classifying space forms reduces to the problem of describing all non-conjugate groups of motions of , or , acting freely. A space is called a spherical space form if , a Euclidean space form if and a hyperbolic space form if ; the fundamental group of is isomorphic to . In the study of the classification problem of space forms of non-zero curvature , only the sign of plays a significant role, so one usually puts .
If is even, then the only motions of the sphere without fixed points are the central symmetries, mapping each point of into the diametrically-opposite point. The quotient space by the group generated by these motions is an elliptic space. Any spherical space form of even dimension is isometric to either or . The three-dimensional spherical space forms have been classified (cf. ). The next step in the direction of classifying spherical space forms is a general program for solving this problem, as well as its applications to the classification of spherical space forms of dimension (cf. ). Since is compact, and the discrete group of motions of is finite, in order to classify -dimensional spherical space forms it is sufficient to describe all non-conjugate finite subgroups of the orthogonal group acting freely on . One says that an orthogonal representation of a finite group in is fixed-point free if for all the transformation of the sphere is fixed-point free, in particular, is a faithful representation. According to the program developed in , the solution of the Clifford–Klein problem for spherical space forms can be subdivided into several stages. Firstly, one has to find necessary and sufficient conditions on an abstract group so that it be the fundamental group of a spherical space form, and to classify such groups; one obtains a certain family of groups . Secondly, one has to describe all inequivalent irreducible orthogonal representations of each group in , and distinguish among them those representations that are fixed-point free. Finally, one has to determine all automorphisms of the groups in and to clarify which of the representations found are equivalent modulo the automorphisms of the corresponding group. This program has been realized completely in , and has led to an exhaustive classification of spherical space forms. Any finite cyclic group belongs to the family ; a non-cyclic group of order is the fundamental group of an -dimensional spherical space form if (but not only if) is relatively prime to and is divisible by the square of an integer.
The global theory of Euclidean space forms arose as an application of some results in geometric crystallography (cf. Crystallography, mathematical). In  the list of crystallographic groups in known at the end of the 19th century was used to obtain a topological, and in the compact case an affine, classification of three-dimensional Euclidean space forms. Bieberbach's theorems on crystallographic groups in led to the structure theory of compact Euclidean space forms of arbitrary dimensions. In particular, for any there is only a finite number of different equivalence classes of compact Euclidean space forms of dimension ; moreover, two compact Euclidean space forms and are affinely equivalent if and only if their fundamental groups and are isomorphic. E.g., any two-dimensional compact Euclidean space form is homeomorphic (hence, affinely equivalent) either to a flat torus or to the Klein bottle. An abstract group is the fundamental group of a compact Euclidean space form if and only if: a) has a normal Abelian subgroup of finite index isomorphic to ; b) coincides with the centralizer subgroup in ; and c) does not have elements of finite order. If such a group is realized as a discrete subgroup in the group of motions of , then coincides with the set of translations belonging to , and there is a normal covering of by the flat torus , defined by for all . The finite group is isomorphic to the group of covering transformations for , which is, in turn, isomorphic to the holonomy group of . A compact Euclidean space form always has a finite homology group. The converse statement also holds: A compact Riemannian space whose holonomy group is finite is flat. It has been proved that every finite group is isomorphic to the holonomy group of a compact Euclidean space form. The affine classification of compact Euclidean space forms of a given dimension is known (1983) only for . For there are 6 orientable and 4 non-orientable classes of affinely-equivalent compact Euclidean space forms. The compact Euclidean space forms with a cyclic holonomy group of prime order have been classified. The family of non-isometric flat tori can be parametrized by the elements of
Here is the connected component of the identity in . The isometric classification of compact Euclidean space forms of dimension immediately follows from their affine classification and the isometric classification of the tori . Non-compact Euclidean space forms have been classified (up to an isometry) only in dimensions 2 and 3. In particular, a two-dimensional non-compact Euclidean space form, different from , is homeomorphic to either a cylinder or the Möbius strip. Any non-compact Euclidean space form admits a real-analytic retraction onto a compact totally-geodesic flat submanifold; the class of fundamental groups of non-compact Euclidean space forms coincides with the class of fundamental groups of compact Euclidean space forms.
The study of two-dimensional hyperbolic space forms essentially began in 1888, when H. Poincaré, , studied discrete groups of fractional-linear transformations of the upper half-plane of the complex plane (Fuchsian groups, cf. Fuchsian group) and noted that they can be treated as the groups of motions of the hyperbolic plane . Let be the group of motions of preserving orientation; let , , be a convex -gon in with pairwise-congruent geodesic sides
where , , and the sum of the angles of which is . The elements and in map to and to , respectively (the case is drawn in the Fig.).
The subgroup generated by the then acts fixed-point free on , and the given -gon is the fundamental domain of . Moreover, has the unique defining relation
The quotient group is an orientable compact hyperbolic space form of genus , and every two-dimensional orientable compact hyperbolic space form can be obtained in this way. Suppose now that is an abstract group isomorphic to the fundamental group of an orientable closed surface of genus . Then there is a continuous mapping satisfying the conditions: a) for all the mapping is a monomorphism of into ; b) two subgroups and are conjugate in if and only if ; and c) if a discrete subgroup is isomorphic to , then it is conjugate to for some . Thus, the family of non-isomorphic compact hyperbolic space forms of dimension 2 and genus depends on real parameters. A two-dimensional compact hyperbolic space form can be naturally endowed with the structure of a Riemann surface, and the statement just formulated was originally proved by tools of the theory of uniformization; a geometric proof was given in . The results given can be generalized to non-compact hyperbolic space forms, which are homeomorphic to a sphere with a finite number of handles and holes, as well as to non-oriented hyperbolic space forms of dimension 2. Contrary to the two-dimensional case, there do not exist continuous families of non-isometric compact hyperbolic space forms of dimension exceeding two. More precisely, compact hyperbolic space forms of dimension having isomorphic fundamental groups are isomorphic. Other general results, immediately related to the classification of -dimensional hyperbolic space forms, do not exist (1983); examples of hyperbolic space forms of dimension have been given in  and .
Besides the Riemannian space forms their generalization have also been studied: pseudo-Riemannian, affine and complex space forms, as well as space forms of symmetric spaces (cf., e.g., ).
|||H. Poincaré, "Oeuvres" , 3 , Gauthier-Villars (1934)|
|||W. Threlfall, H. Seifert, "Topologische Untersuchungen der Diskontinuitätsbereiche endlicher Bewegungsgruppen der dreidimensionalen sphärischen Raumes" Math. Ann. , 104 (1931) pp. 1–70|
|||W. Nowacki, "Euklidischen, dreidimensionalen, geschlossenen und offenen Raumformen" Comm. Math. Helvetica , 7 (1934) pp. 81–93|
|||G. Vincent, "Les groupes linéaires finis sans points fixes" Comm. Math. Helvetica , 20 (1947) pp. 117–171|
|||J.A. Wolf, "Spaces of constant curvature" , Publish or Perish (1984)|
|||E.B. Vinberg, "Some examples of crystallographic groups in Lobachevskii spaces" Math. USSR Sb. , 7 (1969) pp. 617–622 Mat. Sb. , 78 : 4 (1969) pp. 633–639|
|||S.M. Natanzon, "Invariant lines on Fuchsian groups" Russian Math. Surveys , 27 : 4 (1972) pp. 161–177 Uspekhi Mat. Nauk : 4 (1972) pp. 145–160|
|||J.J. Millson, "On the first Betti number of a constant negatively cuved manifold" Ann. of Math. , 104 (1976) pp. 235–247|
|||A. Borel, "Compact Clifford–Klein forms of symmetric spaces" Topology , 2 (1963) pp. 111–122|
A group that satisfies the three conditions a), b), c) above for being the fundamental group of a compact Euclidean space form is called a Bieberbach group.
Let be the group of rigid motions of the Euclidean space , i.e. the group of transformations with , the orthogonal group, and , a translation. There is an exact sequence
where is the subgroup of pure translations: . This is a semi-direct product. An isotropic subgroup of is a subgroup such that spans all of . A uniform subgroup is one such that the orbit space is compact; finally, a direct subgroup is one which is discrete as a subspace of . A crystallographic subgroup is a subgroup of that is uniform and discrete, and a Bieberbach subgroup of is a torsion-free crystallographic subgroup. The crystallographic subgroups of are also known as the space groups. Cf. also Crystallographic group. An (abstract) crystallographic group is a group that contains a finitely-generated Abelian torsion-free subgroup of finite index. An (abstract) Bieberbach group is a torsion-free crystallographic subgroup. An Auslander–Kuranishi theorem says that each crystallographic group arises as a crystallographic subgroup of an , and hence that each Bieberbach group arises as a Bieberbach subgroup. A second Auslander–Kuranishi theorem says that for any finite group there is a Bieberbach group such that , and that any finite group arises as a holonomy group of a compact Euclidean space form (cf. above). The three Bieberbach theorems on crystallographic subgroups are as follows: i) if is a crystallographic subgroup of , then is finite and is isotropic; ii) any isomorphism of crystallographic subgroups of can be realized by an affine change of coordinates: , , , ; iii) up to affine coordinate changes there are only finitely many crystallographic subgroups of . These last two statements readily lead to corresponding statements concerning Euclidean space forms, as in the main article above.
The numbers of crystallographic and Bieberbach subgroups (up to isomorphism) in the first few dimensions are as follows.'
| <tbody> </tbody> |
If one considers the crystallographic groups in up to orientation preserving affine conjugacy, the more familiar number of 230 equivalence classes arises. (The 230 space groups.)
|[a1]||L.S. Charlap, "Bieberbach groups and flat manifolds" , Springer (1986)|
|[a2]||L. Auslander, M. Kuranishi, "On the holonomy groups of locally Euclidean spaces" Ann. of Math. , 65 (1957) pp. 411|
|[a3]||R.L.E. Schwarzenberger, "-dimensional crystallography" , Pitman (1980)|
Space forms. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Space_forms&oldid=11705