[论文解读] Flag versions of quiver Grassmannians for Dynkin quivers have no odd cohomology

Ruslan Maksimau|arXiv (Cornell University)|Sep 11, 2019

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

一句话总结

本文证明了对Dynkin型quiver（A、D、E型）的旗版本quiver Grassmannian在ℤ上无奇数阶整上同调，其结果强于以往工作，且在ℤ上建立。对于A型和D型，进一步证明这些概形可被α-划分成仿射空间；对于刚性表示，证明了对角分解，从而推出奇数阶上同调为零。该结果证实了关于几何KLR代数构造纤维的一个猜想，并提供了独立于表示理论的直接几何证明。

ABSTRACT

We prove the conjecture that flag versions of quiver Grassmannians (also known as Lusztig's fibers) for Dynkin quivers (types $A$, $D$, $E$) have no odd cohomology groups over an arbitrary ring. Moreover, for types A and D we prove that these varieties have affine pavings. We also show that to prove the same statement for type E, it is enough to check this for indecomposable representations. We also give a flag version of the result of Cerulli Irelli-Esposito-Franzen-Reineke on rigid representations: we prove that flag versions of quiver Grassmannians for rigid representations have a diagonal decomposition. In particular, they have no odd cohomology groups.

研究动机与目标

• 证明Dynkin型quiver（A、D、E型）的旗版本quiver Grassmannian在ℤ上无奇数阶整上同调。
• 证明在A型和D型中，这些概形可被α-划分成仿射空间。
• 证明刚性表示的旗quiver Grassmannian在Chow环中有对角分解，从而推出奇数阶上同调为零。
• 提供一个独立于KLR代数表示理论的直接几何证明，证实关于KLR代数构造纤维的猜想。

提出的方法

• 使用几何方法分析映射π的纤维，即旗版本的quiver Grassmannian。
• 应用α-划分的概念，将A型和D型的概形分解为仿射空间。
• 利用向量丛及其零截面构造Chow环中的对角类。
• 利用刚性表示的Ext¹消失性，构造一个向量丛，其截面在对角线上恰好为零。
• 利用陈类理论和向量丛的正合列，证明对角类属于由拉回生成的子环。
• 通过quiver表示理论中的约化技术，将一般情形约化为不可约表示的情形。

实验结果

研究问题

• RQ1 Dynkin型quiver（A、D、E型）的旗版本quiver Grassmannian在ℤ上是否无奇数阶上同调？
• RQ2 在A型和D型中，这些概形是否可被α-划分成仿射空间？
• RQ3 刚性表示的旗quiver Grassmannian在Chow环中是否具有对角分解？
• RQ4 在E型中，是否只需验证不可约表示的奇数阶上同调为零即可？
• RQ5 是否可以不依赖KLR代数理论，仅通过几何方法证明关于KLR代数构造纤维的猜想？

主要发现

• Dynkin型quiver（A、D、E型）的旗quiver Grassmannian在ℤ上无奇数阶整上同调，即H^odd(𝒢, ℤ) = 0。
• 在A型和D型中，这些概形可被α-划分成仿射空间，意味着具有胞腔结构。
• 刚性表示的旗quiver Grassmannian在Chow环中具有对角分解，即[Δ] = c_top(ℰ)，其中ℰ为合适的向量丛。
• 对角分解意味着此类概形在ℤ上无奇数阶上同调。
• 在E型中，奇数阶上同调的消失性可通过约化技术约化为不可约表示的情形。
• 该结果证实了关于KLR代数构造纤维的猜想1.1在ℤ上成立，提供了独立于KLR代数表示理论的几何证明。