Connectedness criterion for the orientation double cover

ID: connectedness-criterion-for-the-orientation-double-cover

For a connected smooth manifold, every component of the orientation double cover maps onto the base by the path lifting theorem. There can therefore be at most two components. A global orientation splits the cover into two copies of the base. Conversely, if there are two components, each meets every fibre once, so its inverse projection gives a smooth global choice of orientation.

New to topics? Read the docs here!