Parusinski's “Key Lemma” via algebraic geometry.
Pluriregularity in polynomially bounded -minimal structures.
Points réguliers d'un sous-analytique
On donne une autre démonstration (sans désingularisation de Hironaka) du théorème de Tamm, qui dit que la partie régulière d’un sous-analytique est sous-analytique. En plus, on montre que pour chaque fonction de classe SUBB (“sous-analytique à l’infini”), où est un sous-ensemble ouvert et borné dans , il existe un entier tel que est analytique dans si et seulement si est de classe (-fois différentiable au sens de Gateaux) dans un voisinage de .
Préparation des fonctions sous-analytiques globales et lieu d'analyticité
We give a new proof of Kurdyka-Tamm's theorem on the analytic locus of a subanalytic function.
Proof of the gradient conjecture of R. Thom.
Quantifier elimination in quasianalytic structures via non-standard analysis
The paper is a continuation of an earlier one 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 generality, which refers to one of its results, namely the theorem on an active infinitesimal, playing an essential role in our non-standard analysis. The general case was covered in our subsequent preprint, which constitutes a basis for the approach presented here....
Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings
This paper investigates the geometry of the expansion of the real field ℝ by restricted quasianalytic functions. The main purpose is to establish quantifier elimination, description of definable functions by terms, the valuation property and preparation theorem (in the sense of Parusiński-Lion-Rolin). To this end, we study non-standard models of the universal diagram T of in the language ℒ augmented by the names of rational powers. Our approach makes no appeal to the Weierstrass preparation...
Quasianalytic perturbation of multi-parameter hyperbolic polynomials and symmetric matrices
This paper investigates hyperbolic polynomials with quasianalytic coefficients. Our main purpose is to prove factorization theorems for such polynomials, and next to generalize the results of K. Kurdyka and L. Paunescu about perturbation of analytic families of symmetric matrices to the quasianalytic setting.
Quelques résultats sur les ensembles Nash sous-analytiques
Rational points on a subanalytic surface
Let be a compact subanalytic surface. This paper shows that, in a suitable sense, there are very few rational points of that do not lie on some connected semialgebraic curve contained in .
Rectilinearization of functions definable by a Weierstrass system and its applications
This paper presents several theorems on the rectilinearization of functions definable by a convergent Weierstrass system, as well as their applications to decomposition into special cubes and quantifier elimination.
Relations among analytic functions. I
Neither real analytic sets nor the images of real or complex analytic mappings are, in general, coherent. Let be a morphism of real analytic spaces, and let be a homomorphism of coherent modules over the induced ring homomorphism . We conjecture that, despite the failure of coherence, certain natural discrete invariants of the modules of formal relations , , are upper semi-continuous in the analytic Zariski topology of . We prove semicontinuity in many cases (e.g. in the algebraic category)....
Relations among analytic functions. II
This is a sequel to “Relations among analytic functions I”, Ann. Inst. Fourier, 37, fasc. 1, [pp. 187-239]. We reduce to semicontinuity of local invariants the problem of finding solutions to systems of equations involving division and composition by analytic functions. We prove semicontinuity in several general cases : in the algebraic category, for “regular” mappings, and for module homomorphisms over a finite mapping.
Relative subanalytic sheaves
Given a real analytic manifold Y, denote by the associated subanalytic site. Now consider a product Y = X × S. We construct the endofunctor on the category of sheaves on and study its properties. Roughly speaking, is a sheaf on . As an application, one can now define sheaves of functions on Y which are tempered or Whitney in the relative sense, that is, only with respect to X.
Residues, currents, and their relation to ideals of holomorphic functions.
Rigid subanalytic sets
Semianalytic and subanalytic sets
Siciak's extremal function in complex and real analysis
The Siciak extremal function establishes an important link between polynomial approximation in several variables and pluripotential theory. This yields its numerous applications in complex and real analysis. Some of them can be found on a rich list drawn up by Klimek in his well-known monograph "Pluripotential Theory". The purpose of this paper is to supplement it by applications in constructive function theory.
Smooth ponts of p-adic subanalytic sets.
Smoothly equivalent real analytic proper G-mainfolds are subanalytically equivalent.