On the Casselman-Jacquet functor

TL;DR

This paper provides a functorial and compositional analysis of the Casselman-Jacquet functor within derived categories of $(rak{g},K)$-modules, using averaging functors and the pseudo-identity functor on $D$-modules.

Contribution

It offers a new functorial definition of the Casselman-Jacquet functor and identifies it as a composition of averaging functors, linking it to the pseudo-identity functor on $D$-modules.

Findings

Defined $J$ as a right adjoint functor.

Expressed $J$ as a composition of averaging functors.

Connected $J$ to the pseudo-identity functor on $D$-modules.

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.