A local orientation of a manifold at is a generator of
An -orientation is a locally coherent choice of such generators. An R-fundamental class is a class whose image in every one of these local homology groups is a generator. Those images vary coherently under the restriction maps between small coordinate balls, so an -fundamental class determines an -orientation.
For a closed -oriented -manifold, Poincare duality says that cap product with its fundamental class is an isomorphism
for every .
Choose a generator from the homology of a sphere. For every , the long exact sequence of , together with the contractibility of , shows that
The chosen generator is therefore a local generator at every point and is a -fundamental class.

Articles by others on the same topic (0)

There are currently no matching articles.