Page 85 - Curvature and Homology
P. 85

dy,
        Since df  = ( af  / ax) dx + (af/ 9) we  can  define  the  operator  *d for
        functions by


        Define
                                (*d)a = - d(*a)
        for  1 -forms.
        If  we put

        then



        A  function f of  class 2 is  called  harmonic  on  S if  Af  vanishes  on  S.
        Locally, then



        A linear differential form a of  class 1 on S is called a harmonic form  if,
        for each point P of  S there is a coordinate neighborhood  U of  P such
        that ar is the total differential of a harmonic function f in U. This implies
        that *a is closed. In fact, a = df and d*df  = 0 in  U, that is d*a = 0.
        Conversely,  da = 0 implies that  a = df,  locally (cf. 4 A. 6). Moreover,
        d*a = 0 implies that  d(*df)  = 0. Hence, f is harmonic. We have shown
        that  a  linear  differential form  a of  class 1 is harmonic, if  and  only if,
        da = 0 and d*a = 0.
          A  harmonic  differential form  a = p  dx + q dy  on  S, that  is  a form
        which  satisfies  da = 0 and  d*a = 0 defines  a  holomorphic  function
       p  - iq (locally) of  a = x + iy (i = 1/ - 1).  Indeed,





                                    aP    34
                          0 = d*a  = (= + 5) A dy,
                                             dx
        and  so  we  have  locally  (splay) = (aqlax)  and  (aplax) = - (aqlay),
        which are the Cauchy-Riemann equations for the functions P and - q.
        (A function f of class 1 is holomorphic on S if  locally f(x, y) = u(x, y) +
        iv(x, y)  and  the  functions  u  and  v  satisfy  the  Cauchy-Riemann
        equations).  It is  an  easy  matter  to show that f is  holomorphic  on  S,
        if  and  only  if  *df  = - idf,  that  is,  if  and  only  if,  the  differential
   80   81   82   83   84   85   86   87   88   89   90