Real projective spaces are nonfibrators (Q1296280)

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.