[论文解读] Modular-type functions attached to mirror quintic Calabi-Yau varieties

Hossein Movasati|arXiv (Cornell University)|Nov 2, 2011

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

一句话总结

本文为镜像五次型卡拉比-丘三流形构建了一套新颖的模形式类型函数理论，从全纯3-形式的周期中导出七个全纯函数 $ t_i $，这些函数满足类似于拉马努金方程的微分系统。关键结果是每个 $ t_i $ 均为权为 $ d_i $ 的模形式类型函数，其表达式为 $ q = e^{2\pi i \tau_0} $ 的幂级数，且系数由一个源自常微分方程组的递推关系唯一确定。

ABSTRACT

In this article we study a differential algebra of modular-type functions attached to the periods of a one parameter family of Calabi-Yau varieties which is mirror dual to the universal family of quintic threefolds. Such an algebra is generated by seven functions satisfying functional and differential equations in parallel to the modular functional equations of classical Eisenstein series and the Ramanujan differential equation. Our result is the first example of automorphic-type functions attached to varieties whose period domain is not Hermitian symmetric. It is a reformulation and realization of a problem of Griffiths around seventies on the existence of automorphic functions for the moduli of polarized Hodge structures.

研究动机与目标

• 实现 P. 格里菲斯在1970年代关于非埃尔米特对称周期域上自守函数的纲领。
• 为不与埃尔米特对称域相关的镜像五次型卡拉比-丘三流形构建模形式类型函数的理论。
• 建立一种与爱森斯坦级数的拉马努金微分方程类似的、由周期导出的函数的微分系统。
• 证明五次型三流形的 Yukawa 耦合与 Gromov-Witten 不变量可在此类模形式框架中编码。

提出的方法

• 求解源自镜像五次型族的皮卡德-富克斯方程的四阶Fuchs型微分方程，其在 $ z=0 $ 和 $ z=1 $ 处具有正则奇点。
• 通过引入变量变换 $ \theta = z\partial_z $、$ \psi_i(z) $ 以及超几何函数的 $ \epsilon $-形变，构造新的解基。
• 将函数 $ t_i $ 定义为周期 $ x_{ij} $ 的迭代导数的组合，其中 $ t_0 = x_{21} $，且 $ \tau_0 = x_{11}/x_{21} $，$ q = e^{2\pi i \tau_0} $。
• 推导出常微分方程组 $ \text{Ra} $，其中每个 $ \dot{t}_i = \partial t_i / \partial \tau_0 $ 满足次数为 $ d_i + 1 $ 的齐次有理关系。
• 将每个 $ t_i $ 表示为幂级数 $ h_i(q) = \sum h_{i,n} q^n $，初始值为 $ h_{0,0} = 1/5 $，$ h_{0,1} = 24 $，$ h_{4,0} = 0 $，且 $ h_{5,0} \neq 0 $。
• 利用微分系统 $ \text{Ra} $，通过线性系统 $ (A_0 + 5nI)T_n^\top = \text{关于 } T_0, \dots, T_{n-1} \text{ 的函数} $ 递归计算所有系数 $ h_{i,n} $，其中 $ A_0 $ 在 $ T_0 $ 处求值。

实验结果

研究问题

• RQ1 能否为那些霍奇结构不构成埃尔米特对称域的卡拉比-丘流形构造自守形式类型的函数？
• RQ2 镜像五次型三流形的周期是否满足类似于模形式拉马努金方程的微分系统？
• RQ3 在非埃尔米特设定下，Yukawa 耦合与 Gromov-Witten 不变量是否可通过周期积分实现模形式参数化？
• RQ4 周期函数的 $ q $-展开系数是否可由源自微分方程的递推系统唯一确定？
• RQ5 函数 $ t_i $ 的精确权与模形式类型为何？它们与单值性及 Gauss-Manin 联络有何关系？

主要发现

• 函数 $ t_i $ 在 $ q=0 $ 附近全纯，且满足 $ t_i = (2\pi i / 5)^{d_i} h_i(q) $，其中 $ h_i(q) $ 是 $ q = e^{2\pi i \tau_0} $ 的幂级数，且对 $ i=0,\dots,4 $ 有 $ d_i = 3(i+1) $，$ d_5=11 $，$ d_6=8 $。
• 系统 $ \text{Ra} $ 是拉马努金微分方程的推广，其右端为次数分别为 $ 4,7,10,13,16,12,9 $ 的齐次有理函数，与 $ \dot{*} = 5q \partial / \partial q $ 导致的次数增加一致。
• 初始系数为 $ T_0 = [1/5, -25, -35, -6, 0, -1, -15] $ 和 $ T_1 = [24, -2250, -5350, -355, 1, 1875, 4675] $，由微分系统与初始条件计算得出。
• 对 $ n \geq 2 $，$ T_n $ 的递推关系可逆，因为 $ A_0 + 5nI $ 可逆，从而可由 $ T_0 $ 和 $ T_1 $ 唯一确定所有 $ h_{i,n} $。
• 函数 $ t_i $ 可表示为周期积分：$ x_{11} = \int_{\delta_1} \eta $，$ x_{21} = \int_{\delta_2} \eta $，等等，其中 $ \delta_i \in H_3(W_{1,z}, \mathbb{Z}) $，且 $ \eta $ 为全纯3-形式。
• $ t_i $ 的 $ q $-展开完全由微分系统 $ \text{Ra} $ 确定，其中 $ \dot{t}_i $ 通过 $ \dot{*} = 5q \partial / \partial q $ 计算，系数通过匹配 $ q $ 的幂次获得。