[論文レビュー] On Dwork's p-adic formal congruences theorem and hypergeometric mirror maps

Éric Delaygue, Tanguy Rivoal+1 more|arXiv (Cornell University)|Sep 23, 2013

advanced mathematical theories参考文献 17被引用数 5

ひとこと要約

本稿は、Dworkのp進形式合同式定理を一般化し、すべての素数pに対して有理数パラメータをもつ一般化超幾何級数のp進合同式を確立する。グローバルに有界な超幾何級数のEisenstein定数の明示的公式を提供し、ミラーマップのテイラー係数に関する新しい整数性結果を証明する。本研究は、既存の文献における一変数の整数性結果を統合・拡張する。

ABSTRACT

Using Dwork's theory, we prove a broad generalisation of his famous p-adic formal congruences theorem. This enables us to prove certain p-adic congruences for the generalized hypergeometric series with rational parameters; in particular, they hold for any prime number p and not only for almost all primes. Along the way, using Christol's functions, we provide an explicit formula for the "Eisenstein constant" of any globally bounded hypergeometric series with rational parameters. As an application of these results, we obtain an arithmetic statement of a new type concerning the integrality of Taylor coefficients of the associated mirror maps. It essentially contains all the similar univariate integrality results in the litterature.

研究の動機と目的

• 有理数パラメータをもつ一般化超幾何級数に対して、Dworkのp進形式合同式定理を「ほとんどすべての素数p」に限らない、すべての素数pにまで拡張すること。
• Christolの関数を用いて、有理数パラメータをもつグローバルに有界な超幾何級数のEisenstein定数の明示的公式を提供すること。
• 一般化超幾何微分作用素に関連するミラーマップのテイラー係数に関する、新しい算術的整数性に関する主張を確立すること。
• 鏡対称性の文脈において、Calabi-Yau作用素がN整数性条件(P1)および(P2)を満たすかどうかを効果的に判定する基準を提示すること。

提案手法

• Dworkのp進理論を用いて、有理数パラメータをもつ一般化超幾何級数に対して広範なp進合同式を導出する。
• Christolのp進関数理論を応用し、グローバルに有界な超幾何級数のEisenstein定数を明示的に計算する。
• p進解析およびモノドロミー性質を用いて、一般化超幾何微分作用素Lα,βおよびその解Fα,β、Gα,βの構造を分析する。
• ⟨α⟩と⟨β⟩が1を法として互いに素であるという条件を用いて、解のz=0における性質を制御し、無限大性を保証する。
• 変換されたパラメータ集合における分数部分の個数を追跡する関数ξ⟨α⟩,⟨β⟩(a,x)を導入し、p進付値の制御を可能にする。
• すべてのaに対してdα,βと互いに素なとき、G⟨aα⟩,⟨aβ⟩ / F⟨aα⟩,⟨aβ⟩ = Gα,β / Fα,β が成り立つという条件を用いて、グローバルなp進合同式を導出する。

実験結果

リサーチクエスチョン

• RQ1 有理数パラメータをもつ一般化超幾何級数に対して、Dworkのp進形式合同式定理を「ほとんどすべての素数p」に限らない、すべての素数pにまで拡張することは可能か？
• RQ2 グローバルに有界な超幾何級数のEisenstein定数の明示的公式は何か？
• RQ3 パラメータ(α, β)にどのような条件を課すと、Lα,βに関連するミラーマップがN整数的になるか、すなわち適切なスケーリングの後、テイラー係数が整数になるか？
• RQ4 一般化超幾何微分作用素が、解およびq座標のN整数性のためのCalabi-Yau条件(P1)および(P2)を満たすかどうかを効果的に判定するにはどうすればよいか？

主な発見

• 本稿は、Dworkの定理の広範な一般化を用いて、有理数パラメータをもつ一般化超幾何級数に対して、すべての素数pで成り立つp進合同式を確立する。
• Christolの関数を用いて、有理数パラメータをもつ任意のグローバルに有界な超幾何級数のEisenstein定数の明示的公式を導出する。
• パラメータに明確な条件が課された場合、Lα,βに関連するミラーマップのテイラー係数がN整数的であることが示される。その条件とは、分数部分⟨α⟩と⟨β⟩が互いに素であり、最大分母に関連する特定の組合せ的条件を満たすことである。
• r=1かつβ=(1)の場合、必要な対称性を与える唯一の解はα=1/2であることが証明され、整数性条件の特殊ケースが確認される。
• ξ⟨α⟩,⟨β⟩(a,1−) ≥ 2 がミラーマップ係数の整数性に必要かつ十分であることが示され、(P1)および(P2)を満たす作用素のクラスを特徴づける。
• 本結果は、既存の文献におけるすべての既知の一変数のミラーマップの整数性結果を統合・拡張し、超幾何の場合の完全な特徴づけを提供する。