For f:X→Y a smooth map of manifolds, define the concepts of critical point, critical value and regular value.
With the obvious identification of C with R2, and hence also of C3 with R6, show that the complex-valued polynomial z13+z22+z32 determines a smooth map f:R6→R2 whose only critical point is at the origin. Hence deduce that V:=f−1((0,0))\{0}⊂R6 is a 4-dimensional manifold, and find the equations of its tangent space at any given point (z1,z2,z3)∈V.
Now let S5⊂C3=R6 be the unit 5 -sphere, defined by ∣z1∣2+∣z2∣2+∣z3∣2=1. Given a point P=(z1,z2,z3)∈S5∩V, by considering the vector (2z1,3z2,3z3)∈C3=R6 or otherwise, show that not all tangent vectors to V at P are tangent to S5. Deduce that S5∩V⊂R6 is a compact three-dimensional manifold.
[Standard results may be quoted without proof if stated carefully.]