[论文解读] Irreducible components of two-row Springer fibers and Nakajima quiver varieties

Mee Seong Im, Chun‐Ju Lai+1 more|arXiv (Cornell University)|Oct 7, 2019

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

一句话总结

本文通过在Nakajima双有向图概形上作用自然自同构，将经典李型（特别是D型）中两行Springer纤维的不可约分支显式代数化地描述为固定点，利用Maï的同构及对双有向图表示的系统分析，以极大旗关系为工具，推导出显式关系式，推广了A型的早期结果，并首次提供了这些分支在拓扑模型之外的显式几何构造。

ABSTRACT

We give an explicit description of the irreducible components of two-row Springer fibers in type A as closed subvarieties in certain Nakajima quiver varieties in terms of quiver representations. By taking invariants under a variety automorphism, we obtain an explicit algebraic description of the irreducible components of two-row Springer fibers of classical type. As a consequence, we discover relations on isotropic flags that describe the irreducible components.

研究动机与目标

• 通过Nakajima双有向图概形显式描述A型中两行Springer纤维的不可约分支。
• 通过A型双有向图概形在自同构作用下的固定点子概形，将上述描述推广至经典型，特别聚焦于D型。
• 以极大旗关系显式代数刻画D型中两行Springer纤维的不可约分支，推广先前结果。
• 通过迭代P1C-丛结构论证，确立所构造子概形确为不可约分支。
• 提供此前仅通过归纳或拓扑构造实现的Springer纤维分支的几何与组合实现。

提出的方法

• 利用Maï的同构将Slodowy概形实现为Nakajima双有向图概形，将几何数据转化为双有向图表示数据。
• 采用Stroppel–Webster与Fung关于杯图与旗构型的显式关系，在双有向图概形中定义子概形。
• 将Springer纤维在双有向图概形中的像识别为由特定双有向图表示条件定义的子概形。
• 对双有向图概形施加一个概形自同构，得到对应于D型Springer纤维的固定点子概形。
• 通过杯图与射线构型的分类讨论，利用迭代P1C-丛结构证明固定点子概形为不可约分支。
• 通过每种情形下的显式同构验证所得子概形满足所需的旗关系，并与原始Springer纤维分支同构。

实验结果

研究问题

• RQ1 如何在Nakajima双有向图概形中显式描述A型中两行Springer纤维的不可约分支？
• RQ2 能否通过双有向图概形的固定点子概形，将A型中不可约分支的构造推广至经典型，特别是D型？
• RQ3 以极大旗关系表示的显式代数关系如何描述D型中两行Springer纤维的不可约分支？
• RQ4 如何从几何上确立所构造子概形的不可约性？
• RQ5 这些分支的几何结构是否可理解为迭代P1C-丛？若是，该结构如何随杯图构型变化？

主要发现

• A型中两行Springer纤维的不可约分支被显式描述为Nakajima双有向图概形中的子概形，其由对应于杯图与射线图的双有向图表示条件定义。
• 对于D型，不可约分支被实现为A型双有向图概形在自然自同构作用下的固定点，为不同类型之间提供了几何桥梁。
• 这些分支通过在极大旗上的显式代数关系被刻画，将A型的杯/射线关系推广至经典型。
• 通过迭代P1C-丛结构论证，证明所构造子概形为不可约分支，其纤维结构依赖于杯图构型。
• 固定点子概形与Springer纤维分支之间的同构被显式构造，其逆映射由双有向图表示变换给出。
• 结果推广了先前的归纳与拓扑构造，首次在D型中提供了这些分支的显式代数几何实现。