Geometry with an Introduction to Cosmic Topology

If you've got a surface in your hand, you can find a homeomorphic version of the surface on which to construct hyperbolic geometry, elliptic geometry, or Euclidean geometry. And the choice of geometry is unique: No surface admits more than one of these geometries. As we shall see, of the infinitely many surfaces, all but four admit hyperbolic geometry (two admit Euclidean geometry and two admit elliptic geometry). Thus, if you randomly generate a constant curvature surface for a two-dimensional bug named Bormit, Bormit will no doubt live in a world with hyperbolic geometry.

Chances are, too, that a constant curvature surface cannot be embedded in three-dimensional space. Only the sphere has this nice feature. In fact, if \(X\) is any surface that lives in \(\mathbb{R}^3\text{,}\) like the handlebody surfaces in Figure 7.5.10, then it must have at least one point with positive curvature. Why is this? The surface in \(\mathbb{R}^3\) is bounded, so there must be some sphere in \(\mathbb{R}^3\) centered at the origin that contains the entire surface. Shrink this sphere until it just bumps into the surface at some point. The curvature of the surface at this point matches the curvature of the sphere, which is positive.

We have seen that any surface is homeomorphic to a polygonal surface representing \(H_g\) or \(C_g\text{,}\) for some \(g\text{,}\) and we now show that each of these may be given a homogeneous, isotropic and metric geometry (so that it has constant curvature). A polygonal surface can only run into trouble homogeneity-wise where the corners come together. Any point in the interior of the polygon has a nice \(360^\circ\) patch of space about it, as does any point in the interior of an edge. However, if the angles of the corners that come together at a point do not add up to 360\(^\circ\text{,}\) then the surface has either a cone point or a saddle-point, depending on whether the angle sum is less than or more than 360\(^\circ\text{.}\) As we saw in Chapter 1 (Exercises 1.3.5 and Example 1.3.7), in either case, we will not have a homogeneous geometry; a two-dimensional bug would be able to distinguish (with triangles or circles) a cone point from a flat point from a saddle point.

To smooth out such cone points or saddle points we change the angles at the corners so that the angles do add up to \(360^\circ\text{.}\) We now have the means for doing this. If we need to shrink the corner angles, we can put the polygon in the hyperbolic plane. If we need to expand the angles, we can put the polygon in the projective plane.

The following section offers a more formal discussion of how any surface admits one of our three geometries but we present an intuitive argument here.

The sphere and projective plane admit elliptic geometry by construction: The space in elliptic geometry is the projective plane, and via stereographic projection, this is the geometry on \(\mathbb{S}^2\text{.}\)

The torus and Klein bottle are built from regular 4-gons (squares) whose edges are identified in such a way that all 4 corners come together at a point. In each case, if we place the square in the Euclidean plane all corner angles are \(\pi/2\text{,}\) so the sum of the angles is 2\(\pi\text{,}\) and our surfaces admit Euclidean geometry.

Each handlebody surfaces \(H_g\) for \(g \geq 2\) and each cross-cap surfaces \(C_g\) for \(g \geq 3\) can be built from a regular \(n\)-gon where \(n \geq 6\text{.}\) Again, all \(n\) corners come together at a single point. A regular \(n\)-gon in the Euclidean plane has interior angle \((n-2)\pi/n\) radians, so the corner angles sum to \((n-2)\pi\) radians. This angle sum exceeds \(2\pi\) radians since \(n \geq 6\text{.}\) Placing a small version of this \(n\)-gon in the hyperbolic plane, the corner angle sum will be very nearly equal to \((n-2)\pi\) radians and will exceed \(2\pi\) radians, but as we expand the \(n\)-gon the corners approach ideal points and the corner angles sum will approach 0 radians. Thus, at some point the angle sum will equal 2\(\pi\) radians on the nose, and the polygonal surface built from this precise \(n\)-gon admits hyperbolic geometry. Exercise 7.6.4 works through how to construct this precise \(n\)-gon.

