[论文解读] 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

一句话总结

本文通过构建一个具有大复结构极限的四阶Picard-Fuchs方程，揭示了Apery对ζ(3)无理性证明与卡拉比-丘三复流形镜像对称之间的深层联系。它将镜像映射识别为Γ₁(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)无理性证明中神秘数列背后的几何与模形式结构。
• 通过构建一个四阶Picard-Fuchs方程，将Apery的证明与卡拉比-丘三复流形的镜像对称联系起来。
• 以与Γ₁(6)相关的模形式形式，识别镜像映射与Yukawa耦合。
• 为Beukers的模形式及其在Apery证明中的作用，提供更深层次的几何解释。

提出的方法

• 从Apery证明中的数列构造一个四阶Picard-Fuchs微分方程，确保其具有大复结构极限。
• 将与该方程相关的镜像映射识别为模形式，其关于同余子群Γ₁(6)成立，此结果此前由Beukers发现。
• 对Yukawa耦合进行缩放并计算其瞬子展开，得到Beukers发现的第二个模形式。
• 利用这些形式的模性质，通过镜像对称的视角解释Apery证明中的算术与几何结构。
• 建立卡拉比-丘三复流形的周期与Apery证明中超几何级数之间的对应关系。
• 阐明Yukawa耦合与镜像映射的模不变性如何澄清ζ(3)无理性的机制。

实验结果

研究问题

• RQ1 Apery在ζ(3)无理性证明中的数列如何可被解释为卡拉比-丘三复流形的周期？
• RQ2 控制Apery数列所产生周期的Picard-Fuchs方程是什么？其几何起源为何？
• RQ3 由此方程导出的镜像映射如何与Γ₁(6)下的模形式相关？
• RQ4 经缩放的Yukawa耦合的瞬子展开在揭示模结构方面起什么作用？
• RQ5 镜像对称如何为Beukers的模形式及其与Apery证明的联系提供几何解释？

主要发现

• 从Apery数列构造的四阶Picard-Fuchs方程具有大复结构极限，将其与卡拉比-丘三复流形的镜像对称联系起来。
• 与该方程相关的镜像映射被识别为Γ₁(6)下的模形式，与Beukers的早期结果一致。
• 经缩放的Yukawa耦合的瞬子展开产生第二个模形式，亦由Beukers发现，证实了其模性质。
• 镜像映射与Yukawa耦合的模不变性为ζ(3)的无理性提供了几何与算术解释。
• 镜像对称提供了一个统一框架，解释了Beukers的模形式源于卡拉比-丘三复流形周期。
• 整个结构表明，Apery的证明并非偶然，而是自然地源自卡拉比-丘流形及其镜像映射的几何。