Docsity
Docsity

Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity


Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan


Guidelines and tips
Guidelines and tips

Topology Problem Sheet: Van Kampen's Theorem and Fundamental Groups, Exercises of Topology

Problem sheet in algebraic topology

Typology: Exercises

2014/2015

Uploaded on 02/02/2023

Markuka
Markuka 🇺🇸

5

(1)

20 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
problem sheets
3. Van Kampen’s theorem
1. Recall from sheet 2 that the torus Tcan be made from a solid hexagon with sides glued in pairs
according to the labelled arrows. Use van Kampen’s theorem to compute a presentation of the
fundamental group, and show that it is isomorphic to Z2.
2. Each of the following pictures represents a solid polygon with its boundaries identified (not
necessarily in pairs) according to the arrows shown. Describe the fundamental group in each case.
a
a
b
b
b b
a
a
aa
a
3. Let Xbe a torus minus a hole. Explain why Xis homotopy-equivalent to S1S1. Use the
fundamental group to show that there does not exist a retraction r:X∂X .
4. Each figure depicts a space made by gluing bands (copies of I×I) to disc(s). For each one,
compute its fundamental group, and the fundamental group of the space made by gluing a disc to
each of its boundary circles.
5. Take a solid cube and identify its faces in pairs, as shown below. (The top and sides are
identified using translation, but the left and right faces get rotated as well as translated.) Compute
the fundamental group of this space.
Q
Q
P
P
R
R
6. Compute the fundamental group of the space obtained by identifying the faces of a solid prism
as shown below.
Q
Q
251
pf2

Partial preview of the text

Download Topology Problem Sheet: Van Kampen's Theorem and Fundamental Groups and more Exercises Topology in PDF only on Docsity!

problem sheets

  1. Van Kampen’s theorem
  2. Recall from sheet 2 that the torus T can be made from a solid hexagon with sides glued in pairs according to the labelled arrows. Use van Kampen’s theorem to compute a presentation of the fundamental group, and show that it is isomorphic to Z^2.
  3. Each of the following pictures represents a solid polygon with its boundaries identified (not necessarily in pairs) according to the arrows shown. Describe the fundamental group in each case.

a

a

b b

b b

a

a

a a

a

  1. Let X be a torus minus a hole. Explain why X is homotopy-equivalent to S^1 ∨ S^1. Use the fundamental group to show that there does not exist a retraction r : X → ∂X.
  2. Each figure depicts a space made by gluing bands (copies of I × I) to disc(s). For each one, compute its fundamental group, and the fundamental group of the space made by gluing a disc to each of its boundary circles.
  3. Take a solid cube and identify its faces in pairs, as shown below. (The top and sides are identified using translation, but the left and right faces get rotated as well as translated.) Compute the fundamental group of this space.

Q

Q

P

P

R

R

  1. Compute the fundamental group of the space obtained by identifying the faces of a solid prism as shown below. Q

Q

problem sheets

  1. The three-sphere S^3 = {|z|^2 + |w|^2 = 1} may be written as a union of the pieces H 1 = {|z|^2 ≤ 12 } and H 2 = {|w|^2 ≤ 12 }. Check that each of these is a solid torus, homeomorphic to B^2 × S^1 , and that their intersection is a torus T. A picture of this decomposition is as follows (remember there’s a point at infinity!):

In the picture I have also drawn a torus knot of type (p, q); it is a circle K lying in the torus T , travelling p times around longitudinally and q times meridionally, where (p, q) is a pair of coprime positive integers. By partitioning the knot complement S^3 − K using H 1 − K and H 2 − K, calculate a presentation for the fundamental group π 1 (S^3 − K).

  1. Recall from sheet 2 the description of the Klein bottle K as a square with sides glued. It may also be built by identifying the boundary circles of two M¨obius strips. Using van Kampen, calculate the presentation of π 1 (K) arising from each description. Now prove that the two groups given by these presentations are isomorphic to one another, and to the group from sheet 2 (the set of pairs (m, n) of integers, with group operation given by (m, n) ∗ (p, q) = (m + (−1)np, n + q)).
  2. Explain how to construct, given a presentation G = 〈A : R〉 of a group, a CW -complex whose fundamental group is G.
  3. Write down the fundamental group of each of the spaces below. (No argument is needed; just name the groups – e.g. cyclic group Zn, free abelian group Zn, free group Fn, etc.).

(a). R^2 − { 0 , 1 } (b). R^2 − [0, 1] (c). The symbol

(a subspace of R^2 ) (d). S^2 minus four distinct points, say {(± 1 , ± 1 , 0)} (e). The torus minus one point. (f). S^2 /Z 2 where the group acts via the antipodal map (g). S^2 /Z 3 where the group acts by 2π/3 rotation about the z-axis (h). S^2 ∪ {(0, 0 , z) : − 1 ≤ z ≤ 1 } (i). R^3 − {(x, y, 0) : x^2 + y^2 = 1} (j). R^3 − H, where H is the Hopf link (a subspace consisting of two circles) shown below.

  1. (This joke was invented by Zagier and others.) The homophony group is the group generated by the 26 letters of the alphabet, with relations w 1 = w 2 if these are two English words which are pronounced the same (e.g. great = grate). Prove that the group is trivial! (C¸ a marche aussi en Francais!)