[论文解读] Differential Rings from Special Kähler Geometry

Jie Zhou|arXiv (Cornell University)|Oct 14, 2013

Algebraic Geometry and Number Theory参考文献 55被引用 11

一句话总结

本文从单参数 Calabi-Yau 三fold 家族的形变空间中，基于特殊凯勒几何构造了三个分级微分环——$τ$，$τ$，和 $τ$，其结构类似于模形式、拟模形式与近乎全纯模形式的环。关键结果是：拓扑弦的划分函数（即满足全纯异常方程的解）被证明为权为零的近乎全纯模形式，且其在各亏格下均有显式表达式，以环的生成元表示。

ABSTRACT

We study triples of graded rings defined over the deformation spaces for certain one-parameter families of Calabi-Yau threefolds. These rings are analogues of the rings of modular forms, quasi-modular forms and almost-holomorphic modular forms. We also discuss some of their applications in solving the holomorphic anomaly equations.

研究动机与目标

• 通过源自特殊凯勒几何的微分环，为拓扑弦理论中的全纯异常方程建立数学框架。
• 将模形式、拟模形式与近乎全纯模形式的环结构推广至 Calabi-Yau 三fold 家族。
• 通过将划分函数表示为近乎全纯模形式环的生成元的多项式，提供求解全息异常方程的系统性方法。
• 通过弗里克对合，将模曲线在不同尖点的正则性条件与拓扑弦振幅的全纯极限联系起来。
• 证明对于特定非紧致 Calabi-Yau 三fold，划分函数为权为零的近乎全纯模形式，方法为多项式递推与模形式理论。

提出的方法

• 利用全纯极限下的特殊凯勒度量和 Picard-Fuchs 方程的周期，定义形变空间 $τ$ 上的规范坐标 $t$。
• 将环 $τ$ 构造为全纯模形式类型函数的环，$τ$ 作为周期导数生成的拟模形式环，$τ$ 作为近乎全纯模形式的完备化。
• 利用弗里克对合，将不同尖点处的正则性条件转化为对拟模形式 $q_{\tau}$-展开式的约束。
• 应用多项式递推技术，递归求解全纯异常方程，边界条件通过尖点处的正则性强制实现。
• 将拓扑弦划分函数 $F_g$ 表示为 $q_{\tau}$ 的生成函数，其系数与 Gromov-Witten 不变量 $N^{\textrm{hyp}}_{g,d}$ 相关。
• 利用 $\eta$-函数与埃斯泰因森级数恒等式，推导 $C_{ttt}$，$\partial_t F^1$ 及更高 $F_g$ 关于模形式与 $q_{\tau}$-级数的显式展开式。

实验结果

研究问题

• RQ1 如何利用特殊凯勒几何，将模形式的环结构推广至 Calabi-Yau 三fold 家族？
• RQ2 能否通过识别适当的微分环，在模形式理论框架内完全求解全纯异常方程？
• RQ3 弗里克对合在将不同尖点处的正则性条件转化为拟模形式 $q_{\tau}$-展开式约束方面起什么作用？
• RQ4 Gromov-Witten 不变量 $N^{\textrm{hyp}}_{g,d}$ 如何从划分函数的 $q_{\tau}$-展开式中导出？
• RQ5 拓扑弦划分函数在多大程度上可表示为权为零的近乎全纯模形式？

主要发现

• 对于某些单参数 Calabi-Yau 三fold 家族，其归一化拓扑弦划分函数被证明为权为零的近乎全纯模形式，且在各亏格下均有显式解。
• 对于局部 $τ$ Calabi-Yau，有 $C_{ttt} = -\frac{1}{3} \frac{\eta(3\tau)^3}{\eta(\tau)^9}$，且 $\partial_t F^1 = -\frac{1}{48} \left(1 + 3q_\tau - 18q_\tau^2 - \cdots \right)$，其系数与已知的 Gromov-Witten 不变量一致。
• 生成函数 $\partial_t F^1 = \frac{1}{12} q_\tau$ 暗示 $N^{\textrm{hyp}}_{1,1} = \frac{1}{12}$ 且对 $d \geq 2$ 有 $N^{\textrm{hyp}}_{1,d} = 0$。
• 对于亏格 $g \geq 2$，不变量 $N^{\textrm{hyp}}_{g,d}$ 由 $\frac{|B_{2g}|}{2g(2g-2)!} \mathrm{Li}_{3-2g}(q_\tau(1+q_\tau)^{-1})$ 给出，其在 $q_\tau$ 中有显式级数展开。
• 规范坐标 $t$ 表示为 $t = \int \frac{dq_\tau}{q_\tau} \frac{\eta(\tau)^9}{\eta(3\tau)^3}$，且 $q_t = q_\tau - 9q_\tau^2 + 54q_\tau^3 - \cdots$，与数值实验结果一致。
• 由 Yamaguchi-Yau 构造的环 $τ$ 被实现为近乎全纯模形式的环，且完整的三元组 $ (\mathcal{R}, \widetilde{\mathcal{R}}, \widehat{\mathcal{R}}) $ 为求解全纯异常方程提供了完整的代数框架。