Duality and intersection theory in complex manifolds. I

We introduce the concept of a twisting cochain and a twisted complex associated to a coherent sheaf. For sheaves of submanifolds these twisted complexes are used to construct on cochain level the Grothendieck theory of dual class and Gysin map. These explicit constructions give, for instance, a local formula for dual class of higher codimensional submanifolds. We prove a refined version of the Hirzebruch Riemann Roch using such local formulas. We also prove a theorem on when global analytic intersection classes can be computed from first order geometric data. This theory will be used to prove the Holomorphic Lefschetz formula (in Part II) and the Hirzebruch Riemann Roch for analytic coherent sheaves.The first author is supported in part by NSF grants GP-36418X1 and MCS 76-08478. The second by MCS 75-07986 and Sonderforschungsbereich Theoretische Mathematik at Bonn University