Sur un problème de division dans l'algébre \(A^{\infty}(\Omega)\) d'un ouvert faiblement pseudo-convexe de \({\mathbb C}^ 2\). (On a division problem in \(A^{\infty}(\Omega)\) with \(\Omega\) a weakly pseudoconvex domain in \({\mathbb C}^ 2)\) (Q1821912): Difference between revisions

Let \(\Omega\) be a pseudo-convex domain in \({\mathbb{C}}^ 2\) with \(C^{\infty}\) smooth boundary and X a complex analytic set in \({\bar \Omega}\) defined by \(X=\{z\in {\bar \Omega}: h(z)=0\}\) where i) \(h\in A^{\infty}(\Omega)\), \(A^{\infty}(\Omega)\) is the space of analytic functions in \(\Omega\) and \(C^{\infty}\) smooth up to \(\partial \Omega\). ii) \(\partial h\neq 0\) on X. We prove, under a geometric assumption which can be satisfied for an order of contact between X and \(\partial \Omega\) larger than 2, that the following two conditions are equivalent: 1) \(\{f\in A^{\infty}(\Omega): f_{/X}=0\}=hA^{\infty}(\Omega)\). 2) \(\{f\in C^{\infty}({\bar \Omega}): f_{/X}=0\}=h C^{\infty}({\bar \Omega})+ \bar h C^{\infty}({\bar \Omega})\), where \(C^{\infty}({\bar \Omega})\) is the space of \(C^{\infty}\) functions in \({\bar \Omega}\). This result generalizes a similar result obtained by E. Amar and P. De Bartolomeis in the case where \(\partial \Omega\) is strictly pseudo- convex.