Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2020/ii/paper-1/26i/b/solution

Let
At ,
This differential is nonzero because , so is a regular value. The regular level set theorem makes a three-dimensional embedded submanifold; intersecting it with the open set preserves that property. Therefore is the three-dimensional hyperboloid model, and

New to topics? Read the docs here!