Scribd
Upload
34 views2 pages

hw4 Sol

1) The Borsuk-Ulam theorem does not hold for the torus S1 × S1, as shown by the map f(x,y)=x, which satisfies f(-x,-y)=f(x,y) but is not constant. 2) There are no retractions from subspaces A to spaces X in several cases where the inclusion map on fundamental groups cannot be injective, such as when X is R3 and A is S1, or when X is S1 × D2 and A is its boundary torus S1 × S1. 3) The groups G = <a,b | abba=1> and H = <c,

Uploaded by

llskadfj
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
34 views2 pages

hw4 Sol

1) The Borsuk-Ulam theorem does not hold for the torus S1 × S1, as shown by the map f(x,y)=x, which satisfies f(-x,-y)=f(x,y) but is not constant. 2) There are no retractions from subspaces A to spaces X in several cases where the inclusion map on fundamental groups cannot be injective, such as when X is R3 and A is S1, or when X is S1 × D2 and A is its boundary torus S1 × S1. 3) The groups G = <a,b | abba=1> and H = <c,

Uploaded by

llskadfj
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Solutions to Homework 4

�1.1 #8. Does the Borsuk–Ulam theorem hold for the torus? In other
words, for every map f : S 1 × S 1 → R2 must there exist (x, y) ∈ S 1 × S 1
such that f (x, y) = f (−x, −y)?
No, just project onto one factor: let f : S 1 × S 1 → R2 be given by
/ S1.
f (x, y) = x. If f (x, y) = f (−x, −y) then x = −x, so x = 0, but 0 ∈

�1.1 #16. Show that there are no retractions r : A → X in the following


cases.
A retraction would satisfy r ◦ i = 1, where i is the inclusion A �→ X.
Thus the induced maps on π1 would satisfy r∗ ◦ i∗ = 1. In particular r∗
would be surjective and i∗ would be injective.
(a) X = R3 with A any subspace homeomorphic to S 1 .
We have π1 (A) = Z and π1 (X) = 0, so i∗ cannot be injective.

(b) X = S 1 × D2 with A its boundary torus S 1 × S 1 .


We have π1 (A) = Z × Z and π1 (X) = Z, so i∗ cannot be injective: if
i∗ (1, 0) = m �= 0 and i∗ (0, 1) = n then i∗ (n, −m) = 0.

(c) X = S 1 × D2 and A the circle shown in the figure.


We have π1 (A) = Z and π1 (X) = Z, but the inclusion i : A → X is
nullhomotopic, so i∗ = 0.

(d) X = D2 ∨ D2 with A its boundary S 1 ∨ S 1 .


We have π1 (A) = Z ∗ Z and π1 (X) = 0, so i∗ cannot be injective.

(e) X a disk with two points on its boundary identified and A its boundary
S1 ∨ S1.
We have π1 (A) = Z ∗ Z, and X is homotopy equivalent to a circle, so
π1 (X) = Z, so i∗ cannot be injective: if a and b are the two free gener-
ators of π1 (A), and i∗ (a) = m �= 0 and i∗ (b) = n, then i∗ (an b−m ) = 0.
(f) X the Möbius band and A its boundary circle.
We have π1 (A) = Z, and X is homotopy equivalent to a circle, so
π1 (X) = Z, but the induced map i∗ is multiplication by 2. This is
injective for once, but there is still no map r∗ : Z → Z with r∗ ◦ i∗ = 1.

3. Show that the groups

G = �a, b | abba = 1�
H = �c, d | cdcd−1 = 1�

are isomorphic. Your proof should be purely algebraic, but it may help to
consider the following diagrams:

b d
· · · ·
a b c c

· a · · ·
d

Looking at the lower right triangle, we let ϕ : G → H be the homo-


morphism determined by ϕ(a) = cd−1 and ϕ(b) = d, which is well-defined
because
ϕ(abba) = cd−1 · d · d · cd−1 = cdcd−1 = 1.
Looking at the upper left triangle, we let ψ : H → G be the homomorphism
determined by ψ(c) = ab and ψ(d) = b, which is well-defined because

ψ(cdcd−1 ) = ab · b · ab · b−1 = abba = 1.

Then we have

ψ(ϕ(a)) = ψ(cd−1 ) = ab · b−1 = a


ψ(ϕ(b)) = ψ(d) = b

ϕ(ψ(c)) = ϕ(ab) = cd−1 · d = c


ϕ(ψ(d)) = ϕ(b) = d,

so ψ ◦ ϕ = 1G and ϕ ◦ ψ = 1H , so ϕ and ψ are inverse isomorphisms.

You might also like