This is a sub-entry for gerbe.
For related entries see
(The definitions of sheaf and stack are elsewhere in the nLab but we will have to review them briefly. There is also motivation for sheaves, cohomology and higher stacks, which provides other insights. For simplicity of exposition, we will initially look at sheaves, stacks and gerbes over a base space rather than in the more general setting of a topos.)
Naively a sheaf is a family of sets indexed ‘continuously’ by the points of a space . It corresponds either to a presheaf satisfying a ‘gluing condition’ (which is the version of descent in one of its simplest cases), or to an étale space over . The relationship between them is that the presheaf is the presheaf of local sections of the étale space, and the ‘gluing condition’ is that local sections that agree on the intersections of open sets can be glued uniquely to give a section over the union of the open sets.
An important class of sheaves are the torsors. Let be a sheaf of groups on . The category, of -torsors on is a groupoid. The notion of -torsor ‘localises’ well, so that if is an open set of , then we can restrict to a sheaf on , and look at the torsors over using the restricted . (We abuse notation and just write for the corresponding groupoid. If is another open set contained in , there is a restriction functor from to , so it looks as if we have a presheaf of groupoids on , but things are not quite right here.
The assignment of to only gives a pseudofunctor not a functor from the category to the category of groupoids. It thus corresponds to a Grothendieck fibration or fibred category over . It does have quite nice ‘gluing properties’ however, it is a stack of groupoids. (Roughly ‘morphisms glue, objects glue up to isomorphism’. For enlightenment note that there are almost presheaves of objects and of morphisms in this ‘pseudo’ presheaf.) This stack will be called .
There is a stackcompletion functor from fibred categories to stacks. If we take the sheaf of groups , think of it as a presheaf of groupoids , in the usual way, then it is a pseudo-functor from to the category of groupoids. If we stack complete it, we get … .
We thus can think of a stack of groupoids as a ‘lax’ generalisation of a sheaf of groupoids. What about gerbes?
(It should be mentioned that often in topological settings, the sheaf of groups is actually a constant sheaf and that in that case a -torsor is just a principal -bundle.)
Groups ‘are’ groupoids with a single object, but groupoids are not ‘groups with many objects’ (although that is a nice phrase to use when introducing them). A groupoid need not have any objects … if it is empty! Of course, we think of the vertex groups of a groupoid, but, if the groupoid is not connected, there may be many different non-isomorphic ones. So a group is a very special type of groupoid.
Similarly, the term ‘gerbe’ refers to a special sort of stack of groupoids.
A gerbe is to a general stack what, up to equivalence, a group is to a general groupoid. It is non-empty and connected.
David Roberts: This is reflected in the fact that the fibres of bundle gerbes (either abelian or -bundles gerbes) are transitive groupoids. I believe Tim and I had a bit of discussion of this sort of thing last year (or before - mists of time…). Or maybe this comment should go in gerbe (general idea)?
To make this precise we use some additional notions:
We will have a pseudofunctor , and this will be a stack.
A stack of groupoids, , on is locally non-empty if there is an open covering of for which each groupoid is non-empty, for .
A stack of groupoids, , on is said to be locally connected if for each open in there is an open covering of such that all elements in become connected in all .
It is important to note that it does not state in the definition of a gerbe that the open cover that we have over which it is non-empty is or is not one over which it is connected.
Local connectedness can be well stated by saying that for the various , if and are local objects defined over , the set is not empty. (Translation: a ‘local object’, or ‘locally defined object’, of is a ‘local section’ of , say, over , in other words, an element in .
is a gerbe on .
To see locally non-empty: If is any open set in , then as , the category of -torsors over , it has at least the trivial G-torsor (over ) amongst its objects, so is locally non-empty.
Next look at again. Any two -torsors are locally isomorphic to each other, since they are both locally isomorphic to the trivial -torsor, so, if and are two -torsors, there is an open cover such that over that cover and are isomorphic, hence is locally connected. We thus have that is a gerbe.
The notion of a -gerbe arises in the article gerbe, but one needn’t use just a group . Fix a sheaf of abelian (possibly not necessary) groups on . Then an -gerbe is a gerbe on such that for any open on we have a functorial isomorphism for all .
Note that since is a stack, is a sheaf, so by isomorphism we mean an isomorphism as sheaves, and by functorial we mean given another object , the isomorphism commutes
In particular, we get that for any two objects we have that the sheaf is an -torsor. This gives that if there is some object over , namely that , then the set of isomorphism classes of obects in is in natural bijection with .
For example, consider the stack of rank 1 vector bundles on a scheme , . One can check that is a -gerbe by noting that the automorphism group of any vector bundle over will be precisely , and everything is functorial. By the interpretation in cohomology, we see that the global vector bundles (up to isomorphism) are in correspondence with which is just .
One can form the classifying stack, from the important example above by taking . A basic theorem about -gerbes is that an -gerbe, , is isomorphic to if and only if . This says that is isomorphic to the classifying stack if and only if it has a global object.
For information on how gerbes play a role in differential geometry see gerbe (in differential geometry).
There is a lengthier description of gerbes (at this level of generality) in the Menagerie notes that are available from Tim Porter's home page.
Other material available online includes the following:
I. Moerdijk, Introduction to the language of stacks and gerbes (arXiv)
Larry Breen, Notes on 1- and 2-gerbes (arXiv)
Further references are given in the other entries on gerbes.