On closed ideals in smooth classes

DOI10.1002/1522-2616(200107)227:1%3C143::AID-MANA143%3E3.0.CO;2-4MaRDI QIDQ2747575zbMATH OpenFDO

Authors Vincent Thilliez

Publication date 14 October 2001

Published in Mathematische Nachrichten (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1522-2616(200107)227:1%3C143::AID-MANA143%3E3.0.CO;2-4

zbMATH Keywords

closed idealsPuisseux expansionsreal-analytic mappingRoumieu-Carleman classultradifferentiable classesultradistribution

Mathematics Subject Classification ID

(C^infty)-functions, quasi-analytic functions (26E10) Germs of analytic sets, local parametrization (32B10) Rings and algebras of continuous, differentiable or analytic functions (46E25) Topological linear spaces of test functions, distributions and ultradistributions (46F05)

Review text

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.

Recommendations

• Bounds for quotients in rings of formal power series with growth constraints
• Real and complex analytic sets. The relevance of Segre varieties
• Integral closure and bounds for quotients of multiplicities of monomial ideals
• On the Nullstellensätze for Stein spaces and C-analytic sets
• scientific article; zbMATH DE number 3920929
• Tameness of complex dimension in a real analytic set
• The criterion and application of finite codimensional ideals finitely generated by homogeneous polynomial germs in the ring of E^n
• Closed ideals in some intersections of non-quasi-analytic classes
• scientific article; zbMATH DE number 1911347
• scientific article; zbMATH DE number 3920928

Cites work

• Characterization of Noetherian rings of formal power series with controlled growth. Application to spectral synthesis
• Idéaux de fonctions différentiables. I
• Pseudoanalytic extension of smooth functions. The uniform scale

Cited in

(10)

• Invariant functions in Denjoy-Carleman classes
• A note on closed ideals in rings of smooth functions
• Functions with ultradifferentiable powers
• On quasianalytic local rings
• Closed ideals in some intersections of non-quasi-analytic classes
• Estimates for Weierstrass division in ultradifferentiable classes
• scientific article; zbMATH DE number 3919389 (Why is no real title available?)
• On a property of ideals of differentiable functions
• Bounds for quotients in rings of formal power series with growth constraints
• On the stability of analytic germs under ultradifferentiable perturbations

This page was built for publication: On closed ideals in smooth classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2747575)