Related papers: Note on the Weierstrass Preparation Theorem in Qua…
It is shown that Denjoy-Carleman quasi-analytic rings of germs of functions in two or more variables fail to satisfy the Weierstrass Preparation Theorem. The result is proven via a non-extension theorem.
In this paper, we establish the following criterion for divisibility in the local ring of those quasianalytic function germs at zero which are definable in a polynomially bounded structure. A sufficient (and necessary) condition for the…
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 a form of the Weierstrass Preparation Theorem for normal algebraic curves over complete discrete valuation rings. While the more traditional algebraic form of Weierstrass Preparation applies just to the projective line over a base,…
We characterize flat extensions of commutative rings satisfying the Weierstrass preparation theorem. Using this characterization we prove a variant of the Weierstrass preparation theorem for rings of functions on a normal curve over a…
We study rings over which an analogue of the Weierstrass preparation theorem holds for power series. We show that a commutative ring $R$ admits a factorization of every power series in $R[[x]]$ as the product of a polynomial and a unit if…
Given an o-minimal structure expanding the field of reals, we show a piecewise Weierstrass preparation theorem and a piecewise Weierstrass division theorem for definable holomorphic functions. In the semialgebraic setting and for the…
We study the Weierstrass preparation and division theorems over arbitrary test rings and the local structure of singularities in the space of nondegenerate arcs on algebraic varieties. As an application, we prove a strengthened version of a…
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…
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…
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 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.
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…
We study two possible tropical analogues of Weierstrass semigroups on graphs, called rank and functional Weierstrass sets. We prove that on simple graphs, the first is contained in the second. We completely characterize the subsets of N…
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…
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…
Free analysis is a quantization of the usual function theory much like operator space theory is a quantization of classical functional analysis. Basic objects of free analysis are noncommutative functions. These are maps on tuples of…
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…
We determine the Weierstrass semigroup at one and two totally ramified places in a Kummer extension defined by the affine equation $y^{m}=\prod_{i=1}^{r} (x-\alpha_i)^{\lambda_i}$ over $K$, the algebraic closure of $\mathbb{F}_q$, where…
We classify torsion-free real-analytic affine connections on compact oriented real-analytic surfaces which are locally homogeneous on a nontrivial open set, without being locally homogeneous on all of the surface. In particular, we prove…