Of course, one need not build a surface from a regular polygon. For instance, the torus can be built from any rectangle in the Euclidean plane and it will inherit Euclidean geometry. So while the type of geometry our surface admits is determined, we have some flexibility where certain geometric measurements are concerned. For instance, there is no restriction on the total area of the torus, and the rectangle on which it is formed can have arbitrary length and width dimensions. These dimensions would have a simple, tangible meaning to a two-dimensional bug living in the surface (and might be experimentally determined). Each dimension corresponds to the length of a geodesic path that would return the bug to its starting point. A closed geodesic path in a surface is a path that follows along a straight line (in the underlying geometry) that starts and ends at the same point. Figure 7.6.5 shows three closed geodesic paths, all starting and ending at a point near a bug's house. The length of one path equals the width of the rectangle, the length of another equals the length of the rectangle, and the third follows a path that is longer than the first two.

Even in hyperbolic surfaces, where the area of the surface is fixed (for a given curvature) by the Gauss-Bonnet formula, which we prove shortly, there is freedom in determining the length of closed geodesic paths.

Example 7.6.6. Building hyperbolic surfaces from pants.

If we make three slices in the two-holed torus we obtain two pairs of pants, as indicated in the following figure.

We label our cuts so that we can stitch up our surface later. Match the \(c_i\text{,}\) \(d_i\text{,}\) and \(e_i\) edges to recover the two-holed torus. Any pair of pants can be cut into two hexagons by cutting along the three vertical seams in the pants. It follows that the two-holed torus can be constructed from four hexagons, with edges identified in pairs as indicated below.

The four hexagons represent a cell division of \(H_2\) having 6 vertices, 12 edges, and 4 faces. In the edge identification, corners come together in groups of 4, so we need each corner angle to equal \(90^\circ\) in order to endow it with a homogeneous geometry. We know we can do this in the hyperbolic plane. Moreover, according to Theorem 5.4.19, there is freedom in choosing the dimensions of the hexagons. That is, for each triple of real numbers \((a,b,c)\) there exists a right-angled hexagon in \(\mathbb{D}\) with alternate lengths \(a,b,\) and \(c\text{.}\) So, there exists a two-holed torus for each combination of six seam lengths (\(a_1,a_2,a_3,b_1,b_2,\) and \(b_3\)).

A surface that admits one of our three geometries will have constant curvature. The reader might have already noticed that the sign of the curvature will equal the sign of the surface's Euler characteristic. Of course the magnitude of the curvature (if \(k \neq 0)\) can vary if we place a polygonal surface in a scaled version of \(\mathbb{P}^2\) or \(\mathbb{D}\text{.}\) That is, while the type of homogeneous geometry a surface admits is determined by its Euler characteristic (which is determined by its shape), the curvature scale can vary if \(k \neq 0\text{.}\) By changing the radius of a sphere, we change its curvature (though it always remains positive). Similarly, the surface \(C_3\) in Figure 7.6.2 has constant curvature -1 if it is placed in the hyperbolic plane of Chapter 5. However, it can just as easily find itself in the hyperbolic plane with curvature \(k = -8\text{.}\) Recall, the hyperbolic plane with curvature \(k \lt 0\) is modeled on the open disk in \(\mathbb{C}\) centered at the origin with radius \(1/\sqrt{|k|}\text{.}\) Placing the hexagonal representation of \(C_3\) into this space so that its corner angle sum is still 2\(\pi\) produces a surface with constant curvature \(k\text{.}\)

We have finally arrived at the elegant relationship between a surface's curvature \(k\text{,}\) its area, and its Euler characteristic. This relationship crystalizes the interaction between the topology and geometry of surfaces.

Suppose a two-dimensional cosmologist believes she lives in a surface of constant curvature (because her universe looks homogeneous and isotropic). If she can deduce the curvature of the universe and its total area, she will know its Euler characteristic. That is, by measuring these geometric properties she can deduce the shape of her universe, or, at worst, narrow down the possibilities to two. If \(\chi\) is 2 or an odd integer then the cosmologist will know the shape of the universe. If \(\chi \lt 2\) is even, her universe will have one of two possible shapes - one shape orientable, the other non-orientable.