[论文解读] Braid group actions on matrix factorizations

Sergey Arkhipov, Tina Kanstrup|arXiv (Cornell University)|Oct 26, 2015

Advanced Topics in Algebra参考文献 9被引用 5

一句话总结

本文在光滑 G-概形的余切丛与格罗滕迪克簇的积上，构建了仿射赫盖代数范畴对 G-等变矩阵因子化导出范畴的幺半范畴作用。通过等变凝聚层上的卷积构造与科祖尔对偶，作者将相关范畴中的 braid 群作用提升至矩阵因子化范畴，从而通过层的导出范畴实现了扩展仿射 braid 群的几何实现。

ABSTRACT

Let $X$ be a smooth scheme with an action of a reductive algebraic group $G$ over an algebraically closed field $k$ of characteristic zero. We construct an action of the extended affine Braid group on the $G$-equivariant absolute derived category of matrix factorizations on the Grothendieck variety times $T^*X$ with potential given by the Grothendieck-Springer resolution times the moment map composed with the natural pairing.

研究动机与目标

• 建立扩展仿射 braid 群在 G-等变矩阵因子化导出范畴上的几何作用。
• 将贝兹鲁卡夫尼克和里奇在凝聚层上的 braid 群作用推广至矩阵因子化范畴。
• 通过卷积与科祖尔对偶，在等变矩阵因子化范畴的语境下，提供仿射 braid 群的范畴实现。
• 通过导出的推拉形式化，将凝聚层赫盖代数范畴的框架扩展至矩阵因子化范畴。
• 构造从仿射赫盖代数范畴的子范畴到矩阵因子化范畴的幺半函子，从而诱导出所需的 braid 群作用。

提出的方法

• 以格罗滕迪克簇 $\widetilde{\mathfrak{g}} = \operatorname{Lie}(B) \times^G G/B$ 作为矩阵因子化势能的基空间。
• 将势能 $h: T^*X \times \widetilde{\mathfrak{g}} \to \mathbb{A}^1$ 定义为余作用映射与李代数自然配对的复合。
• 应用科祖尔对偶，将 braid 群作用从 $D^b_{\mathrm{coh}}(\widetilde{\mathfrak{g}})$ 转移到矩阵因子化导出范畴。
• 通过导出拉回、张量积与推出构造 $D_{\mathrm{abs}}(\mathrm{Coh}_G(Y \times X), w)$ 上的卷积积。
• 引入从 $\widetilde{\mathfrak{g}} \times \widetilde{\mathfrak{g}} \times \mathfrak{g}^*$ 上的完美复形范畴到矩阵因子化范畴的幺半函子 $\kappa$。
• 验证 $\kappa$ 下 braid 群生成元的像满足扩展仿射 braid 群的定义关系，并保持目标范畴。

实验结果

研究问题

• RQ1 能否将格罗滕迪克簇上凝聚层上的扩展仿射 braid 群作用提升至矩阵因子化范畴？
• RQ2 如何在 G-等变矩阵因子化导出范畴上实现仿射赫盖代数范畴的幺半作用？
• RQ3 科祖尔对偶在将 braid 群作用从凝聚层转移到矩阵因子化范畴中起什么作用？
• RQ4 等变层上的卷积结构如何推广至具有非平凡势能的矩阵因子化范畴？
• RQ5 仿射赫盖代数范畴的哪些子范畴能对矩阵因子化范畴产生良定义的作用？

主要发现

• 本文构造了仿射赫盖代数范畴 $D^b_{\mathrm{Coh}}^G(\mathrm{St})$ 在 G-等变矩阵因子化导出范畴 $D_{\mathrm{abs}}^G(T^*X \times \widetilde{\mathfrak{g}}, h)$ 上的自然幺半作用。
• 该作用通过从 $\widetilde{\mathfrak{g}} \times \widetilde{\mathfrak{g}} \times \mathfrak{g}^*$ 上的完美复形范畴到矩阵因子化范畴的幺半函子 $\kappa$ 实现。
• $\kappa$ 下 braid 群生成元的像满足扩展仿射 braid 群的定义关系。
• 在适当的支集条件下，该作用保持全子范畴 $D_{\mathrm{abs}}(\mathrm{Coh}_G(Y \times X), w)$ 不变。
• 函子 $\kappa$ 是幺半的，且将单位对象映射为单位，确保与卷积结构的相容性。
• 该构造依赖于科祖尔对偶与导出推拉形式化，将作用从凝聚层提升至矩阵因子化范畴。