Page 251 - Curvature and Homology
P. 251

Since  the  functions fa8  are  holomorphic  in  Ua n U8,  it follows that
                         a2 log a,  - a2 log a@
                         ---        asi  a$
                          azi  a~i         in U,  n Ug.
        Thus, the 2-form
                                      a2 log a,
                        yij* dz'  A d9 = = d9
                                             dzi
                                                A
                                      azi a9
        is defined over the whole  manifold M  (cf.  V.D).
          4 form 4 (form  of  bidegree (p, 9)) with  coefficients in B  is a system
        {$,I differential forms (forms of  bidegree (p, q)) defined in  {U,}  such
            of
        that
        Following 5  5.4  we  define  complex  analogs  d',  d",  8'  and  6"  of  the
        operators d and 6 for a form 4 = {+,I  with coefficients in B:










        (a : not  summed)-the   star  operator *  being  defined  as  usual  by  the
        Kaehler  metric of  M. In terms of  these operators it can be shown that
                               A  = 2(d'S1 + S'd')

        is the correct operator for the analogous Hodge theory -  being called
        harmonic if  it is a solution of  A$  = 0.
         If M is compact it is known that Hp(M,  A@(B)) g HqpP(B)-the  vector
       space of all harmonic forms of bidegree (q, p) with coefficients in B [47].  It
        follows that dim Hp(M,  A q(B)) is finite for all p  and q.
         Since fa@ fay  fya = 1 in  Ua n Up n U,,


        is a constant in  U,  n Ug n U,,  where  caBy E 2. The system  {cap,)  C Z
        defines a 2-cocycle on the nerve N( 8) of the covering  % (cf. Appendix A
        and [72]). It therefore determines a cohomology class cN  E H2(N( a), 2);
        indeed, by taking the direct limit
                           H2(M,Z) = lim H2(N(%),Z)
                                     4
        we obtain an element c = c(B) E H2(M, Z) called the characteristic class
        of the principal  bundle  associated with B.
   246   247   248   249   250   251   252   253   254   255   256