[论文解读] The combinatorics of orbital varieties closures of nilpotent order 2 in sl(n)

Anna Melnikov|ArXiv.org|Dec 17, 2003

Advanced Algebra and Geometry参考文献 7被引用 5

一句话总结

本文建立了标准杨氏表在两行或两列情形下，Duflo 右弱序与链序之间深层的组合等价性。通过 Robinson-Schensted 对应关系与 jeu de taquin 技术，证明了在这类表上，这两个序完全一致，从而为 $\mathfrak{sl}_n$ 中幂零阶为 2 的轨道锥面闭包带来了几何后果。

ABSTRACT

We consider two partial orders on standard Young tableaux. The first one is induced from the weak right Bruhat order on symmetric group by Robinson-Schensted algorithm. The second one is induced from the order on Young diagrams by considering a Young tableau as a chain of Young diagrams. We show that these two orders of completely different nature coincide on the subset of Young tableaux with 2 columns or with 2 rows. This fact has very interesting geometric implications for orbital varieties of nilpotent order 2 in sl(n).

研究动机与目标

• 研究标准杨氏表上两种组合序之间的关系：Duflo 序（通过 Robinson-Schensted 对应关系，由对称群上的右弱序诱导）与链序（通过截断后杨图上的控制序诱导）
• 确定这两种序是否在特定表类上一致，特别是具有两行或两列的表
• 探讨这种组合等价性在 $\mathfrak{sl}_n$ 中幂零阶为 2 的轨道锥面中的几何意义
• 通过杨氏表及其关联排列，提供轨道锥面闭包之间包含关系的组合刻画

提出的方法

• 利用 Robinson-Schensted 对应关系，将 $S_n$ 中的排列与同形状的标准杨氏表对一一关联
• 通过 Young 单元上抬的排列右弱序，定义表上的 Duflo 序 $\buildrel\scriptscriptstyle D\over{\leq}$
• 通过比较截断表 $\pi_{i,j}(T)$ 及其形状在控制序下的关系，引入链序 $\buildrel\scriptscriptstyle C\over{\leq}$
• 运用 jeu de taquin 移动分析表的截断，并推导出序关系的条件
• 通过映射 $T \mapsto T^\dagger$ 的对偶性，将两行表与两列表联系起来
• 利用表链的结构性结果与 $\tau(T)$-函数，刻画 Duflo 序中直接后继的特征

实验结果

研究问题

• RQ1 Duflo 序与链序是否在具有两行的标准杨氏表集合上一致？
• RQ2 Duflo 序与链序是否在具有两列的标准杨氏表集合上一致？
• RQ3 这种序的一致性对 $\mathfrak{sl}_n$ 中幂零阶为 2 的轨道锥面具有何种几何意义？
• RQ4 杨氏表及其关联排列的组合结构如何反映轨道锥面闭包之间的包含关系？
• RQ5 轨道锥面闭包的包含关系是否能被两行或两列表上的 Duflo 序或链序完全刻画？

主要发现

• 在具有两行的标准杨氏表集合 $({\bf T}_n^2)^\dagger$ 上，Duflo 序 $\buildrel\scriptscriptstyle D\over{\leq}$ 与链序 $\buildrel\scriptscriptstyle C\over{\leq}$ 完全一致
• 对任意 $T, S \in ({\bf T}_n^2)^\dagger$，有 $T \buildrel\scriptscriptstyle D\over{<} S$ 当且仅当 $w_T \buildrel\scriptscriptstyle D\over{<} w_S$，其中 $w_T$ 是通过 Robinson-Schensted 对应关系与 $T$ 关联的排列
• 轨道锥面的包含关系 $\mathcal{V}_S \subset \overline{\mathcal{V}}_T$ 成立，当且仅当 $\mathfrak{n} \cap^{w_S} \mathfrak{n} \subset \mathfrak{n} \cap^{w_T} \mathfrak{n}$，从而将几何包含关系与 Duflo 序联系起来
• 在 Duflo 序中，表 $T$ 的所有直接后继构成的集合恰好为 $\{T\langle a_j + k_j \rangle \mid 1 \leq j \leq s\}$，其中参数由表的结构导出
• 该结果仅对具有两行或两列的表成立，不适用于一般表
• 证明依赖于两行与两列表之间的对偶性，并结合 $\tau(T)$-函数与 jeu de taquin 技术，分析截断与序关系