箭图幂零包络代数的几何实现
Geometric realisations of the unipotent enveloping algebra of a quiver
AI总结:
本文比较并推广了箭图对应的广义Kac-Moody代数幂零包络代数的多种几何构造,证明其整数形式成立,并建立了严格半幂零栈的上同调Hall代数与包络代数正部分的同构,为描述2-Calabi-Yau范畴的BPS代数奠定基础。
摘要:
我们比较并推广了与任意箭图相关的幂零广义Kac-Moody代数的各种几何构造(归功于Ringel、Lusztig、Schofield、Bozec、Davison等)。这些构造通过若干几何操作相互联系,包括可构造复形的茎欧拉示性数、特征循环、欧拉障碍映射以及拉格朗日子簇的交点重数。我们证明了这些几何实现对于李代数的整数形式成立。此外,通过修改包络代数的生成元,我们确保了与用限制图定义的自然余积的相容性。作为结果,我们建立了严格半幂零栈的拓扑上同调Hall代数与箭图相关的广义Kac-Moody代数的包络代数的正部分同构。这似乎是描述非常一般的$2$-Calabi-Yau范畴的BPS代数所需的基石之一,这也是作者与Davison和Schlegel Mejia合作的关于$2$-Calabi-Yau范畴的BPS李代数工作的主题。
英文摘要:
We compare and generalise the various geometric constructions (due to Ringel, Lusztig, Schofield, Bozec, Davison...) of the unipotent generalised Kac-Moody algebra associated with an arbitrary quiver. These constructions are interconnected through several geometric operations, including the stalk Euler characteristic of constructible complexes, the characteristic cycle, the Euler obstruction map, and the intersection multiplicities of Lagrangian subvarieties. We provide a proof that these geometric realisations hold for the integral form of the Lie algebra. Furthermore, by modifying the generators of the enveloping algebra, we ensure compatibility with the natural coproducts that can be defined in terms of restriction diagrams. As a result, we establish that the top cohomological Hall algebra of the strictly seminilpotent stack is isomorphic to the positive part of the enveloping algebra of the generalised Kac-Moody algebra associated with the quiver. This appears to be one of the cornerstones needed to describe the BPS algebra of very general $2$-Calabi-Yau categories, which is the subject of the author's work on BPS Lie algebras for $2$-Calabi-Yau categories with Davison and Schlegel Mejia.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。