[论文解读] Knuth relations, tableaux and MV-cycles

Stéphane Gaussent, Peter Littelmann+1 more|arXiv (Cornell University)|Oct 4, 2012

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

一句话总结

本文在 $SL_n(\mathbb{C})$ 的仿射格拉斯曼流形背景下，建立了 Knuth 等价关系的几何实现。通过将字词关联到画廊（共轭权序列），并构造具有 Białynicki-Birula 单元的典型 Bott-Samelson 型代数簇，作者证明：两个字词 Knuth 等价当且仅当其对应的单元在自然映射到仿射格拉斯曼流形下映射到同一个 Mirković-Vilonen (MV) 闭链。

ABSTRACT

We give a geometric interpretation of the Knuth equivalence relations in terms of the affine Graß mann variety. The Young tableaux are seen as sequences of coweights, called galleries. We show that to any gallery corresponds a Mirković-Vilonen cycle and that two galleries are equivalent if, and only if, their associated MV cycles are equal. Words are naturally identified to some galleries. So, as a corollary, we obtain that two words are Knuth equivalent if, and only if, their associated MV cycles are equal.

研究动机与目标

• 为 $SL_n(\mathbb{C})$ 的仿射格拉斯曼流形中的 Knuth 等价关系提供几何解释。
• 通过 MV 闭链将杨表和普拉克纪子半群的组合框架推广到几何设置。
• 建立字词 Knuth 等价与仿射格拉斯曼流形中相关 MV 闭链相等之间的对应关系。
• 通过 Bott-Samelson 型代数簇的典型构造，将先前关于 Lakshmibai-Seshadri 画廊的结果推广到任意画廊。
• 证明与画廊相关联的单元的像的闭包是一个 MV 闭链，且 Knuth 等价恰好对应于此类闭包的相等性。

提出的方法

• 将字母表 $\mathbb{A} = \{1,\ldots,n\}$ 中的字词表示为画廊——即 $SL_n(\mathbb{C})$ 的极大环面的单性群的阿普artment中的一条分段线性路径。
• 为每个画廊关联一个仿射 Kac-Moody 群的抛物子群序列，从而构造一个 Bott-Samelson 型代数簇 $\Sigma = P_0 \times_{Q_0} \cdots \times_{Q_{r-1}} P_r / P_r$。
• 使用一个通用的反主导单参数子群 $\eta$ 在 $\Sigma$ 上定义一个 Białynicki-Birula 单元分解，其中 $C_\gamma$ 是由 $\gamma$ 固定的单元。
• 构造一个到仿射格拉斯曼流形 $\mathcal{G}$ 的态射 $\pi: \Sigma \to \mathcal{G}$，通过根子群作用研究 $C_\gamma$ 的像。
• 利用根子群的交换规则，将像 $\pi(C_\gamma)$ 表示为作用于一个主导共轭权 $\nu^\vee$ 的根子群的乘积。
• 证明 Knuth 等价的画廊产生具有公共稠密子集的像，从而推出其闭包相等。

实验结果

研究问题

• RQ1 能否通过仿射格拉斯曼流形中的 MV 闭链，为普拉克纪子半群中的 Knuth 等价关系提供几何解释？
• RQ2 是否存在一个典型几何对象（如代数簇和单元），使得其在到仿射格拉斯曼流形的态射下的像为一个 MV 闭链？
• RQ3 两个字词的 Knuth 等价是否精确对应于其相关 MV 闭链的相等？
• RQ4 能否通过 Bott-Samelson 型代数簇的构造，将该结果从半标准杨表推广到任意画廊？
• RQ5 在无扭子群 $U^-(\mathcal{K})$ 中，根子群的交换关系在几何设定中如何反映 Knuth 关系？

主要发现

• 两个画廊 Knuth 等价当且仅当其相关联的 MV 闭链（即其对应单元在 $\pi$ 下的像的闭包）相等。
• 与画廊 $\gamma$ 相关联的单元 $C_\gamma$ 的像的闭包 $\overline{\pi(C_\gamma)}$ 是某个主导共轭权 $\nu^\vee$ 的 Schubert 变体 $X_{\nu^\vee}$ 中的一个 MV 闭链。
• 对任意画廊 $\gamma$，像 $\pi(C_\gamma)$ 是作用于一个主导共轭权的根子群乘积的一个稠密子集，且该描述在 Knuth 移动下保持不变。
• 与半标准杨表相关联的单元的像是一个 MV 闭链，且对固定形状和共轭权，从杨表到 MV 闭链的映射是双射。
• 该构造为 Knuth 等价字词相关联的单元的像提供了公共稠密子集，从而证明了其闭包相等。
• 证明依赖于根子群的交换规则和无扭子群 $U^-(\mathcal{K})$ 的结构，表明 Knuth 移动保持像闭包不变。