nLab
moduli stack

Context

(,1)(\infty,1)-Topos Theory

(∞,1)-topos theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

structures in a cohesive (∞,1)-topos

Yoneda lemma

Contents

Idea

A stack AA is called a moduli stack for certain structures, if for any other object XX the groupoid of morphisms XAX \to A into AA is equivalent to the groupoid of these kinds of structures on XX.

This is in contrast to the notion of moduli space, which is only about equivalence classes of structures and loses the information about the gauge equivalences/ automorphism groups of these structures.

There is an evident generalization of the concept of moduli stacks in the more general context of higher topos theory, to moduli ∞-stacks.

Notice that every stack is the moduli stack of something and in fact in general of different things at the same time (see below). So to some extent saying “moduli stack” is redundant. It is usually used to indicate, roughly, that there are some spaces/stacks that one is working on/over, and then there are apart from this stacks, the moduli stacks, that one is mapping into.

This distinction however easily disappears. For instance a historically famous moduli stack is the moduli stack of elliptic curves which started out as an object used to classify bundles of elliptic curves over other spaces. Later in the study of elliptic cohomology and tmf the “moduli stack” of elliptic curves came to be regarded as an space interesting in itself for the geometry on it, specifically since this is naturally a derived algebraic geometry.

Analogous comments apply to other moduli stacks. For instance for GG a topological group, the moduli stack BG*//G\mathbf{B}G \simeq \ast //G for topological GG-principal bundles is itself interesting for its own geometry. Notably it is the base stack of the universal principal bundle which as such may be equipped with differential geometry such as a connection on a bundle etc.

Generally, what one needs for a stack to classify bundles in this way is a universal bundle over it, for then what the stack modulates are precisely the pullbacks of this universal bundle. A stack with a prescribed universal bundle over it may be regarded as a stack equipped with an atlas.

In conclusion then “moduli stack” pretty much means “stack” or more precisely “stack with specified universal bundle over it or atlas into it”, with the implicit implication that we say “moduli stack” to indicate that we care about pulling back that atlas/bundle along maps into the stack.

(Compare this to how one says “presheaf” for what is really just a functor in order to indicate a certain attitude, namely that one will be interested in asking which presheaves are sheaves.)

Examples

Of smooth principal bundles

Let H:=Sh (SmthMnfd)\mathbf{H} := Sh_\infty(SmthMnfd) be collection of differentiable stacks and generally of stacks and ∞-stacks over the site of smooth manifolds (see Smooth∞Grpd for details).

Then every Lie group GG is canonically an group object in H\mathbf{H} – a “group stack” – and its delooping in H\mathbf{H} produces a stack denoted BG\mathbf{B}G. This is simply the (stackification of) the Lie groupoid *//G*//G with a single object and GG worth of automorphisms on this object.

Let the XX be any smooth manifold, also regarded as a stack, via the Yoneda embedding. Then one finds that morphisms of stacks

XBG X \to \mathbf{B}G

are the same as smooth GG-principal bundles over XX. More precisely the groupoid GBund(X)G Bund(X) of smooth GG-principal bundles and smooth gauge transformations between them is canonically equivalent to the hom-groupoid of maps from XX to BG\mathbf{B}G:

GBund(X)H(X,BG). G Bund(X) \simeq \mathbf{H}(X, \mathbf{B}G) \,.

This is discussed in some detail at principal bundle.

The statement immediately generalizes to higher degrees and to other notions of (higher) geometry. This is discussed at principal ∞-bundle.

Of flat connections

Of formal groups

Of elliptic curves

A famous moduli stack is that of elliptic curves. See moduli stack of elliptic curves for more on this.

Revised on November 12, 2013 12:00:04 by Urs Schreiber (188.200.54.65)