[论文解读] Crystal graphs of irreducible $U_v(\hat{sl}_e)$-modules of level two and Uglov bipartitions

Nicolas Jacon|ArXiv.org|Jul 11, 2006

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

一句话总结

本文通过建立 $Σ_v(\mathfrak{sl}_\infty)$-模的典范基理论，提供了对 Uglov 双分拆的非递归、组合性表征——即对二阶不可约 $\mathcal{U}_v(\widehat{\mathfrak{sl}}_e)$-模的晶体图进行标记——并在此基础上，实现了不同 Uglov 参数化之间的自然双射。关键结果表明，双射 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ 恰好对应于典范基展开中的最高次项，从而将表示论与晶体图组合学联系起来。

ABSTRACT

We give a simple description of the natural bijection between the set of FLOTW bipartitions and the set of Uglov bipartitions (which generalizes the set of Kleshchev bipartitions). These bipartitions, which label the crystal graphs of irreducible $\mathcal{U}\_v({\hat{\mathfrak{sl}}\_e})$-modules of level two, naturally appear in the context of the modular representation theory of Hecke algebras of type $B\_n$.

研究动机与目标

• 提供 Uglov 双分拆的非递归、显式表征，这些双分拆用于标记二阶 $\mathcal{U}_v(\widehat{\mathfrak{sl}}_e)$-模的晶体图。
• 通过利用参数化中的对称性，解决 Uglov 双分拆表征在渐近或 FLOTW 情况之外的开放问题。
• 建立双射 $\Psi_{(s_0,s_1)}^{(s_0',s_1')}$ 与 $\mathcal{U}_v(\mathfrak{sl}_\infty)$-模的典范基之间的明确联系。
• 通过展示其在 $\mathcal{U}_v(\mathfrak{sl}_\infty)$-典范基下的统一描述，推广已知的 Kleshchev 与 FLOTW 双分拆结果。

提出的方法

• 本文利用量子群的晶体图与典范基理论，特别是 $\mathcal{U}_v(\mathfrak{sl}_\infty)$ 的理论，分析二阶不可约模的结构。
• 通过量子群在 Fock 空间上的作用，建立了对应于参数平移的 Uglov 双分拆集之间的双射 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$。
• 该方法依赖于将 $\Phi_{\infty,n}^{\mathbf{s}}$ 表征为满足对所有 $i \geq 1$ 有 $\lambda_i^{(0)} \geq \lambda_{i+s_1-s_0}^{(1)}$ 的双分拆集合，这在 $\mathcal{U}_v(\mathfrak{sl}_\infty)$-模中定义了典范基。
• 应用 Leclerc 与 Miyachi 的定理：典范基元素 $b(\boldsymbol{\lambda})$ 由 $\sum_{{\boldsymbol{\mu}} \in C(\boldsymbol{\lambda})} v^{l(\boldsymbol{\mu})} \boldsymbol{\mu}$ 给出，其中 $l(\boldsymbol{\mu})$ 计数符号中被置换的对数。
• 关键技巧是将 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ 的像识别为在典范基展开中使 $c_{\boldsymbol{\lambda},\boldsymbol{\mu}}(v)$ 的次数最大的唯一 $\boldsymbol{\mu}$。
• 该构造使用双分拆的符号及其对的置换，来定义双射的组合结构。

实验结果

研究问题

• RQ1 如何在 FLOTW 与 Kleshchev 情况之外，以非递归方式表征 Uglov 双分拆？
• RQ2 不同 Uglov 参数化之间的双射 $\Psi_{(s_0,s_1)}^{(s_0',s_1')}$ 的精确组合性质是什么？
• RQ3 $\mathcal{U}_v(\mathfrak{sl}_\infty)$-模的典范基如何与二阶 $\mathcal{U}_v(\widehat{\mathfrak{sl}}_e)$-模的晶体图结构相关联？
• RQ4 双射 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ 是否能通过典范基中符号与对置换的组合学完全描述？
• RQ5 结构常数 $c_{\boldsymbol{\lambda},\boldsymbol{\mu}}(v)$ 的次数在确定双射像中的作用是什么？

主要发现

• 双射 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ 将 Uglov 双分拆 $\boldsymbol{\lambda}$ 映射到唯一的 $\boldsymbol{\mu}$，使得 $b(\boldsymbol{\lambda})$ 的典范基展开中系数 $c_{\boldsymbol{\lambda},\boldsymbol{\mu}}(v)$ 的次数最大。
• 该最大次数项恰好对应于参数平移 $s_1 \mapsto s_1 + e$ 的结果，从而对双射给出了完整的非递归描述。
• $\mathcal{U}_v(\mathfrak{sl}_\infty)$-模 $L_{\mathbf{s}}$（其最高权为 $\Lambda_{s_0} + \Lambda_{s_1}$）的典范基明确给出为 $\sum_{{\boldsymbol{\mu}} \in C(\boldsymbol{\lambda})} v^{l(\boldsymbol{\mu})} \boldsymbol{\mu}$，其中 $l(\boldsymbol{\mu})$ 计数符号中被置换的对数。
• 满足对所有 $i \geq 1$ 有 $\lambda_i^{(0)} \geq \lambda_{i+s_1-s_0}^{(1)}$ 的双分拆集合 $\Phi_{\infty,n}^{\mathbf{s}}$ 恰好是 $L_{\mathbf{s}}$ 的典范基的标记集，且该集合包含了所有二阶 $\mathcal{U}_v(\widehat{\mathfrak{sl}}_e)$-模的 Uglov 双分拆。
• 当 $0 \leq s_0 \leq s_1 < e$ 时，FLOTW 双分拆作为特例被恢复；当 $s_0 - s_1 > n - 1 - e$ 时，Kleshchev 双分拆也被获得，二者均嵌入于同一典范基框架之中。
• 本文确立了整个 Uglov 双分拆族由 $\mathcal{U}_v(\mathfrak{sl}_\infty)$ 的典范基所控制，从而在单一代数机制下统一了此前分离的表征方式。