This will hopefully be a short, yet enlightening post in which the concept of a stack starts to make more sense than the abstract nonsense of the last few posts. Recall that we formed a category of line bundles on a manifold and had a natural forgetful functor: .
If one is not writing a blog and wants to be much more careful, one should probably check that is indeed a category and the given functor is actually a functor. Most readers that have made it this far probably aren’t concerned with this part, though.
Is this fibered in groupoids? Well for checking what sorts of things lie over certain objects , the situation has been rigged so that the objects over are precisely the line bundles on as a manifold. The first type of “square” we have to be able to complete is as follows . Well, all we need to be able to do is find some . But by definition of our category this would consist of an iso . These are line bundles, so we can always restrict to get another one, so just take lying over to complete it.
What about the second diagram of being fibered in groupoids? The base is just . Now suppose we have line bundles over these and and isomorphisms and . This certainly tells us that there is an iso , and uniqueness is just from the fact that it has to be the one that makes the composition what we said it had to be. You could think of this coming from the fact that is unique up to automorphism of , and we know which automorphism it from the other condition.
Now we check that Isom forms a sheaf. Let be some open set. Let and be two line bundles over (in this case, this literally just means line bundles on as a topological space). Now we want to check that the presheaf (of sets) is actually a sheaf. This is a presheaf just because isomorphisms restrict. It is a sheaf because all the information is local. If you have isomorphisms defined on open subsets that agree on overlaps, then you can glue them to make an isomorphism on the union. These are just two basic properties of line bundles that most people have already seen. So Isom is a sheaf.
Lastly we need to check the stack condition. Maybe I should remark on the terminology here. A collection of objects and isos over a covering of an open set that satisfies the cocycle condition is called a descent datum. If the objects glue in the way of the stack condition, then that descent datum is said to be effective, so the stack condition is sometimes stated that every descent datum is effective.
Given a descent datum, the fact that you can glue to get an object over the whole open set is just a standard exercise or proven proposition in basically any text on manifolds. In fact all of the above things are true for any rank vector bundle. So we actually get the stack of rank vector bundles on for any . Since I’m not sure we’ll return to this example, we’ll just temporarily notate it , and hence .
If you’ve been following along, it should be pretty clear how to translate all of this over to a stack on the Zariski site rather than on , but we’ll make that more explicit next time and get some more examples.