Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-3/23h/b/solution

If the Gauss map is a diffeomorphism onto , the surface is compact and is invertible everywhere. Its Gaussian curvature is continuous and nowhere zero, so has constant sign on the connected surface. To determine that sign, maximize a height function . At a maximum, is parallel to the normal and the Hessian of the height function is semidefinite. Thus the second fundamental form is semidefinite, up to a sign. Its determinant is nonnegative and cannot be zero because is invertible. Hence at that point and therefore everywhere.
The converse is false under the stated hypotheses. An open hemisphere of the unit sphere is a connected oriented surface with , but its outward Gauss map has only that hemisphere as its image, and is not a diffeomorphism onto all of . The missing compactness hypothesis matters.

New to topics? Read the docs here!