[论文解读] Crystal structures arising from representations of $GL(m|n)$

Jonathan R. Kujawa|ArXiv.org|Nov 14, 2003

Algebraic structures and combinatorial models参考文献 15被引用 23

一句话总结

本文为特征任意的域上的超群 $GL(m|n)$ 的模表示理论建立了晶体理论框架，表明在不可约超模上，翻译函子诱导的权上的算子与Kashiwara的晶体算子一致。本文证明了关联性原理，通过晶体同构描述了分支规则，并表明Serganova的奇反射对应于不同Borel子代数选择下的典范晶体同构。

ABSTRACT

This paper provides results on the modular representation theory of the supergroup $GL(m|n).$ Working over a field of arbitrary characteristic, we prove that the explicit combinatorics of certain crystal graphs describe the representation theory of a modular analogue of the Bernstein-Gelfand-Gelfand category $\mathcal{O}$. In particular, we obtain a linkage principle and describe the effect of certain translation functors on irreducible supermodules. Furthermore, our approach accounts for the fact that $GL(m|n)$ has non-conjugate Borel subgroups and we show how Serganova's odd reflections give rise to canonical crystal isomorphisms.

研究动机与目标

• 将Brundan关于 $\mathfrak{gl}(m|n,\mathbb{C})$ 的 $\mathcal{O}$-范畴的K理论群的猜想推广到正特征情形。
• 在不可约超模的最高权上，实现Kashiwara的晶体算子 $\tilde{e}_r^*, \tilde{f}_r^*$ 的表示论实现场景。
• 解释 $GL(m|n)$ 中非共轭Borel子代数的存在性及其对最高权参数化的影响。
• 表明Serganova的奇反射在不同Borel子代数所诱导的晶体结构之间诱导出典范的晶体同构。
• 通过晶体组合学，将Kleshchev对 $GL(n)$ 的模分支规则推广至超群 $GL(m|n)$。

提出的方法

• 在特征 $p$ 的域上，为 $GL(m|n)$ 定义了 Bernstein-Gelfand-Gelfand 范畴 $\mathcal{O}$ 的模类比 $\mathcal{O}_p$。
• 构造作用在不可约超模上的翻译函子 $E_r, F_r$（$r \in \mathbb{Z}/p\mathbb{Z}$），证明其诱导出具有不可约底层与余底层的自对偶不可约分解模。
• 证明在最高权上诱导的算子 $\tilde{e}_r^*, \tilde{f}_r^*$ 与模 $\mathcal{V}^{\overline{v}_1} \otimes \cdots \otimes \mathcal{V}^{\overline{v}_{m+n}}$ 上Kashiwara晶体算子的对偶一致。
• 利用正特征下 $\widehat{\mathfrak{sl}}(p,\mathbb{C})$ 的作用，将晶体结构从模 $\mathcal{V}^{\overline{v}_1} \otimes \cdots \otimes \mathcal{V}^{\overline{v}_{m+n}}$ 提升至最高权集 $X(T)$。
• 通过权上的简单反射 $s_i$ 作用，定义不同Borel子代数参数化之间的晶体同构。
• 建立Serganova理论中的奇反射与这些晶体同构之间的精确对应关系，即通过 $s_i$ 对权的作用实现。

实验结果

研究问题

• RQ1 在 $GL(m|n)$ 的模 $\mathcal{O}_p$-范畴中，不可约超模上的翻译函子如何作用于最高权？
• RQ2 由这些函子诱导的晶体算子 $\tilde{e}_r^*, \tilde{f}_r^*$ 的精确组合结构是什么？
• RQ3 在 $GL(m|n)$ 中，非共轭Borel子代数如何影响不可约超模的参数化？它们之间如何关联？
• RQ4 奇反射在连接由不同Borel子代数产生的不同晶体结构中起什么作用？
• RQ5 是否能通过晶体组合学统一描述 $GL(m|n)$ 的模分支规则？

主要发现

• 在 $\mathcal{O}_p$ 中，不可约超模上的翻译函子 $E_r, F_r$ 诱导出自对偶不可约分解模，其底层与余底层分别同构于 $L(\tilde{e}_r^*(\lambda))$ 与 $L(\tilde{f}_r^*(\lambda))$。
• 在最高权上，算子 $\tilde{e}_r^*, \tilde{f}_r^*$ 被显式描述，并证明其为模 $\mathcal{V}^{\overline{v}_1} \otimes \cdots \otimes \mathcal{V}^{\overline{v}_{m+n}}$ 上Kashiwara晶体算子的对偶。
• 简单反射 $s_i$ 在最高权集上的作用，诱导出相邻奇偶序列 $\overline{v}_i, \overline{v}_{i+1}$ 所关联的晶体结构之间的晶体同构。
• Serganova理论中的奇反射被实现为不同Borel子代数所诱导的晶体结构之间的典范晶体同构。
• 结果将Kleshchev对 $GL(n)$ 的模分支规则推广至 $GL(m|n)$，分支规则由晶体算子 $\tilde{e}_r^*, \tilde{f}_r^*$ 编码。
• 在正特征下，当用仿射Kac-Moody代数 $\widehat{\mathfrak{sl}}(p,\mathbb{C})$ 替代 $\mathfrak{gl}(\infty,\mathbb{C})$ 时，晶体结构仍保持良好定义。