[论文解读] Mirror symmetry: from categories to curve counts

Sheel Ganatra, Timothy Perutz+1 more|arXiv (Cornell University)|Oct 13, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用 41

一句话总结

本文通過證明科爾特謝維奇的同調鏡像對稱性推導出五次三複合型上理性曲線計數的經典鏡像對稱預測，建立了同調鏡像對稱與霍奇理論鏡像對稱之間的橋樑。利用循環的開-閉映射——一種變換半無限霍奇結構的同態——表明弗卡貝 category 上的典型卡拉比-丘結構對應於鏡像上的霍奇理論歸一化全純體積形式，從而確定了鏡像映射並將 $\epsilon$-歧義性解決為符號問題。

ABSTRACT

We work in the setting of Calabi-Yau mirror symmetry. We establish conditions under which Kontsevich's homological mirror symmetry (which relates the derived Fukaya category to the derived category of coherent sheaves on the mirror) implies Hodge-theoretic mirror symmetry (which relates genus-zero Gromov-Witten invariants to period integrals on the mirror), following the work of Barannikov, Kontsevich and others. As an application, we explain in detail how to prove the classical mirror symmetry prediction for the number of rational curves in each degree on the quintic threefold, via the third-named author's proof of homological mirror symmetry in that case; we also explain how to determine the mirror map in that result, and also how to determine the holomorphic volume form on the mirror that corresponds to the canonical Calabi-Yau structure on the Fukaya category. The crucial tool is the `cyclic open-closed map' from the cyclic homology of the Fukaya category to quantum cohomology, defined by the first-named author in [Gan]. We give precise statements of the important properties of the cyclic open-closed map: it is a homomorphism of variations of semi-infinite Hodge structures; it respects polarizations; and it is an isomorphism when the Fukaya category is non-degenerate (i.e., when the open-closed map hits the unit in quantum cohomology). The main results are contingent on works-in-preparation [PS,GPS] on the symplectic side, which establish the important properties of the cyclic open-closed map in the setting of the `relative Fukaya category'; and they are also contingent on a conjecture on the algebraic geometry side, which says that the cyclic formality map respects certain algebraic structures.

研究动机与目标

• 建立同調鏡像對稱與卡拉比-丘三複合型中枚舉（曲線計數）鏡像對稱之間的嚴謹連結。
• 透過顯示弗卡貝 category 上的典型卡拉比-丘結構對應於鏡像上的霍奇理論歸一化體積形式，解決鏡像映射與全純體積形式中的歧義性。
• 提供一種系統性方法，利用同調鏡像對稱計算五次三複合型上的 genus-zero Gromov-Witten 不变量（理性曲線計數）。
• 以量子聯絡的平坦截面來表徵量子上同調的自然基底，從而實現結構上的鏡像對應。

提出的方法

• 利用弗卡貝 category 的循環同調到量子上同調的循環開-閉映射，其被證明是半無限霍奇結構變換的同態。
• 依賴於同調鏡像對稱所誘導的辛（A-model）與代數幾何（B-model）兩側之間的 VSHS 結構同構。
• 應用循環開-閉映射的極化與單值週轉濾過性質，以確保與霍奇理論結構的相容性。
• 利用當弗卡貝 category 非退化時，循環開-閉映射為同構的事實，確保結構的完整傳遞。
• 應用格茨勒-高斯-馬丁連接與高階留數配對，分析量子上同調及其與霍奇結構的相容性。
• 透過將首階 Yukawa 耦合與積分 $\int_X \omega^n$ 相匹配，固定鏡像體積形式中的 $\epsilon$-歧義性。

实验结果

研究问题

• RQ1 同調鏡像對稱是否推導出五次三複合型上理性曲線計數的經典鏡像對稱預測？
• RQ2 如何從弗卡貝 category 上的典型卡拉比-丘結構唯一確定鏡像映射？
• RQ3 鏡像族上的哪個相對體積形式對應於弗卡貝 category 上的典型卡拉比-丘結構？
• RQ4 霍奇理論歸一化的體積形式是否可用來固定鏡像映射中的 $\epsilon$-歧義性？
• RQ5 量子上同調的自然基底與開-閉映射下鏡像側上同調之間的精確對應關係為何？

主要发现

• 循環開-閉映射是半無限霍奇結構變換的同態，並尊重極化性質。
• 當弗卡貝 category 非退化時，循環開-閉映射為同構，確保從辛側到代數側的結構完整傳遞。
• 弗卡貝 category 上的典型光滑卡拉比-丘結構具有霍奇理論歸一化性質，使鏡像體積形式的歧義性僅剩符號問題。
• 鏡像體積形式透過將首階 Yukawa 耦合與 $(-1)^{n(n+1)/2} \int_X \omega^n$ 相匹配而唯一確定，從而將剩餘的 $\epsilon^*$-歧義性固定為符號。
• 弗卡貝 category 與凝聚層的導出類別之間的等價關係是光滑且緊緻卡拉比-丘類別之間的等價，其鏡像結構對應於霍奇理論歸一化的體積形式。
• 量子聯絡在 $H^\bullet(X;\BbbK_A)$ 上的平坦截面精確對應於 $H^\bullet(X;\BbbC)\subset H^\bullet(X;\BbbK_A)$，為 Gromov-Witten 不變量提供了自然基底。