[论文解读] Open string mirror maps from Picard- Fuchs equations on relative cohomology

Brian Forbes|ArXiv.org|Jul 17, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 8

一句话总结

本文提出了一种数学方法，利用相对上同调上的Picard-Fuchs方程，计算非紧致Calabi-Yau三fold的开弦镜像映射和超势能。该方法扩展了闭弦镜像对称技术，推导出局部$\mathbb{P}^2$几何中的开弦镜像映射和超势能，结果与Lerche和Mayr的物理计算一致。然而，研究也表明，该方法直接推广到紧致情形存在不一致，原因在于混合Hodge结构和单值性行为的细微差别。

ABSTRACT

A method for computing the open string mirror map and superpotential for noncompact Calabi-Yaus, following the physical computations of Lerche and Mayr, is presented. It is also shown that the obvious extension of these techniques to the compact case is not consistent. As an example, the local CP^2 case is worked out in 2 ways.

研究动机与目标

• 开发一种严谨的数学框架，利用相对上同调和Picard-Fuchs方程计算开弦镜像映射与超势能。
• 将Morrison [2] 的闭弦镜像对称方法扩展至包含拉格朗日子流形的开弦情形。
• 通过重现局部$\mathbb{P}^2$几何中的已知结果，验证该方法的一致性。
• 研究为何该方法的朴素推广至紧致Calabi-Yau流形会失败，识别出Hodge理论结构中的根本不一致。
• 为Lerche、Mayr和Warner在物理计算中使用的超势能与镜像映射提供纯数学推导。

提出的方法

• 使用Calabi-Yau三fold $X$ 与全纯曲线 $Y$ 的相对上同调 $H^n(X,Y)$ 来定义开弦模空间。
• 在 $H^n(X,Y)$ 上应用混合Hodge结构，其中权过滤 $W_{n-1} = H^n(X,Y)$，$W_{n-2} = H^{n-1}(Y)$，Hodge过滤 $F^p = \bigoplus_{a\geq p} H^{a,n-a}(X,Y)$。
• 通过格关系 $\Lambda \subset \mathbb{Z}^6$ 生成的 $l^1 = (-3,1,1,1,0,0)$ 和 $l^2 = (-1,1,0,0,1,-1)$，从GKZ系统推导Picard-Fuchs算子。
• 将微分算子 $\mathcal{L}_1 = \partial_{a_1}\partial_{a_2}\partial_{a_3} - \partial_{a_0}^3$，$\mathcal{L}_2 = \partial_{a_1}\partial_{b_0} - \partial_{a_0}\partial_{b_1}$ 用模空间坐标 $z_1, z_2$ 表示为 $\theta$-算子。
• 利用双重对数解法构造超势能 $W$ 作为Picard-Fuchs系统的解。
• 通过变量重定义和预势能的积分，将推导出的超势能与[4]和[16]的结果匹配，验证其一致性。

实验结果

研究问题

• RQ1 如何从相对上同调上的Picard-Fuchs方程系统地推导出开弦镜像映射？
• RQ2 在物理计算中观察到的Picard-Fuchs算子 $\mathcal{D}_2$ 中 $\theta_2$ 因子的数学起源是什么？
• RQ3 为何将开弦镜像对称技术的标准推广应用于紧致Calabi-Yau流形会失败？
• RQ4 能否仅从Hodge理论与GKZ数据推导出局部$\mathbb{P}^2$几何的超势能？
• RQ5 与Lerche、Mayr和Warner的物理预测相比，结果在定量上如何？

主要发现

• 该方法成功利用相对上同调与Picard-Fuchs方程，计算出非紧致局部$\mathbb{P}^2$几何的开弦镜像映射与超势能。
• 推导出的超势能 $W_{K_{\mathbb{P}^2}} = \sum_{n_1\geq 0,n_2\geq 1}\frac{(-1)^{n_1}(3n_1+n_2-1)!}{n_2(n_1+n_2)!(n_1!)^2}z_1^{n_1}z_2^{n_2}$ 在变量重定义后，与[4]和[16]的物理结果一致。
• $\mathcal{D}_2$ 中 $\theta_2$ 因子的出现可通过相对上同调的Hodge结构与单值性行为加以解释，解决了物理推导中先前存在的模糊性。
• 该方法向紧致Calabi-Yau流形的朴素推广因在极大无单点处混合Hodge结构与单值性行为的不一致而失败。
• 论文指出 $l^2$ 向量中符号差异对应于A模型中不同拉格朗日子流形相位，解释了 $z_2$-依赖性中的符号差异。
• 超势能被确认为Picard-Fuchs系统 $\{\mathcal{D}_1, \mathcal{D}_2\}$ 的解，从而验证了整个构造的正确性。