[論文レビュー] Integral Cohomology and Mirror Symmetry for Calabi-Yau 3-folds

Victor V. Batyrev, Maximilian Kreuzer|ArXiv.org|May 20, 2005

Advanced Algebra and Geometry参考文献 19被引用数 45

ひとこと要約

この論文は、4次元の反射的多面体から得られるCalabi-Yau 3-foldの整数係数コホモロジーを計算し、コホモロジーに非自明な torsion を持つ正確に32家族を特定した。鏡対称性が $H^2$（Brauer群に関連）の torsion と $H^3$（基本群に関連）の torsion を交換することを確認し、すべてのこのような家族について $A(X) \cong B(X^*)$ および $B(X) \cong A(X^*)$ が成り立つことを検証した。

ABSTRACT

In this paper, we compute the integral cohomology groups for all examples of Calabi-Yau 3-folds obtained from hypersurfaces in 4-dimensional Gorenstein toric Fano varieties. Among 473 800 776 families of Calabi-Yau 3-folds $X$ corresponding to 4-dimensional reflexive polytopes there exist exactly 32 families having non-trivial torsion in $H^*(X, \Z)$. We came to an interesting observation that the torsion subgroups in $H^2$ and $H^3$ are exchanged by the mirror symmetry involution, i.e. the torsion subgroup in the Picard group of $X$ is isomorphic to the Brauer group of the mirror $X^*$

研究の動機と目的

• 4次元のGorensteinトーリックFano多様体内の超曲面として得られるCalabi-Yau 3-foldの整数係数コホモロジー群、特に torsion 部分群を計算すること。
• 特にBrauer群と基本群の双対性に関連して、鏡対称性下での $H^2(X,\mathbb{Z})$ および $H^3(X,\mathbb{Z})$ の torsion の振る舞いを調査すること。
• すべてのこのようなCalabi-Yau 3-foldについて、予想された鏡対称性の同型 $A(X) \cong B(X^*)$ および $B(X) \cong A(X^*)$ を検証すること。
• Calabi-Yau多様体の軌道的コンactificationにおけるBrauer群と離散 torsion の間の関係を調査すること。
• 反射的多面体の双対性を通じて、観察された torsion 部分群の鏡対称性の組合せ的および幾何的起源を解明すること。

提案手法

• universal coefficient定理およびPoincaré双対性を用いて、$H^2(X,\mathbb{Z})$ と $H^3(X,\mathbb{Z})$ の torsion を双対群に関連づけること。
• 双対反射的多面体 $\Delta^*$ の1次元の面内の格子点を用いて、Brauer群 $B(X) \cong \mathrm{Hom}(\Lambda^2 N / (N \wedge N_{\Delta^*}^{\prime\prime}), \mathbb{Q}/\mathbb{Z})$ を計算すること。
• 反射的多面体 $\Delta$ と $\Delta^*$ の双対性を応用し、鏡対の $H^2$ と $H^3$ の torsion を関連づけること。
• $N/N_{\Delta^*}^{\prime\prime} \cong \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z}$ の構造を用いて、16家族の cyclic Brauer群 $\mathbb{Z}/p\mathbb{Z}$（$p=2,3,5$）を特定し、それらの鏡像双対が基本群 $\mathbb{Z}/p\mathbb{Z}$ を持つことを見出すこと。
• 群 $G \cong \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z}$ を持つ軌道的モデル $V/G$ を構成し、Brauer群を離散 torsion $H^2(G, U(1))$ として解釈すること。
• 473,800,776 個の反射的多面体について、明示的な計算を通じて $B(X) \cong \mathrm{Hom}(\pi_1(X^*), \mathbb{Q}/\mathbb{Z})$ の同型が成立することを検証すること。

実験結果

リサーチクエスチョン

• RQ1 Calabi-Yau 3-fold において、$H^2(X,\mathbb{Z})$ と $H^3(X,\mathbb{Z})$ の torsion は鏡対称性の下でどのように振る舞うか？
• RQ2 すべてのトーリックCalabi-Yau 3-fold について、予想された鏡対称性の同型 $A(X) \cong B(X^*)$ および $B(X) \cong A(X^*)$ を検証できるか？
• RQ3 鏡対のペアにおけるBrauer群と基本群の双対性の幾何的および組合せ的起源は何か？
• RQ4 Calabi-Yau 3-fold のBrauer群と軌道的コンactificationにおける離散 torsion の間に接続はあるか？
• RQ5 非自明なBrauer群を持つ16家族は、Brauer群が離散 torsion 群 $H^2(G, U(1))$ に一致する軌道的 $V/G$ に対応するか？

主な発見

• 4次元の反射的多面体から得られる473,800,776家族のCalabi-Yau 3-foldのうち、正確に32家族が $H^*(X,\mathbb{Z})$ に非自明な torsion を持つ。
• 非自明なBrauer群 $B(X) \cong \mathbb{Z}/p\mathbb{Z}$（$p=2,3,5$）を持つ家族は正確に16家族であり、すべて $N/N_{\Delta^*}^{\prime\prime} \cong \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z}$ から生じる。
• これらの16家族は、基本群 $\pi_1(X^*) \cong \mathbb{Z}/p\mathbb{Z}$ を持つ16家族の鏡像双対であり、$B(X) \cong \mathrm{Hom}(\pi_1(X^*), \mathbb{Q}/\mathbb{Z})$ が確認された。
• Brauer群 $B(X)$ は $G = \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z}$ に対して $\Lambda^2 G \cong \mathbb{Z}/p\mathbb{Z}$ に同型であり、離散 torsion 群 $H^2(G, U(1))$ と一致する。
• $B(X) \cong \mathrm{Hom}(\pi_1(X^*), \mathbb{Q}/\mathbb{Z})$ の同型は、473,800,776 個のすべての反射的多面体について成り立ち、例外は一切ない。
• $B(\widehat{W}_1^*) \cong \mathbb{Z}/5\mathbb{Z}$ である例 $\widehat{W}_1^*$ は、$\frac{1}{5}(3,1,1)$ 型の特異点を持つ $\mathbb{P}^4 / (\mu_5 \times \mu_5)$ 軌道的多様体と双有理同型であり、離散 torsion の解釈を確認した。