Page 379 - DMTH402_COMPLEX_ANALYSIS_AND_DIFFERENTIAL_GEOMETRY
P. 379

Complex Analysis and Differential Geometry




                    Notes          has the beautiful expression

                                                                         p 4
                                                                    K =      ,
                                                                        a b c
                                                                         2
                                                                          2 2
                                   where p is the distance from the origin (0, 0, 0) to the tangent plane at the point (x, y, z).
                                   There are also surfaces for which H = 0. Such surfaces are called minimal surfaces, and they show
                                   up in physics quite a bit. It can be verified that both the helicoid and the catenoid are minimal
                                   surfaces. The Enneper surface is also a minimal surface. We will see shortly how the classification
                                   of points on a surface can be explained in terms of the Dupin indicatrix.
                                   The idea is to dip the surface in water, and to watch the shorelines formed in the water by the
                                   surface in a small region around a chosen point, as we move the surface up and down very
                                   gently. But first, we introduce the Gauss map, i.e. we study the variations of the normal N  as the
                                                                                                         p
                                   point p varies on the surface.
                                   30.3 The Gauss Map and its Derivative dN


                                   Given a surface X :   E , given any point p = X(u, v) on X, we have defined the normal Np at
                                                       3
                                   p (or really N (u,v)  at (u, v)) as the unit vector
                                                                        X × X
                                                                         u
                                                                   N  =   X × X v v
                                                                    p
                                                                         u
                                   Gauss realized that the assignment p  N  of the unit normal Np to the point p on the surface
                                                                     p
                                   X could be viewed as a map from the trace of the surface X to the unit sphere S . If N  is a unit
                                                                                                  2
                                                                                                       p
                                   vector  of  coordinates  (x, y,  z),  we  have  x  +  y   +  z   =  1,  and  N   corresponds  to  the  point
                                                                          2
                                                                              2
                                                                      2
                                                                                         p
                                   N(p) = (x, y, z) on the unit sphere. This is the so-called Gauss map of X, denoted as N : X  S .
                                                                                                             2
                                   The derivative dN  of the Gauss map at p measures the variation of the normal near p, i.e., how
                                                 p
                                   the surface “curves” near p. The Jacobian matrix of dN  in the basis (X , X ) can be expressed
                                                                                               v
                                                                                p
                                                                                            u
                                   simply in terms of the matrices associated with the first and the  second fundamental  forms
                                   (which are quadratic forms).
                                   Furthermore, the eigenvalues of dN  are precisely –k  and –k , where k  and k  are the principal
                                                               p
                                                                                           1
                                                                                   2
                                                                             1
                                                                                                 2
                                   curvatures at p, and the eigenvectors define the principal directions (when they are well defined).
                                   In view of the negative sign in –k  and –k , it is desirable to consider the linear map S  = –dN ,
                                                                                                              p
                                                                                                        p
                                                              1
                                                                    2
                                   often called the shape operator.
                                                                                    
                                   Then, it is easily shown that the second fundamental form II (t)  can be expressed as
                                                                                   p
                                                                           
                                                                  II (t) = S (t), t  p ,
                                                                         p
                                                                   p
                                   where  –, –  is the inner product associated with the first fundamental form.
                                   Thus, the Gaussian curvature is equal to the determinant of S , and also to the determinant of
                                                                                     p
                                   dN , since (–k )(–k ) = k k . We will see in a later section that the Gaussian curvature actually
                                     p
                                                      1 2
                                                  2
                                              1
                                   only depends of the first fundamental form, which is far from obvious right now! Actually, if X
                                   is not injective, there are problems, because the assignment p  N  could be multivalued.
                                                                                        p
                                   We can either assume that X is injective, or consider the map from  to S  defined such that
                                                                                             2
                                                                   (u, v)  N (u,v) .
          372                               LOVELY PROFESSIONAL UNIVERSITY
   374   375   376   377   378   379   380   381   382   383   384