Ideals of smooth functions and residue currents

Abstract

Let f=( f 1,…,f m) be a holomorphic mapping in a neighborhood of the origin in C n . We find sufficient condition, in terms of residue currents, for a smooth function to belong to the ideal in C ∞ (or C k ) generated by f. If f is a complete intersection the condition is necessary. More generally we give a sufficient condition for an element of class C ∞ (or C k ) in the Koszul complex induced by f to be exact. For the proofs we introduce explicit homotopy formulas for the Koszul complex induced by f.