nLab categorification via groupoid schemes

Contents

Contents

General case

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.

Basic data

Let XYX\rightrightarrows Y be a groupoid internal to the category of schemes (YY is the scheme of objects and XX the scheme of morphisms) where both schemes are of finite type.

Then we can make two constructions from this scheme:

  • The 𝔽 p\mathbb{F}_p-points X(𝔽 p)Y(𝔽 p)X(\mathbb{F}_p) \rightrightarrows Y(\mathbb{F}_p) form a finite groupoid (with no additional structure).

  • There is a simplicial scheme N(XY)N(X\rightrightarrows Y) given by the nerve of XYX\rightrightarrows Y (this sends Δ n\Delta^n to X× YX× Y× YXX\times_Y X\times_Y\cdots \times_Y X, with the obvious face and degeneracy maps).

    • One special case is when this is an action groupoid, for an algebraic group GG (say) acting on YY. The resulting simplicial scheme should be thought of as the Borel space for the action on YY. The notation Y//GY//G (more properly YGY \sslash G, 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, Y//XY//X could denote the nerve. Another option is 𝒩Y\mathcal{N}Y, where YY denotes the whole groupoid, rather than just the scheme of arrows.

Linearization, and the function sheaf correspondence

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 \ell-adics \mathbb{Q}_\ell for some prime \ell of N(XY)N(X\rightrightarrows Y). Let D(N(XY))D(N(X\rightrightarrows Y)) denote this category. In fact, we will require the graded version of this category, provided by mixed sheaves?. We denote this graded category D mix(N(XY))D_{mix}(N(X\rightrightarrows Y))

