[论文解读] Intersections of components of a Springer fiber of codimension one for the two column case

Anna Melnikov, Ngoc Gioan Jean Pagnon|ArXiv.org|Jan 5, 2007

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

一句话总结

本文研究了 GLₙ 中两列幂零轨道情形下，Springer纤维中不可约分支的相交结构。通过 Robinson-Schensted 对应关系以及基于对合的组合框架（称为 'descendants'），证明了轨道簇之间的一维相交总是不可约的，并通过杨表给出了完整的组合刻画。

ABSTRACT

This paper is a subsequent paper of math.RT/0607673. Here we consider the irreducible components of Springer fibres (or orbital varieties) for two-column case in GL}_n. We describe the intersection of two irreducible components, and specially give the necessary and sufficient condition for this intersection to be of codimension one. Since an orbital variety in two-column case is a finite union of the Borel orbits, we solve the initial question by determining orbits of codimension one in the closure of a given orbit. We show that they are parameterized by a specific set of involutions called descendants, already introduced by the first author in a previous work. Applying this result we show that the intersections of two components of codimension one are irreducible and provide the combinatorial description in terms of Young tableaux of the pairs of such components.

研究动机与目标

• 确定在两列幂零轨道情形下，Springer 纤维两个不可约分量相交为一维的充要条件。
• 证明此类一维相交总是不可约的，从而解决 Kazhdan-Lusztig 和 Hotta 提出的猜想预期。
• 通过杨表和 Robinson-Schensted 对应关系，提供一对轨道簇其相交为一维的组合描述。
• 通过引入一类新的对合（称为 'descendants'），将先前关于轨道簇的结果推广，用于刻画 Borel 轨道闭包及其一维分量。

提出的方法

• 利用 Robinson-Schensted 对应关系将表与置换联系起来，从而通过组合数据研究轨道簇相交。
• 应用 'descendants' 概念——由 Melnikov 引入的一类特定对合，用于参数化给定 Borel 轨道闭包中的一维分量。
• 通过简单反射 $ s_m $ 在插入表上的作用，刻画两个表 $ T $ 和 $ S $ 何时产生一维相交 $ \mathcal{V}_T \cap \mathcal{V}_S $。
• 构造显式的表 $ P $ 和反射 $ s_m $，使得 $ \mathrm{RS}(T,P) = s_m \cdot \mathrm{RS}(S,P) $，从而刻画一维相交条件。
• 分析 $ \mathfrak{B}^{2} $ 的结构，即二阶幂零锥中 Borel 轨道的概形，并按秩 $ k $ 分层，对应于分拆 $ (n-k,k) $。
• 利用对合的典范形式和最小初等变换，描述轨道闭包及其相交的组合结构。

实验结果

研究问题

• RQ1 在两列情形下，Springer 纤维两个不可约分量相交为一维的充要条件是什么？
• RQ2 在两列情形下，Springer 纤维不可约分量之间的一维相交是否总是不可约的？
• RQ3 如何利用杨表和 Robinson-Schensted 对应关系，组合刻画具有相交为一维的轨道簇对？
• RQ4 一个表的 'descendants' 在多大程度上参数化了 Borel 轨道闭包中的一维分量？
• RQ5 在更高列数情形下，$ \mathrm{RS}(T,P) = s_m \cdot \mathrm{RS}(S,P) $ 条件的失效如何与相交的可约性相关？为何在两列情形下该条件不会失效？

主要发现

• 当且仅当存在表 $ P \in \mathbf{Tab}_{(n-k,k)} $ 和简单反射 $ s_m $，使得 $ \mathrm{RS}(T,P) = s_m \cdot \mathrm{RS}(S,P) $ 时，相交 $ \mathcal{V}_T \cap \mathcal{V}_S $ 在 $ \mathcal{V}_T $ 中为一维。
• 在两列情形下，Springer 纤维不可约分量之间的一维相交总是不可约的，从而证实了在 A 型李代数背景下一个关键猜想。
• Borel 轨道闭包中的一维分量由一类特定对合（称为 'descendants'）参数化，该类对合由 Melnikov 在先前工作中引入。
• 当 $ k=2 $ 时，此类相交的组合结构可通过 $ \mathrm{Change}(T,i,j) $ 操作和 $ s_m $ 在插入表上的作用完全描述。
• 与更高列数情形相反，在两列情形下，条件 $ \mathrm{RS}(T,P) = s_m \cdot \mathrm{RS}(S,P) $ 对一维相交而言既是必要也是充分的。
• 该结果通过表 $ (T,S) $ 的相对位置及其 Robinson-Schensted 映射在简单反射作用下的行为，对这类表对给出了完整的分类。