Topology General Exam — August 16, 2024
Instructions: This is a four hour exam. Your solutions should be legible and clearly organized, written in complete sentences in good mathematical style on your own paper. All work should be your own—no outside sources are permitted—using methods and results from the first year topology courses. Each problem is worth the same number of points.
Problem 1
(a) Prove that any continuous map
is homotopic to a constant map.
(b) Let
be the compact orientable surface of genus
,
i.e., the
-holed
torus. Prove that for any
,
there exists a map
that is continuous and non-nullhomotopic.
Problem 2
Let be a path-connected subspace of a topological space and the inclusion. Show that, for any , the induced map is surjective if and only if every path in with endpoints in is homotopic (relative to endpoints) to a path in . Here "relative to endpoints" means that endpoints are required to be fixed throughout a homotopy.
Problem 3
Describe all the path-connected covering spaces of the torus , up to isomorphism.
Problem 4
Let
be a Möbius strip and
the real projective plane.
(a) Using a CW structure or otherwise, prove that the inclusion
induces the multiplication by 2 map on the first homology group.
(b) Explain why removing a disk from
gives a space homeomorphic to
.
(c) Use this decomposition to compute the homology groups of
.
Problem 5
Consider
with coordinates
.
Consider the subset
of
defined by the equation
.
(a) Prove that
is not a smooth submanifold of
.
(b) Determine which points of
are manifold points. (A point
is a manifold point if there exists a neighborhood of
in
which is a manifold.)
Justify your answers.
Problem 6
Let be two smooth manifolds, where the dimension of is and the dimension of is for some . Prove that there does not exist a smooth surjective map .
Problem 7
Consider the unit sphere in , and let be the 2-form on given by . Compute the integral of the restriction of to .
Problem 8
Let be a smooth, compact -dimensional submanifold (without boundary) of . Prove that there exists a point such that the entire submanifold lies to one side of the tangent space . (Here is thought of as a hyperplane in which is tangent to at .)