I recently went to California to visit Derek Wise at UC Davis – we were talking about expanding the talk he gave at Perimeter Institute into a more developed paper about ETQFT from Lie groups. Between that, the end of the Winter semester, and the beginning of the “Summer” session (in which I’m teaching linear algebra), it’s taken me a while to write up Emre Coskun’s two-part talk in our Stacks And Groupoids seminar.
Emre was explaining the theory of gerbes in terms of stacks. One way that I have often heard gerbes explained is in terms of a categorification of vector bundles – thus, the theory of “bundle gerbes”, as described by Murray in this paper here. The essential point of that point of view is that bundles can be put together by taking trivial bundles on little neighbourhoods of a space, and “gluing” them together on two-fold overlaps of those neighbourhoods – the gluing functions then have to satisfy a cocycle condition so that they agree on triple overlaps. A gerbe, on the other hand, defines line bundles (not functions) on double overlaps, and the gluing functions now live on triple overlaps. The idea is that this begins a heirarchy of concepts, each of which categorifes the previous (after “gerbe”, one just starts using terms like “2-gerbe”, “3-gerbe”, and so on). The levels of this hierarchy are supposed to be related to the various (nonabelian) cohomology groups of a space . I’ve mostly seen this point of view related to work by Jean-Luc Brylinski. It is a very differential-geometric sort of construction.
Emre, on the other hand, was describing another side to the theory of gerbes, which comes out of algebraic geometry, and is closely related to stacks. There’s a nice survey by Moerdijk which gives an account of gerbes from a similar point of view, though for later material, Emre said he drew on this book by Laumon and Moret-Bailly (which I can only find in the original French). As one might expect, a stack-theoretic view of gerbes thinks of them as generalizations of sheaves, rather than bundles. (The fact that there is a sheaf of sections of a bundle also generalizes to gerbes, so bundle-gerbes are a special case of this point of view).
So the setup is that we have some space – Emre was talking about the context of algebraic geometry, so the relevant idea of space here is scheme (which, if you’re interested, is assumed to have the etale topology – i.e. the one where covers use etale maps, the analog of local isomorphisms). In the second talk, he generalized this to -spaces: for some chosen scheme . That is, the category of “spaces” is based on the slice category of schemes equipped with maps into , with the obvious morphisms. This is a site, since there’s a notion of a cover over and so forth; an -space is a sheaf (of sets) on this site. So in particular, a scheme over determines an -space, where by . (That is, the usual way a space determines a representable sheaf). There are also differential-geometric versions of gerbes.
So, whatever the right notion of space, a stack over a space (in the sense of a sheaf of groupoids over , which we’re assuming has the etale topology) is a gerbe if a couple of nice conditions apply:
- There’s a cover , such that none of the is empty.
- Over any open , all the objects are isomorphic (i.e. is connected as a category)
Notice that there doesn’t have to be a global object – that is, needn’t be empty – only some cover such that local objects exist – but where they do, they’re all “the same”. These conditions can also be summarized in terms of the fibred category . There are two maps from – the projection and the diagonal. The conditions respectively say these two maps are, locally, epi (i.e. surjective).
Emre’s first talk began by giving some examples of gerbes to motivate the rest. The first one is the “gerbe of splittings” of an Azumaya algebra. “An” Azumaya algebra is actually a sheaf of algebras over some scheme . The defining property is that locally it looks like the algebra of endomorphisms of a vector bundle. That is, on any neighborhood , we have:
for some (algebraic) vector bundle . A special case is when is just a point, in which case an Azumaya algebra is the same thing as a matrix algebra . So Azumaya algebras are not too complicated to describe.
The gerbe of splittings, for an Azumaya algebra is also not too complicated: a splitting is a way to represent an algebra as endomorphisms of a vector bundle – which in this case may only be possible locally. Over an given , its objects are pairs , where is a vector bundle over , and is an isomorphism. The morphisms are bundle isomorphisms that commute with the . So, roughly: if is locally isomorphic to endomorphisms of vector bundles, the gerbe of splittings is the stack of all the vector bundles and isomorphisms which make this work. It’s easy to see this is a gerbe, since by definition, such bundles must exist locally, and necessarily they’re all isomorphic.
(This example – a gerbe consisting, locally, of a category of all vector bundles of a certain form – starts to suggest why one might want to think of gerbes as categorifying bundles.)
Another easily constructed gerbe in a similar spirit is found from a complex line bundle over (and ). Then is a gerbe over , where the groupoid over a neighborhood has, as objects, pairs where is an isomorphism of line bundles. That is, the objects locally look like roots of . The gerbe is trivial (has a global object) if has a root.
One says that a gerbe is banded by a sheaf of groups on (or is the band of the gerbe, or is a -gerbe), if there are isomorphisms between the group and the automorphism group for each object over (the property of a gerbe means these are all isomorphic). (These isomorphisms should also commute with the group homomorphisms induced by maps of open sets.) So the band is, so to speak, the “local symmetry group over ” of the gerbe in a natural way.
In the case of the gerbe of splittings of above, the band is , where over any given neighborhood, , where is the group of units in the base field: that is, the group consists of all the invertible sections in the structure sheaf of . These get turned into bundle-automorphisms by taking a function to the automorphism that acts through multiplication by . The gerbe associated to a line bundle is banded by the group of -roots of unity in sections in the structure sheaf.
From here, we can see how gerbes relate to cohomology. In particular, a -gerbe , we can associate a cohomology class . This class can be thought of as “the obstruction to the existence of a global object”. So, in the case of an Azumaya algebra, it’s the obstruction to being split (i.e. globally).
The way this works is, given a covering with an object in , we take pull back this object along the morphisms corresponding to inclusions of sub-neighbourhoods, down to a triple-overlap . Then there are isomorphisms comparing the different pullbacks: , and so on. (The lowered indices denote which of the we’re pulling back from).
Then we get a 2-cocycle in (an isomorphism corresponding to what, for sheaves of sets, would be an identity). This is . The existence of this cocycle means that we’re getting an element in , which we denote . If a global object exists, then all our local objects are restrictions of a global one, the cocycle will always turn out to be the identity, so this class is trivial. A non-trivial class implies an obstruction to gluing the local objects into global ones.
In the second talk, Emre gave some more examples of gerbes which it makes sense to think of as moduli spaces, including one which any gerbe resembles locally.
The first is the moduli space of all vector bundles over some (smooth, projective) curve . (Actually, one looks at those of some particular degree and rank , and requires a condition called stability).
Actually, as discussed earlier in the seminar back in Aji’s talk, the right way to see this is that there is a “fine” moduli space – really a stack and not necessarily a space (in whichever context) – called , and also a “coarse” moduli space called . Roughly, the actual space has points which are the isomorphism classes of vector bundles, while the stack remembers the whole groupoid of bundles and bundle-isomorphisms. So there’s a map, which squashes a bundle to its isomorphism class: making the fine moduli space into a category fibred in groupoids – more than that, it’s a stack – and more than that, it’s a gerbe. That is, there’s always a cover of such that there are some bundles locally, and (stable) bundles of a given rank and degree are always isomorphic. In fact, this is a -gerbe, as above.
The next example is the gerbe of -torsors, for a group (that is, -sets which are isomorphic as -sets to – the intuition is that they’re just like the group, but without a specified identity). The category consists of -torsors and their isomorphisms. This is a gerbe over the point . More interesting, when we’re in the context of -spaces (and has a trivial action of on it), it becomes a -gerbe over . Part of the point here is that any trivial gerbe (i.e. one with a section) is just such a classifying space for some group. In particular, for the group of isomorphisms from a particular object to itself, crossed with .
Since any gerbe has sections locally (that is, objects in for some ), every gerbe locally looks like one of these classifying-space gerbes. This is the analog to the fact that any bundle locally looks like a product.