Classification of real Nash fibre bundles

DOI10.1007/S00209-007-0226-0MaRDI QIDQ2482707zbMATH OpenOpenAlexFDO

Publication date 23 April 2008

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00209-007-0226-0

Nash \(G\)-bundles Nash equivalence Nash maps

Nash functions and manifolds (14P20) Real-analytic manifolds, real-analytic spaces (32C05) Homotopy equivalences in algebraic topology (55P10) Fiber bundles in algebraic topology (55R10) Sphere bundles and vector bundles in algebraic topology (55R25) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35)

Review text

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.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Classification of real Nash fibre bundles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2482707)