On closed ideals in smooth classes (Q2747575)

Let \(\Omega\) be a connected open subset of \(\mathbb{R}^n\) and \(\varphi= (\varphi_1, \dots, \varphi_p)\) be a real-analytic mapping from \(\Omega\) into \(R^p\) such that \(\varphi^{-1}(0)\) is a single point. The author studies the ideal \(I^\Omega_{\varphi,M}\) generated by \(\varphi_1, \dots, \varphi_p\) in the Roumieu-Carleman class \(C_M(\Omega)\). In the case \(n=2\) and \(p=1\) he obtains a necessary and sufficient condition for \(I^\Omega_{ \varphi, M}\) to be closed in \(C_M(\Omega)\) in terms of the geometry of the zero set of the complexification of \(\varphi\). He intends shortly to extend this result to the case \(n\geq 3\). These are byproducts of other results of the author on ideals of germs at a point in \(\mathbb{R}^n\). In case \(p=1\) he gives a similar geometric criterion in order that \(\varphi\) divides any ultradistribution \(T\) of class \(C_M\) in \(\Omega\), that is to say, \(T=\varphi S\) for some other such ultradistribution \(S\). A different set of criteria for closed ideals is provided in the paper by \textit{J. Chaumat} and \textit{A.-M. Chollet} [Stud. Math. 136, No. 1, 49-70 (1999; Zbl 0942.26029)]. The author discusses the advantages of each and how to obtain the best of both worlds.