There is a map α q,\alpha_{q,\ell} from K 0(D mix(N(XY))K^0(D_{mix}(N(X\rightrightarrows Y)) to the set [N(XY)(𝔽 q)]\mathbb{Q}_\ell[N(X \rightrightarrows Y)(\mathbb{F}_q)] of \mathbb{Q}_\ell-valued functions on any 𝔽 q\mathbb{F}_q point of N(XY)N(X\rightrightarrows Y) where \ell and qq where \ell is a prime and q\ell\nmid q, given by the supertrace of automorphism of the stalk of the sheaf at that point induced by the action of the Frobenius q nq^n on X× SpecSpec𝔽 q¯X\times_{\mathrm{Spec}\mathbb{Z}} \mathrm{Spec}\overline{\mathbb{F}_q}.

This map has the property that multiplying by the motivic integral? of 𝔸 1\mathbb{A}^1 (i.e., m !m *m_!m^* for the map m:X×𝔸 1Xm:X\times \mathbb{A}^1\to X) multiplies the corresponding function by qq.

Furthermore, no non-zero element of K 0(D mix(N(XY))K^0(D_{mix}(N(X\rightrightarrows Y)) is killed by this map for all qq.

If N(X 1Y 1)fN(ZW)gN(X 2Y 2)N(X_1\rightrightarrows Y_1)\overset{f}\leftarrow N(Z\rightrightarrows W) \overset{g}\rightarrow N(X_2 \rightrightarrows Y_2) is a span of groupoids of schemes, then we have a functor g !f *:D mix(N(X 1Y 1))D mix(N(X 2Y 2))g_!f^*:D_{mix}(N(X_1\rightrightarrows Y_1))\to D_{mix}(N(X_2 \rightrightarrows Y_2)), given by pull-back followed by compactly supported pushforward.

Furthermore, there is an induced span of groupoids on this set of 𝔽 q\mathbb{F}_q-points, which in turn induces a map (gf) (gf)^\dagger from [N(X 1Y 1)(𝔽 q)] [N(X 2Y 2)(𝔽 q)]\mathbb{Q}_\ell[N(X_1\rightrightarrows Y_1)(\mathbb{F}_q)]\to \mathbb{Q}_\ell[N(X_2 \rightrightarrows Y_2)(\mathbb{F}_q)].

The content of the Grothendieck trace formula connects these two constructions.

Theorem

The functor g !f *:D mix(N(X 1Y 1))D mix(N(X 1Y 1))g_!f^*:D_{mix}(N(X_1\rightrightarrows Y_1))\to D_{mix}(N(X_1\rightrightarrows Y_1)) induces a map (gf) :K 0(D mix(N(X 1Y 1)))K 0(D mix(N(X 2Y 2)))(gf)_\dagger:K^0(D_{mix}(N(X_1\rightrightarrows Y_1)))\to K^0(D_{mix}(N(X_2 \rightrightarrows Y_2))) such that the diagram

K 0(D mix(N(X 1Y 1)) (gf) K 0(D mix(N(X 2Y 2))) α q, α q, [(N(X 1Y 1)𝔽 q)] (gf) [N(X 2Y 2)(𝔽 q)] \array{ K^0(D_{mix}(N(X_1\rightrightarrows Y_1))&\overset{(gf)_\dagger}\to& K^0(D_{mix}(N(X_2 \rightrightarrows Y_2))) \\ \downarrow^{\alpha_{q,\ell}} && \downarrow^{\alpha_{q,\ell}} \\ \mathbb{Q}_\ell[(N(X_1\rightrightarrows Y_1)\mathbb{F}_q)] &\overset{(gf)^\dagger}\to& \mathbb{Q}_\ell[N(X_2 \rightrightarrows Y_2)(\mathbb{F}_q)] }

That is, modulo a few details:

The decategorification of the mixed derived category and degroupoidification? of the 𝔽 q\mathbb{F}_q points coincide.

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.

Examples

Since all groupoids appearing below are action groupoids, I’ll denote them X/GX/G in place of G×XXG\times X\rightrightarrows X.

The Hecke algebra

If one takes the span of groupoids

B\G/B B\G× BG/B B\G/B B\G/B \array{B\backslash G/B &&&&\\ &\nwarrow&&&\\ && B\backslash G\times_B G/B &\to &B\backslash G/B\\ &\swarrow&&&\\ B\backslash G/B &&&&\\}

over the action groupoid for B×BB\times B acting on the left and right on GG 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.

Geometric Satake

Consider the groupoid given by the action of G([t])×G([t])G(\mathbb{Z}[t])\times G(\mathbb{Z}[t]) (for [t]\mathbb{Z}[t] the polynomial ring) on the left and right on G((t))G(\mathbb{Z}(t)) considered as as pro-ind-schemes over \mathbb{Z}. The derived category of this groupoid scheme is monoidal by the analogous diagram to that above.

The groupoidification of the 𝔽 q\mathbb{F}_q points was shown by Satake (see at Satake equivalence) to be the representation ring of LG{^L G}, the Langlands dual group. Thus, D mix(G([t])\G((t)/G([t])D_{mix}(G(\mathbb{Z}[t])\backslash G(\mathbb{Z}(t)/ G(\mathbb{Z}[t]) also contains a categorification of the representation ring of LG{^L G}.

In fact, Mirković and Vilonen showed that the subcategory of D mix(G([t])\G((t))/G([t])D_{mix}(G(\mathbb{Z}[t])\backslash G(\mathbb{Z}(t))/ G(\mathbb{Z}[t]) consisting of perverse sheaves is equivalent to the category of representations of LG× SpecSpec ¯{^L G}\times_{\mathrm{Spec}\mathbb{Z}} \mathrm{Spec}\overline{\mathbb{Q}_\ell} as an algebraic group. Moreover, if one replaces \mathbb{Q}_\ell by any other ring both in the coefficient of the sheaves, and the base of the algebraic group, the result still holds.

The Hall algebra and Lusztig’s categorification

If one takes the groupoid of representations of a Dynkin quiver with fixed dimension vector and basis E dE_d (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 GL dGL_d 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

E d/GL d SES(d,d,d) E d/GL d E d/GL d \array{E_{d''}/GL_{d''} &&&&\\ &\nwarrow&&&\\ && \mathrm{SES}(d,d',d'')&\to &E_d/GL_d\\ &\swarrow&&&\\ E_{d'}/GL_{d'} &&&&\\}

where the span in the middle is the set of short exact sequences of representations with basis of dimension vector d,dd',d'' mapping into and out of one of dimension vector dd, preserving all bases, and the morphism are the obvious possible basis changes in this situation (this the action of groupoid for the parabolic in GL dGL_d preserving this filtration).

It was proved by Ringel that the 𝔽 q\mathbb{F}_q 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 U q(𝔤)U_q(\mathfrak{g}) where 𝔤 \mathfrak{g} is the simple Lie algebra associated to this quiver.

This categorification was described independently by Rouquier and Khovanov–Lauda combinatorially.

References

Last revised on August 19, 2014 at 00:31:30. See the history of this page for a list of all contributions to it.