Classification of real Nash fibre bundles (Q2482707): Difference between revisions

Let \(G\) be a compact subgroup of an orthogonal group, \(X\) a semialgebraic closed Nash subvariety of \({\mathbb R}^n\), \(S(X,G)\) the family of strong Nash \(G\)-bundles over \(X\) [cf. \textit{J. Bochnak, M. Coste} and \textit{M.-F. Roy}, Géométrie algébrique réelle, Berlin: Springer (1987; Zbl 0633.14016)], \({\mathcal G}_n\) (resp. \({\mathcal G}_c\)) the sheaf of germs of Nash (resp. continuous) maps \(X\rightarrow G\) and \(s(X,G)\) be the family \(S(X,G)\) modulo the Nash equivalence between Nash \(G\)-bundles. Let further \(i: s(X,G)\rightarrow H^1(X,{\mathcal G}_n)\) be the canonical inclusion and \(\beta : H^1(X,{\mathcal G}_n)\rightarrow H^1(X,{\mathcal G}_c)\) be the map induced by the inclusion \({\mathcal G}_n\rightarrow {\mathcal G}_c\). The author proves the following classification theorem: Theorem 3.1. The map \({\alpha}={\beta}\cdot i: s(X,G)\rightarrow H^1(X,{\mathcal G}_c)\) is a bijection. Let \({\mathcal R}_n\) (resp. \({\mathcal R}_c\)) be the equivalence relation between maps \(f\) and \(g\) of being Nash (resp. topologically) homotopic. Let \(j: N(X,Y)/{\mathcal R}_n \rightarrow C^{0}(X,Y)/{\mathcal R}_c\) be the map induced by the inclusion of Nash maps between \(X\) and \(Y\) into the continuous maps between \(X\) and \(Y\). Finally let \(h: C^{0}(X,X_G)/{\mathcal R}_c\rightarrow H^1(X,{\mathcal G}_c)\) be the map which assigns to a continuous map \(f: X\rightarrow X_G\) the class \(f^{*}({\mathcal B}_G)\). The author also proves: Theorem 3.2. Let \(X\) be either a compact, semialgebraic, Nash subvarieties of \({\mathbb R}^n\) or a closed , semialgebraic, analytic submanifold of \({\mathbb R}^n\) and \(G\) a compact subgroup of an orthogonal group. Then the map \[ {\alpha}^{-1}\cdot h\cdot j: N(X,X_G)/{{\mathcal R}_n}\rightarrow s(X,G) \] is a bijection.