Equivariant differential topology in an o-minimal expansion of the field of real numbers (Q697618)

The purpose of this paper is to establish basic properties of equivariant differential topology in an o-minimal expansion \(M\) of the field of real numbers (in the sense of \textit{L. van den Dries} [Lond. Math. Soc. Lect. Note Series, 248, Cambridge University Press (1998; Zbl 0953.03045)], \textit{M. Shiota} [Geometry of subanalytic and semialgebraic sets, Progress in Mathematics (Boston, Mass.) 150 (1997; Zbl 0889.32006)] and \textit{A. Wilkie} [J. Am. Math. Soc. 9, 1051-1094 (1996; Zbl 0892.03013)]). The author studies basic properties of differential topology for definable \(C^rG\) manifolds in an o-minimal expansion \(M\) of \(\mathbb{R}\), where \(0\leq r\leq\omega\) and \(G\) is a definable \(C^r\) group. He considers imbeddings of definable \(C^rG\) manifolds and generalizes Whitney's embedding theorem (he obtains a definable version). Finally, he studies the approximations of definable \(C^sG\) maps by definable \(C^rG\) maps, when \(0\leq s< r\leq\infty\) and the homotopy properties of definable \(C^rG\) vector bundles.