[论文解读] Dual graded graphs for Kac-Moody algebras

Thomas Lam, Mark Shimozono|ArXiv.org|Feb 5, 2007

Advanced Combinatorial Mathematics参考文献 13被引用 6

一句话总结

本文通过将 Weyl 群作为顶点集，为任意 Kac-Moody 代数构造了双梯度图 $(\Gamma_s, \Gamma_w)$，其标记来源于旗流形和仿射 Grassmannian 空间上上同调与同调中的 Schubert 计算。关键贡献是一个统一的组合框架，该框架推广了 Robinson-Schensted 和 Sagan-Worley 插入算法，包括通过 Lusztig 的 quiver 构造实现的折叠插入与混合插入，并在抛物商中识别出分配格结构。

ABSTRACT

Motivated by affine Schubert calculus, we construct a family of dual graded graphs $(Γ_s,Γ_w)$ for an arbitrary Kac-Moody algebra $\g(A)$. The graded graphs have the Weyl group $W$ of $\g(A)$ as vertex set and are labeled versions of the strong and weak orders of $W$ respectively. Using a construction of Lusztig for quivers with an admissible automorphism, we define folded insertion for a Kac-Moody algebra and obtain Sagan-Worley shifted insertion from Robinson-Schensted insertion as a special case. Drawing on work of Stembridge, we analyze the induced subgraphs of $(Γ_s,Γ_w)$ which are distributive posets.

研究动机与目标

• 通过将 Weyl 群作为顶点集，将双梯度图理论扩展到任意 Kac-Moody 代数。
• 构造由旗流形和仿射 Grassmannian 空间中上同调与同调 Schubert 类的 Chevalley 系数标记的双梯度图 $(\Gamma_s, \Gamma_w)$。
• 通过折叠插入与混合插入算法，推广 Robinson-Schensted 与 Sagan-Worley 移位插入算法。
• 识别出双梯度图 $(\Gamma_s, \Gamma_w)$ 的诱导子图形成分配格的条件，从而实现表格填充的解释。

提出的方法

• 利用 Weyl 群 $W$ 的强序与弱序定义双梯度图 $(\Gamma_s, \Gamma_w)$，其标记来源于 Schubert 计算中的 Chevalley 系数。
• 利用 Lusztig 构造的具有可接受自同构的对称广义 Cartan 矩阵，将非单连通代数与单连通代数关联起来。
• 引入 Kac-Moody 代数的折叠插入，其在仿射 $A_{n-1}^{(1)}$ 情况下可恢复为 Sagan-Worley 移位插入的特例。
• 通过自同构对定义混合插入，推广 Haiman 对 Schensted 插入的变体。
• 应用 Proctor 与 Stembridge 的分类，识别出弱序或 Bruhat 序为分配格的抛物商 $W_J$。
• 利用双梯度图结构，将强表与弱表定义为链，其生成函数可能表示 Schubert 类。

实验结果

研究问题

• RQ1 如何系统地利用 Weyl 群作为顶点集，为任意 Kac-Moody 代数构造双梯度图？
• RQ2 如何通过 $\Gamma_s$ 与 $\Gamma_w$ 的标记编码 Schubert 计算中的 Chevalley 系数？
• RQ3 Lusztig 的 quiver 构造结合自同构，如何在双梯度图框架中将非单连通 Kac-Moody 代数约化为单连通代数？
• RQ4 折叠插入与混合插入在推广经典插入算法（如 Sagan-Worley 移位插入）中起到什么作用？
• RQ5 哪些抛物商 $W_J$ 会在弱序或 Bruhat 序中产生分配格结构，从而支持表格解释？

主要发现

• 为任意 Kac-Moody 代数 $\mathfrak{g}$ 构造了双梯度图 $(\Gamma_s, \Gamma_w)$，其中 $\Gamma_w$ 按 Weyl 群 $W$ 的左弱序标记，$\Gamma_s$ 按强 Bruhat 序标记。
• 在仿射类型 $A_{n-1}^{(1)}$ 情况下，该构造恢复了与 Lapointe 和 Morse 早期工作一致的双梯度图，且半标准强表与弱表的生成函数代表了仿射 Grassmannian 中的 Schubert 类。
• 当 $\mathfrak{g}$ 为仿射类型且 $K = K_{\text{can}}$ 时，图 $\Gamma_w(K)$ 编码了同调 Schubert 类 $\xi_w \in H_*(\text{Gr})$，而 $\Gamma_s(\Lambda)$ 编码了上同调类 $\xi^w \in H^*(G/B)$，从而建立了组合对偶性。
• 通过约化到类型 $A_{2n-1}^{(1)}$，该构造为类型 $C_n^{(1)}$ 赋予了类似 Schensted 的双射，且在极限 $n \to \infty$ 下恢复了 Sagan-Worley 移位插入。
• 与抛物商 $W_J$ 对应的诱导子图 $P^J$ 与 $Q^J$ 恰好在 $W_J$ 的弱序或 Bruhat 序为分配格时构成分配格，推广了 Proctor 与 Stembridge 的分类。
• 在分配情形下，强表与弱表可被解释为在格子单元中填入数字，类似于标准杨表，从而为 Schubert 类提供了组合模型。