The finiteness of compact varieties in
The Gleason problem for , , .
The use of D-modules to study exponential polynomials
This is a summary of recent work where we introduced a class of D-modules adapted to study ideals generated by exponential polynomials.
Théorème de division et stabilité en géométrie analytique locale
À l’aide d’un théorème de division de séries entières convergentes avec estimation des normes sur un système fondamental de polydisques, on démontre un théorème de “passage du formel au convergent”. Ceci nous permet d’étudier les morphismes stables et plats entre germes d’espaces analytiques singuliers.
Théorème de préparation pour les fonctions logarithmico-exponentielles
Nous donnons une preuve géométrique du théorème d’élimination des quantificateurs pour les fonctions logarithmico-exponentielles prouvé initialement par van den Dries, Macintyre et Marker. Notre démonstration n’utilise pas de Théorie des Modèles. Elle repose sur un théorème de préparation pour les fonctions sous-analytiques.
Théorèmes de préparation Gevrey et étude de certaines applications formelles
We consider subrings A of the ring of formal power series. They are defined by growth conditions on coefficients such as, for instance, Gevrey conditions. We prove preparation theorems of Malgrange type in these rings. As a consequence we study maps F from to without constant term such that the rank of the Jacobian matrix of F is equal to 1. Let be a formal power series. If F is a holomorphic map, the following result is well known: ∘ F is analytic implies there exists a convergent power series...