[论文解读] Harish-Chandra series in finite unitary groups and crystal graphs

Thomas Gerber, Gerhard Hiß+1 more|arXiv (Cornell University)|Aug 6, 2014

Algebraic structures and combinatorial models参考文献 21被引用 4

一句话总结

本文提出了有限酉群中无单模的哈里什-钱德拉系列与量子群的福克空间的晶体图结构之间的猜想性联系。通过将哈里什-钱德拉理论推广至包含纯勒维子群，并引入弱余单模，作者通过晶体同构将模表示理论与组合学联系起来，表明在猜想下，分拆中的不同 $\varepsilon$-核心对应于不同的 $\varepsilon$-块，其证据来自伊瓦霍里-赫克代数和 $\beta$-集的运算。

ABSTRACT

The distribution of the unipotent modules (in non-defining prime characteristic) of the finite unitary groups into Harish-Chandra series is investigated. We formulate a series of conjectures relating this distribution with the crystal graph of an integrable module for a certain quantum group. Evidence for our conjectures is presented, as well as proofs for some of their consequences for the crystal graphs involved. In the course of our work we also generalize Harish-Chandra theory for some of the finite classical groups, and we introduce their Harish-Chandra branching graphs.

研究动机与目标

• 将哈里什-钱德拉理论推广至有限酉群、辛群及奇数维正交群，通过限制到纯勒维子群。
• 定义弱余单模，并在非定义特征下建立无单模的精细哈里什-钱德拉系列分解。
• 提出 $\ell$-模哈里什-钱德拉系列与量子群可积模的晶体图之间的猜想性对应关系。
• 利用诱导模的自同态环和组合工具如 $\beta$-集与 $e$-核心，为该猜想提供证据。
• 在猜想下，建立分拆中不同 $e$-核心意味着分支规则中简单子模的不同 $\ell$-块。

提出的方法

• 通过限制诱导至纯勒维子群（由包含与双线相连节点相邻的第一个节点的Dynkin图连通子集定义）来推广哈里什-钱德拉理论。
• 将弱余单模定义为这些纯勒维子群上的余单模，并证明通常的哈里什-钱德拉系列是弱哈里什-钱德拉系列的并集。
• 证明哈里什-钱德拉诱导的弱余单模的自同态环同构于类型 $B$ 的伊瓦霍里-赫克代数，其参数在特定条件下模 $\ell$ 约化相关。
• 构建无单模的哈里什-钱德拉分支图，记录诱导模的 socle 组合因子，类似于克列什切夫对对称群的分支规则。
• 利用 $\beta$-集及其在 Kashiwara 算子作用下的变换来建模晶体同构，并将晶体图的结构与分拆的 $e$-核心联系起来。
• 应用规范晶体同构与电荷移动，关联同一晶体图的不同实现形式，特别在 $\mathfrak{B}((-,-),\mathbf{d})$ 的背景下。

实验结果

研究问题

• RQ1 如何通过纯勒维子群将哈里什-钱德拉理论推广至有限经典群（如酉群、辛群及奇数维正交群）？
• RQ2 $\ell$-模哈里什-钱德拉系列与量子群福克空间的晶体图之间存在何种精确关系？
• RQ3 在什么条件下，同一 $\ell$-模弱哈里什-钱德拉系列中的两个无单模具有相同的 $2$-核心？
• RQ4 标记无单模的分拆的 $e$-核心如何与诱导模分支中其 $\ell$-块归属相关联？
• RQ5 $\beta$-集与 Kashiwara 算子的组合学是否可用于证明：不同 $e$-核心意味着分支规则中简单子模的不同 $\ell$-块？

主要发现

• 哈里什-钱德拉诱导的弱余单模的自同态环同构于类型 $B$ 的伊瓦霍里-赫克代数，当块中包含普通余单模时，其参数模 $\ell$ 约化相关。
• 猜想 5.4 预测：若在特征 $\ell$ 下两个无单模位于同一弱哈里什-钱德拉系列中，则其对应分拆具有相同的 $2$-核心，从而细化了普通哈里什-钱德拉系列。
• 无单模的哈里什-钱德拉分支图记录了诱导模的 socle 组合因子，推广了克列什切夫对对称群的分支规则。
• 当 $\ell$ 足够大且在猜想 5.7 下，$R_{\mathrm{GU}_n(q)}^{\mathrm{GU}_{n+2}(q)}(X)$ 的任意两个非同构简单子模位于不同的 $\ell$-块中，因为其对应分拆具有不同的 $e$-核心。
• 通过电荷移动与 $\beta$-集变换，建立了 $B(\mu,\mathbf{c})$ 与 $B((-,-),\mathbf{d})$ 之间的晶体同构，电荷分量的差异匹配 $s + (1-e)/2$ 或 $s + (1+e)/2$。
• 关于不同 $e$-核心的命题证明依赖于以下事实：对同一模应用不同的 Kashiwara 算子 $\widetilde{f}_{j_1}$ 与 $\widetilde{f}_{j_2}$ 时，若 $j_1 \not\equiv j_2 \pmod{e}$，则其 $\beta$-集在 $e$-核心约化后无法产生相同的符号。