有限经典群的范畴化作用及其应用:特征0

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

摘要 Abstract

本文构建了有限经典群$\mathrm{O}_{2n+1}(q)$、$\mathrm{Sp}_{2n}(q)$和$\mathrm{O}^{\pm}_{2n}(q)$(其中$q$为奇数)表示范畴上的范畴双量子Heisenberg作用。在特征零或特征$\ell$且$\ell\nmid q(q-1)$的域上,我们推导出Kac-Moody代数$\mathfrak{s}\mathfrak{l}'_{I_+}\oplus\mathfrak{s}\mathfrak{l}'_{I_-}$在有限经典群表示范畴上的范畴化作用。我们证明了彩色权函数$\mathbb{O}^+(u)(\bullet)$、$\mathbb{O}^-(v)(\bullet)$以及均匀投影可以区分有限经典群的所有不可约特征标。特别地,彩色权函数是二次幂零特征标的完全不变量。此外,我们还表明利用theta对应关系和双量子Heisenberg作用的额外对称性,可以显式确定整个范畴Grothendieck群上的Kac-Moody作用。

In this paper, we construct a categorical double quantum Heisenberg action on the representation category of finite classical groups $\mathrm{O}_{2n+1}(q)$, $\mathrm{Sp}_{2n}(q)$ and $\mathrm{O}^{\pm}_{2n}(q)$ with $q$ odd. Over a field of characteristic zero or characteristic $\ell$ with $\ell\nmid q(q-1)$, we deduce a categorical action of a Kac-Moody algebra $\mathfrak{s}\mathfrak{l}'_{I_+}\oplus\mathfrak{s}\mathfrak{l}'_{I_-}$ on the representation category of finite classical groups. We show that the colored weight functions $\mathbb{O}^+(u)(\bullet)$, $\mathbb{O}^-(v)(\bullet)$ 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.

有限经典群的范畴化作用及其应用:特征0 - arXiv