[论文解读] Mirror symmetry, mixed motives and $\zeta(3)$

Minhyong Kim, Wenzhe Yang|arXiv (Cornell University)|Oct 6, 2017

Algebraic Geometry and Number Theory参考文献 35被引用 10

一句话总结

本文通过计算镜像 Calabi-Yau 三fold 上上同调的极限混合 Hodge 结构，建立了代数几何中镜像对称与混合动机之间的具体联系，表明该结构包含一个与 Q(0) 到 Q(−3) 的扩张同构的直和项，其同构类涉及 ζ(3)。这为混合 Tate 动机的广义 Hodge 猜想提供了数值证据，其中镜像流形的预势函数编码了涉及 ζ(3) 的周期。

ABSTRACT

In this paper, we present an application of mirror symmetry to arithmetic geometry. The main result is the computation of the period of a mixed Hodge structure, which lends evidence to its expected motivic origin. More precisely, given a mirror pair $(M,W)$ of Calabi-Yau threefolds, the prepotential of the complexified Kahler moduli space of $M$ admits an expansion with a constant term that is frequently of the form $$-3\, \chi (M) \,\zeta(3)/(2 \pi i)^3+r,$$ where $r \in \mathbb{Q}$ and $\chi(M)$ is the Euler characteristic of $M$. We focus on the mirror pairs for which the deformation space of the mirror threefold $W$ forms part of a one-parameter algebraic family $W_{\varphi}$ defined over $\mathbb{Q}$ and the large complex structure limit is a rational point. Assuming a version of the mirror conjecture, we compute the limit mixed Hodge structure on $H^3(W_{\varphi})$ at the large complex structure limit. It turns out to have a direct summand expressible as an extension of $\mathbb{Q}(-3)$ by $\mathbb{Q}(0)$ whose isomorphism class can be computed in terms of the prepotential of $M$, and hence, involves $\zeta(3)$. By way of Ayoub's works on the motivic nearby cycle functor, this reveals in precise form a connection between mirror symmetry and a variant of the Hodge conjecture for mixed Tate motives.

研究动机与目标

• 通过镜像对称测试混合 Tate 动机广义 Hodge 猜想的周期论修正版本。
• 计算定义在 Q 上的一族单参数镜像 Calabi-Yau 三fold 在大复结构极限处的极限混合 Hodge 结构。
• 证明镜像流形的预势函数编码了一个涉及 ζ(3) 的周期，从而将算术几何与镜像对称联系起来。
• 通过 Ayoub 的动机邻近周期函子，为预势展开中 ζ(3) 项的动机起源提供证据。

提出的方法

• 作者研究了定义在 Q 上、具有有理数大复结构极限的一族单参数镜像对 Calabi-Yau 三fold (M, W)。
• 他们使用镜像猜想，计算了 H3(Wϕ) 上的极限混合 Hodge 结构，重点分析其直和项结构。
• 他们识别出极限混合 Hodge 结构中的一个直和项，该直和项同构于 Q(0) 到 Q(−3) 的扩张，其同构类由流形 M 的预势决定。
• 利用 Ayoub 的动机邻近周期函子，他们将该扩张类与涉及 ζ(3) 的周期联系起来。
• 他们分析了 M 的 Kähler 模型空间的预势展开，表明常数项包含 −3χ(M)ζ(3)/(2πi)3 + r，其中 r ∈ Q。
• 关键技术工具是识别出 Ext1_MHSQ(Q(0), Q(−3)) ≃ C/(2πi)3Q 中的周期，该周期被证明是 ζ(3) 的有理倍数。

实验结果

研究问题

• RQ1 镜像 Calabi-Yau 三fold 的预势是否编码了一个反映其动机起源的、涉及 ζ(3) 的周期？
• RQ2 能否证明在大复结构极限处的极限混合 Hodge 结构包含一个其同构类涉及 ζ(3) 的直和项？
• RQ3 是否存在一个精确联系，通过 Q(0) 到 Q(−3) 的扩张周期，将镜像对称与混合 Tate 动机的广义 Hodge 猜想联系起来？
• RQ4 Ayoub 的动机邻近周期函子如何揭示预势中 ζ(3) 项的动机本质？
• RQ5 能否利用定义在 Q 上的镜像族的算术结构，来约束涉及 ζ(3) 的周期的动机起源？

主要发现

• H3(Wϕ) 上的极限混合 Hodge 结构包含一个同构于 Q(0) 到 Q(−3) 的扩张的直和项。
• 该扩张的同构类由镜像流形 M 的预势决定，因此涉及 ζ(3)。
• 该扩张的周期位于 Ext1_MHSQ(Q(0), Q(−3)) ≃ C/(2πi)3Q 中，且是有理数倍的 ζ(3)，证实了 Conjecture GHP 的预测。
• 该计算为镜像对称背景下混合 Tate 动机的广义 Hodge 猜想提供了明确的数值证据。
• M 的预势展开中形式为 −3χ(M)ζ(3)/(2πi)^3 + r（其中 r ∈ Q）的 ζ(3) 项被证明源自一个动机扩张，从而将算术几何与镜像对称联系起来。
• 结果表明，镜像对称可作为计算工具，用于探查 Hodge 理论中 zeta 函数特殊值的动机起源。