[论文解读] Towards a Littlewood-Richardson rule for Kac-Moody homogeneous spaces

Pierre–Emmanuel Chaput, Nicolas Perrin|ArXiv.org|Feb 1, 2009

Advanced Combinatorial Mathematics参考文献 17被引用 9

一句话总结

本文通过在Λ-极小与Λ-余极小元素的堆偏序集中引入基于 jeu de taquin 修正的组合公式，为Kac-Moody齐次空间建立了广义的Littlewood-Richardson法则。关键结果证明，在斜-有限维条件下，Schubert上同调中的结构常数 $ c_{u,v}^w $ 等于一个修正的 jeu de taquin 计数 $ m_{u,v}^w t_{u,v}^w $ 的乘积，从而将经典法则推广至无限维情形。

ABSTRACT

We prove a general combinatorial formula yielding the intersection number $c_{u,v}^w$ of three particular $Λ$-minuscule Schubert classes in any Kac-Moody homogeneous space, generalising the Littlewood-Richardson rule. The combinatorics are based on jeu de taquin rectification in a poset defined by the heap of $w$.

研究动机与目标

• 将经典的Littlewood-Richardson法则推广至Kac-Moody齐次空间，其中Schubert结构常数的通用组合公式仍未知。
• 通过其堆偏序集结构与jeu de taquin性质，定义并表征Λ-极小与Λ-余极小Schubert类。
• 在斜-有限维条件下，证明此类类的交数 $ c_{u,v}^w $ 等于包含修正jeu de taquin数 $ m_{u,v}^w t_{u,v}^w $ 的组合计数。
• 利用基于堆组合与上同调代数结构的统一框架，将先前关于极小与余极小空间的结果推广至任意Kac-Moody群。

提出的方法

• 使用一个主导权 $ \Lambda $，在Kac-Moody群的Weyl群中定义Λ-极小与Λ-余极小元素，确保其具有完全交换的约化表达式及良定义的堆偏序集。
• 利用这些堆偏序集上的jeu de taquin 修正性质，为满足 $ u,v \leq w $ 的对 $ u,v $ 定义组合不变量 $ t_{u,v}^w $。
• 引入乘法校正因子 $ m_{u,v}^w = m(w)/(m(u)m(v)) $，其中 $ m(w) $ 是 $ w $ 的堆上根长比值的乘积。
• 证明乘积 $ m_{u,v}^w t_{u,v}^w $ 在齐次空间 $ G/P $ 的上同调上定义了一个交换且结合的代数结构。
• 通过约化至已知情形并使用归纳法证明主要结果，利用斜-有限维条件简化组合结构，并确保代数生成元的存在。
• 通过检查与已知交数及对称性约束的一致性，验证关键情形下的猜想，包括有限维与例外极小空间。

实验结果

研究问题

• RQ1 能否为Kac-Moody齐次空间（超越经典有限维情形）制定广义的Littlewood-Richardson法则？
• RQ2 Λ-极小与Λ-余极小Schubert类的结构常数 $ c_{u,v}^w $ 是否与基于jeu de taquin和根长比值的组合计数一致？
• RQ3 在何种条件下，修正的jeu de taquin计数 $ m_{u,v}^w t_{u,v}^w $ 能给出正确的交数 $ c_{u,v}^w $？
• RQ4 修正的jeu de taquin数 $ m_{u,v}^w t_{u,v}^w $ 的代数是否为交换且结合的？该性质是否有助于验证法则？
• RQ5 能否利用堆偏序集的组合结构，将该法则推广至例外及无限维Kac-Moody群？

主要发现

• 在Kac-Moody齐次空间 $ G/P $ 中，Λ-极小与Λ-余极小Schubert类的结构常数 $ c_{u,v}^w $ 在 $ w $ 为斜-有限维时等于 $ m_{u,v}^w t_{u,v}^w $。
• 当 $ w $ 为Λ-极小时，校正因子 $ m_{u,v}^w $ 恒为1，此时法则退化为标准的jeu de taquin计数 $ t_{u,v}^w $。
• 本文证明修正的jeu de taquin数 $ m_{u,v}^w t_{u,v}^w $ 定义了一个交换且结合的代数，为该法则提供了强有力的自洽性检验。
• 在 $ F_4 $ 情形下，交数 $ c_{ au^{4,2}, au^{4,2}}^{ au^{8,3}} $ 计算结果为4，与公式预测值一致。
• 该法则在Grassmannian情形下得到验证，并被推广至例外极小空间，与Thomas与Yong的已知结果保持一致。
• 斜-有限维条件确保上同调代数具有易于识别的生成元，简化了证明策略，并支持归纳验证。