Mapping-torus homology from Mayer–Vietoris
ID: mapping-torus-homology-from-mayer-vietoris
For a continuous self-map , the mapping torus has the Wang sequence even when is not a homeomorphism. Cover the time circle by a seam neighborhood and an interval away from the seam. Their inverse images retract to : the seam neighborhood is a mapping cylinder, and the other is a product. Their intersection retracts to two copies of . The Mayer–Vietoris sequence map on homology is, after consistent choices of signs,Invertible changes of coordinates reduce it to the direct sum of and an isomorphism. Canceling the isomorphism summands gives the Wang sequence. This proof does not assume a fiber bundle structure for a noninvertible .
New to topics? Read the docs here!