§ 2.4. Some 2-manifolds, deck transformations.
Example 2: On the 2-sphere , any two loops can be deformed into one another. The homotopy group is the trivial group consisting of the identity. The sphere is simply connected. The torus admits two different inequivalent loops. The first homotopy group becomes . Its cover is the real plane .
Since the simply connected manifolds of dimension can be classified as the Euclidean plane , the sphere , or the hyperbolic space , we expect all the topological manifolds to appear as tilings of one of these objects.
Example 3: The torus can be mapped to a square tiling of the Euclidean plane . The unit square is shown in Fig.13 . A basis of the twofold Fourier analysis in coordinates is given by
After placing a topological manifold as a tiling on its universal cover, the matching rules of this tiling will reflect its connectivity and topology. The matching rules can be given as a set of deck operations which act on the universal cover and generate the tiling from an initial tile. The deck transformation group consists of these actions. We denote this group by .
An important theorem in topology is:
Theorem p. 196-8: The group of deck transformations acting on the cover is isomorphic to the fundamental or first homotopy group,
This theorem is not trivial since the structure of the two groups is very different.