On the Casselman-Jacquet functor
Abstract
We study the Casselman-Jacquet functor $J$, viewed as a functor from the (derived) category of $(\mathfrak{g},K)$-modules to the (derived) category of $(\mathfrak{g},N^-)$-modules, $N^-$ is the negative maximal unipotent. We give a functorial definition of $J$ as a certain right adjoint functor, and identify it as a composition of two averaging functors $\text{Av}^{N^-}_!\circ \text{Av}^N_*$. We show that it is also isomorphic to the composition $\text{Av}^{N^-}_*\circ \text{Av}^N_!$. Our key tool is the pseudo-identity functor that acts on the (derived) category of (twisted) $D$-modules on an algebraic stack.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2017
- DOI:
- 10.48550/arXiv.1708.04046
- arXiv:
- arXiv:1708.04046
- Bibcode:
- 2017arXiv170804046C
- Keywords:
-
- Mathematics - Representation Theory
- E-Print:
- Very minor modifications, compared to previous version (to appear in Proceedings of Symposia in Pure Mathematics volume, titled "Representations of Reductive Groups")