12.07.2015 Views

DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces

DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces

DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

§4. Covariant Differentiation, Parallel Translation, <strong>and</strong> Geodesics 63a. Us<strong>in</strong>g the Gauss equations, prove that K =0.b. Now deduce that M must be a plane.(H<strong>in</strong>t: As usual, assume the families of l<strong>in</strong>es are u- <strong>and</strong> v-curves.)14. Suppose M is a surface with no umbilic po<strong>in</strong>ts <strong>and</strong> one constant pr<strong>in</strong>cipal curvature k 1 ≠0.Prove that M is (a subset of) a tube of radius r =1/|k 1 | about a curve. That is, there is acurve α so that M is (a subset of) the union of circles of radius r <strong>in</strong> each normal plane, centeredalong the curve. (H<strong>in</strong>ts: As usual, work with a parametrization where the u-curves are l<strong>in</strong>esof curvature with pr<strong>in</strong>cipal curvature k 1 <strong>and</strong> the v-curves are l<strong>in</strong>es of curvature with pr<strong>in</strong>cipalcurvature k 2 . Use the Codazzi equations to show that the u-curves have curvature |k 1 | <strong>and</strong> areplanar. Then def<strong>in</strong>e α appropriately <strong>and</strong> check that it is a regular curve.)15. Consider the parametrized surfacesx(u, v) =(− cosh u s<strong>in</strong> v, cosh u cos v, u)y(u, v) =(u cos v, u s<strong>in</strong> v, v)(a helicoid).(a catenoid)a. Compute the first <strong>and</strong> second fundamental forms of both surfaces, <strong>and</strong> check that bothsurfaces are m<strong>in</strong>imal.b. F<strong>in</strong>d the asymptotic curves on both surfaces.c. Show that we can locally reparametrize the helicoid <strong>in</strong> such a way as to make the firstfundamental forms of the two surfaces agree; this means that the two surfaces are locallyisometric. (H<strong>in</strong>t: See p. 39. Replace u with s<strong>in</strong>h u <strong>in</strong> the parametrization of the helicoid.Why is this legitimate?)d. Why are they not globally isometric?e. (for the student who’s seen a bit of complex variables) As a h<strong>in</strong>t to what’s go<strong>in</strong>g on here,let z = u + iv <strong>and</strong> Z = x + iy, <strong>and</strong> check that, cont<strong>in</strong>u<strong>in</strong>g to use the substitution frompart c, Z = (s<strong>in</strong> iz, cos iz, z). Underst<strong>and</strong> now how one can obta<strong>in</strong> a one-parameter familyof isometric surfaces <strong>in</strong>terpolat<strong>in</strong>g between the helicoid <strong>and</strong> the catenoid.16. F<strong>in</strong>d all the surfaces of revolution of constant curvaturea. K =0b. K =1c. K = −1(H<strong>in</strong>t: There are more than you might suspect. But your answers will <strong>in</strong>volve <strong>in</strong>tegrals youcannot express <strong>in</strong> terms of elementary functions.)4. Covariant Differentiation, Parallel Translation, <strong>and</strong> GeodesicsNow we turn to the “<strong>in</strong>tr<strong>in</strong>sic” geometry of a surface, i.e., the geometry that can be observed byan <strong>in</strong>habitant (for example, a flat ant) of the surface, who can only perceive what happens along (or,say, tangential to) the surface. Anyone who has studied Euclidean geometry knows how importantthe notion of parallelism is (<strong>and</strong> classical non-Euclidean geometry arises when one removes Euclid’s

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!