[论文解读] Multivariate $p$-adic formal congruences and integrality of Taylor coefficients of mirror maps

Christian Krattenthaler, Tanguy Rivoal|arXiv (Cornell University)|Apr 18, 2008

advanced mathematical theories参考文献 20被引用 14

一句话总结

本文将Dwork的单变量$p$-进形式同余理论推广至多变量情形，建立了一个用于证明多变量镜像映射泰勒系数整性的框架。研究证明了当$F$与$G + \log z_i F$满足特定GKZ系统时，$q(\mathbf{z}) = z_i \exp(G(\mathbf{z})/F(\mathbf{z}))$的系数为整数，从而确认了多个变量下众多Calabi–Yau镜像映射的整性，并验证了Batyrev与van Straten的猜想。

ABSTRACT

We generalise Dwork's theory of $p$-adic formal congruences from the univariate to a multi-variate setting. We apply our results to prove integrality assertions on the Taylor coefficients of (multi-variable) mirror maps. More precisely, with $\mathbf z=(z_1,z_2,...,z_d)$, we show that the Taylor coefficients of the multi-variable series $q(\mathbf z)=z_i\exp(G(\mathbf z)/F(\mathbf z))$ are integers, where $F(\mathbf z)$ and $G(\mathbf z)+\log(z_i) F(\mathbf z)$, $i=1,2,...,d$, are specific solutions of certain GKZ systems. This result implies the integrality of the Taylor coefficients of numerous families of multi-variable mirror maps of Calabi-Yau complete intersections in weighted projective spaces, as well as of many one-variable mirror maps in the "Tables of Calabi-Yau equations" [arXiv:math/0507430] of Almkvist, van Enckevort, van Straten and Zudilin. In particular, our results prove a conjecture of Batyrev and van Straten in [Comm. Math. Phys. 168 (1995), 493-533] on the integrality of the Taylor coefficients of canonical coordinates for a large family of such coordinates in several variables.

研究动机与目标

• 将Dwork的单变量$p$-进形式同余理论推广至多变量情形，以分析微分方程解的算术性质。
• 为加权射影空间中Calabi–Yau完全交产生的多变量镜像映射的泰勒系数建立整性判别准则。
• 证明Batyrev与van Straten关于多变量下典范坐标的整性猜想。
• 发展Dwork理论中关键工具的多变量类比，包括同余判别准则、调和数引理及求和重排技巧。

提出的方法

• 发展Dwork形式同余定理的多变量推广，提供幂级数系数$p$-进整性的判别准则。
• 引入Dieudonné–Dwork准则、调和数约化及求和重排引理的多变量类比，用于$p$-进分析。
• 将扩展的理论应用于GKZ系统解的情形，其中$F(\mathbf{z})$与$G(\mathbf{z}) + \log z_i F(\mathbf{z})$满足特定的超几何微分方程。
• 利用多项式系数与调和和的$p$-进赋值估计，控制$q(\mathbf{z}) = z_i \exp(G(\mathbf{z})/F(\mathbf{z}))$中系数的整性。
• 通过涉及$\mathbf{u} \mapsto \mathbf{u} + \mathbf{n} p^s$的递归$p$-进同余关系，基于$s$的归纳法建立整性。
• 利用广义二项式系数$B_{\mathbf{N}}(\mathbf{u})$的结构，界定$p$-进赋值并证明其属于$\mathbb{Z}_p$。

实验结果

研究问题

• RQ1 Dwork的单变量$p$-进形式同余理论能否推广至多变量情形，以分析泰勒系数的整性？
• RQ2 加权射影空间中Calabi–Yau完全交相关的多变量镜像映射的泰勒系数是否保持整性？
• RQ3 Batyrev与van Straten关于多变量下典范坐标的整性猜想是否成立？
• RQ4 关键$p$-进引理（如调和数约化与求和重排）的多变量类比能否严格构建并应用？
• RQ5 当$F$与$G + \log z_i F$满足GKZ系统时，$q(\mathbf{z}) = z_i \exp(G(\mathbf{z})/F(\mathbf{z}))$的泰勒系数在何种条件下为整数？

主要发现

• 本文建立了多变量$p$-进形式同余定理，推广了Dwork的单变量结果，使多变量超几何级数的$p$-进分析成为可能。
• 证明了当$F$与$G + \log z_i F$满足特定GKZ系统时，$q(\mathbf{z}) = z_i \exp(G(\mathbf{z})/F(\mathbf{z}))$的泰勒系数为整数。
• 该整性结果适用于加权射影空间中Calabi–Yau完全交的多变量镜像映射的广泛类。
• 该框架确认了Almkvist等人《Calabi–Yau方程表》中列出的所有单变量镜像映射的泰勒系数整性。
• 该工作验证了Batyrev与van Straten关于多变量下典范坐标的整性猜想，适用于此类坐标的庞大族。
• 作者推导了关键$p$-进引理的多变量类比，包括一个新的调和数约化引理与一个求和重排引理，二者对整性证明至关重要。