This might be my last post on gerbes (explicitly for gerbe’s sake), so as in my last ‘stacks for stack’s sake’ post I’ll try to clarify some things with more examples and then give some cautions. Last time I mentioned the classifying stack . Let’s first actually construct it better than the quick idea I gave.
Let be a topological space, and a sheaf of abelian groups on (note that I’ll use instead of to avoid typing the script, but it is a and not just a group, otherwise we’ll just recover the classifying space).
Define a functor , where is the category of groupoids, by groupoid of -torsors over . This is a sheaf, say , on with an action such that if , then acts simply transitively on .
Again, this is just fancy language for something that is probably familiar to you. Since we have a sheaf of groups, just think an open set at a time. is a group, call it . Then is really just an honest group action, and “acting simply transitively” means that if we pick out some , then we have a way to identify with , namely (as sets) via the action .
You could also think of this as a “relative” principal bundle. The group that it is a principal bundle of gets to change locally, but if it is a constant sheaf and hence not changing, then we really do just get the classifying space.
I told you as a functor to Grpds and not as a functor to which is how stacks were defined, but recall if we have a sheaf on , then we can convert it to that form by taking our category to have objects the pairs where , and the maps in the category are inclusions and restricting to the right thing. If we were doing all the details we’d have to check all of this and then check it is actually a gerbe and that it is actually an -gerbe, etc, but we’d be stuck here forever and these are all straightforward enough that it would make a great exercise if you don’t see it right away.
Recall last time that an -gerbe, , is isomorphic to if and only if it has a global object. Recall that , the stack of rank one vector bundles, was a -gerbe, and it has the trivial bundle as a global object, so .
Let’s actually prove it now. If , then and hence . For the reverse direction, suppose there is some , then we get a map which we’ll denote . One can check that this induces the isomorphism. In fact, one can check that whenever you have a map in the category of -gerbes, it will be an isomorphism.
This is why I wanted to bring this example up. Here are some of the cautions that jump to my mind. Something might feel fishy to you right now. That’s because I haven’t really told you the proper way to think about these things. When I say “isomorphism” what does that mean? Well, it really means as -categories.
Also, suppose you are an algebraic geometer and you say you have a gerbe on the étale site of . This isn’t precise enough, since funny differences can happen whether or not you’re on the big or small site. I guess because of all that I’ve left out in an attempt to bring the concept out, my main caution is to consult the literature and not any of these blog posts if you want to know if something is true.