Déchirures de variétés de dimension trois et la conjecture de Nash de rationalité en dimension trois.
Decomposition into special cubes and its applications to quasi-subanalytic geometry
The main purpose of this paper is to present a natural method of decomposition into special cubes and to demonstrate how it makes it possible to efficiently achieve many well-known fundamental results from quasianalytic geometry as, for instance, Gabrielov's complement theorem, o-minimality or quasianalytic cell decomposition.
Definable stratification satisfying the Whitney property with exponent 1
We prove that for a finite collection of sets definable in an o-minimal structure there exists a compatible definable stratification such that for any stratum the fibers of its projection onto satisfy the Whitney property with exponent 1.
Defining orbit spaces by inequalities
Density of Morse functions on sets definable in o-minimal structures
We present a tameness property of sets definable in o-minimal structures by showing that Morse functions on a definable closed set form a dense and open subset in the space of definable functions endowed with the Whitney topology.
Description of algebraically constructible functions.
Description of the Connected Components of a Semialgebraic Set in Single Exponential Time.
Diagonal series of rational functions
Some representations of Nash functions on continua in ℂ as integrals of rational functions of two complex variables are presented. As a simple consequence we get close relations between Nash functions and diagonal series of rational functions.
Directional properties of sets definable in o-minimal structures
In a previous paper by Koike and Paunescu, it was introduced the notion of direction set for a subset of a Euclidean space, and it was shown that the dimension of the common direction set of two subanalytic subsets, called the directional dimension, is preserved by a bi-Lipschitz homeomorphism, provided that their images are also subanalytic. In this paper we give a generalisation of the above result to sets definable in an o-minimal structure on an arbitrary real closed field. More precisely, we...
Discriminant Sets of Families of Hyperbolic Polynomials of Degree 4 and 5
∗ Research partially supported by INTAS grant 97-1644A real polynomial of one real variable is hyperbolic (resp. strictly hyperbolic) if it has only real roots (resp. if its roots are real and distinct). We prove that there are 116 possible non-degenerate configurations between the roots of a degree 5 strictly hyperbolic polynomial and of its derivatives (i.e. configurations without equalities between roots). The standard Rolle theorem allows 286 such configurations. To obtain the result we study...
Distance géodésique sur un sous-analytique.
Pour un ensemble sous-analytique, connexe fermé, la distance géodésique est atteinte et est uniformément équivalente, avec des constantes arbitrairement proches de 1, à une distance sous-analytique.
Division of Distributions by Locally Definable Quasianalytic Functions
We demonstrate that the Łojasiewicz theorem on the division of distributions by analytic functions carries over to the case of division by quasianalytic functions locally definable in an arbitrary polynomially bounded, o-minimal structure which admits smooth cell decomposition. Hence, in particular, the principal ideal generated by a locally definable quasianalytic function is closed in the Fréchet space of smooth functions.
Divisors in global analytic sets
We prove that any divisor of a global analytic set has a generic equation, that is, there is an analytic function vanishing on with multiplicity one along each irreducible component of . We also prove that there are functions with arbitrary multiplicities along . The main result states that if is pure dimensional, is locally principal, is not connected and represents the zero class in then the divisor is globally principal.
Divisors on real curves.