orientation
There are many definitions of an orientation of a manifold. The mostgeneral, in the sense that it doesn’t require any extra on the manifold, is based on(co-)homology
theory. For this article manifold means a connected,topological manifold possibly with boundary.
Theorem 1.
Let be a closed, –dimensionalmanifold. Then the top dimensionalhomology group of , is either trivial () or isomorphicto .
Definition 2.
A closed –manifold is called orientable if its tophomology group is isomorphic to the integers.An orientation of is a choice of a particular isomorphism
An oriented manifold is a (necessarily orientable) manifold endowed withan orientation.If is an oriented manifold then is calledthe fundamental class of , or the orientation class of , and is denotedby .
Remark 3.
Notice that since has exactly twoautomorphisms an orientable manifold admits two possibleorientations.
Remark 4.
The above definition could be given using cohomology instead of homology.
The top dimensional homology of a non-closed manifold is alwaystrivial, so it is trickier to define orientation for thosebeasts. One approach (which we will not follow) is to use specialkind of homology (for example relative to the boundary for compactmanifolds with boundary). The approach we follow defines (global)orientation as compatible fitting together of local orientations. Westart with manifolds without boundary.
Theorem 5.
Let be an -manifold without boundary and . Then the relative homology group
Definition 6.
Let be an -manifold and . An orientationof at is a choice of an isomorphism
to make precise the notion of nicelyfitting together of orientations at points, is to require that fornearby points the orientations are defined in a way.
Theorem 7.
Let be an open subset of that is homeomorphic to (e.g. the domain of a chart). Then,
Definition 8.
Let be an open subset of that is homeomorphicto . A local orientation of on is a choiceof an isomorphism
Now notice that with as above and the inclusion
a map (actually isomorphism)
and therefore a local orientation at (by composing with the aboveisomorphism) an orientation at each point . It is to declare that all theseorientations fit nicely together.
Definition 9.
Let be a manifold with non-empty boundary, . is called orientable if its double
is orientable, where denotes gluing along the boundary.
An orientation of is determined by an orientation of .