A Construction of the Symmetric Monoidal Structure of the Geometric Whittaker Model

Ashutosh Roy Choudhury,Tanmay Deshpande
2024-12-06
Abstract:Let $G$ be a connected reductive algebraic group over an algebraically closed field $k$ of characteristic $p > 0$ and let $\ell$ be a prime number different from $p$. Let $U \subseteq G$ be a maximal unipotent subgroup, $T$ a maximal torus normalizing $U$ and $W$ the Weyl group of $G$. Let $\mathcal{L}$ be a non-degenerate multiplicative $\overline{\mathbb{Q}}_{\ell} $-local system on $U$. In \cite{bd}, the authors show that the bi-Whittaker category, namely the triangulated monoidal category of $(U, \mathcal{L})$-biequivariant $\overline{\mathbb{Q}}_{\ell}$-complexes on $G$ is monoidally equivalent to an explicit thick triangulated monoidal subcategory $\mathscrsfs{D}_{W}^{\circ}(T) \subseteq \mathscrsfs{D}_{W}(T)$ of "central sheaves" on the torus. In particular it has the structure of a symmetric monoidal category coming from the symmetric monoidal structure on $\mathscrsfs{D}_W(T)$. In this paper, we give another construction of a symmetric monoidal structure on the above category and prove that it agrees with the one coming from the above construction. For this, among other things, we generalize a proof by Gelfand (ref. \cite{car}) for finite groups to the geometric setup.
Representation Theory
What problem does this paper attempt to address?