Ingredients
Incarnations
Properties
Universal aspects
Classification
Induced theorems
…
In higher category theory
On the one hand, a map into a classifying space classifies some kind of object, it is a classifying morphism, meaning that it characterizes the object (only) up to equivalence.
On the other hand, the more refined concept of a moduli stack is such that morphisms into it characterize the object itself. Hence it makes sense to say that such maps into moduli stacks not just classify, but modulate the given object.
Indeed, that is the idea that originally gave rise to the name moduli.
Because, more specifically, a moduli stack of a certain kind of objects is such that morphisms into it determine a bundle
of -like objects over . It is this bundle which is “being modulated (by ) as one moves around in ”, much as in the language of electronics a waveform is being modulated as one moves around in time.
To see that the difference really matters, consider the map of classifying spaces
for the orthogonal group and the general linear group. These classify, respectively, -principal bundles and -principal bundles. While as geometric (e.g. topological or smooth) bundles these are different, their equivalence classes are the same. Accordingly the above map is in fact a homotopy equivalence and accordingly for any -dimensional manifold whose tangent bundle is classified by , then the space of lifts in
is contractible. Hence classifying maps see no difference here.
However, there is an important difference which the modulating morphisms do see. Write
for the corresponding morphism of smooth moduli stacks (see at looping and delooping for more on this). Then a lift of the modulating map to one that modulates an actual orthogonal bundle
is genuine data: this is a choice of orthogonal structure/vielbein on and hence a Riemannian metric on .
An analogous situation is obtained for any inclusion of a maximal compact subgroup into a given Lie group and the corresponding notion of G-structure. All -structures arising this way are invisible to classifying maps, but are seen by modulating maps. See at twisted differential c-structure for a list of further examples
The terminology “modulating” in the context of “moduli stacks” would seem to be inevitable but is not used much in practice. One place where it is used consistently is
Last revised on March 11, 2015 at 10:05:03. See the history of this page for a list of all contributions to it.