Non division dans \(A^{\infty}(\Omega)\). (No factorization in \(A^{\infty}(\Omega))\) (Q1073977)

Let \(\Omega\) be a bounded pseudoconvex domain in \({\mathbb{C}}^ n\) with \(C^{\infty}\)-boundary, \(A^{\infty}(\Omega)\) the algebra of functions holomorphic in \(\Omega\) and \(C^{\infty}\) up to the boundary \(\partial \Omega\) of \(\Omega\), and \[ X=\{z\in {\bar \Omega}| u_ 1(z)=u_ 2(z)=...=u_ k(z)=0\} \] where \(u_ 1,u_ 2,...,u_ k\in A^{\infty}(\Omega)\) with \(du_ 1\wedge du_ 2\wedge....\wedge du_ k\neq 0\) on \(X\cap \partial \Omega\). A function \(f\in A^{\infty}(\Omega)\) with \(f|_ X=0\) is called to factorize in \(A^{\infty}(\Omega)\) if \(f=\sum^{k}_{i=1}u_ if_ i\) for suitable \(f_ i\in A^{\infty}(\Omega)\). Let \(\tilde X\) be a \(C^{\infty}\)- extension of X into a neighbourhood of \({\bar \Omega}\). The author has shown in J. Lond. Math. Soc., II. Ser. 29, 127-140 (1984; Zbl 0583.32033) that every \(f\in A^{\infty}(\Omega)\) with \(f|_ X=0\) factorizes in \(A^{\infty}(\Omega)\) if \({\bar \Omega}\) and \(\overline{\tilde X\setminus {\bar \Omega}}\) are regularly situated, i.e. the sequence \[ 0\to {\mathcal E}({\bar \Omega}\cup \tilde X)\to {\mathcal E}({\bar \Omega})\otimes {\mathcal E}(\overline{\tilde X\setminus {\bar \Omega}})\to {\mathcal E}({\bar \Omega}\cap \overline{\tilde X\setminus {\bar \Omega}})\to 0 \] is an exact sequence, where \({\mathcal E}(A)\) is the algebra of \(C^{\infty}\)-functions on A in the sense of Whitney. In the paper under review the author proves the converse if \(\Omega\) is strictly pseudoconvex: \({\bar \Omega}\) and \(\overline{\tilde X\setminus {\bar \Omega}}\) are regularly situated whenever all \(f\in A^{\infty}(\Omega)\) with \(f|_ X=0\) factorize in \(A^{\infty}(\Omega).\) [See also the author's review in Zbl 0547.32010.]