We extend a result of M. Tamm as follows:Let , be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions . Then there exists such that for all , if is in a neighborhood of , then is real analytic in a neighborhood of .
We study the integrals of real functions which are finite compositions of globally subanalytic maps and real power functions. These functions have finiteness properties very similar to those of subanalytic functions. Our aim is to investigate how such finiteness properties can remain when taking the integrals of such functions. The main result is that for almost all power maps arising in a -function, its integration leads to a non-oscillating function. This can be seen as a generalization of Varchenko...
We show that non-flatness of a morphism φ:X→ Y of complex-analytic spaces with a locally irreducible target of dimension n manifests in the existence of vertical components in the n-fold fibred power of the pull-back of φ to the desingularization of Y. An algebraic analogue follows: Let R be a locally (analytically) irreducible finite type ℂ-algebra and an integral domain of Krull dimension n, and let S be a regular n-dimensional algebra of finite type over R (but not necessarily a finite R-module),...
We define the notion of CR equivalence for Levi-flat foliations and compare in a local setting these foliations to their linear parts. We study also the situation where the foliation has a first integral ; a condition is given so that this integral is the real part of a holomorphic function.
In [Ga] Gabrielov has given conditions under which the completion of the kernel of a morphism φ: A → B between analytic rings coincides with the kernel of the induced morphism φ̂: Â → B̂ between the completions. If B is a domain, a sufficient condition is that rk φ = dim(Â/ker φ̂), where rk φ is the rank of the jacobian matrix of φ considered as a matrix over the quotient field of B. We prove that the above property holds in a fixed quasianalytic Denjoy-Carleman class if and only if the class coincides...
Nous donnons une nouvelle démonstration d'un théorème de Cano-Lion-Moussu: la frontière d'une hypersurface pfaffienne non spiralante est une réunion localement finie de sous-variétés analytiques connexes.