[论文解读] Central charges, symplectic forms, and hypergeometric series in local mirror symmetry

Shinobu Hosono|ArXiv.org|Apr 6, 2004

Molecular spectroscopy and chirality参考文献 29被引用 61

一句话总结

本文在局部镜像对称背景下，将上同调取值的超几何级数确立为BPS态的中央荷公式，通过Kontsevich的同调镜像对称，将其与辛形式及单值性联系起来。研究揭示了在局部Calabi-Yau几何（特别是$χ^{2}/\mathbb{Z}_{\mu+1}$和$\widehat{\mathbb{C}^{3}/G}$）中GKZ超几何系统所具有的整数与辛单值性性质，并将其与K. Saito的原初形式及周期积分相联系。

ABSTRACT

We study a cohomology-valued hypergeometric series which naturally arises in the description of (local) mirror symmetry. We identify it as a central charge formula for BPS states and study its monodromy property from the viewpoint of Kontsevich's homological mirror symmetry. In the case of local mirror symmetry, we will identify a symplectic form, and will conjecture an integral and symplectic monodromy property of a relevant hypergeometric series of Gel'fand-Kapranov-Zelevinski type.

研究动机与目标

• 在同调镜像对称的背景下，将上同调取值的超几何级数解释为BPS态的中央荷公式。
• 建立GKZ超几何系统与奇点理论中K. Saito原初形式之间的联系。
• 研究二维与三维局部Calabi-Yau几何中，局部镜像对称下超几何解的整数与辛单值性性质。
• 为猜想提供证据：上同调取值级数编码了$K(X)$与$H_3(X^\vee,\mathbb{Z})$之间的配对关系。
• 推导并分析局部镜像对称中周期积分的Picard-Fuchs方程，特别是针对$\widehat{\mathbb{C}^2/\mathbb{Z}_{\mu+1}}$与$\widehat{\mathbb{C}^3/G}$。

提出的方法

• 使用经典的Frobenius方法，在大复结构极限附近构造Picard-Fuchs方程的局部解$w_k(x)$。
• 引入一个上同调取值的超几何级数$w(x; J/(2\pi i))$，作为$J/(2\pi i)$的泰勒展开，其中$J$是$H^{1,1}(X_5) \cap H^2(X_5,\mathbb{Z})$的 ample 生成元。
• 通过基变换重新定义，提取出系数级数$w^{(k)}(x)$，揭示其整数与辛单值性性质。
• 通过变量变换与同构$\varphi: N_G \to \mathbb{Z}^3$，将GKZ超几何系统与K. Saito的原初形式系统联系起来。
• 通过因式分解微分算子并消除冗余变量，从GKZ系统推导出二阶Picard-Fuchs方程（A.9）。
• 利用消失循环积分与振荡积分，计算$L_0$与$K_j$上的周期积分，得到超几何函数$_2F_1$。

实验结果

研究问题

• RQ1 如何在局部镜像对称中将上同调取值的超几何级数解释为BPS态的中央荷公式？
• RQ2 GKZ超几何系统与奇点理论中K. Saito的原初形式系统之间存在何种关系？
• RQ3 上同调取值级数的系数超几何级数$w^{(k)}(x)$是否表现出整数与辛单值性性质？
• RQ4 原初形式$\mathcal{U}(a)$的周期积分如何与超几何函数及Picard-Fuchs方程相关联？
• RQ5 GKZ系统的因式分解是否能导出一个能捕捉关键单值性结构的简化Picard-Fuchs方程？

主要发现

• 上同调取值的超几何级数$w(x; J/(2\pi i))$编码了$K(X)$与$H_3(X^\vee,\mathbb{Z})$之间的配对关系，支持猜想2.2。
• 对于$k=0,1,2,3$，系数级数$w^{(k)}(x)$表现出整数与辛单值性，其来源于$H_3(X^\vee,\mathbb{Z})$上的辛整数结构。
• 对于$\widehat{\mathbb{C}^2/\mathbb{Z}_{\mu+1}}$，周期积分给出类型为$_2F_1(\frac{1}{3},\frac{2}{3};2;1+27a)$的超几何函数，并满足二阶Picard-Fuchs方程。
• 在$L_0$上的周期积分为$\frac{2\pi^2}{9\sqrt{3}}(1+27a)\,_{2}F_{1}(\frac{1}{3},\frac{2}{3},2,1+27a)$，在$K_j$上的周期积分为$2\pi^2 i a\,_{2}F_{1}(\frac{1}{3},\frac{2}{3},2,-27a)$。
• Picard-Fuchs方程（A.9）$\{\theta_a(\theta_a-1) + 3a(3\theta_a-2)(3\theta_a-1)\} \Pi_L(a) = 0$通过算子因式分解从GKZ系统导出。
• 所得微分算子的因式分解保持了与扩展GKZ系统相同的结构，尽管与(A.10)相比具有不同的退化性。