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

一句话总结

本文從四維反射多面體計算卡拉比-丘3流形的整同調上同調，精確識別出32組在同調中具有非平凡扭轉的族。結果確認鏡像對稱交換了與布萊厄爾群相關的$H^2$中的扭轉與與基本群相關的$H^3$中的扭轉，對所有這些族驗證了$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^*$

研究动机与目标

• 計算作為四維戈倫斯坦塔里克法諾代數幾何的超曲面而來的卡拉比-丘3流形的整同調群，特別是扭轉子群。
• 研究$H^2(X,\mathbb{Z})$與$H^3(X,\mathbb{Z})$中扭轉在鏡像對稱下的行為，特別是布萊厄爾群與基本群之間的對偶性。
• 驗證所有此類卡拉比-丘3流形的猜想鏡像對稱同構$A(X) \cong B(X^*)$與$B(X) \cong A(X^*)$。
• 探討卡拉比-丘流形的 orbifold 緊緻化中布萊厄爾群與離散扭轉之間的關聯。
• 提供透過反射多面體對偶性所觀察到的扭轉子群鏡像對稱的組合與幾何解釋。

提出的方法

• 使用普遍係數定理與庞加莱對偶性，將$H^2(X,\mathbb{Z})$與$H^3(X,\mathbb{Z})$中的扭轉與對偶群關聯起來。
• 透過雙重反射多面體$\Delta^*$的1維面中的格點，計算布萊厄爾群$B(X) \cong \mathrm{Hom}(\Lambda^2 N / (N \wedge N_{\Delta^*}^{\prime\prime}), \mathbb{Q}/\mathbb{Z})$。
• 應用反射多面體$\Delta$與$\Delta^*$之間的對偶性，將鏡像對中$H^2$與$H^3$的扭轉關聯起來。
• 透過$N/N_{\Delta^*}^{\prime\prime}$的結構，識別出16組具有循環布萊厄爾群$\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}$的 orbifold 模型$V/G$，以將布萊厄爾群解釋為離散扭轉$H^2(G, U(1))$。
• 透過對473,800,776個反射多面體的顯式計算，驗證同構$B(X) \cong \mathrm{Hom}(\pi_1(X^*), \mathbb{Q}/\mathbb{Z})$。

实验结果

研究问题

• RQ1 對於卡拉比-丘3流形，$H^2(X,\mathbb{Z})$與$H^3(X,\mathbb{Z})$中的扭轉在鏡像對稱下如何表現？
• RQ2 所有塔里克卡拉比-丘3流形的猜想鏡像對稱同構$A(X) \cong B(X^*)$與$B(X) \cong A(X^*)$是否均可驗證？
• RQ3 布萊厄爾群與基本群之間的對偶性在鏡像對中的幾何與組合起源為何？
• RQ4 卡拉比-丘3流形的布萊厄爾群與 orbifold 緊緻化中的離散扭轉之間是否存在關聯？
• RQ5 具有非平凡布萊厄爾群的16組族是否對應於 orbifold $V/G$，其中布萊厄爾群與離散扭轉群$H^2(G, U(1))$相符？

主要发现

• 在來自四維反射多面體的473,800,776組卡拉比-丘3流形中，恰好有32組在$H^*(X,\mathbb{Z})$中具有非平凡扭轉。
• 恰好有16組具有非平凡布萊厄爾群$B(X) \cong \mathbb{Z}/p\mathbb{Z}$（$p=2,3,5$），全部來自$N/N_{\Delta^*}^{\prime\prime} \cong \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z}$。
• 這16組族與16組非單連通族互為鏡像對偶，其基本群滿足$\pi_1(X^*) \cong \mathbb{Z}/p\mathbb{Z}$，從而確認$B(X) \cong \mathrm{Hom}(\pi_1(X^*), \mathbb{Q}/\mathbb{Z})$。
• 布萊厄爾群$B(X)$同構於$\Lambda^2 G \cong \mathbb{Z}/p\mathbb{Z}$，其中$G = \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z}$，與離散扭轉群$H^2(G, U(1))$相符。
• 同構$B(X) \cong \mathrm{Hom}(\pi_1(X^*), \mathbb{Q}/\mathbb{Z})$在所有473,800,776個反射多面體中普遍成立，無一例外。
• 例子$\widehat{W}_1^*$滿足$B(\widehat{W}_1^*) \cong \mathbb{Z}/5\mathbb{Z}$，其雙有理等價於具有$\frac{1}{5}(3,1,1)$型奇點的$\mathbb{P}^4 / (\mu_5 \times \mu_5)$ orbifold，從而確認離散扭轉的解釋。