[论文解读] The critical CoHA of a quiver with potential

Ben Davison|arXiv (Cornell University)|Nov 27, 2013

Algebraic structures and combinatorial models参考文献 24被引用 12

一句话总结

本文构建了与带势的Quiver相关的共调霍尔代数（CoHA）上的一个乘积，通过利用局部紧紧支集上同调和消失循环，确立了其双代数结构。关键成果是一项共调维数约化定理，通过Quiver势的切割将临界CoHA与杨代数及特征簇联系起来。

ABSTRACT

Pursuing the similarity between the Kontsevich--Soibelman construction of the cohomological Hall algebra of BPS states and Lusztig's construction of canonical bases for quantum enveloping algebras, and the similarity between the inetgrality conjecture for motivic Donaldson--Thomas invariants and the PBW theorem for quantum enveloping algebras, we build a coproduct on the cohomological Hall algebra associated to a quiver with potential. We also prove a cohomological dimensional reduction theorem, further linking a special class of cohomological Hall algebras with Yangians, and explaining how to connect the study of character varieties with the study of cohomological Hall algebras.

研究动机与目标

• 通过引入乘积结构，将带势Quiver的共调霍尔代数（CoHA）进行扩展。
• 建立一项共调维数约化定理，通过Quiver切割将临界CoHA与普通上同调联系起来。
• 通过局部上同调和消失循环阐明特征簇与CoHA之间的联系。
• 形式化Kontsevich–Soibelman CoHA构造与Lusztig的典范基构造之间的类比。
• 在适当的几何与范畴假设下，证明临界CoHA具有双代数结构。

提出的方法

• 使用在势的迹函数的消失循环复叠上的局部紧紧支集上同调。
• 应用Thom–Sebastiani同构，在Quiver切割下分解上同调，将0度与1度箭头分离。
• 在等变上同调中实现回传映射，以在CoHA上定义余乘法运算。
• 通过表示空间之间的对应关系，沿拉回与上推构造实现乘积。
• 依赖Verdier对偶与单调混合霍尔德结构，确保上同调运算的相容性。
• 利用权重滤子与K-理论同构，将CoHA与基于原初上同调类的对称代数联系起来。

实验结果

研究问题

• RQ1 能否在带势Quiver的共调霍尔代数上定义乘积？
• RQ2 Quiver势中的切割如何影响表示空间的临界上同调？
• RQ3 在维数约化下，临界CoHA在多大程度上类似于杨代数？
• RQ4 临界CoHA与基于原初上同调类的对称代数之间是否存在自然同构？
• RQ5 表示空间的局部上同调如何与特征簇相关？

主要发现

• 在给定的几何与范畴条件下，与带势Quiver相关的临界CoHA具有明确定义的乘积，使其成为一个双代数。
• 建立了维数约化定理：当一个带势Quiver具有切割时，其表示空间的临界上同调同构于将1度箭头设为零所定义的子簇的紧支集上同调。
• 临界CoHA同构于势的1度部分零点的紧支集上同调，且需将负的1度箭头的乘积 ∑γ(s(a))γ(t(a)) 的和作为移位。
• 余乘法通过涉及表示模空间与至0度部分表示空间投影的拉回的对应关系构造。
• 该构造提供了对积分动机Donaldson–Thomas不变量的上同调范畴化，类似于量子群的PBW定理。
• 该结果通过切割与局部上同调的使用，精确建立了特征簇研究与临界CoHA之间的联系。