[论文解读] The A-infinity Deformation Theory of a Point and the Derived Categories of Local Calabi-Yaus

Ed Segal|ArXiv.org|Feb 19, 2007

Black Holes and Theoretical Physics参考文献 21被引用 9

一句话总结

本文通过 A-infinity 变形理论，为非紧致 Calabi-Yau 三fold 与非交换代数之间的物理对偶性建立了数学基础。证明了在一组点状对象的 Ext 代数上的 A-infinity 结构可重构 quiver 代数的完备化，并将其应用于表明：局部 Calabi-Yau 的导出范畴（即 del Pezzo 曲面的正则丛）由基 del Pezzo 上 A-infinity 代数的循环完备化所控制，从而对镜像对称中的超势能代数给出了严格的推导。

ABSTRACT

Let A be an augmented algebra over a semi-simple algebra S. We show that the Ext algebra of S as an A-module, enriched with its natural A-infinity structure, can be used to reconstruct the completion of A at the augmentation ideal. We use this technical result to justify a calculation in the physics literature describing algebras that are derived equivalent to certain non-compact Calabi-Yau three-folds. Since the calculation produces superpotentials for these algebras we also include some discussion of superpotential algebras and their invariants.

研究动机与目标

• 为局部 Calabi-Yau 三fold 的导出范畴与非交换代数之间关联的物理计算提供数学依据。
• 确立在一组简单模的 Ext 代数上的 A-infinity 结构可重构在极大理想处完备化的增强代数。
• 在局部 Calabi-Yau 的导出范畴背景下，形式化物理中“quiver 代数的循环完备化”的概念。
• 通过 tilting 与 A-infinity 结构，将局部 Calabi-Yau 的导出范畴（即 del Pezzo 曲面的正则丛）与 quiver 代数的导出范畴联系起来。
• 表明局部 Calabi-Yau 中零截面的结构层的 Ext 代数，是基 del Pezzo 上 Ext 代数的三维循环完备化。

提出的方法

• 使用 A-infinity 变形理论，从 Ext_A(S,S) 上的 A-infinity 结构重构增强代数 A 在其极大理想处的完备化，其中 S 为简单模的直和。
• 应用同调微扰理论，将 RHom_A(S,S) 上的 dga 结构转移至其同调 Ext_A(S,S) 上的 A-infinity 结构。
• 利用 Serre 对偶性与局部三fold 的 Calabi-Yau 性质，证明 Ext_ω(ι_*S, ι_*S) ≅ Ext_Z(S,S) ⊕ Ext_Z(S,S)[3]∨。
• 将 A-infinity 代数的“循环完备化”定义为使结构与 Calabi-Yau 配对相容的正式扩张。
• 证明局部 Calabi-Yau 与其实 quiver 代数之间的导出等价性为 A-infinity 等价性，因此 Ext_ω(ι_*S, ι_*S) 同构于 Ext_Z(S,S) 的循环完备化。
• 利用定理 3.3 将循环完备化编码为超势能，从而从 A-infinity 数据构造出带关系的 quiver 代数。

实验结果

研究问题

• RQ1 如何通过简单模的 Ext 代数上的 A-infinity 结构重构 quiver 代数的完备化？
• RQ2 物理构造中用于局部 Calabi-Yau 三fold 上 quiver 规范理论的‘循环完备化’程序的精确数学意义是什么？
• RQ3 del Pezzo 曲面的正则丛的导出范畴如何通过 A-infinity 结构与基的导出范畴关联？
• RQ4 能否从同调代数严格推导出物理中从 quiver 规范理论构造超势能的规则？
• RQ5 在何种条件下，quiver 代数的表示形式可由其 Ext 代数上的 A-infinity 结构导出？

主要发现

• Ext_A(S,S) 上的 A-infinity 结构完全决定了代数 A 在其极大理想处的完备化。
• 局部 Calabi-Yau 中零截面的 Ext 代数同构于基 del Pezzo 曲面上 Ext 代数的三维循环完备化。
• 局部 Calabi-Yau 的导出范畴与基上 quiver 代数的循环完备化所得到的代数导出等价。
• 简单模的 Ext 代数上的 A-infinity 结构在 tilting 下保持不变，因此导出等价性为 A-infinity 等价性。
• 局部 Calabi-Yau 上代数的表示形式由原始 A-infinity 映射的循环完备化的对偶化给出，这对应于添加与 Calabi-Yau 条件相容的新生成元与关系。
• 通过定理 3.3，所得代数可表示为超势能形式，从而将构造与 D-膜在 Calabi-Yau 三fold 上的物理模型联系起来。