A sphere cannot fibre over a lower-dimensional odd sphere
ID: a-sphere-cannot-fibre-over-a-lower-dimensional-odd-sphere
There is no fiber bundle when and is odd. A local trivialization makes a retract of an open subset of , so for ; the long exact sequence of homotopy groups of a fibration makes connected. In the multiplicative rational Serre spectral sequence, only base columns zero and occur. Since , a fibre class must satisfy , the base generator. Its degree is even. If is its first vanishing power, the derivation law gives on the page, a contradiction. Bounded fibre cohomology ensures such a vanishing power exists. In particular cannot be the total space of a bundle over .
New to topics? Read the docs here!