[论文解读] D-Brane Superpotentials in Calabi-Yau Orientifolds

Duiliu-Emanuel Diaconescu, Alberto García-Raboso+2 more|arXiv (Cornell University)|Jun 20, 2006

Black Holes and Theoretical Physics参考文献 32被引用 7

一句话总结

本文通过在导出范畴框架内实现对称化投影，发展了一套系统方法，用于计算卡拉比-丘对称化流形中树图D-膜超势能。研究确立了对称化模型中的超势能源于在不变的唯象配置上评估未投影理论的超势能，其底层代数结构由 $L_\infty$-代数而非 $A_\infty$-结构支配，为对称化紧化中的超势能计算提供了通用方法。

ABSTRACT

We develop computational tools for the tree-level superpotential of B-branes in Calabi-Yau orientifolds. Our method is based on a systematic implementation of the orientifold projection in the geometric approach of Aspinwall and Katz. In the process we lay down some ground rules for orientifold projections in the derived category.

研究动机与目标

• 为卡拉比-丘对称化流形中B-膜的树图超势能开发计算框架。
• 在凝聚层导出范畴中系统地实现对称化投影。
• 阐明对称化模型中形变问题的代数结构，表明 $L_\infty$-代数是比 $A_\infty$-代数更自然的框架。
• 提供通用计算方案：对称化流形中的超势能通过将未投影超势能限制到不变的唯象场配置上获得。
• 通过在 $O5$ 和 $O3/O7$ 模型中对受阻曲线的显式计算，演示该方法。

提出的方法

• 使用 Dolbeault 和 $\check{\mathrm{C}}$ ech 上链复形来计算未投影理论中的 $A_\infty$-结构，处理非唯象的开弦场。
• 通过识别在对合下不变的对象与态射，将对称化投影应用于导出范畴。
• 引入上同调移位与扭曲复结构，以代数方式建模对称化投影。
• 依赖格罗滕迪克对偶性来计算扭结层的导出对偶，特别是卡拉比-丘三流形中曲线的情形。
• 通过在不变配置上求值更高阶的 $A_\infty$ 乘积 $\mathfrak{m}_3$ 和 $\mathfrak{m}_2$ 来构建超势能。
• 将超势能导出为场乘积的迹之和，符号由曲线的定向与相交结构决定。

实验结果

研究问题

• RQ1 如何在卡拉比-丘流形上D-膜的凝聚层导出范畴中一致地实现对称化投影？
• RQ2 对称化模型中形变问题的正确代数结构是 $A_\infty$ 还是 $L_\infty$？
• RQ3 对称化紧化中的树图超势能与母未投影理论的超势能有何关系？
• RQ4 如何精确计算在对称化中缠绕受阻全纯曲线的D-膜的超势能？
• RQ5 符号约定与相交数如何影响 $O5$ 和 $O3/O7$ 模型中的超势能？

主要发现

• 对称化模型中的超势能通过将未投影卡拉比-丘理论的超势能限制到在对称化对合下不变的唯象配置上获得。
• 由于投影的存在，对称化模型中形变理论的正确代数框架是 $L_\infty$-代数，而非 $A_\infty$-代数。
• 在 $O5$ 模型中，对于受阻的 $(0,-2)$ 曲线，超势能包含如 $\mathrm{Tr}(C^1 A^0 B^1 A^1 - C^1 A^1 B^1 A^0 + \cdots)$ 的项，符号由相交数据决定。
• 在局部奇点 $O3/O7$ 模型中，超势能包含如 $\mathrm{Tr}(C^1 A^0 B^1 A^1 - C^1 A^1 B^1 A^0 + C^2 A^0 B^1 A^2 - C^2 A^2 B^1 A^0 + \cdots)$ 的项，反映了 $\mathbb{Z}_2$-扭曲结构。
• 计算依赖于格罗滕迪克对偶性来确定扭结层的导出对偶，得到 $\mathbf{R}\!\operatorname{\Scr{H}\!\!\textit{om}}_X(i_*V,\mathcal{O}_X) \cong i_* (V^\vee \otimes K_E)[-3]$，其中 $E$ 是卡拉比-丘三流形中的一条曲线。
• 该方法成功计算了缠绕受阻有理曲线的D-膜的超势能，为对称化紧化中的模型构建提供了可推广的框架。