[论文解读] 2-block Springer fibers: Convolution algebras, coherent sheaves, and embedded TQFT

Catharina Stroppel, Ben Webster|arXiv (Cornell University)|Feb 14, 2008

Algebraic structures and combinatorial models被引用 9

一句话总结

本文通过环面作用与Bialynicki-Birula理论研究2-块Springer纤维的几何结构，证明了Fung关于分量相交的猜想。它在分量相交与Bialynicki-Birula细胞的上同调上构造了一个卷积代数，证明其同构于一个广义弧代数，并将此与链链同调中的凝聚层方法联系起来。

ABSTRACT

For a fixed 2-block Springer fiber, we describe the structure of its irreducible components and their relation to the Bialynicki-Birula paving, following work of Fung. That is, we consider the space of complete flags in C^n preserved by a fixed nilpotent matrix with 2 Jordan blocks, and study the action of diagonal matrices commuting with our fixed nilpotent. In particular, we describe the structure of each component, its set of torus fixed points, and prove a conjecture of Fung describing the intersection of any pair. Then we define a convolution algebra structure on the direct sum of the cohomologies of pairwise intersections of irreducible components and closures of C^*-attracting sets (that is, Bialynicki-Birula cells), and show this is isomorphic to a generalization of the arc algebra of Khovanov defined by the first author. We investigate the connection of this algebra to Cautis & Kamnitzer's recent work on link homology via coherent sheaves and suggest directions for future research.

研究动机与目标

• 理解2-块Springer纤维中不可约分量的结构及其与环面作用的关系。
• 验证Fung关于2-块情形下任意两个不可约分量相交的猜想。
• 在分量相交与C*-吸引集（Bialynicki-Birula细胞）的上同调上定义卷积代数。
• 建立该卷积代数与第一作者引入的广义弧代数之间的同构关系。
• 探索该代数结构与Cautis与Kamnitzer关于链链同调的凝聚层框架之间的联系。

提出的方法

• 利用与固定具有两个若尔当代数块的幂零矩阵可交换的对角矩阵的作用。
• 应用Bialynicki-Birula理论将Springer纤维分解为细胞（吸引集），并分析其闭包。
• 分析每个不可约分量上环面不动点的集合及其组合结构。
• 在分量之间两两相交的上同调与Bialynicki-Birula细胞的上同调的直和上构造卷积代数。
• 运用代数几何与表示论的技术，证明卷积代数与广义弧代数之间的同构关系。
• 与Cautis与Kamnitzer在凝聚层与链链同调方面的工作建立联系，提示在范畴化量子群与链不变量研究中开辟新方向。

实验结果

研究问题

• RQ1 2-块Springer纤维的不可约分量的精确结构是什么？它们与Bialynicki-Birula铺陈之间有何关系？
• RQ2 Fung关于2-块情形下任意两个不可约分量相交的猜想是否成立？
• RQ3 在分量与Bialynicki-Birula细胞相交的上同调上定义的卷积代数的代数结构是什么？
• RQ4 该卷积代数是否如猜想所示同构于一个广义弧代数？
• RQ5 该代数构造如何与Cautis与Kamnitzer关于链链同调的凝聚层方法相联系？

主要发现

• 本文证明了Fung关于2-块Springer纤维中任意两个不可约分量相交的猜想，确认了其横截相交模式。
• 每个不可约分量均具有明确定义的结构，其特定的环面不动点集由Bialynicki-Birula分解所决定。
• 在分量相交与Bialynicki-Birula细胞的上同调直和上的卷积代数，同构于第一作者定义的广义弧代数。
• 该构造通过Springer纤维中代数簇的上同调，实现了广义弧代数的几何实现。
• 结果表明，该卷积代数与Cautis与Kamnitzer在链链同调中提出的凝聚层框架之间存在深刻联系，为范畴化表示论开辟了新路径。
• 该工作在几何表示论（Springer纤维、环面作用）与通过上同调上代数结构联系的拓扑量子场论之间建立了桥梁。