[论文解读] The geometry of mirror symmetry

Richard Thomas|ArXiv.org|Dec 17, 2005

Geometric and Algebraic Topology参考文献 5被引用 9

一句话总结

本文通过建立一个卡拉比-丘3流形与其镜像之间复结构模空间与凯勒模空间之间的对偶性，为卡拉比-丘3流形中的镜像对称提供了几何框架，利用量子上同调、霍奇结构的变分以及单值化过滤。关键贡献在于将极大复结构极限点（LCLP）识别为镜像对称最清晰可见的几何位置，通过皮卡德-福克斯方程将格罗莫夫-威滕不变量与周期联系起来。

ABSTRACT

We give a brief survey of some of the geometry of mirror symmetry, written in 2004 for the "Encyclopaedia of Mathematical Physics". Probably a little bit out of date now in a few places, but hey.

研究动机与目标

• 澄清镜像对称在卡拉比-丘3流形中的几何基础，超越物理直觉。
• 通过极大复结构极限点（LCLP）建立X上量子上同调与镜像上周期之间的严格对应关系。
• 在镜像对称的背景下，统一量子上同调、霍奇结构的变分（VHS）与单值化过滤的数学结构。
• 为格林-普莱瑟镜像猜想及吉万塔尔-连-刘-姚对五次曲线计数的证明提供几何解释。
• 将LCLP定义为模空间中的规范点，此时镜像映射通过周期比与单值化作用变得明确。

提出的方法

• 本文将卡拉比-丘3流形X的复化凯勒锥作为A模型的模空间，其中包含凯勒形式ω与B场B，并通过霍奇钻石对偶性确定其镜像。
• 应用波戈莫洛夫-天-托多罗夫定理，证明镜像上复结构变形无阻碍，从而保证模空间的光滑性。
• 通过权为e^{∫β ω}的全纯有理曲线β的贡献，计算X的量子上同调，形成A模型关联函数。
• 通过全纯3-形式Ω的周期，利用循环及其导数的积分计算B模型关联函数。
• 通过镜像模空间中一个可去交点除数定义极大复结构极限点（LCLP），并定义每个分量周围的单值化作用T_i。
• 通过幂零算子N = log T* 构造上同调上的单值化权重过滤W•，并证明其与拉格朗日子纤维化导出的莱雷过滤一致。

实验结果

研究问题

• RQ1 镜像对称如何被理解为X的凯勒模空间与镜像̌X的复结构模空间之间的几何对偶性？
• RQ2 极大复结构极限点（LCLP）在量子上同调与周期之间对应关系中起什么作用？
• RQ3 单值化作用及其相关权重过滤如何与镜像对称中拉格朗日子坦子纤维化的几何相关联？
• RQ4 周期比∫γi Ω / ∫γ0 Ω 如何作为镜像模空间上的坐标，类似于椭圆曲线中的j-不变量？
• RQ5 能否通过LCLP与γ0在所有单值化算子T_i作用下不变的要求，严格定义镜像映射？

主要发现

• 霍奇钻石对偶性h^{1,1}(X) = h^{2,1}(̌X)与h^{2,1}(X) = h^{1,1}(̌X)被确立为镜像对称的基础预测。
• 通过对全holomorphic有理曲线的贡献计算五次三流形的量子上同调，其与B模型周期的匹配预测了317,206,375条度数为5的有理曲线，后由吉万塔尔与连-刘-姚证明。
• H^3(X, ℂ)上的单值化权重过滤W•与拉格朗日子坦子纤维化导出的莱雷过滤一致，为该过滤提供了几何解释。
• 坐标q = exp(2πi ∫γ1 Ω / ∫γ0 Ω)在单值化下不变，作为A模型侧Kähler坐标∫_line ω的镜像。
• LCLP由唯一一个在所有单值化算子T_i作用下不变的整周期γ0刻画，满足log T_i(γ_j) = δ_ij γ_0，且τ_i = ∫γi Ω / ∫γ0 Ω = (1/2πi) log z_i，使z_i成为镜像模空间上的局部坐标。
• 在W_2 = W_3中存在一个规范整基底(γ_0, ..., γ_s)，其中γ_0张成W_0 = W_1，确保了在LCLP处镜像映射的整性。