Related papers: On division of quasianalytic function germs

Consider quasianalytic local rings of germs of smooth functions closed under composition, implicit equation, and monomial division. We show that if the Weierstrass Preparation Theorem holds in such a ring then all elements of it are germs…

Let $\mathcal{E}_1(M)^+$ be the local ring of germs at 0 of functions belonging to a given Denjoy-Carleman quasianalytic class in a neighborhood of 0 in $[0,+\infty[$. We show that the ring $\mathcal{E}_1(M)^+$ contains elements that cannot…

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…

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…

This expository article is devoted to the local theory of ultradifferentiable classes of functions, with a special emphasis on the quasianalytic case. Although quasianalytic classes are well-known in harmonic analysis since several decades,…

We prove that any complex or real analytic set or function germ is topologically equivalent to a germ defined by polynomial equations whose coefficients are algebraic numbers.

Systems of germs of sets in infinite-dimensional spaces are introduced and studied. Such a system corresponds to a local zero-set of an ideal of the ring of analytic functions of infinite number of variables. Conversely, this system of…

In arXiv:1303.3724, the authors provide an axiomatic way of constructing new polynomially bounded o-minimal structures. However, all of the structures satisfying these axioms must also have smooth cell-decomposition. In this paper, we…

The Borel mapping takes germs at $0$ of smooth functions to the sequence of iterated partial derivatives at $0$. We prove that the Borel mapping restricted to the germs of any quasianalytic ultradifferentiable class strictly larger than the…

T. Mostowski showed that every (real or complex) germ of an analytic set is homeomorphic to the germ of an algebraic set. In this paper we show that every (real or complex) analytic function germ, defined on a possibly singular analytic…

We classify germs at the origin of real analytic Lorentz metrics on R^3 which are quasihomogeneous, in the sense that they are locally homogeneous on an open set containing the origin in its closure, but not locally homogeneous in the…

We prove that for any two definable germs in a polynomially bounded o-minimal structure, there exists a critical threshold $\alpha_0 \in (0,1)$ such that if these germs are bi-$\alpha$-H"older equivalent for some $\alpha \ge \alpha_0$, then…

We show that two analytic function germs $(\C^2,0) \to (\C,0)$ are topologically right equivalent if and only if there is a one-to-one correspondence between the irreducible components of their zero sets that preserves the multiplicites of…

In this paper we study Lipschitz contact equivalence of continuous function germs in the plane definable in a polynomially bounded o-minimal structure, such as semialgebraic and subanalytic functions. We partition the germ of the plane at…

In this paper we address the problem of classifying complex (non-homogeneous) quasihomogeneous polynomials in two variables under bi-Lipschitz equivalence. We prove that pairs of such polynomials are (right) bi-Lipschitz equivalent as…

We consider the Riemann Mapping Theorem in the case of a bounded simply connected and semianalytic domain. We show that the germ at 0 of the Riemann map (i.e. biholomorphic map) from the upper half plane to such a domain can be realized in…

An algebra of germs of real functions is generalised quasianalytic if to each element of the algebra we can associate, injectively, a power series with nonnegative real exponents. We prove a quantifier elimination and a rectilinearisation…

Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$, where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of…

We study the Weierstrass division theorem for function germs in strongly non-quasianalytic Denjoy-Carleman classes $\mathcal{C}_M$. For suitable divisors $P(x,t)=x^d+a_1(t)x^{d-1}+\cdots+a_d(t)$ with real-analytic coefficients $a_j$, we…

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…