Loop group actions on categories and Whittaker invariants

Abstract: We develop some aspects of the theory of

D

-modules on ind-schemes of pro-finite type. These notions are used to define

D

-modules on (algebraic) loop groups and, consequently, actions of loop groups on DG categories. Let

N

be the maximal unipotent subgroup of a reductive group

G

. For a non-degenerate character

c h i : N (! (t)!) o m a t h b b G_{a}

and a category

m a t h c a l C

acted upon by

N (! (t)!)

, we define the category

m a t h c a l C^{N (! (t)!), c h i}

of

(N (! (t)!), c h i)

-invariant objects, along with the coinvariant category

m a t h c a l C_{N (! (t)!), c h i}

. These are the Whittaker categories of

m a t h c a l C

, which are in general not equivalent. However, there is always a family of functors

T h e t a_{k} : m a t h c a l C_{N (! (t)!), c h i} o m a t h c a l C^{N (! (t)!), c h i}

, parametrized by

k i n m a t h b b Z

. We conjecture that each

T h e t a_{k}

is an equivalence, provided that the

N (! (t)!)

-action on

m a t h c a l C

extends to a

G (! (t)!)

-action. Using the Fourier-Deligne transform (adapted to Tate vector spaces), we prove this conjecture for

G = G L_{n}

and show that the Whittaker categories can be obtained by taking invariants of

m a t h c a l C

with respect to a very explicit pro-unipotent group subscheme (not ind-scheme) of

G (! (t)!)

.

Recommendations

Cites Work

Cited In (21)

This page was built for publication: Loop group actions on categories and Whittaker invariants