Exercise 75.4

Bd Let X be the quotient space obtained from an 8-sided polygonal region P by means of the labelling scheme abcdad1cb1. Let π: P X be the quotient map.

(a)
Show that π does not map all the vertices of P to the same point of X.
(b)
Determine the space A = π(P) and calculate its fundamental group.
(c)
Calculate π1(X,x0) and H1(X).
(d)
Assuming X is homeomorphic to one of the surfaces given in Theorem 75.5, which surface is it?

Answers

Figure 1: Labeling of edges and identification of vertices in P.

Proof of (a). We have the identification of vertices in P as shown in Figure , found by identifying heads/tails of arrows with the same label, where the solid lines are one identification and the dashed lines are another. Thus, π does not map all the vertices of P to the same point of X. □

Figure 2: Sketch of A = π(P).

Solution for (b). Let x0 be the point identified by the solid lines in Figure , and x1 the point identified by the dashed lines. Then, using Figure , we see that a connects x0 to itself, c connects x1 to itself, and b goes from x0 to x1, while d goes from x1 to x0. Thus, we have the sketch in Figure for A = π(P).

We now want to calculate its fundamental group. First, we see that we can homotopically retract the segment d into the point x0, thereby making x0 coincide with x1; the resulting deformation retract is then the wedge sum of three circles. Thus, π1(A,x0) π1(S1 S1 S1,x0) = by Theorems 58.3 and 71.1. □

Solution for (c). We proceed as in Exercise (b):

[]a[bcd]a[d1cb1] aad1c1b1d1cb1 [aad1c1]b1[d1c]b1[] b1b1aad1c1c1d [b1b1aad1]c1[]c1[d] c1c1b1b1aad1d c1c1b1b1aad1d c1c1b1b1aa c1c1b1b1aa aabbcc

where we cancel d1d in the penultimate step and relabel in the last step as allowed on p. 460. Thus, our fundamental group is

π1(X,x0) = a,b,ca2b2c2 = 1,

which has the first homology group

H1(X) = a,b,c,d2a + 2b + 2c = 0 2 × (2).

Solution for (d). Since H1(X) 2 × (2), by Theorem 75.4, we have that X is homeomorphic to P3 = P2#P2#P2, assuming that X is homeomorphic to one of the surfaces in Theorem 75.5. □

User profile picture
2021-12-21 20:42
Comments