[論文レビュー] Apéry's irrationality proof, mirror symmetry and Beukers's modular forms

Wenzhe Yang|arXiv (Cornell University)|Nov 6, 2019

Advanced Algebra and Geometry被引用数 1

ひとこと要約

この論文は、Aperyのζ(3)の無理数性の証明とCalabi-Yau三様体における鏡映性の間の深い関係を明らかにした。4階のPicard-Fuchs方程式を構成し、大複素構造極限を有する。鏡写し写像がΓ₁(6)に関するモジュラー形式であることが特定され、スケーリングされたYukawa結合のインスタントン展開が別のモジュラー形式を生じ、BeukersのAperyの証明に関する先行的知見の幾何的かつモジュラーな説明を提供する。

ABSTRACT

In this paper, we will study the connections between Apery's proof of the irrationality of $\zeta(3)$ and the mirror symmetry of Calabi-Yau threefolds. From the mysterious sequences in Apery's proof, we will construct a fourth order Picard-Fuchs equation that has a large complex structure limit. The mirror map associated to it is the modular form with respect to $\Gamma_1(6)$ found by Beukers, while the instanton expansion of a rescaled Yukawa coupling give us another modular form found by Beukers. We will show how mirror symmetry provides further enlightening explanations to Beukers's and many others' enlightening explanations to Apery's mysterious proof.

研究の動機と目的

• Aperyのζ(3)の無理数性証明における謎めいた数列の背後にある幾何的およびモジュラー構造を解明すること。
• 4階のPicard-Fuchs方程式の構築を通じて、Aperyの証明とCalabi-Yau三様体における鏡映性を結びつけること。
• Γ₁(6)に関連するモジュラー形式としての鏡写し写像およびYukawa結合を同定すること。
• Beukersのモジュラー形式とそれがAperyの証明に果たす役割を、より深い幾何的説明で明らかにすること。

提案手法

• Aperyの証明に現れる数列から4階のPicard-Fuchs微分方程式を構築し、大複素構造極限を有することを保証する。
• この方程式に関連する鏡写し写像を、以前にBeukersが発見したように、合同部分群Γ₁(6)に関するモジュラー形式として特定する。
• Yukawa結合をスケーリングし、そのインスタントン展開を計算する。これにより、Beukersが発見した第二のモジュラー形式が得られる。
• これらの形式のモジュラー性質を用いて、Aperyの証明における算術的および幾何的構造を鏡映性の観点から解釈する。
• Calabi-Yau三様体の周期とAperyの証明における超幾何級数との対応関係を確立する。
• Yukawa結合および鏡写し写像のモジュラー不変性が、ζ(3)の無理数性のメカニズムを明確にすることを示す。

実験結果

リサーチクエスチョン

• RQ1 Aperyのζ(3)の無理数性証明における数列は、Calabi-Yau三様体の周期としてどのように解釈できるか？
• RQ2 Aperyの数列から生じる周期を記述するPicard-Fuchs方程式は何か？その幾何的起源は何か？
• RQ3 この方程式から導かれる鏡写し写像は、Γ₁(6)に関するモジュラー形式とどのように関係するか？
• RQ4 スケーリングされたYukawa結合のインスタントン展開が、モジュラー構造を明らかにする役割は何か？
• RQ5 鏡映性は、Beukersのモジュラー形式とAperyの証明との関係を、どのように幾何的説明として提供するか？

主な発見

• Aperyの数列から構築された4階のPicard-Fuchs方程式は、大複素構造極限を有し、Calabi-Yau三様体における鏡映性と結びつく。
• この方程式に関連する鏡写し写像は、合同部分群Γ₁(6)に関するモジュラー形式として特定され、Beukersの先行的結果と整合する。
• スケーリングされたYukawa結合のインスタントン展開は、Beukersが発見した第二のモジュラー形式を生じ、そのモジュラー性が確認される。
• 鏡写し写像およびYukawa結合の両方のモジュラー不変性が、ζ(3)の無理数性の幾何的および算術的説明を提供する。
• 鏡映性は、Beukersのモジュラー形式がCalabi-Yau三様体の周期から生じることを統合的枠組みで説明する。
• 全体の構造は、Aperyの証明が恣意的ではなく、Calabi-Yau多様体の幾何とその鏡写し写像から自然に生じることを示している。