[论文解读] Matrix Factorizations and Representations of Quivers I

Atsushi Takahashi|ArXiv.org|Jun 17, 2005

Algebraic structures and combinatorial models参考文献 19被引用 38

一句话总结

本文通过使用 $\mathbb{Q}$-graded $A_\infty$-范畴和扭曲复形，建立了 $x^{n+1}$ 的 ADE 奇点的矩阵因子化导范畴与 Dynkin 图 $A_n$ 的表示导范畴之间的等价性。它在该范畴上构造了一个特殊稳定性条件，对应于稳定性条件空间的原点，从而为 K. Saito 的广义根系统提供了组合框架。

ABSTRACT

This paper introduces a mathematical definition of the category of D-branes in Landau-Ginzburg orbifolds in terms of $A_\infty$-categories. Our categories coincide with the categories of (graded) matrix factorizations for quasi-homogeneous polynomials. After setting up the necessary definitions, we prove that our category for the polynomial $x^{n+1}$ is equivalent to the derived category of representations of the Dynkin quiver of type $A_{n}$. We also construct a special stability condition for the triangulated category in the sense of T. Bridgeland, which should be the "origin" of the space of stability conditions.

研究动机与目标

• 使用 $\mathbb{Q}$-graded 范畴构建 Landau-Ginzburg 群 orbifold 中 D-膜的 $A_\infty$-范畴框架。
• 将准齐次多项式的矩阵因子化导范畴与图表示的导范畴联系起来。
• 通过正则权重系统，绕过同调数据，提供广义根系统的组合构造。
• 在矩阵因子化的导范畴上构造一个特殊稳定性条件，使其对应于稳定性条件空间的原点。

提出的方法

• 在 $\mathbb{C}$ 上引入带有额外 $\frac{2}{h}\mathbb{Z}$-分次的 $\mathbb{Q}$-graded $A_\infty$-范畴，为一个准齐次多项式 $f$ 定义 $\mathcal{A}_f$。
• 构造 $\mathcal{A}_f$ 上的扭曲复形范畴，其与 $f$ 的矩阵因子化等价。
• 定义 $\mathbb{Z}$-等变导范畴 $D^b_{\mathbb{Z}}(\mathcal{A}_f)$，以纳入准齐次度带来的 $\mathbb{Z}$-作用。
• 基于分次位移的对角矩阵，为 $D^b_{\mathbb{Z}}(\mathcal{A}_f)$ 中的对象定义一个相位函数 $\phi_\alpha$。
• 使用单位根定义中心电荷映射 $Z_\omega: K_0(D^b_{\mathbb{Z}}(\mathcal{A}_f)) \to \mathbb{C}$，并证明 $Z_\omega$ 和相位函数满足 Bridgeland 稳定性条件的公理。

实验结果

研究问题

• RQ1 能否将 $x^{n+1}$ 的矩阵因子化导范畴实现为 Dynkin 图 $A_n$ 的表示导范畴？
• RQ2 $\mathbb{Z}$-等变导范畴 $D^b_{\mathbb{Z}}(\mathcal{A}_f)$ 是否存在一个强例外集合并生成该范畴？
• RQ3 能否在 $D^b_{\mathbb{Z}}(\mathcal{A}_f)$ 上构造一个稳定性条件，使其中心电荷和相位函数满足 Bridgeland 的公理？
• RQ4 $K_0(D^b_{\mathbb{Z}}(\mathcal{A}_f^*))$ 的格子及其交形式是否同构于 Milnor 格子 $(H_2(X_1,\mathbb{Z}), -I)$？
• RQ5 所构造的稳定性条件在镜像对称下是否对应于普遍展开基空间的原点？

主要发现

• 对于 $f = x^{n+1}$，导范畴 $D^b_{\mathbb{Z}}(\mathcal{A}_f)$ 与 Dynkin 图 $A_n$ 的表示导范畴等价，建立了矩阵因子化与图表示之间的直接联系。
• $D^b_{\mathbb{Z}}(\mathcal{A}_f)$ 存在一个由 $h(h-1)$ 个对象组成的强例外集合，且不同对象之间的高阶 Hom 群为零。
• 通过中心电荷 $Z_\omega$ 和相位函数 $\phi_\alpha$，在 $D^b_{\mathbb{Z}}(\mathcal{A}_f)$ 上构造了一个稳定性条件，其满足 Bridgeland 稳定性条件的所有公理。
• 中心电荷满足 $Z_\omega([M_{l,i}]) = 2\sin(\frac{l}{h}\pi) \cdot e^{\pi\sqrt{-1}\phi_{M_{l,i}}}$，将相位与 Milnor 纤维的量子周期联系起来。
• $D^b_{\mathbb{Z}}(\mathcal{A}_f^*)$ 上的 Serre 自同态满足 $S^h \simeq [3h - 2a^* - 2b^* - 2c^*]$，与预期的单值性行为一致。
• $K_0(D^b_{\mathbb{Z}}(\mathcal{A}_f^*))$ 及其交形式同构于 Milnor 格子 $(H_2(X_1,\mathbb{Z}), -I)$，证实了猜想的格子同构。