[论文解读] On N=1 Mirror Symmetry for Open Type II Strings

W. Lerche, Peter Mayr|ArXiv.org|Nov 13, 2001

Black Holes and Theoretical Physics参考文献 36被引用 63

一句话总结

本文在非紧致卡拉比-丘流形上带有D膜的N=1镜像对称性开放型II类弦理论中，建立了微分系统——广义皮卡德-富克斯方程。通过不依赖开-闭对偶性的B模型技术，利用全纯链积分推导出平坦坐标下的镜像映射以及精确的盘瞬子修正超势能。其关键贡献在于提出了一套系统化的N=1特殊几何框架，包含多个全纯函数，该框架通过toric几何和显式瞬子数计算得到验证。

ABSTRACT

We study the open string extension of the mirror map for N=1 supersymmetric type II vacua with D-branes on non-compact Calabi-Yau manifolds. Its definition is given in terms of a system of differential equations that annihilate certain period and chain integrals. The solutions describe the flat coordinates on the N=1 parameter space, and the exact disc instanton corrected superpotential on the D-brane world-volume. A gauged linear sigma model for the combined open-closed string system is also given. It allows to use methods of toric geometry to describe D-brane phase transitions and the N=1 Kähler cone. Applications to a variety of D-brane geometries are described in some detail.

研究动机与目标

• 将N=1超对称II类紧化中的闭弦镜像对称性推广至开弦情形，包含D膜。
• 在不假设存在闭弦对偶的前提下，于N=1模空间上定义平坦坐标与超势能的一致微分系统。
• 通过使用多个全纯函数而非单一预势能，将特殊几何概念推广至N=1理论。
• 构建A模型的规范线性sigma模型，利用toric几何捕捉D膜相变及N=1凯勒锥。
• 显式计算各种D膜构型的盘瞬子数，为镜像映射提供定量检验。

提出的方法

• 从B模型推导广义皮卡德-富克斯系统，其中微分算子使与全纯3-形式及D膜圈链相关的周期积分与链积分为零。
• 通过在边界为C−C*的3-链Γ上对Ω(z)进行积分∫Γ Ω(z)来定义超势能，其中z0为开弦模。
• 对链积分应用微分算子D，得到与dη(z)成正比的边界项，从而导出广义PF系统。
• 为A模型构建规范线性sigma模型，以描述镜像D膜几何并研究N=1模空间中的相变。
• 利用toric几何定义凯勒锥，并分析N=1设置下的经典真空与相变。
• 显式计算F2及其他非紧致CY 3-流形上D膜的盘瞬子数N_{n1,n2,n0}，并推导出闭式表达式。

实验结果

研究问题

• RQ1 如何在不依赖开-闭对偶性的前提下，独立定义N=1开弦紧化下的镜像映射？
• RQ2 在非紧致卡拉比-丘流形上存在D膜时，何种微分系统控制平坦坐标与超势能？
• RQ3 N=1特殊几何与N=2特殊几何在全纯数据与几何结构方面有何不同？
• RQ4 Toric几何在描述N=1模空间中的凯勒锥与相变中起何种作用？
• RQ5 对于终止于特定圈（如F2的内边缘）的D膜，其精确盘瞬子数是多少？

主要发现

• 从B模型推导出的广义皮卡德-富克斯系统可完全确定非紧致卡拉比-丘流形上D膜的平坦坐标与精确超势能。
• 超势能表达为∫Γ Ω(z)，其中Γ为边界为C−C*的3-链；对这一积分应用微分算子D后产生非零边界项，从而导出方程组。
• 对于位于F2内边缘的D膜，盘瞬子数N_{n1,n2,n0}被显式计算，其中N_{1,1,0} = -1且N_{1,0,0} = -1。
• 推导出N_{n1,1,n0}的闭式表达式，显示其对n0与n1的依赖关系，即当0 ≤ n0 < n1时，有N_{n1,1,n0} = -n0 - 1。
• 当n0 > 4时，瞬子数N_{4,2,n0}的表达式为(1/4)(57 - 2n0 + n0²) - (1/4)ε(2,n0)，为镜像映射提供了非平凡检验。
• 规范线性sigma模型的构建使得能够利用toric技巧系统研究D膜相变与N=1凯勒锥。