[论文解读] Geometric Aspects of Mirror Symmetry (with SYZ for Rigid CY manifolds)

Naichung Conan Leung|ArXiv.org|Apr 12, 2002

Geometric Analysis and Curvature Flows参考文献 44被引用 7

一句话总结

本文通過SYZ猜想研究卡拉比-丘流形中的鏡像對稱，提出鏡像流形可作為具有平坦叢的特殊拉格朗日子流形的模空間。通過證明B-圈（帶形變希爾伯特-楊-米爾斯叢的複子流形）的模空間攜帶自然的n-形式相關函數，而A-圈（具有平坦叢的特殊拉格朗日子流形）的模空間攜帶辛結構，揭示了複幾何與辛幾何之間的傅里葉-木卡伊對偶性。

ABSTRACT

In this article we discuss the geometry of moduli spaces of (1) flat bundles over special Lagrangian submanifolds and (2) deformed Hermitian-Yang-Mills bundles over complex submanifolds in Calabi-Yau manifolds. These moduli spaces reflect the geometry of the Calabi-Yau itself like a mirror. Strominger, Yau and Zaslow conjecture that the mirror Calabi-Yau manifold is such a moduli space and they argue that the mirror symmetry duality is a Fourier-Mukai transformation. We review various aspects of the mirror symmetry conjecture and discuss a geometric approach in proving it. The existence of rigid Calabi-Yau manifolds poses a serious challenge to the conjecture. The proposed mirror partners for them are higher dimensional generalized Calabi-Yau manifolds. For example, the mirror partner for a certain K3 surface is a cubic fourfold and its Fano variety of lines is birational to the Hilbert scheme of two points on the K3. This hyperkahler manifold can be interpreted as the SYZ mirror of the K3 by considering singular special Lagrangian tori. We also compare the geometries between a CY and its associated generalized CY. In particular we present a new construction of Lagrangian submanifolds.

研究动机与目标

• 透過SYZ猜想理解卡拉比-丘流形中鏡像對稱的幾何實現。
• 分析B-圈（帶形變希爾伯特-楊-米爾斯叢的複子流形）與A-圈（具有平坦叢的特殊拉格朗日子流形）的模空間。
• 透過相關形式與辛商空間，在卡拉比-丘流形的複幾何與其鏡像的辛幾何之間建立對偶性。
• 針對剛性卡拉比-丘流形的挑戰，提出高維廣義卡拉比-丘鏡像，例如以立方四fold作為K3曲面的鏡像。

提出的方法

• 透過積分 ${}_{B}\Omega = \int_C \mathrm{Tr}\, \mathbb{F}^m \wedge \mathrm{ev}^*\Omega$ 在B-圈模空間上構造相關n-形式。
• 在映射與聯絡的配置空間上定義預辛形式 ${}_{B}\omega$，使用 $\mathrm{Im}\, e^{i\theta} \int_C \mathrm{Tr}[(\omega^\mathbb{C} + F)^{m-1} B_1 B_2]_{\mathrm{sym}}$ 與 $\int_C \omega(v_1,v_2)\omega^m$。
• 對映射與叢的配置空間上規範群作用實施辛約化，其中作用量映射條件對應於形變希爾伯特-楊-米爾斯方程。
• 利用實蒙日-阿普雷方程 $\det(\nabla^2 \phi) = 1$ 建構半平坦SYZ纖化，從而實現無瞬子修正的鏡像對稱幾何構造。
• 提出新方法，透過K3曲面的SYZ鏡像作為立方四fold中直線的法空間，構造拉格朗日子流形。
• 比較卡拉比-丘流形與其廣義卡拉比-丘鏡像的幾何性質，顯示法空間與K3曲面上兩點的希爾伯特 scheme 之間的雙有理等價。

实验结果

研究问题

• RQ1 如何透過特殊拉格朗日子流形與形變希爾伯特-楊-米爾斯叢的模空間幾何實現鏡像對稱猜想？
• RQ2 剛性卡拉比-丘流形在SYZ框架中的角色為何？其鏡像應如何構造？
• RQ3 B-圈與A-圈模空間上的相關形式如何反映複幾何與辛幾何之間的對偶性？
• RQ4 立方四fold中直線的法空間能否透過SYZ構造作為K3曲面的鏡像？
• RQ5 卡拉比-丘流形與其廣義卡拉比-丘鏡像伴侶之間的精確幾何關係為何？

主要发现

• 卡拉比-丘流形上B-圈的模空間攜帶自然的全純n-形式 ${}_{B}\Omega = \int_C \mathrm{Tr}\, \mathbb{F}^m \wedge \mathrm{ev}^*\Omega$，此形式在鏡像對稱中作為相關函數。
• A-圈模空間攜帶預辛形式 ${}_{A}\omega = \int_C \mathrm{Tr}(\mathrm{ev}^*\omega + \mathbb{F})^n$，反映鏡像的辛幾何性質。
• 對於K3曲面，其鏡像被實現為立方四fold中直線的法空間，此空間與K3曲面上兩點的希爾伯特 scheme 雙有理等價，從而透過SYZ提供超凱勒鏡像。
• 形變希爾伯特-楊-米爾斯方程作為映射與聯絡配置空間的辛約化中作用量映射條件出現。
• 利用 $\det(\nabla^2 \phi) = 1$ 解構造的半平坦SYZ構造，提供無瞬子修正的鏡像對稱幾何框架。
• 本文提出新方法，將拉格朗日子流形構造為SYZ纖化之纖維，特別適用於K3曲面及其立方四fold鏡像。