Real Algebraic and Analytic Geometry
Submission: 2008, December 24.
We study the smooth functions which are locally definable in an o-minimal expansion of the real exponential field with some additional smoothness conditions. Here, the local definability generalizes the subanalytic setting to more transcendental sets and functions. The focus is set on the locally definable diffeomorphisms between manifolds, for which we prove analogies to classical differential geometric results. Moreover, we investigate the relation between classical diffeomorphy and locally definable diffeomorphy.
Mathematics Subject Classification (2000): 32B20,14P10,03C64,26B05.
Keywords and Phrases: locally o-minimal sets and functions, exponential function, smooth functions, compositions of functions, diffeomorphisms.
Full text, 25p.: dvi 126k, ps.gz 192k, pdf 254k.