D. Nonuniqueness of Topology
Warning: Although the demand for homogeneity and isotropy determines completely the local geometric properties of a hypersurface of homogeneity up to the singl disposable factor K, it leaves the global topology of the hypersurface undetermined. The above choices of topology are the most straightforward. But other choices are possible.
This arbitrariness shows most simply when the hypersurface is flat (k=0). Write the full spacetime metric in Cartesian coordinates as
ds^2 = -dt^2 + a^2 (t) [dx^2 + dy^2 + dz^2 ] (16)
Then take a cube of coordinate edges L
0 < x < L, 0 < y < L, 0 < z < L,
and identify opposite faces (process similar to rolling up a sheet of paper into a tube and gluing its edges together; see last three paragraphs of 11.5 for detailed discussion). The resulting geometry is still described by the line element (16), but now all three spatial coordinates are "cyclic," like the \phi coordinate of a spherical coordinate system:
(t, x, y, z) is the same event as (t, x+L, y+L, z+L).
The homogenous hypersurfaces are now "3-toruses" of finite volume
V = a^3 L^3,
analogous to the 3-toruses which one meets under the name "periodic boundary conditions" when analyzing electron waves and acoustic waves in solids and electromagnetic waves in space.
Another example: The 3-sphere described in part A above (case of "positive curvature") has the same geometry, but not the same topology, as the manifold of the rotation group, SO(3) [see exercises 9.12, 9.13, 10.16, and 11.12]. For detailed discussion, see for example Weyl (1946), Coxeter (1963), and Auslander and Markus (1959).