Ideals of smooth functions and residue currents (Q1883216): Difference between revisions

Let \(f = (f_1, \dots,f_m)\) be a nontrivial holomorphic mapping in a neighborhood of the origin in \(\mathbb C^n\). It is well known that if \(f\) is a complete intersection, then a holomorphic function \(\phi\) belongs to the ideal \((f) \) iff \(\phi T^f = 0\), where \(T^f\) is the Coleff-Herrera current \(T^f=\left[{\overline\partial}\frac{1}{f_m}\wedge\dots \wedge{\overline\partial}\frac{1}{f_1}\right].\) Consider now the ideal \((f)_\mathcal E\) of smooth functions generated by \(f\). If \(\phi=\sum_j\psi_j f_j\), and \(\partial_{\overline z}^\alpha= \partial^\alpha/\partial \overline z^\alpha\), then \(\partial_{\overline z}^\alpha\phi= \sum_j(\partial_{\overline z}^\alpha\psi_j)f_j,\) so if \(f\) is a complete intersection it follows that (1) \((\partial_{\overline z}^\alpha\phi)T^f=0 \) for all multiindices \(\alpha\). One of the main results of the paper is that the converse also holds. A function \(\phi\in\mathcal E\) is in the ideal \((f)_\mathcal E\) at \(0\in\mathbb C^n\) iff (1) holds for all \(\alpha\). This theorem immediately implies the fundamental result of Malgrange stating that the ideal \((f)_\mathcal E\) is closed in \(\mathcal E\). The following result for lower regularity is obtained. Let \(f\) be a complete intersection and let \(M\) be the order of the current \(T^f\). There is a number \(c_n\), only depending on \(n\), such that if \(\phi\in C^{c_n+2M+k}\) and (1) holds for \(| \alpha| \leqslant c_n + M + k\), then there are \(u_j\in C^k\) such that \(\sum_jf_ju_j =\phi\). As a corollary the following variant of Malgrange's theorem is obtained. There is a number \(M\) such that if \(\phi_j\in (f)_{C^{k+M}}\) and \(\phi_j\to\phi\) in \(C^{k+M}\), then \(\phi\in(f)_{C^k}\). More generally it is given a sufficient condition for an element of class \(C^\infty\) (or \(C^k\)) in the Koszul complex induced by \(f\) to be exact. For the proofs explicit homotopy formulas for the Koszul complex induced by \(f\) are introduced.