Paper 1, Section II, H
For a smooth map of manifolds, define the concepts of critical point, critical value and regular value.
With the obvious identification of with , and hence also of with , show that the complex-valued polynomial determines a smooth map whose only critical point is at the origin. Hence deduce that is a 4-dimensional manifold, and find the equations of its tangent space at any given point .
Now let be the unit 5 -sphere, defined by . Given a point , by considering the vector or otherwise, show that not all tangent vectors to at are tangent to . Deduce that is a compact three-dimensional manifold.
[Standard results may be quoted without proof if stated carefully.]
Typos? Please submit corrections to this page on GitHub.