On the duality theorem on an analytic variety (Q1934300): Difference between revisions

If \(f_1,\dots, f_p\) are \(p\) holomorphic functions defining a complete intersection in a complex manifold \(Z\), the current \(\mu^f\) on \(Z\) defined as the value at \(\lambda= 0\) of the meromorphic extention of the current \[ \varphi\mapsto \int_Z {\overline\partial|f_1|^{2\lambda}\wedge\cdots \wedge\overline\partial|f_p|^{2\lambda}\over f_1\cdots f_p}\wedge\varphi \] is annihilated exactly by the ideal sheaf \({\mathcal I}(f_1,\dots, f_p)\subset{\mathcal O}_Z\). In this article the author proves for any reduced complex space \(Z\) that the inclusion \(\text{ann}(\mu^f)\subset{\mathcal I}(f_1,\dots, f_p)\) is always valid. Then he gives a sufficient condition in order that equality holds in terms of the incidence of the set \(\{f_1=\cdots= f_p= 0\}\) with a natural stratification of the singular locus of the ambiant space \(Z\). He also shows that his condition is close to be necessary.