I will discuss recent work in collaboration with Edward Bierstone on transformation of a mapping to monomial form (with respect to local coordinates) by simple modifications of the source and target. Our techniques apply in a uniform way to the algebraic and analytic categories, as well as to classes of infinitely differentiable real functions that are quasianalytic or definable in an o-minimal structure. Our results in the real cases are best possible. The talk will focus on real phenomena and on an application to quantifier elimination of certain o-minimal polynomially bounded structure.
- Séminaire Géométrie et théorie des modèles