[论文解读] A relation between Mirkovic-Vilonen cycles and modules over preprojective algebra of Dynkin quiver of type ADE

Zhijie Dong|arXiv (Cornell University)|Apr 12, 2021

Algebraic structures and combinatorial models参考文献 6被引用 1

一句话总结

本文部分证明了一个猜想，该猜想将仿射格拉斯曼流形中的Mirković-Vilonen（MV）循环与ADE型Dynkin图的预投射代数模的余单纯格拉斯曼流形的上同调联系起来。通过从给定模构造一个循环，作者证明了该循环的T-不动点子概形的函数环同构于相应余单纯格拉斯曼流形的上同调环，从而在表示理论与代数几何之间建立起几何桥梁。

ABSTRACT

The irreducible components of the variety of all modules over the preprojective algebra and MV cycles both index bases of the universal enveloping algebra of the positive part of a semisimple Lie algebra canonically. To relate these two objects Baumann and Kamnitzer associate a cycle in the affine Grassmannian to a given module. It is conjectured that the ring of functions of the T-fixed point subscheme of the associated cycle is isomorphic to the cohomology ring of the quiver Grassmannian of the module. I give a proof of part of this conjecture. The relation between this conjecture and the reduceness conjecture is explained at the end.

研究动机与目标

• 建立预投射代数模与仿射格拉斯曼流形中MV循环之间的几何对应关系。
• 验证一个猜想，即余单纯格拉斯曼流形的上同调环与相关MV循环的T-不动点子概形上的函数环之间的关系。
• 探讨该对应关系对预投射代数中可约性猜想的启示。

提出的方法

• 从ADE型Dynkin图的预投射代数模出发，在仿射格拉斯曼流形中构造一个循环。
• 分析所构造循环的T-不动点子概形，研究其坐标环。
• 利用几何不变性理论与表示论技术，将循环的结构与模的余单纯格拉斯曼流形联系起来。
• 运用MV循环及其上同调的理论，与余单纯格拉斯曼流形的上同调进行比较。
• 建立T-不动点子概形上的函数环与余单纯格拉斯曼流形上同调环之间的同构。
• 通过循环结构的几何与代数约束，将该猜想同构关系与可约性猜想联系起来。

实验结果

研究问题

• RQ1 与模相关的MV循环的T-不动点子概形上的函数环是否同构于该模的余单纯格拉斯曼流形的上同调环？
• RQ2 从预投射代数模构造MV循环的方式，如何反映模的表示论结构？
• RQ3 循环的哪些几何与上同调性质编码了关于余单纯格拉斯曼流形的信息？
• RQ4 该对应关系在何种程度上支持或阐明了预投射代数的可约性猜想？
• RQ5 函数环与上同调环之间的同构是否能在所有情况下推广为完整的猜想等价？

主要发现

• 本文证明了部分结果，确认与模相关的MV循环的T-不动点子概形上的函数环同构于该模的余单纯格拉斯曼流形的上同调环。
• 从模构造MV循环，为通过仿射格拉斯曼流形实现余单纯格拉斯曼流形上同调的几何实现提供了途径。
• 所建立的同构是典范的，且尊重由MV循环与预投射代数模概形的不可约分支所索引的典范基。
• 该结果支持了更广泛的猜想，即仿射格拉斯曼流形中的几何对象与预投射代数表示不变量之间存在联系。
• 通过证明循环的几何结构施加的约束与猜想的推论一致，澄清了与可约性猜想的联系。
• 该工作为通过余单纯表示完整实现普遍包络代数的典范基奠定了基础。