The geometric Langlands program
On this page, we explain a connection between decategorification and degroupoidification?, which appears when one considers groupoids internal to schemes. One can construct a category of sheaves attached to such a groupoid, and a sequence of finite groups, given by points over a finite field. This connection has been exploited quite widely within arithmetic geometry, but has not really been stated in the context of categorification.
Then we can make two constructions from this scheme:
The -points form a finite groupoid (with no additional structure).
One special case is when this is an action groupoid, for an algebraic group (say) acting on . The resulting simplicial scheme should be thought of as the Borel space for the action on . The notation (more properly , but this doesn't seem to render for everybody) for this ‘homotopy’ or weak quotient is used in other fields, but this conflicts here with GIT quotients?.
More generally, but for this notational clash, could denote the nerve. Another option is , where denotes the whole groupoid, rather than just the scheme of arrows.
The latter construction can be “linearized” in an analogous way to geometric function theory, except using the derived category of sheaves with finite rank constructible cohomology? with coefficients in the -adics for some prime of . Let denote this category. In fact, we will require the graded version of this category, provided by mixed sheaves?. We denote this graded category
There is a map from to the set of -valued functions on any point of where and where is a prime and , given by the supertrace of automorphism of the stalk of the sheaf at that point induced by the action of the Frobenius on .
This map has the property that multiplying by the motivic integral? of (i.e., for the map ) multiplies the corresponding function by .
Furthermore, no non-zero element of is killed by this map for all .
If is a span of groupoids of schemes, then we have a functor , given by pull-back followed by compactly supported pushforward.
Furthermore, there is an induced span of groupoids on this set of -points, which in turn induces a map from .
The content of the Grothendieck trace formula connects these two constructions.
The functor induces a map such that the diagram
That is, modulo a few details:
We note that in many examples of geometric categorification, the fact that the decategorification is correct is checked by understanding the degroupoidification and using this theorem, though it is typically not stated this explicitly.
Since all groupoids appearing below are action groupoids, I’ll denote them in place of .
If one takes the span of groupoids
over the action groupoid for acting on the left and right on for a simple algebraic group, then the resulting monoidal category is the Hecke category of G. Its decategorification is the Hecke algebra of G, which is checked by showing the Hecke algebra is groupoidified by the F_q points of this, a result which was proved Iwahori in 1964.
Consider the groupoid given by the action of (for the polynomial ring) on the left and right on considered as as pro-ind-schemes over . The derived category of this groupoid scheme is monoidal by the analogous diagram to that above.
The groupoidification of the points was shown by Satake (see at Satake equivalence) to be the representation ring of , the Langlands dual group. Thus, also contains a categorification of the representation ring of .
In fact, Mirković and Vilonen showed that the subcategory of consisting of perverse sheaves is equivalent to the category of representations of as an algebraic group. Moreover, if one replaces by any other ring both in the coefficient of the sheaves, and the base of the algebraic group, the result still holds.
If one takes the groupoid of representations of a Dynkin quiver with fixed dimension vector and basis (with each vector only having components over one dot), with the morphisms given by isomorphisms of representations (note, this is the action groupoid for a product of general linear groups acting on a finite dimensional vector space), the resulting simplicial scheme is the fine moduli space of representations of that quiver.
There is a span of groupoids
where the span in the middle is the set of short exact sequences of representations with basis of dimension vector mapping into and out of one of dimension vector , preserving all bases, and the morphism are the obvious possible basis changes in this situation (this the action of groupoid for the parabolic in preserving this filtration).
It was proved by Ringel that the points of this variety groupoidify the upper half of the quantum group (of course, not in that language). The natural resulting categorification was described by Lusztig and used to construct the canonical basis of where is the simple Lie algebra associated to this quiver.
This categorification was described independently by Rouquier and Khovanov–Lauda combinatorially.