[論文レビュー] Some integrality properties in local mirror symmetry

Jian Zhou|arXiv (Cornell University)|May 18, 2010

Geometric Analysis and Curvature Flows参考文献 8被引用数 4

ひとこと要約

この論文は、p進解析とDworkの補題を用いて、局所Calabi-Yau幾何における開-閉鏡像写像、逆鏡像写像、および鏡像曲線の整数性を確立する。局所鏡像対称性に現れるべきべき級数—特にディスク不変量とセミポテンシャルを符号化するもの—が整数係数を持つことを証明し、トーリックCalabi-Yau n-多様体における開弦鏡像対称性に深いつながりのある算術的構造を確認する。

ABSTRACT

We prove some integrality properties of the open-closed mirror maps, inverse open-closed mirror maps and mirror curves of some local Calabi-Yau geometries.

研究の動機と目的

• 局所Calabi-Yau幾何における局所的開-閉鏡像写像およびその逆写像の整数性を確立すること。
• ディスク不変量を符号化するセミポテンシャル関数が、整数係数を持つべき級数を生成することを検証すること。
• 外的ブレーンの場合にディスク不変量から導かれる鏡像曲線の方程式が、整数係数を持つことの確認。
• 内的ブレーンの場合に類似する写像が整数性を示すことの証明。幾何的意味は今後の研究で明確化される予定。
• 非コンパクトなCalabi-Yau 3-多様体における閉弦から開-閉鏡像対称性への既知の整数性結果の拡張。

提案手法

• 階乗および多項係数のp進順序を分析するために、p進評価および関数 $ S_p(n) $ を用いる。
• Dworkの補題を適用し、べき級数の整数性を多項係数の合同性に還元する。
• 再帰的剰余計算および $ S_p(a) + S_p(b) $ を含む不等式を用いて、和におけるp進順序を制御する。
• 多重積分とヤコビアン行列式を用いて、母関数の係数に対する剰余公式を導出する。
• 拡張されたPicard-Fuchs系の構造を用いて、ディスク不変量からセミポテンシャルを定義する。
• 鏡像曲線の方程式の母関数として、$ \exp(-\theta_0 W) $ および $ \exp(-( \tilde{\theta}_0 - \t\tilde{\theta}_1)\tilde{W}) $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 複素幾何から生じるにもかかわらず、局所的開-閉鏡像写像およびその逆写像の係数が $ \mathbb{Z} $ に属するか？
• RQ2 外的ブレーンの場合にディスク不変量から導かれる鏡像曲線の方程式が、整数係数を持つという意味で整数性を示せるか？
• RQ3 内的ブレーンの場合に、微分作用素 $ \tilde{\theta}_0 - \tilde{\theta}_1 $ を作用させたセミポテンシャル関数が、整数係数のべき級数を生成するか？
• RQ4 Dworkの補題を用いて、鏡像写像の整数性が多項係数の合同性に還元可能か？
• RQ5 べき級数 $ \exp(-( \tilde{\theta}_0 - \t\tilde{\theta}_1)\tilde{W}) $ の幾何的意味は何か？なぜ整数係数を持つのか？

主な発見

• 局所的開-閉鏡像写像およびその逆写像は、p進解析によって示されるように、$ \mathbb{Z} $ に値をとるべき級数展開を持つ。
• 外的ブレーン構成のセミポテンシャル $ W $ は、$ \exp(-\theta_0 W) \in \mathbb{Z}[[z_0, \dots, z_N]] $ を満たし、鏡像曲線方程式の整数性を確認する。
• 内的ブレーン構成では、$ \exp(-( \tilde{\theta}_0 - \t\tilde{\theta}_1)\tilde{W}) \in \mathbb{Z}[[\tilde{z}_0, \dots, \tilde{z}_N]] $ が成り立ち、関連する母関数の整数性を確立する。
• 鏡像写像係数の整数性は、多項係数の合同性に還元され、Dworkの補題およびp進不等式によって検証される。
• 本論文では、$ \operatorname{ord}_p(n!) = \frac{n - S_p(n)}{p-1} $ を証明し、階乗および多項係数のp進評価の上限を導出する。
• p進順序の制御に用いる重要な不等式 $ n - S_p(n) \geq (p-1)\operatorname{ord}_p(n) $ が確立され、多項係数の分母におけるp進順序の制御に用いられる。