nLab
orientation

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Integration theory

Contents

Definition

Definition

For X a manifold and VX a vector bundle of rank k, an orientation on V is an equivalence class of trivializations of the real line bundle kV that is obtained by associating to each fiber of V its skew-symmetric kth tensor power.

Equivalently for a smooth manifold this is an equivalence class of an everywhere non-vanishing element of C (X) kΓ(V).

An orientation of the tangent bundle TX or cotangent bundle T *X is called an orientation of the manifold. This is equivalently a choice of no-where vanishing differential form on X of degree the dimension of X.

If a trivialization of kV exists, V is called orientable.

For ω an orientation, ω is the opposite orientation.

Properties

In terms of lifting through Whitehead tower

An orientation on a Riemannian manifold X is equivalently a lift g^ of the classifying map g:XO(n) of its tangent bundle through the fist step SO(n)O(n) in the Whitehead tower of X:

SO(n) g^ X g O(n).\array{ && \mathcal{B}S O(n) \\ & {}^{\hat g}\nearrow & \downarrow \\ X &\stackrel{g}{\to}& \mathcal{B} O(n) } \,.

From this perspective a choice of orientation is the first in a series of special structures on X that continue with

In terms of orientation in generalized cohomology

For E an E-∞ ring spectrum, tthere is a general notion of R-orientation of vector bundles. This is described at

For R=H() be the Eilenberg-MacLane spectrum for the discrete abelian group of real numbers, orientation in R-cohomology is equivalent to the ordinary notion of orientation described above.

smooth ∞-groupWhitehead tower of smooth moduli ∞-stacksG-structure/higher spin structureobstruction
fivebrane 6-groupBFivebranefivebrane structuresecond fractional Pontryagin class
string 2-groupBString16p 2B 7U(1)string structurefirst fractional Pontryagin class
spin groupBSpin12p 1B 3U(1)spin structuresecond Stiefel-Whitney class
special orthogonal groupBSOw 2B 2 2orientation structurefirst Stiefel-Whitney class
orthogonal groupBOw 1B 2orthogonal structure/vielbein/Riemannian metric
general linear groupBGLsmooth manifold

(all hooks are homotopy fiber sequences)

Revised on February 19, 2013 01:47:06 by Toby Bartels (64.89.53.232)