Paper 1, Section II, H
Let be an integer.
(a) Show that defines a submanifold of and identify explicitly its tangent space for any .
(b) Show that the matrix group defines a submanifold. Identify explicitly the tangent space for any .
(c) Given , show that the set defines a submanifold and compute its dimension. For , is it ever the case that and are transversal?
[You may use standard theorems from the course concerning regular values and transversality.]
Typos? Please submit corrections to this page on GitHub.