[论文解读] Triangulated categories of singularities and D-branes in Landau-Ginzburg models

Dmitri Olegovich Orlov|arXiv (Cornell University)|Feb 25, 2003

Nonlinear Waves and Solitons参考文献 15被引用 413

一句话总结

本文引入了奇异性的三角范畴作为研究Landau-Ginzburg模型中D-brane的数学框架，证明了此类模型中B-brane的范畴等价于超势能纤维的奇异性的三角范畴。关键贡献在于通过矩阵因子化和Knörrer周期性，建立了代数奇点与物理D-brane范畴之间的导出等价关系。

ABSTRACT

In spite of physics terms in the title, this paper is purely mathematical. Its purpose is to introduce triangulated categories related to singularities of algebraic varieties and establish a connection of these categories with D-branes in Landau-Ginzburg models.

研究动机与目标

• 为代数簇定义并研究奇异性的三角范畴，尤其关注来自Landau-Ginzburg超势能的奇点。
• 在导出范畴的层模态与完美复形模态的商范畴之间，建立Landau-Ginzburg模型中B-brane与相干层导出范畴之间的数学对应关系。
• 通过将奇点与非Calabi-Yau环境下的D-brane范畴联系起来，将同调镜像对称猜想扩展至Calabi-Yau流形之外。
• 利用代数几何与同调代数，为理解Landau-Ginzburg模型中物理B-brane概念提供一个导出范畴框架。

提出的方法

• 将奇异性的三角范畴 $\mathbf{D}_{\text{Sg}}(X)$ 定义为有界相干层导出范畴 $\mathbf{D}^b(\operatorname{coh}(X))$ 对完美复形全满三角子范畴 $\mathfrak{P}\mathfrak{e}\mathfrak{r}\mathfrak{f}(X)$ 的商。
• 通过超势能 $W$ 的矩阵因子化构造Landau-Ginzburg模型中B-brane范畴的对象，推广Eisenbud对最大Cohen-Macaulay模的构造。
• 利用Knörrer周期性作为关键工具，建立Landau-Ginzburg模型中B-brane范畴与纤维 $W^{-1}(0)$ 的奇异性的三角范畴之间的等价关系。
• 通过映射 $\alpha_{\lambda}^{\nu}$ 的复合定义对象 $V_\mu$ 之间的态射，其关系编码了范畴的代数结构。
• 使用平移函子 $[1]$ 构造正合三角形，该函子将 $V_\mu$ 映射为 $V_{n-\mu}$，并验证所有正合三角形均来自特定态射复合。
• 证明 $\dim\operatorname{Hom}(V_\mu, V_\nu) = \min(\operatorname{depth}V_\mu, \operatorname{depth}V_\nu)$，其中 $\operatorname{depth}V_\mu = \min(\mu, n-\mu)$，且 $\operatorname{End}(V_\mu) \cong \mathbb{C}[x]/x^d$，$d = \operatorname{depth}V_\mu$。

实验结果

研究问题

• RQ1 如何以纯粹代数与同调论术语描述Landau-Ginzburg模型中B-brane范畴？
• RQ2 奇异纤维 $W^{-1}(0)$ 的奇异性的三角范畴与相干层导出范畴模完美复形之间的关系是什么？
• RQ3 Knörrer周期性是否能在导出范畴与矩阵因子化框架内实现并推广？
• RQ4 对于具有简单超势能的Landau-Ginzburg模型，B-brane范畴中态射空间的结构如何？
• RQ5 正合三角形与平移函子 $[1]$ 在此类模型的B-brane范畴中如何作用？

主要发现

• 奇异性的三角范畴 $\mathbf{D}_{\text{Sg}}(X)$ 在Zariski拓扑下局部化下保持不变，如命题1.14所示。
• 当 $X$ 为Gorenstein且奇点集为完备时，$\mathbf{D}_{\text{Sg}}(X)$ 中所有 $\operatorname{Hom}$-空间均为有限维，如推论1.24所述。
• 对于超势能为 $W = x_1 + \cdots + x_n + \frac{1}{x_1 \cdots x_n}$ 的Landau-Ginzburg模型，B-brane范畴等价于纤维 $W^{-1}(0)$ 的奇异性的三角范畴。
• 态射空间 $\operatorname{Hom}(V_\mu, V_\nu)$ 的维数等于 $\min(\operatorname{depth}V_\mu, \operatorname{depth}V_\nu)$，其中 $\operatorname{depth}V_\mu = \min(\mu, n - \mu)$。
• 自同态环 $\operatorname{End}(V_\mu)$ 同构于 $\mathbb{C}[x]/x^d$，$d = \operatorname{depth}V_\mu$，表明每个对象均具有有限维结构。
• 范畴中所有正合三角形均同构于由态射复合 $\alpha_{\lambda}^{\nu}$ 构造的三角形，其中三角形(10)推广了任意态射的基本三角形(9)。