[论文解读] Coherent sheaves and quantum Coulomb branches I: tilting bundles from integrable systems

Ben Webster|arXiv (Cornell University)|May 12, 2019

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

一句话总结

本文利用可积系统和BFN解析，为源自 quiver gauge 理论的 Coulomb 代数构造了显式的非交换解析——倾斜生成元与 quiver 表示。它建立了解析后 Coulomb 代数上的凝聚层范畴与一个量子化代数上的模范畴之间的导出等价性，通过 Borel-Moore 上同调与墙穿跃函子，实现了对量子 Coulomb 代数代数的组合、特征无关的构造。

ABSTRACT

In this paper, we consider how the approach of Bezrukavnikov and Kaledin to understanding the categories of coherent sheaves on symplectic resolutions can be applied to the Coulomb branches introduced by Braverman, Finkelberg and Nakajima. In particular, we construct tilting generators on resolved Coulomb branches, and give explicit quiver presentations of categories of coherent sheaves on these varieties, with the wall-crossing functors described by natural bimodules.

研究动机与目标

• 为 BFN Coulomb 代数这一特定情形，发展 Kaledin 关于对称性解析上倾斜生成元的理论。
• 为具有 BFN 解析的 Coulomb 代数提供显式、组合表示的非交换解析（量子 Coulomb 代数）。
• 在 BFN 解析上的凝聚层范畴与所构造代数上的模范畴之间建立导出等价性。
• 在量子 Coulomb 代数的背景下，通过自然双模描述墙穿跃函子。
• 通过线缺陷与卷积代数，将代数构造与 3d N=4 规范理论中的物理诠释相联系。

提出的方法

• 将量子 Coulomb 代数 A 构造为经修改的 BFN 空间之 Borel-Moore 上同调，采用 p 次根惯例。
• 在特征 p 下应用 Bezrukavnikov-Kaledin 理论，并通过约化与比较方法将其结果提升至特征 0。
• 将倾斜生成元识别为 3d N=4 规范理论中线缺陷的有限和，解释为解析上向量丛的和。
• 通过哈密顿约化与量子化，定义解析后 Coulomb 代数上的凝聚层，给出显式的 quiver 表示。
• 将墙穿跃函子描述为通过扩展 BFN 范畴中态射产生的双模所给出的导出等价。
• 证明代数 A 同构于类型 A 中圆柱面上的 KLR 代数，并推广至其他 quiver 类型（D、E、环、循环）。

实验结果

研究问题

• RQ1 Kaledin 关于对称性解析上倾斜生成元的理论，如何在 BFN Coulomb 代数上显式化？
• RQ2 给定 BFN 解析时，量子 Coulomb 代数 A 的显式代数结构是什么？
• RQ3 解析后 Coulomb 代数上的凝聚层上，墙穿跃函子如何由自然双模产生？
• RQ4 量子 Coulomb 代数 A 与扩展 BFN 范畴中的 KLR 代数或卷积代数之间有何关系？
• RQ5 倾斜生成元在解析后 Coulomb 代数上如何以特征无关的方式进行几何与代数构造？

主要发现

• 本文为任意具有 BFN 解析的 BFN Coulomb 代数构造了显式非交换解析 A，其为 Z 上的有限生成代数。
• 任意 BFN 解析上的凝聚层范畴与 A 上模范畴之间，通过显式倾斜生成元实现导出等价。
• 代数 A 被实现为解析后 Coulomb 代数上倾斜丛的自同态代数，该丛通过修改后 BFN 空间之 Borel-Moore 上同调构造。
• 不同量子化参数之间的墙穿跃函子被描述为扩展 BFN 范畴中自然双模所给出的导出等价。
• 对于类型 A quiver，代数 A 同构于圆柱面上的 KLR 代数，推广了关于 quiver 变体的已知结果。
• 该构造为特征无关，并通过约化与比较方法从正特征提升，确认了在特征 0 下的导出等价性。