|analytic integration||cohomological integration|
|measurable space||Poincaré duality|
|measure||orientation in generalized cohomology|
|volume form||(virtual) fundamental class|
|Riemann/Lebesgue integration of differential forms||push-forward in generalized cohomology/in differential cohomology|
More generally, for an -algebra spectrum, an -bundle is -orientable if the associated -bundle is trivializable. For more on this see (∞,1)-vector bundle.
Write or for the general linear group of the -ring : it is the subspace of the degree-0 space on those points that map to multiplicatively invertible elements in the ordinary ring .
is the -principal -bundle classified by that map.
There is a canonical morphism
from the classifying space of the orthogonal group to that of the infinity-group of units of the sphere spectrum, called the J-homomorphism. Postcomposition with this sends real vector bundles to sphere bundles. This is what is modeled by the Thom space construction
which sends each fiber to its one-point compactification.
For a -principal ∞-bundle there is canonically the corresponding associated ∞-bundle with fiber . Precisely, in the stable (∞,1)-category of spectra, regarded as the stabilization of the (∞,1)-topos Top
the associated bundle is the smash product over
For a morphism of -rings, and the classifying map for an -bundle, the corresponding associated -bundle classified by the composite
is given by the smash product
This appears as (Hopkins, bottom of p. 6).
For a sphere bundle, an -orientation on is a trivialization of the associated -bundle , hence a trivialization (null-homotopy) of the classifying morphism
where the second map comes from the unit of -rings (the sphere spectrum is the initial object in -rings).
This appears as (Hopkins, p.7).
A natural -orientation of all vector bundles is therefore a trivialization of the morphism
Similarly, an -orientation of all spinor bundles is a trivialization of
and an -orientation of all string group-bundles a trivialization of
and so forth, through the Whitehead tower of .
Now, the Thom spectrum MO is the spherical fibration over associated to the -universal principal bundle. In generalization of the way that a trivialization of an ordinary -principal bundle is given by a -equivariant map , one finds that trivializations of the morphism
correspond to -maps
from the Thom spectrum to . Similarly trivialization of
corresponds to morphisms
and trivializations of
and so forth.
This is the way orientations in generalized cohomology often appear in the literature.
The construction of the string orientation of tmf, hence a morphism
is discussed in (Hopkins, last pages).
For the multiplicative cohomology theory corresponding to , and a vector bundle of rank , an -orientation of is an element in the cohomology of the Thom space of – a Thom class – with the property that its restriction along to any fiber of is
is a multiplicatively invertible element;
is the image of the multiplicative unit under the suspension isomorphism .
Multiplication with induces hence an isomorphism
This is called the Thom isomorphism.
The existence of an -orientation is necessary in order to have a notion of fiber integration in -cohomology.
from the universal -Thom spectrum to .
If here is the -component of a map of spectra then this is a homomorphism of E-∞ rings and in this case there is a bijection between universal orientations and such -ring homomorphisms (Ando-Hopkins-Rezk 10, prop. 2.11).
|partition function in -dimensional QFT||supercharge||index in cohomology theory||genus||logarithmic coefficients of Hirzebruch series|
|0||push-forward in ordinary cohomology: integration of differential forms||orientation|
|1||spinning particle||Dirac operator||KO-theory index||A-hat genus||Bernoulli numbers||Atiyah-Bott-Shapiro orientation|
|endpoint of 2d Poisson-Chern-Simons theory string||Spin^c Dirac operator twisted by prequantum line bundle||space of quantum states of boundary phase space/Poisson manifold||Todd genus||Bernoulli numbers||Atiyah-Bott-Shapiro orientation|
|endpoint of type II superstring||Spin^c Dirac operator twisted by Chan-Paton gauge field||D-brane charge||Todd genus||Bernoulli numbers||Atiyah-Bott-Shapiro orientation|
|2||type II superstring||Dirac-Ramond operator||superstring partition function in NS-R sector||Ochanine elliptic genus||SO orientation of elliptic cohomology|
|heterotic superstring||Dirac-Ramond operator||superstring partition function||Witten genus||Eisenstein series||string orientation of tmf|
|self-dual string||M5-brane charge|
|3||w4-orientation of EO(2)-theory|
A comprehensive account of the general abstract persepctive (with predecessors in Ando-Hopkins-Rezk 10) is in
Lecture notes include
which are motivated towards constructing the string orientation of tmf, based on
Orientation of vector bundles in -cohomology is discussed for instance in