Categorical action for finite classical groups and its applications: Characteristic 0

Abstract

In this paper, we construct a categorical double quantum Heisenberg action on the representation category of finite classical groups $O_{2n+1}\left(q\right)$, ${\mathrm{Sp}}_{2n}\left(q\right)$ and $O_{2n}^{\pm }\left(q\right)$ with q odd. Over a field of characteristic zero or characteristic ℓ with $\ell \nmid q(q-1)$, we deduce a categorical action of a Kac-Moody algebra $s{l}_{I_{+}}^{\prime }\oplus s{l}_{I_{-}}^{\prime }$ on the representation category of finite classical groups. We show that the colored weight functions $O^{+}\left(u\right)(-)$, $O^{-}\left(v\right)(-)$ and uniform projection can distinguish all irreducible characters of finite classical groups. In particular, the colored weight functions are complete invariants of quadratic unipotent characters. We also show that using the theta correspondence and extra symmetries of categorical double quantum Heisenberg action, the Kac-Moody action on the Grothendieck group of the whole category can be determined explicitly.