[论文解读] Two-block Springer fibers of types C and D: a diagrammatic approach to Springer theory

Catharina Stroppel, Arik Wilbert|arXiv (Cornell University)|Nov 29, 2016

Algebraic structures and combinatorial models参考文献 56被引用 10

一句话总结

本论文通过弧代数中的杯图（cup diagrams）对类型 C 和 D 中两块幂零轨道的 Springer 表示给出了一个图示化、拓扑化的构造，明确描述了 Weyl 群与分量群作用。该研究建立了拓扑 Springer 纤维与经典 Springer 纤维之间的同胚关系，为同调群提供了胞腔基，并推导出上同调环的显式表示以及 Kazhdan-Lusztig 单元模与 Specht 模之间的显式同构关系。

ABSTRACT

We explain an elementary topological construction of the Springer representation on the homology of (topological) Springer fibers of types C and D in the case of nilpotent endomorphisms with two Jordan blocks. The Weyl group and component group actions admit a diagrammatic description in terms of cup diagrams which appear in the definition of arc algebras of types B and D. We determine the decomposition of the representations into irreducibles and relate our construction to classical Springer theory. As an application we obtain presentations of the cohomology rings of all two-block Springer fibers of types C and D. Moreover, we deduce explicit isomorphisms between the Kazhdan-Lusztig cell modules attached to the induced trivial module and the irreducible Specht modules in types C and D.

研究动机与目标

• 为经典李型 C 和 D 中的两块幂零轨道提供 Springer 表示的图示化、拓扑化构造。
• 通过杯图组合描述 Weyl 群与分量群作用，避免使用复杂的几何工具。
• 确定 Springer 表示的不可约分解，并将其与经典 Springer 理论联系起来。
• 为类型 C 和 D 中所有两块 Springer 纤维提供显式上同调环结构。
• 在类型 C 和 D 中，构造 Kazhdan-Lusztig 单元模（针对诱导平凡模）与不可约 Specht 模之间的显式同构。

提出的方法

• 将拓扑 Springer 纤维 $ S^{2m-k,k}_{KL} $ 定义为 $ (S^2)^m $ 的子集 $ S_a \subset (S^2)^m $ 的并集，其中索引为具有 $ \lfloor k/2 \rfloor $ 个杯的杯图。
• 利用杯图组合学推导出每个 $ S_a $ 的胞腔分解，从而构造一个特殊同调基。
• 证明包含诱导映射 $ \gamma_{2m-k,k}: H^*(S^{2m-k,k}_{KL}) \to H^*((S^2)^m) $ 的单射性，从而将同调识别为一个稳定子空间。
• 在 $ H^*((S^2)^m) $ 上定义 Weyl 群 $ W_G $ 与分量群 $ A_x^G $ 的交换作用，并将其限制在 Springer 纤维上。
• 使用扩展映射 $ \eta_{2m-k,k} $ 将具有 $ m-k $ 条射线的图与具有 $ 2m-k $ 个顶点的扩展图关联起来，从而实现归纳的维数计算。
• 对射线数 $ m-k $ 进行递归论证，通过计数杯图中的非特殊外杯来计算贝蒂数。

实验结果

研究问题

• RQ1 如何利用初等代数拓扑方法构造类型 C 和 D 中两块幂零轨道的 Springer 表示？
• RQ2 Weyl 群与分量群在 Springer 纤维同调上的作用的图示描述是什么？
• RQ3 类型 C 和 D 中两块 Springer 纤维的上同调环如何分解？可以给出怎样的显式表示？
• RQ4 在类型 C 和 D 中，Kazhdan-Lusztig 单元模（针对诱导平凡模）与不可约 Specht 模之间的显式同构关系是什么？
• RQ5 拓扑 Springer 纤维模型与经典 Springer 理论以及 isotropic Grassmannian 的几何之间有何关系？

主要发现

• 拓扑 Springer 纤维 $ S^{2m-k,k}_{KL} $ 同胚于经典 Springer 纤维 $ B^{2m-k,k}_{SO_{2m}} $，为类型 C 和 D 提供了两者的拓扑模型。
• 同调 $ H^*(S^{2m-k,k}_{KL}) $ 拥有一个由杯图索引的特殊基，其胞腔分解基于杯图组合学。
• 上同调维数为 $ \sum_{i=0}^{\lfloor (k-1)/2 \rfloor} \binom{m}{i} $，与经典 Springer 纤维的贝蒂数一致。
• Weyl 群与分量群在同调上的作用通过杯图移动进行图示化描述，提供了显式且可计算的作用方式。
• 所有类型 C 和 D 中两块 Springer 纤维的上同调环均具有由杯图基导出的显式表示。
• 在类型 C 和 D 中，构造了 Kazhdan-Lusztig 单元模（关联于诱导平凡模）与不可约 Specht 模之间的显式同构。