Explicit versions of the Briançon-Skoda theorem with variations (Q874435): Difference between revisions

Given a germ of holomorphic map \( f=(f_1,\ldots,f_m) \) at \(0\) in \( {\mathbb C}^n \) and an integer \( r\geq 1 \), the Briançon-Skoda theorem asserts that any germ of holomorphic function \(\phi \) satisfying \( |\phi|\leq C| f|^{\min(m,n)+r-1} \) for some constant \( C \) belongs to the ideal \( (f)^r \). In the present paper this result is extended, under various forms, to product of ideals generated by holomorphic map germs. For example, let \( f_j=(f_{j1},\ldots,f_{jm_j})\) be a \( m_j \)-tuple of holomorphic germs for all \( j=1,\ldots,r \), and let \( \phi \) be a function germ satisfying \( |\phi|\leq C| f_1|^{s_1}\cdots| f_r|^{s_r} \) for all \( s=(s_1,\ldots,s_r) \) such that \( s_1+\cdots+s_r\leq n+r-1 \) and \( 1\leq s_j \leq m_j \) for \( j=1,\ldots,r \). Then \( \phi \) belongs to the ideal \( (f_1)\cdots (f_r) \). The proofs of the results stated in the article are based on multidimensional residue calculus.