Real projective spaces are nonfibrators (Q1296280): Difference between revisions

Une variété fermée \(N\) de dimension \(n\) est appelée un fibrateur en codimension \(k\) si, pour toute application propre \(p\) d'une variété \(M\) de dimension \(n+k\) sur un espace métrique \(B\) de dimension finie telle que \(p^{-1}(b)\) ait la forme de \(N\) pour tout \(b\in B\), l'espace \(B\) est un ANR et \(p\) est une fibration approximative (i.e. a la propriété de relèvement approximatif des homotopies). Notant \(S^k\) la sphère de dimension \(k\), l'auteur montre que s'il existe un homéomorphisme \(h\) de \(N\times S^k\) sur lui-même tel que \(\text{proj} \circ h:N \times \{pt\} \to N\) ne soit pas une équivalence homotopique, alors \(N\) n'est pas un fibrateur en dimension \(k+1\). Applications: (1) l'espace projectif réel \(\mathbb{R} P^n\) n'est pas un fibrateur en dimension \(n+1\); (2) si \(F\) est un sous-groupe fini du groupe \(S^3\) des quaternions de norme un, alors \(S^3/F\) n'est pas un fibrateur en dimension 4.