[論文レビュー] Mirror Maps, Modular Relations and Hypergeometric Series I

Bong H. Lian, Shing‐Tung Yau|arXiv (Cornell University)|Jul 27, 1995

Nonlinear Waves and Solitons被引用数 8

ひとこと要約

本稿は、代数的K3表面における鏡対称性の文脈で、モジュラー関係および超幾何級数を調査し、モジュラー形式とフックス型微分方程式の解との間の恒等式を確立する。Kachru-Vafa恒等式の新しい一般化を導入し、ミラー写像と呼ばれるq級数の整数性に関する性質を証明し、K3表面への超弦理論的コンパクト化のための基礎的結果を提供する。

ABSTRACT

Motivated by the recent work of Kachru-Vafa in string theory, we study in Part A of this paper, certain identities involving modular forms, hypergeometric series, and more generally series solutions to Fuchsian equations. The identity which arises in string theory is the simpliest of its kind. There are nontrivial generalizations of the identity which appear new. We give many such examples -- all of which arise in mirror symmetry for algebraic K3 surfaces. In Part B, we study the integrality property of certain $q$-series, known as mirror maps, which arise in mirror symmetry.

研究の動機と目的

• K3表面への超弦理論的コンパクト化に現れる、超幾何級数とモジュラー形式を結ぶモジュラー恒等式を理解すること。
• 鏡対称性における超幾何級数とモジュラー不変量を結ぶKachru-Vafa恒等式を、その元来の形を超えて一般化すること。
• 代数的K3表面の文脈において、ミラー写像と呼ばれるq級数の整数性に関する性質を調査すること。
• フックス型微分方程式の解とモジュラー形式との間の新しい恒等式を確立すること。
• 超幾何関数とモジュラー構造を用いた、超弦理論における鏡対称性の構成の数学的基盤を提供すること。

提案手法

• 代数的K3表面の周期に関連するフックス型微分方程式の解を分析する。
• 特殊関数とモジュラー不変量との間の恒等式を導出するために、モジュラー形式および超幾何級数の技法を適用する。
• モノドロミー理論とピカード＝フック方程式の理論を用いて、幾何的データと超幾何関数との関係を明らかにする。
• モジュラー群作用における超幾何級数の変換性を調べることで、モジュラー関係を導出する。
• p進および算術的手法を用いて、q級数展開におけるミラー写像係数の整数性を証明する。
• 超幾何関数とモジュラー形式の相互作用を通じて、モジュラー形式の算術とK3表面の幾何学との間の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 K3ミラーマッピングの文脈において、超幾何級数とモジュラー形式を結ぶモジュラー恒等式は何か？
• RQ2 超弦理論的コンパクト化におけるKachru-Vafa恒等式は、その元来の形を超えてどのように一般化可能か？
• RQ3 K3表面のミラー写像のq展開における係数の整数性の性質は何か？
• RQ4 K3表面におけるフックス型微分方程式の解は、モジュラー形式および超幾何級数とどのように関係するか？
• RQ5 この幾何的設定において、モジュラー不変性と超幾何関数の相互作用からどのような新しい恒等式が生じるか？

主な発見

• 本稿は、モジュラー形式と超幾何級数との間の新しいクラスの恒等式を同定し、Kachru-Vafa恒等式を一般化した。
• 特定のq級数（ミラー写像と呼ばれる）が整数係数を持つことを証明し、鏡対称性における重要な整数性予想を確認した。
• 著者らは、特定のモノドロミー作用の下で、K3表面におけるフックス方程式の解がモジュラー不変性を示すことを確立した。
• 代数的K3表面の幾何から生じる、新しいモジュラー関係の具体例を明示的に構成した。
• 超幾何関数とモジュラー形式の相互作用を用いた、このような恒等式を体系的に生成するフレームワークを提供した。
• 結果として、K3表面への超弦コンパクト化の文脈において、ミラー写像の算術的意義が裏付けられた。