[論文レビュー] 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の1変数$p$-進形式合同式理論を多変数設定に拡張し、重み付き射影空間内のCalabi–Yau完備交差の多変数鏡像写像のテイラー係数の整数性を示す枠組みを確立する。$ 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の1変数$p$-進形式合同式理論を多変数設定に一般化すること。
• 重み付き射影空間内のCalabi–Yau完備交差から生じる多変数鏡像写像のテイラー係数の整数性基準を確立すること。
• Batyrevとvan Stratenが提起した、複数変数における標準座標の整数性に関する予想を証明すること。
• Dwork理論の主要な道具の多変数版を開発すること、特に合同式基準、調和数補題、和の再配置技術を含む。

提案手法

• Dworkの形式的合同定理の多変数拡張を開発し、べき級数係数の$p$-進整数性を判定する基準を提供する。
• Dieudonné–Dwork基準、調和数の簡約、和の再配置補題の多変数版を、$p$-進解析に適した形で導入する。
• 特定の超幾何微分方程式を満たす$ F(\mathbf{z}) $ と $ G(\mathbf{z}) + \log z_i F(\mathbf{z}) $ に対するGKZ系の解に、拡張された理論を適用する。
• $p$-進評価を用いて多項係数と調和和の$ 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の1変数$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})) $ が整数テイラー係数を持つための条件は何か？

主な発見

• 本論文は、Dworkの1変数結果を一般化する多変数$p$-進形式的合同定理を確立し、多変数超幾何級数の$p$-進解析を可能にする。
• 特定のGKZ系を満たす$ F $ と $ G + \log z_i F $ のもとで、$ q(\mathbf{z}) = z_i \exp(G(\mathbf{z})/F(\mathbf{z})) $ のテイラー係数が整数であることを証明した。
• この整数性の結果は、重み付き射影空間内のCalabi–Yau完備交差に対する広範なクラスの多変数鏡像写像に適用可能である。
• 本研究の枠組みは、Almkvistたちによる「Calabi–Yau方程式の表」に掲載されたすべての1変数鏡像写像のテイラー係数の整数性を確認する。
• Batyrevとvan Stratenの予想、特に複数変数における標準座標の整数性に関する予想は、広範な族に対して正当化された。
• 著者たちは、新たな調和数簡約補題と和の再配置補題を含む、主要な$p$-進補題の多変数版を導出し、整数性証明に不可欠な役割を果たした。