[论文解读] Picard-Fuchs Equations for Relative Periods and Abel-Jacobi Map for Calabi-Yau Hypersurfaces

Si Li, Bong H. Lian+1 more|ArXiv.org|Oct 22, 2009

Algebraic Geometry and Number Theory参考文献 22被引用 10

一句话总结

本文为开弦镜像对称中控制阿贝尔-雅可比映射的非齐次Picard-Fuchs方程，建立了一个统一的代数框架。通过引入双重留数公式，并将GKZ超几何系统推广至相对上同调，证明了toric B-brane的相对周期满足增强型GKZ系统，从而提供了完整的解空间，并厘清了物理与数学方法在开弦振幅中的联系。

ABSTRACT

We study the variation of relative cohomology for a pair consisting of a smooth projective hypersurface and an algebraic subvariety in it. We construct an inhomogeneous Picard-Fuchs equation by applying a Picard-Fuchs operator to the holomorphic top form on a toric Calabi-Yau hypersurface, and deriving a general formula for the $d$-exact form on one side of the equation. We also derive a double residue formula, giving a purely algebraic way to compute the inhomogeneous Picard-Fuchs equations for Abel-Jacobi map, which has played an important role in recent study of D-branes [25]. Using the variation formalism, we prove that the relative periods of toric B-branes on a toric Calabi-Yau hypersurface satisfy the enhanced GKZ-hypergeometric system proposed in physics literature [6], and discuss the relations between the works [25] [21] [6] in recent study of open string mirror symmetry. We also give the general solutions to the enhanced hypergeometric system.

研究动机与目标

• 建立一种纯粹代数的方法，用于计算控制卡拉比-丘超曲面阿贝尔-雅可比映射的非齐次Picard-Fuchs方程中非齐次项。
• 厘清物理文献中提出的用于开弦周期的增强型GKZ超几何系统背后的数学结构。
• 统一并验证三种不同的阿贝尔-雅可比映射方法：Griffith-Dwork约化、非壳镜像对称以及增强多面体法。
• 为增强型GKZ系统提出一个通用解公式，通过除数乘法过程识别出对应于物理相对周期的解。
• 证明相对周期的临界值即为阿贝尔-雅可比映射，从而在toric B-brane的背景下证实了一个物理猜想。

提出的方法

• 利用配对 $(X_z, Y_{z,u})$ 的相对上同调的留数形式，推导出非齐次Picard-Fuchs方程中 $d$-恰当形式 $d\beta_z$ 的一般公式。
• 提出双重留数公式，以代数方式计算非齐次项，避免了先前工作中依赖精细局部解析积分的方法。
• 将留数形式应用于重新解释文献[21]中使用的相对Griffith-Dwork约化，从而在相对周期的语境下解释对数除数出现的原因。
• 构建toric B-brane几何中增强多面体法的统一描述，证明相对周期满足增强型GKZ系统。
• 提出增强型GKZ系统的通用解公式，其形式仿照闭弦情形，并通过乘以卡拉比-丘除数 $c_1(\mathbb{P}_{\hat{\Sigma}})$ 来识别物理解。
• 使用爆破方法解决镜像五次超曲面例子中非横截相交的问题，使得双重留数公式可应用于阿贝尔-雅可比映射定义的临界位置。

实验结果

研究问题

• RQ1 如何在不依赖局部解析积分的前提下，代数化地计算阿贝尔-雅可比映射的非齐次Picard-Fuchs方程中的非齐次项？
• RQ2 toric B-brane的相对周期与物理文献中提出的增强型GKZ超几何系统之间存在何种精确的数学关系？
• RQ3 在统一的上同调框架下，三种主要方法——Griffith-Dwork约化、非壳镜像对称与增强多面体法——之间有何关联？
• RQ4 增强型GKZ系统的哪些解对应于物理开弦周期？如何从完整解空间中提取这些解？
• RQ5 阿贝尔-雅可比映射是否可作为相对周期在除数形变下的临界值被恢复？这与域壁张力的物理解释是否一致？

主要发现

• 推导出一个双重留数公式，可完全代数化地计算非齐次Picard-Fuchs方程中的非齐次项，消除了对精细局部解析计算的依赖。
• 在toric卡拉比-丘超曲面上，toric B-brane的相对周期满足增强型GKZ超几何系统，证实了物理文献中的一个猜想。
• 增强型GKZ系统的解空间为9维，物理相对周期对应于通过将形变Gamma级数乘以卡拉比-丘除数 $c_1(\mathbb{P}_{\hat{\Sigma}})$ 得到的7维子空间。
• 解 $\omega_0(z_1,z_2) = \sum_{m \geq 0} \frac{(-1)^m (5m)!}{(m!)^5} (z_1 z_2)^m$ 被识别为大半径极限下正规的闭弦周期。
• 包含 $\ln z_2$ 项的解 $\omega_2(z_1,z_2)$ 源于相对周期，对应于镜像五次超曲面中的开弦贡献。
• 证明阿贝尔-雅可比映射是相对周期在除数形变下的临界值，从而确认其在B模型中作为域壁张力的物理解释。