I’m going to make another definition, but I may as well get to the punchline first or else anyone reading this that doesn’t already know the punchline is going to skip reading it or tune out. If you have an abelian sheaf on , then there is a notion of being not only a stack/gerbe over , but an -gerbe. I’ll define this later.
Here’s the amazing part, Giraud did a lot of work for us and tells us that the global elements of the stack, , i.e. the objects lying over all of are in bijection with elements of . Take the line bundle example, then is actually a -gerbe and hence (iso classes of) line bundles on are in correspondence with . Wait! We already knew that since .
We also found in our two examples of deformations before that this is true. We found that infinitesimal extensions by coherent sheaves are classified by here and here. It turns out this wasn’t a coincidence. Things are classified by all over algebraic geometry and this is the underlying thread connecting them.
But it turns out Giraud didn’t stop there and we get even more. We actually get an obstruction theory as well. Giraud tells us that the obstruction to constructing a global object lies in . We may have not gone through it for our deformations with a tedious cocycle argument like the exercises, but many books do go through this (see Hartshorne’s recent book on Deformation Theory). Good thing we didn’t go through it, we just get it from knowing that it is a gerbe.
I’ve tried to search for this, but can’t find it anywhere. This is why this theory is so cool and widespread. Think about that measure theory example from two times ago. If we knew that stack was an -gerbe for some , then we could use cohomology to determine whether certain measure theoretic constructions existed. I don’t think anyone has ever done this before. Knowing something is a gerbe is very powerful since it converts existence questions to cohomology computations.
Let’s get right to it now. 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 , as was pointed out in the motivation above.
One can form the over (the stacky version of a classifying space), by taking . So above an open set we get the category of -torsors on . 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.