[論文レビュー] Number theory casting a look at the mirror

Wadim Zudilin|arXiv (Cornell University)|Aug 31, 2000

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

ひとこと要約

本稿は、超幾何微分方程式とワロンスキー形式を用いて、Calabi–Yauの鏡像対称性における鏡写し写像のモジュラー性および算術的性質を調査する。モジュラー変数 $ q $、局所座標 $ z $、およびピカード–フック方程式との間の関係を確立し、鏡写し写像 $ z(q) $ がシュバルツィアン方程式を満たし、超幾何周期の生成関数 $ f_0(z) $ が $ \Gamma_0(3) $ および $ \Gamma_0(4) $ の下でモジュラーであることを示し、$ q $ における明示的な算術的展開を提示する。

ABSTRACT

In this work, we give a purely analytic introduction to the phenomenon of mirror symmetry for quintic threefolds via classical hypergeometric functions and differential equations for them. Starting with a modular map and recent transcendence results for its values, we regard a mirror map $z(q)$ as a concept generalizing the modular one. We give an alternative approach demonstrating the existence of non-linear differential equations for the mirror map, and exploit both an elegant construction of Klemm-Lian-Roan-Yau and the Ax theorem to prove that the Yukawa coupling $K(q)$ does not satisfy any algebraic differential equation of order less than 7 with coefficients from $\mathbb{C}(q)$.

研究の動機と目的

• 超幾何微分方程式を用いて、Calabi–Yauのコンactificationにおける鏡写し写像の算術的およびモジュラー構造を理解すること。
• 鏡の族に関連するピカード–フック方程式のモノドロミーおよび微分ガロア理論を分析すること。
• 生成関数 $ f_0(z) $ が合同部分群 $ \Gamma_0(3) $ および $ \Gamma_0(4) $ の下でモジュラーであることを確立すること。
• 鏡写し写像 $ z(q) $ 及びその逆写像 $ q(z) $ の明示的なべき級数展開を導出し、それらの整数性および算術的意義を証明すること。
• ワロンスキー形式とシュバルツィアン微分を用いて、鏡写し写像を非線形常微分方程式の解として特徴付けること。

提案手法

• 超幾何関数 $ f_0(z) = \sum_{l=0}^\infty \frac{(sl)!}{(l!)^s} z^l $ を、$ s = 3,4 $ の場合のピカード–フック方程式 $ \delta_z^{s-1} - s z (s\delta_z + 1)\cdots(s\delta_z + s-1) y = 0 $ の解として用いる。
• ワロンスキー形式を用いて、鏡写し写像 $ z(q) $ が満たす微分方程式を導出し、関係式 $ \delta_q = q \frac{d}{dq} = \frac{1}{2\pi i} \frac{d}{d\tau} $ を適用する。
• モジュラー不変性を特徴付けるために、シュバルツィアン方程式 $ 2Q(z) \left(\frac{dz}{dt}\right)^2 + \{z,t\} = 0 $（$ t = \log q $）を導出する。
• 鏡写し写像 $ q(z) = \exp(f_1(z)/f_0(z)) $（$ f_1(z) = f_0(z)\log z + g(z) $）を構成し、級数反転を用いてその逆写像 $ z(q) $ を計算する。
• $ \delta_q $-作用素を用いて、モジュラー形式 $ \widetilde{f}_0(q) = f_0(z(q)) $ を $ q $ のべき級数として表現し、整数性およびモジュラー性を示す。
• 微分体の理論およびシャヌエル型の予想を用いて、関係する関数の超越性および代数的独立性を分析する。

実験結果

リサーチクエスチョン

• RQ1 鏡写し写像 $ z(q) $ は、$ \Gamma_0(3) $ および $ \Gamma_0(4) $ の下でどのようにモジュラー形式に関係するか？
• RQ2 逆鏡写し写像 $ z(q) $ の明示的なべき級数展開は何か、その算術的意義は何か？
• RQ3 超幾何解 $ f_0(z) $ および $ f_1(z) $ はピカード–フック方程式をどのように満たし、周期格子を生成するか？
• RQ4 ワロンスキー形式およびシュバルツィアン微分は、鏡写し写像を非線形常微分方程式の解として特徴付けるために果たす役割は何か？
• RQ5 生成関数 $ \widetilde{f}_0(q) $ が $ q $ に関してモジュラーかつ整数的であることを示せるか？これは鏡像対称性にどのような意味を持つのか？

主な発見

• 逆鏡写し写像 $ z(q) $ は $ z(q) = q - 15q^2 + 171q^3 - 1679q^4 + \cdots $ と表され、整数係数を持ち、$ s=3 $ の場合に $ f_0^2(z(q)) = \left( \frac{\delta_q z(q)}{z(q)} \right) \cdot \frac{1}{1 - 3^3 z(q)} $ を満たす。
• $ s=4 $ の場合、関数 $ \widetilde{f}_0(q) = f_0(z(q)) $ は $ 1 + 24q + 24q^2 + 96q^3 + \cdots $ と展開され、$ \Gamma_0(4) $ の下での整数性およびモジュラー性を示す。
• 鏡写し写像 $ q(z) = z \exp\left( \frac{g(z)}{f_0(z)} \right) $ の展開は $ q(z) = z + 104z^2 + 15188z^3 + \cdots $ であり、一般化超幾何和に関連する係数を持つ。
• 微分方程式 $ \delta_z^2 - 4z(8\delta_z + 1)(8\delta_z + 3) y = 0 $ は $ s=4 $ の場合を記述し、その解 $ f_0(z) $ はタイプ $ {}_3F_2 $ の超幾何関数である。
• ワロンスキー式 $ W(f_0, f_1) $ を用いてシュバルツィアン方程式を導出し、$ R[t] $ のワロンスキー行列式の消滅により、関係する関数の代数的独立性が確認される。
• 関数 $ \widetilde{f}_0(q) $ は $ f_0^2(z(q)) = \left( \frac{\delta_q z(q)}{z(q)} \right)^2 \cdot \frac{1}{1 - 4^4 z(q)} $ を満たし、周期関数のモジュラー構造が確認される。