[論文レビュー] Mirror symmetry, mixed motives and $\zeta(3)$

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

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

ひとこと要約

この論文は、代数的幾何における鏡像対称性と混合モチーフの間の明確な関係を確立し、Q(0) から Q(−3) への拡張である直和成分を含む、鏡像 Calabi-Yau 3次元多様体の特徴的コホロロジーにおける極限混合ホッジ構造を計算することで、その類が ζ(3) を含むことを示している。これは、混合テートモチーフの一般化されたホッジ予想に対する数値的証拠を提供し、鏡像多様体のプレポテンシャルが ζ(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.

研究の動機と目的

• 鏡像対称性を用いて、混合テートモチーフの一般化されたホッジ予想の周期論的修正を検証すること。
• Q 上に定義された1パラメータ族の鏡像 Calabi-Yau 3次元多様体の、大複素構造極限における極限混合ホッジ構造を計算すること。
• 鏡像多様体のプレポテンシャルが ζ(3) を含む周期を符号化していることを示し、算術的幾何と鏡像対称性を結びつけること。
• アユーブのモチービック近傍サイクル関手を用いて、プレポテンシャルにおける ζ(3) 項のモチービック起源を提供すること。

提案手法

• 著者たちは、Wϕ が Q 上に定義され、有理数的な大複素構造極限を持つ1パラメータの鏡像対 (M, W) を考察する。
• 鏡像予想を用いて、H3(Wϕ) 上の極限混合ホッジ構造を計算し、特に直和成分の構造に注目する。
• 極限混合ホッジ構造内に、Q(0) から Q(−3) への拡張に同型な直和成分を同定し、その同型類が多様体 M のプレポテンシャルによって決定されることを示す。
• アユーブのモチービック近傍サイクル関手を用いて、この拡張類を ζ(3) を含む周期と関連付ける。
• 多様体 M のケーラーmoduli空間のプレポテンシャル展開を分析し、定数項に −3χ(M)ζ(3)/(2πi)3 + r（r ∈ Q）が含まれることを示す。
• 主な技術的道具は、Ext1_MHSQ(Q(0), Q(−3)) ≃ C/(2πi)3Q における周期の同定であり、これが ζ(3) の有理数倍であることが示されている。

実験結果

リサーチクエスチョン

• RQ1 鏡像 Calabi-Yau 3次元多様体のプレポテンシャルは、モチービック起源を反映する ζ(3) を含む周期を符号化しているか？
• RQ2 大複素構造極限における極限混合ホッジ構造に、ζ(3) を含む同型類を持つ直和成分を含むことが示せるか？
• RQ3 Q(0) から Q(−3) への拡張の周期を通じて、鏡像対称性と混合テートモチーフの一般化されたホッジ予想との間に明確な関係が存在するか？
• RQ4 アユーブのモチービック近傍サイクル関手は、プレポテンシャルにおける ζ(3) 項のモチービック性質をどのように明らかにするか？
• RQ5 Q 上の鏡像族の算術的構造は、ζ(3) を含む周期のモチービック起源を制約できるか？

主な発見

• H3(Wϕ) 上の極限混合ホッジ構造には、Q(0) から Q(−3) への拡張に同型な直和成分が含まれる。
• この拡張の同型類は、鏡像多様体 M のプレポテンシャルによって決定され、したがって ζ(3) を含む。
• この拡張の周期は Ext1_MHSQ(Q(0), Q(−3)) ≃ C/(2πi)3Q に属し、有理数倍の ζ(3) であることが示され、Conjecture GHP の予測を裏付けた。
• 計算により、鏡像対称性の文脈における混合テートモチーフの一般化されたホッジ予想に対する明確な数値的証拠が得られた。
• 多様体 M のプレポテンシャル展開における ζ(3) 項、形式的に −3χ(M)ζ(3)/(2πi)^3 + r（r ∈ Q）は、モチービック拡張から生じることを示し、算術的幾何と鏡像対称性を結びつけた。
• この結果は、鏡像対称性がホッジ理論におけるリーマン・ゼータ関数の特別値のモチービック起源に到達するための計算的道具として利用可能であることを示している。