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

Covering Spaces: Problem Sheet for Topology, 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
4. Covering spaces
Basic theory
1. Show that neither the torus nor RP2can cover the other.
2. The closed orientable surfaces Σgof genus gare drawn below. Construct a 5-sheeted cover
Σ11 Σ3and a 3-sheeted cover Σ4Σ2, and find their groups of deck transformations.
Σ2Σg
3. Show that the torus is a double (2-sheeted) cover of the Klein bottle. Can it be a triple cover?
4. Let Gbe a (path-connected, locally path-connected) topological group with multiplication and
inversion maps m, i. Using existence and uniqueness of liftings, show that any path-connected cover
˜
Gof Ghas a unique (modulo choice of basepoint living over the identity element of G) topological
group structure such that ˜
GGis a homomorphism.
5. Consider the group Znacting on Rnby integer translations, so that the quotient is the n-torus
Tn. Use this covering space to prove that the homotopy groups πi(Tn) vanish when i2.
Constructing covers
6. Consider the CW-complex Θ made by taking two vertices and attaching three edges between
them so as to form the shape of the letter theta. Draw the the universal cover of Θ and justify
your answer.
7. For each of the following pictures of a cover of S1S1, write down generators for their corre-
sponding subgroups in the free group ha, bi.
b
a
a
b
a
b
b
b
a
b
a
Conversely, for each of the following subgroups of < a, b >, draw the corresponding cover:
ha2, b2,(ab)2i ha2, b2, aba1, bab1i ha, b3i h{ambnambn:m, n}i h{a2mb2na2mb2n:m, n}i.
253
pf2

Partial preview of the text

Download Covering Spaces: Problem Sheet for Topology and more Exercises Topology in PDF only on Docsity!

problem sheets

  1. Covering spaces

Basic theory

  1. Show that neither the torus nor RP 2 can cover the other.
  2. The closed orientable surfaces Σg of genus g are drawn below. Construct a 5-sheeted cover Σ 11 → Σ 3 and a 3-sheeted cover Σ 4 → Σ 2 , and find their groups of deck transformations.

Σ 2 Σg

  1. Show that the torus is a double (2-sheeted) cover of the Klein bottle. Can it be a triple cover?
  2. Let G be a (path-connected, locally path-connected) topological group with multiplication and inversion maps m, i. Using existence and uniqueness of liftings, show that any path-connected cover G˜ of G has a unique (modulo choice of basepoint living over the identity element of G) topological group structure such that G˜ → G is a homomorphism.
  3. Consider the group Zn^ acting on Rn^ by integer translations, so that the quotient is the n-torus T n. Use this covering space to prove that the homotopy groups πi(T n) vanish when i ≥ 2.

Constructing covers

  1. Consider the CW-complex Θ made by taking two vertices and attaching three edges between them so as to form the shape of the letter theta. Draw the the universal cover of Θ and justify your answer.
  2. For each of the following pictures of a cover of S^1 ∨ S^1 , write down generators for their corre- sponding subgroups in the free group 〈a, b〉.

b

a (^) a

b

a

b b

b

a

b a

Conversely, for each of the following subgroups of < a, b >, draw the corresponding cover:

〈a^2 , b^2 , (ab)^2 〉 〈a^2 , b^2 , aba−^1 , bab−^1 〉 〈a, b^3 〉 〈{ambna−mb−n^ : ∀m, n}〉 〈{a^2 mb^2 na−^2 mb−^2 n^ : ∀m, n}〉.

problem sheets

  1. Identify the fundamental group of the figure-of-eight space S^1 ∨S^1 with the free group F 2 = 〈a, b〉 in the usual way. Draw (and describe) the covering space corresponding to the subgroup H which is generated by all elements of the form xyx−^1 y−^1 , for x, y ∈ F 2.
  2. Draw pictures of the covers of the torus corresponding to the following types of subgroups of Z^2 , and find their groups of covering transformations (here p, q, r, s are integers).

〈(p, 0)〉 〈(p, 0), (0, q)〉 〈(p, q)〉 〈(p, q), (r, s)〉

  1. Recall the “identified cube” space from the previous problem sheet. Describe its universal cover, and deduce that the space is a 3-manifold.

Q

Q

P

P

R

R

Further theory

  1. Consider the homomorphism θ from the free group F 2 = 〈a, b〉 to Z 3 given by sending both a and b to 1, and let H be the kernel of θ. By constructing a suitable covering space, show that H is isomorphic to a free group on 4 generators. Suppose Z 3 is replaced by Zn; what is the rank of H?
  2. Identify π 1 (S^1 ∨ S^1 ) = 〈a, b〉 in the usual way. Construct the covering space corresponding to the subgroup H of F 2 which is the kernel of the map F 2 → Z 3 given by sending a 7 → 1 and b 7 → 2.
  3. Identify π 1 (S^1 ∨ S^1 ) = 〈a, b〉 in the usual way. Construct the covering space corresponding to the subgroup H of the symmetric group S 3 which is the kernel of the map F 2 → S 3 given by sending a 7 → (12) and b 7 → (123).
  4. Identify the fundamental group of the figure-of-eight space S^1 ∨ S^1 with the free group F 2 =< a, b > in the usual way. Consider the homomorphism θ : F 2 → Z 4 given by sending both a and b to 1, and let H be the kernel of θ. By constructing the covering space corresponding to H, show that H is isomorphic to a free group on 5 generators.
  5. A path-connected, locally path-connected, semi-locally simply connected space X has funda- mental group isomorphic to the symmetric group S 3. Up to the appropriate kind of equivalence, how many (a) based path-connected covers (b) unbased path-connected coverings (c) 3-sheeted but not necessarily path-connected coverings does X have?
  6. Say whether each of the following statements is true or false. (You don’t need to show any explanation, just write “T” or “F”.)

(a). Every covering space of S^1 is homeomorphic to a disjoint union of circles. (b). The Klein bottle is a covering space of the torus. (c). Each of the free groups F 2 , F 3 has a subgroup isomorphic to the other. (d). If H is a finite index subgroup of the free group Fn, then H is a free group of finite rank. (e). The universal cover of any path-connected, locally path-connected, semi-locally simply- connected space is contractible.