[论文解读] Some integrality properties in local mirror symmetry

Jian Zhou|arXiv (Cornell University)|May 18, 2010

Geometric Analysis and Curvature Flows参考文献 8被引用 4

一句话总结

本文利用 p-进分析和 Dwork 引理，建立了局部 Calabi-Yau 几何中开-闭镜像映射、逆镜像映射以及镜像曲线的整性性质。证明了在局部镜像对称中出现的幂级数——特别是编码盘不变量和超势能的级数——具有整系数，从而确认了对 toric Calabi-Yau n 流形的开弦镜像对称中深层的算术结构。

ABSTRACT

We prove some integrality properties of the open-closed mirror maps, inverse open-closed mirror maps and mirror curves of some local Calabi-Yau geometries.

研究动机与目标

• 在局部 Calabi-Yau 几何中建立局部开-闭镜像映射及其逆的整性性质。
• 验证编码盘不变量的超势能函数所产生的幂级数具有整系数。
• 证明在外部 D-膜情形下，由盘不变量导出的镜像曲线方程具有整系数。
• 表明在内部 D-膜情形下，一个相关映射也表现出整性，其几何意义将在未来工作中进一步阐明。
• 将已知的闭弦情形下的整性结果，推广至非紧致 Calabi-Yau 3 流形中的开-闭镜像对称。

提出的方法

• 使用 p-进赋值和数字和函数 $ S_p(n) $ 分析阶乘和多项式系数的 p-进阶。
• 应用 Dwork 引理，将幂级数的整性问题约化为多项式系数的同余性质。
• 通过涉及 $ S_p(a) + S_p(b) $ 的递归剩余计算和不等式，控制求和中的 p-进阶。
• 通过多维围线积分和雅可比行列式，推导生成函数系数的剩余公式。
• 依赖于扩展的 Picard-Fuchs 系统结构，从盘不变量定义超势能。
• 使用超势能的指数形式 $ \exp(-\theta_0 W) $ 和 $ \exp(-( \tilde{\theta}_0 - \t\tilde{\theta}_1)\tilde{W}) $ 作为镜像曲线方程的生成函数。

实验结果

研究问题

• RQ1 尽管局部开-闭镜像映射及其逆源于复几何，其系数是否属于 $ \mathbb{Z} $？
• RQ2 在外部 D-膜情形下，由盘不变量导出的镜像曲线方程是否具有整系数？
• RQ3 在内部 D-膜情形下，经微分算子 $ \tilde{\theta}_0 - \tilde{\theta}_1 $ 作用后，超势能函数是否产生整系数的幂级数？
• RQ4 能否通过 Dwork 引理，将镜像映射的整性约化为多项式系数的同余性质？
• RQ5 幂级数 $ \exp(-( \tilde{\theta}_0 - \t\tilde{\theta}_1)\tilde{W}) $ 的几何意义是什么？为何其具有整系数？

主要发现

• 通过 p-进分析，证明了局部开-闭镜像映射及其逆具有 $ \mathbb{Z} $ 中系数的幂级数展开。
• 对于外部 D-膜构型，超势能 $ W $ 满足 $ \exp(-\theta_0 W) \in \mathbb{Z}[[z_0, \dots, z_N]] $，从而确认了镜像曲线方程的整性。
• 对于内部 D-膜构型，有 $ \exp(-( \tilde{\theta}_0 - \t\tilde{\theta}_1)\tilde{W}) \in \mathbb{Z}[[\tilde{z}_0, \dots, \tilde{z}_N]] $，确立了相关生成函数的整性。
• 镜像映射系数的整性被约化为多项式系数的同余性质，通过 Dwork 引理和 p-进不等式得以验证。
• 本文证明了 $ \operatorname{ord}_p(n!) = \frac{n - S_p(n)}{p-1} $，并利用该式推导出阶乘和多项式系数的 p-进赋值的界。
• 建立了关键不等式 $ n - S_p(n) \geq (p-1)\operatorname{ord}_p(n) $，并用于控制多项式系数分母中的 p-进阶。