[论文解读] Matrix Factorizations and Representations of Quivers II: type ADE case

Hiroshige Kajiura, Kyoji Saito+1 more|ArXiv.org|Nov 7, 2005

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

一句话总结

本文建立了 ADE 型多项式格子化矩阵因子化 triangulated category 与相应 Dynkin 图路径代数的有限生成模的有界 derived category 之间的等价性。通过显式分类矩阵因子化及其态射，作者证明了 ADE 奇点的范畴 $\mathrm{HMF}^{\mathrm{gr}}_R(f)$ 同构于 $D^b(\mathrm{mod}\text{--}\mathbb{C}\vec{\Delta})$，证实了 Takahashi 的一个猜想，并为 Landau-Ginzburg B-model 提供了表示论解释。

ABSTRACT

We study a triangulated category of graded matrix factorizations for a polynomial of type ADE. We show that it is equivalent to the derived category of finitely generated modules over the path algebra of the corresponding Dynkin quiver. Also, we discuss a special stability condition for the triangulated category in the sense of T. Bridgeland, which is naturally defined by the grading.

研究动机与目标

• 证实 Takahashi 的猜想：ADE 型多项式的格子化矩阵因子化 triangulated category 同构于相应 Dynkin 图路径代数模的 derived category。
• 通过矩阵因子化显式构造与正则权系统相关的根系，解决 Saito 提出的关于根系组合实现的问题。
• 利用格子化结构在范畴 $\mathrm{HMF}^{\mathrm{gr}}_R(f)$ 上建立一个与 Bridgeland triangulated category 稳定性概念相容的稳定性条件。
• 通过 Orlov 的奇点范畴构造，将格子化矩阵因子化范畴与简单奇点上的格子化 B-brane 范畴联系起来。

提出的方法

• 基于 Orlov 的奇点范畴构造，为 ADE 型加权齐次多项式 $f$ 构造格子化矩阵因子化范畴 $\mathrm{HMF}^{\mathrm{gr}}_R(f)$ 的 triangulated category。
• 利用显式数据：完整的矩阵因子化列表（表 1）、其格子化（表 2）以及态射（表 3），分析 $\mathrm{HMF}^{\mathrm{gr}}_R(f)$ 的结构。
• 应用加权射影直线与格子化商范畴 $\mathrm{qgr}\,R(\boldsymbol{p})$ 的理论，将矩阵因子化范畴与路径代数模的 derived category 联系起来。
• 利用同构 $D^b(\mathrm{qgr}\,R^\prime(\boldsymbol{p})) \cong \langle E_1, \dots, E_N \rangle \oplus \Phi_0(D^{\mathrm{gr}}_{\mathrm{Sg}}(R^\prime(\boldsymbol{p})))$ 识别态射代数为同类型 Dynkin 图的路径代数。
• 利用 Bondal-Kapranov 关于强例外族的定理，推导出 $D^{\mathrm{gr}}_{\mathrm{Sg}}(R^\prime(\boldsymbol{p})) \simeq D^b(\mathrm{mod}\text{--}\mathbb{C}\vec{\Delta}(\boldsymbol{p}))$。
• 通过格子化结构构造 $\mathrm{HMF}^{\mathrm{gr}}_R(f)$ 上的稳定性条件，将中心电荷定义为矩阵因子化的格子化维数。

实验结果

研究问题

• RQ1 ADE 型多项式的格子化矩阵因子化 triangulated category 是否同构于相应 Dynkin 图路径代数模的 derived category？
• RQ2 能否通过矩阵因子化代数实现与正则权系统相关的根系，避免使用超越方法？
• RQ3 矩阵因子化范畴上的格子化是否自然诱导出 Bridgeland 稳定性条件？
• RQ4 简单奇点上的格子化 B-brane 范畴如何与 Dynkin 图的 derived category 相关联？

主要发现

• 对于 ADE 型多项式 $f$，范畴 $\mathrm{HMF}^{\mathrm{gr}}_R(f)$ 作为 triangulated category 同构于相应 Dynkin 图路径代数的有限生成模的有界 derived category。
• 该同构通过 $\mathrm{qgr}\,R(\boldsymbol{p})$ 中的全强例外族实现，其自同态代数同构于同类型 Dynkin 图的路径代数。
• 范畴 $D^{\mathrm{gr}}_{\mathrm{Sg}}(R^\prime(\boldsymbol{p}))$ 的格子化矩阵因子化同构于 $D^b(\mathrm{mod}\text{--}\mathbb{C}\vec{\Delta}(\boldsymbol{p}))$，从而对所有 ADE 奇点证实了该猜想。
• 矩阵因子化上的格子化自然诱导出 $\mathrm{HMF}^{\mathrm{gr}}_R(f)$ 上的稳定性条件，其中中心电荷由格子化维数定义。
• 对于每种 ADE 类型，矩阵因子化及其态射的完整列表已显式列出（表 1–3），为同构关系提供了计算基础。
• 通过 Orlov 的奇点范畴构造与同构于 $\mathrm{qgr}\,R^\prime(\boldsymbol{p})$ 的构造，确认了矩阵因子化与有理双峰点几何之间的联系。