Duality and intersection theory in complex manifolds. I

Abstract

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.