[论文解读] Generating the superpotential on a D-brane category: I

Calin Iuliu Lazaroiu|ArXiv.org|Oct 10, 2006

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

一句话总结

本文构建了一个形式化的拓扑弦场论作用量，该作用量通过循环 $A_{\infty}$ 增强，为具有三角形生成元的代数卡拉比-丘三角范畴生成 D-膜超势能。它证明了此类范畴上的 Serre 配对等价于生成元增强上的循环配对，从而实现了从有限组生成 D-膜系统构造超势能。

ABSTRACT

I study A-infinity enhancements of algebraic Calabi-Yau triangulated categories admitting a (triangle) generator, showing that the Serre pairing on such categories determines and is determined by a cyclic pairing on an enhancement of the generator. Using this result, I construct a formal topological string field action inducing an extended D-brane superpotential for such categories. I also give a procedure for lifting certain 2d boundary topological field theories to open topological string theories generated by a single D-brane.

研究动机与目标

• 为在卡拉比-丘三角范畴中从有限组生成 D-膜系统生成完整 D-膜超势能提供一种方法。
• 建立三角范畴上的 Serre 配对与生成元的 $A_{\infty}$ 增强上的循环配对之间的对应关系。
• 构建一个形式化的开弦场论作用量，该作用量能诱导此类范畴的扩展超势能。
• 提供一种将二维边界拓扑场论提升为由单个 D-膜生成的开拓扑弦场论的程序。
• 证明在 $A_{\infty}$ 代数上的同调非退化的循环配对允许平坦对称极小模型，从而确保循环极小模型的存在性。

提出的方法

• 利用具有三角形生成元的代数卡拉比-丘三角范畴的 $A_{\infty}$ 增强，将 Serre 配对与生成元增强上的循环配对联系起来。
• 应用 $A_{\infty}$ 代数的极小模型定理，从同调非退化的循环配对构造循环极小模型。
• 利用非交换 Darboux 定理，确保极小模型上存在保持循环结构的平坦辛形式。
• 从生成元上的循环 $A_{\infty}$ 结构推导出形式化的拓扑弦场论作用量，通过高阶相关函数诱导超势能。
• 利用 $A_{\infty}$ 代数的上同调分裂，诱导保持循环配对并下降到上同调的极小模型。
• 通过悬垂态射空间和分次循环对称性，构建开弦场论作用量的延拓，确保与边界可观测量的相容性。

实验结果

研究问题

• RQ1 如何从有限组生成 D-膜系统系统性地生成 D-膜范畴的超势能？
• RQ2 三角范畴上的 Serre 配对与生成元的 $A_{\infty}$ 增强上的循环配对之间的确切关系是什么？
• RQ3 能否构建一个形式化的拓扑弦场论作用量，使其诱导此类范畴的扩展超势能？
• RQ4 在什么条件下，$A_{\infty}$ 代数上的同调非退化循环配对允许平坦对称极小模型？
• RQ5 如何将二维边界拓扑场论提升为由单个 D-膜生成的开拓扑弦场论？

主要发现

• 卡拉比-丘三角范畴上的 Serre 配对等价于三角形生成元的 $A_{\infty}$ 增强上的循环配对，建立了全局结构与局部结构之间的对偶性。
• 构建了一个形式化的拓扑弦场论作用量，该作用量通过循环极小 $A_{\infty}$ 生成元诱导扩展 D-膜超势能，推广了物理超势能的构造方法。
• 诱导出的开弦场论作用量与 $A_{\infty}$ 关系和分次循环性相容，确保与拓扑弦场论公理的一致性。
• 在 $A_{\infty}$ 代数上的同调非退化循环配对允许平坦对称极小模型，且在循环 $A_{\infty}$ 代数的同构意义下唯一。
• 极小模型定理确保任何具有同调非退化循环配对的对称 $A_{\infty}$ 代数都存在保持配对的循环极小模型，且在拟同构下保持配对。
• 通过 $A_{\infty}$ 拟同构拉回循环配对，可在上同调上保持非退化性，从而确保极小模型上存在非退化配对。