Display Accessibility Tools

Accessibility Tools

Grayscale

Highlight Links

Change Contrast

Increase Text Size

Increase Letter Spacing

Readability Bar

Dyslexia Friendly Font

Increase Cursor Size

Topology - May 2021

TOPOLOGY QUALIFYING EXAM – MAY 2021

Instructions: Solve any FOUR out of the five problems. If you work on all five problems, your top four problem scores will count towards your exam score.

NOTE: The only resources you are allowed to use on this exam are the textbook for the course, any personal notes you have created (including old assignments), and the lecture notes for the course on D2L. You cannot use internet resources during this exam. In your solutions you should not use theorems from the book that are outside the scope of the material covered in this course.

All work must be shown, and all answers justified appropriately.

Problem 1

  1. Let X X be a space that is path-connected, locally path-connected, and π 1 ( X ) \pi_1(X) is a finite group. Show that for any such X X , every map g : X → S 1 g:X\to S^1 is nullhomotopic.

  2. True or False: For a space Y Y and map f : Y → Y f:Y\to Y , if the induced map f * : π 1 ( Y ) → π 1 ( Y ) f_*:\pi_1(Y)\to\pi_1(Y) is the zero map, then the map f f is nullhomotopic. Justify your answer with a proof or a counterexample.

Problem 2

  1. Explain how to construct a CW-complex X X with homology groups as follows:

H 0 ( X ) = ℤ H 1 ( X ) = ℤ ⊕ ℤ / 3 ℤ ⊕ ℤ / 4 ℤ H 2 ( X ) = ℤ / 2 ℤ H n ( X ) = 0 for all n ≥ 3 . \begin{aligned}H_0(X)&=\mathbb Z\\ H_1(X)&=\mathbb Z\oplus\mathbb Z/3\mathbb Z\oplus\mathbb Z/4\mathbb Z\\ H_2(X)&=\mathbb Z/2\mathbb Z\\ H_n(X)&=0\text{ for all }n\ge3.\end{aligned}

  1. For the space X X you constructed in part (a), compute the cohomology groups, H i ( X ; ℤ / 2 ℤ ) H^i(X;\mathbb Z/2\mathbb Z) .

Problem 3

Let F n F_n denote the free group on n n generators.

  1. Use covering space theory to prove that all index two subgroups of F 2 F_2 are isomorphic to F 3 F_3 .

  2. Give an example of an explicit index 2 subgroup of F 2 F_2 that is isomorphic to F 3 F_3 .

Problem 4

Prove or find a counterexample for each of the following assertions:

  1. If a space Y Y is the union of two subspaces A A and B B , then the fundamental group π 1 ( Y ) \pi_1(Y) is a quotient of the free product π 1 ( A ) * π 1 ( B ) \pi_1(A)*\pi_1(B) .

  2. For topological spaces X , Y X,Y , we have H i ( X × Y ) ≅ H i ( X ) × H i ( Y ) H_i(X\times Y)\cong H_i(X)\times H_i(Y) for all i > 0 i>0 .

  3. There is no retraction r : X → A r:X\to A from the Möbius band X X to its boundary circle A A .

Problem 5

Let Z Z be the subspace of ℝ 3 \mathbb R^3 consisting of the unit 2-sphere and two diameters (see picture below). Compute the homology groups H i ( Z ) H_i(Z) .

A sphere with a vertical diameter from the north pole to the south pole and a horizontal diameter joining opposite points on the equator. The equator is drawn as an ellipse with its hidden half dashed.
Figure for Problem 5: the unit 2-sphere with two diameters.