Poincaré's cube manifolds
|the version used for publication as of 09:27, 13 May 2013 and the changes since publication.|
The user responsible for this page is Klaus Volkert. No other user may edit this page at present.
In his seminal paper ``On Analysis situs´´, published in 1895 ([Poincaré1895]), Poincaré constructed a series of closed -manifolds which played an important role in the development of his theory. They were both sources of inspiration and testing cases for the new tools. In particular Poincaré tested his topological invariants (the fundamental group, the Betti numbers) on them. Most of those examples are constructed by identifications on the faces of a (solid) cube. Therefore they are called here Poincaré's cube manifolds.
The simplest cube manifold is probably the 3-torus. It was described before Poincaré by W. Killing in the context of his work on Clifford-Klein space-forms ([Killing1893, 288 - 289]). The faces of a cube are identified by three translations. Since these translations generate a subgroup of the isometries of ordinary -space which acts discontinuously and without fixed points, the resulting -torus - the name is neither used by Killing nor by Poincaré - is a locally flat 3D space-form.
In his work on Kleinean functions, which are special types of automorphic functions ([Poincaré1883]), Poincaré had met the situation that the faces of a polyhedron are identified in pairs ([Poincaré1953, 274-279]). The difference here is that those polyhedra were hyperbolic polyhedra whereas in his toplogical work the geometric situation is not taken into account. It should be mentioned that Poincaré announced his cube manifolds in the short Comptes rendus note of 1893 which opened his series of papers on topology ([Poincaré1893]). This is a hint to the importance which Poincaré attributed to those manifolds.
Here is Poincaré's description of the 3-torus: Cf. Figure 1. The coordinates of the points are (0,0,0), (0,1,0), (1,0,0), (1,1,0), (0,0,1), (0,1,1), (1,0,1), (1,1,1) (actually this is only important in the sixth example).
In Poicaré's paper there is no picture - pictures are rather rare in his work! Here is one: see Figure 2.
With the help of the relations defined by the identification scheme - the generators of the fundamental group of the torus are the three translations - Poincaré could calculate the fundamental group. In modern notation he arrived at the result that it is isomorphic to . Because this fundamental group is abelian, it was easy to compute the first Betti number as and by duality also the second (equal to 4 also). It should be noted that Poincaré's Betti numbers are modern Betti numbers plus 1.
The second example given by Poincaré is one in which the identifications don't provide a manifold - so it is negative in a sense. The third example is more interesting: Cf. Figure 3.
Here the translations are combined with rotations of . There are two cycles of vertices: and and four cycles of edges: Cf. Figure 4.
The calculation of the fundamental group shows that this is isomorphic to the group of units of the Hamiltonians. Therefore the 3-manifold of example 3 was later called (by Seifert and Threlfall ([Seifert&Threlfall1934, 198]; cf. also [Threlfall&Seifert1931, 60]) ``the quaternionian space´´. Poincaré himself related the group he had calculated to the symetries of the hypercube in 4-space. Calculating the Betti-numbers Poincaré found 1 and (by duality) 1. But there is a torsion coefficient in dimension one which wasn't noticed by Poincaré in his paper of 1895; this mistake was corrected in the first complement dating from 1900 ([Poincaré1900], [Poincaré1953, 292]).
The identification scheme of Poincaré's fourth example is the following: cf. Figure 5:
There is only one cycle of vertices, that is, all vertices are identified but there are three cycles of edges: Cf. Figure 6:
Poincaré did not arrive at an explicit representation of the fundamental group of example four. He calculated only the Betti numbers as 2 not taking into account torsion.
The fifth example in Poincaré's paper is derived from an octahedron, it yields the projective space.
The sixth example is a whole family of cube manifolds; its role in Poincaré's paper is central because he shows with this construction that there are 3-manifolds with same Betti numbers but different fundamental groups. So the fundamental group is a stronger invariant then the Betti numbers.
The family of 3-manifolds which Poincaré called the sixth example is defined by three "substitutions" (that is mappings).
The numbers , , and are integers such that - equals 1. In modern language this means that the matrix is an element of . We denote this matrix by . In contrast to the manner in which the other examples were constructed - labeled by Poincaré as "geometric" - the sixth example is defined by the action of a group that acts discontinuously and without fixpoints - Poincaré called this "Representation by a discontinuous group" ([Poincaré1953, 236]). In modern language the sixth example is an orbit space. From a geometric point of view there are two translations ( and ) as in the case of the -torus (identiying the left face with the right face, the face in front with that in behind) plus a combination of a translation and a a composition of transvections which determines the identifiaction of the bottom with the top.
Poincaré gave some concrete examples. If we choose the matrix as the identity matrix we get the torus, if we choose it to describe a rotation about we get the fourth example. Poincaré himself added the following example: If equals then the identification scheme is as follows: Cf. Figure 7.
The fundamental group of the manifold one gets - we call it - is isomorphic to the group which is generated by the three defining transformations. By a long and complicated calculation Poincaré was able to calculate the first Betti number of the sixth example. His results was the following:
If is , then ; if but the matrix is not the identity matrix, then . In all other cases .
In order to get the result he was looking for - two manifolds with the same first and second Bettti numbers (always by duality) but different fundamental groups - Poincaré had to study the fundamental groups of the manifolds . For two such matrices, and , the fundamental groups, and , of the corresponding manifolds are isomorphic to the groups of deck transformations generated by the three ``substitutions´´ , and : this is because the covering is simply connected. Poincaré arrived at the following result: The groups and are isomorphic if and only if the matrices and are in the same conjugacy class in . So Poincaré's problem is solved: An example is given by the matrices
if the two numbers and have different absolute value. As a concrete example we may choose the matrices
and so on.
Remark 0.1.[Sarkaria1996] corrected Poincaré's result: The conjugacy classes must be taken in and the matrices and their inverses have to be taken into account. But the concrete conclusion of Poincaré is not harmed by this correction.
In his dissertation (1931) Seifert came back to Poincaré's sixth example in a different context. Imagine the two identifications by and are made. Then the result is the part of 3-space between two concentric tori. The identification by has to glue the inner torus to the outer. Such a situation was called a ``Schalenraum´´ (shell space) by Seifert ([Seifert1931, 29]). For more details see [Volkert2002] (historical information), [Evans&Moser1972] (group theory), [Hempel1976, 127] (Poincaré's examples in another context) and [Sarkaria1996] (more on Poincaré's sixth example).
- [Evans&Moser1972] B. Evans and L. Moser, Solvable fundamental groups of compact -manifolds, Trans. Amer. Math. Soc. 168 (1972), 189–210. MR0301742 (46 #897) Zbl 0241.57002
- [Hempel1976] J. Hempel, -Manifolds, Princeton University Press, Princeton, N. J., 1976. MR0415619 (54 #3702) Zbl 1058.57001
- [Killing1893] W. Killing, Einführung in die Grundlagen der Geometrie. I. Band, Paderborn. F. Schöningh. 1893. Zbl 25.0853.01
- [Poincaré1883] H. Poincaré, Memoir on Kleinian groups (Mémoire sur les groupes Kleinéens), Act. Math. 3 (1883) 49-92. MR1554613 Zbl 15.0348.02
- [Poincaré1893] H. Poincaré, Sur l'analysis situs, C. R. 115 (1893) 633-636. Zbl 24.0506.02
- [Poincaré1895] H. Poincaré, Analysis situs, J. de l'Éc. Pol. (2) I (1895) 1-123. Zbl 26.0541.07
- [Poincaré1900] H. Poincaré, Second complément à l'analysis situs, J. Lond. M. S. Proc. 32 (1900) 277-308. Zbl 31.0477.10
- [Poincaré1953] H. Poincaré, Oeuvres. Tome VI, Paris 1953. MR1401792 (98m:01041) Zbl 894.01020
- [Sarkaria1996] K. S. Sarkaria, A look back at Poincaré's ``Analysis situs´´, in: Henri Poincaré: science et philosophie (Nancy, 1994), Akademie Verlag (1996), 251–258. MR1384996 (97f:01020) Zbl 0851.01003
- [Seifert&Threlfall1934] H. Seifert and W. Threlfall, Lehrbuch der Topologie, Leipzig und Berlin: B. G. Teubner. VII, 1934. Zbl 0009.08601
- [Seifert1931] H. Seifert, Konstruktion dreidimensionaler geschlossener Räume, Ber. Verh. Sächs. Akad. Leipzig 83 (1931) 26-66. Zbl 0002.16001
- [Threlfall&Seifert1931] W. Threlfall and H. Seifert, Topologische Untersuchung der Diskontinuitätsbereiche endlicher Bewegungsgruppen des dreidimensionalen sphärischen Raumes, Math. Ann. 104 (1931), no.1, 1–70. MR1512649 Zbl 0006.03403
- [Volkert2002] K. Volkert, Das Homöomorphieproblem insbesondere der 3-Mannigfaltigkeiten, in der Topologie 1892 - 1935, Paris, 2002.