Relative homology of a fibration over a sphere
ID: relative-homology-of-a-fibration-over-a-sphere
For a Serre fibration over , cover the base by a contractible punctured sphere and a contractible ball. Excision relative to the preimage of the punctured sphere identifies the relative pair with the product of and up to homotopy. The base pair has a single free homology group in degree , so the Künneth theorem gives the displayed shift without a torsion term. The relative long exact sequence then gives . The connecting map retains the twisting of the original Serre fibration.
New to topics? Read the docs here!