Related papers: The Kohn Algorithm on Denjoy-Carleman Classes

We give an example of a non-noetherian quasi-analytic ring constructed using a quasi-analytic Denjoy-Carleman class. If we denote by $ \mathcal{D}_n$ the ring of those $ C^\infty$ quasianalytic function germs at $0\in \mathbb{R}^n$ which…

It is shown that Denjoy-Carleman quasi analytic rings of germs of functions in two or more variables either complex or real valued that are stable under derivation and strictly larger than the ring of real-analytic germs are not Noetherian…

The D'Angelo finite type is shown to be equivalent to the Kohn finite ideal type on smooth, pseudoconvex domains in complex n space. This is known as the Kohn Conjecture. The argument uses Catlin's notion of a boundary system as well as…

This expository article is devoted to the notion of quasianalytic classes and the Borel mapping. Although quasianalytic classes are well known in analysis since several decades. We are interested in certain properties of Denjoy-Carleman's…

In 1979 J.J. Kohn gave an indirect argument via the Diederich-Forn\ae ss Theorem showing that finite D'Angelo type implies termination of the Kohn algorithm for a pseudoconvex domain with real-analytic boundary. We give here a direct…

Let $\mathcal{E}_n$ be the ring of the germs of $\mathcal{C}^\infty$-functions at the origin in $\R^n$. It is well known that if $I$ is an ideal of $\mathcal{E}_n$, generated by a finite number of germs of analytic functions, then $I$ is…

Quasianalytic classes are classes of infinitely differentiable functions that satisfy the analytic continuation property enjoyed by analytic functions. Two general examples are quasianalytic Denjoy-Carleman classes (of origin in the…

This paper has two parts. We first survey recent efforts on the Bloom conjecture which still remains open in the case of complex dimension at least 4. Bloom's conjecture concerns the equivalence of three regular types. There is a more…

For quasianalytic Denjoy--Carleman differentiable function classes $C^Q$ where the weight sequence $Q=(Q_k)$ is log-convex, stable under derivations, of moderate growth and also an $\mathcal L$-intersection (see 1.6), we prove the…

We prove two main results on Denjoy-Carleman classes: (1) a composite function theorem which asserts that a function f(x) in a quasianalytic Denjoy-Carleman class Q, which is formally composite with a generically submersive mapping y=h(x)…

The paper is a continuation of our earlier article where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full…

There exist several interesting results in the literature on subnormal operator tuples having their spectral properties tied to the geometry of strictly pseudoconvex domains or to that of bounded symmetric domains in $\C^n$. We introduce a…

In the first part of this work, we consider a polynomial $ \phi(x,y)=y^d+a_1(x)y^{d-1}+...+a_d(x) $ whose coefficients $ a_j $ belong to a Denjoy-Carleman quasianalytic local ring $ \mathcal{E}_1(M) $. Assuming that $ \mathcal{E}_1(M) $ is…

A systematic geometric theory for the ultradifferentiable (non-quasianalytic and quasianalytic) wavefront set similar to the well-known theory in the classic smooth and analytic setting is developed. In particular an analogue of Bony's…

We prove a multivariable approximate Carleman theorem on the determination of complex measures on ${\mathbb{R}}^n$ and ${\mathbb{R}}^n_+$ by their moments. This is achieved by means of a multivariable Denjoy--Carleman maximum principle for…

Let $t\mapsto A(t)$ for $t\in T$ be a $C^M$-mapping with values unbounded operators with compact resolvents and common domain of definition which are self-adjoint or normal. Here $C^M$ stands for $C^\om$ (real analytic), a quasianalytic or…

The classical notion of {\L}ojasiewicz ideals of smooth functions is studied in the context of non-quasianalytic Denjoy-Carleman classes. In the case of principal ideals, we obtain a characterization of {\L}ojasiewicz ideals in terms of…

We show that a version of the desingularization theorem of Hironaka holds for certain classes of infinitely differentiable functions (essentially, for subrings that exclude flat functions and are closed under differentiation and the…

We provide a new characterization of quasi-analyticity of Denjoy-Carleman classes, related to \emph{Wetzel's Problem}. We also completely resolve which Denjoy-Carleman classes carry \emph{sparse systems}: if the Continuum Hypothesis (CH)…

For Denjoy--Carleman differential function classes $C^M$ where the weight sequence $M=(M_k)$ is logarithmically convex, stable under derivations, and non-quasianalytic of moderate growth, we prove the following: A mapping is $C^M$ if it…