[论文解读] Mirror symmetry and K3 surfaces

Kazushi Ueda|arXiv (Cornell University)|Jul 7, 2014

Geometric and Algebraic Topology参考文献 57被引用 3

一句话总结

本文在K3曲面的背景下回顾了镜像对称，聚焦于拓扑镜像对称、经典镜像对称和同调镜像对称。研究结果表明，K3曲面的镜像对称由其上同调中代数格与超越格的交换所编码，关键成果将Bridgeland稳定性条件、导出范畴与Borcea-Voisin构造的卡拉比-丘3流形（从2-初等K3曲面构造）联系起来。

ABSTRACT

We review some of the interplay between mirror symmetry and K3 surfaces.

研究动机与目标

• 澄清K3曲面的拓扑镜像对称的表述，因其霍奇数相同而与卡拉比-丘3流形不同。
• 解释K3曲面的镜像对称如何通过上同调中代数格与超越格的交换实现。
• 探讨Bridgeland稳定性条件与导出范畴在K3曲面同调镜像对称中的作用。
• 建立从2-初等K3曲面及其不变量出发的Borcea-Voisin镜像构造在卡拉比-丘3流形中的实现。
• 在K3背景下连接各种镜像对称框架——奇异对偶、反射多面体的极对偶以及周期映射。

提出的方法

• 利用K3曲面的霍奇结构，通过上同调格H^2(Y; Z)中代数格N(Y)与超越格T(Y)之间的对偶性来定义镜像对称。
• 应用Nikulin引入并由Dolgachev发展的格极化工K3曲面理论，通过主不变量(r, a, δ)对镜像对进行分类。
• 采用Borcea-Voisin构造：对于一个2-初等K3曲面(S, ι)与具有反辛对合的椭圆曲线，其S × E的Blow-up在商化后得到一个卡拉比-丘3流形。
• 利用导出范畴D^b(coh(Y))及其自同构来定义同调镜像对称，将其与群Aut^+_{CY} H^*(Y; Z)联系起来。
• 在K3曲面的导出范畴上应用Bridgeland稳定性条件，证明极化K3曲面模空间的轨道基本群同构于自同构群模移位[2]。
• 依赖周期映射与霍奇结构的变体（VHS）将经典镜像对称与镜像上的上积及Yukawa耦合联系起来。

实验结果

研究问题

• RQ1 鉴于K3曲面的霍奇数相同，如何有意义地表述其拓扑镜像对称？
• RQ2 代数格与超越格在定义K3曲面镜像对称中起什么作用？
• RQ3 K3曲面导出范畴上的Bridgeland稳定性条件如何与镜像几何相关？
• RQ4 Borcea-Voisin镜像构造与其他镜像对称框架（如Batyrev的极对偶）之间的精确关系是什么？
• RQ5 Borcea-Voisin卡拉比-丘3流形的霍奇数如何反映镜像对称？哪些不变量控制这种对偶性？

主要发现

• K3曲面的拓扑镜像对称并非通过交换霍奇数来定义，而是通过交换其上同调格中的代数格与超越格。
• Borcea-Voisin构造产生一个卡拉比-丘3流形Y，其h^{1,1}(Y) = 11 + 5n - g，h^{2,1}(Y) = 11 + 5g - n，其中n为K3曲面上对合的不动曲线数。
• 对于具有主不变量(r, a, δ)的2-初等K3曲面(S, ι)，其镜像卡拉比-丘3流形ˇY由对偶K3曲面(ˇS, ˇι)（不变量为(20 - r, a, δ)）构造，满足h^{1,1}(Y) = h^{2,1}(ˇY)与h^{2,1}(Y) = h^{1,1}(ˇY)。
• 极化K3曲面模空间中ample NS(Y)-极化K3曲面的轨道基本群同构于导出范畴自同构群模移位[2]，即π^{orb}_1(M_0(Y)) ≅ Aut_{CY}(D(Y))/[2]。
• 导出范畴自同构群Aut_{CY}(D(Y))满足短正合列1 → ℤ → Aut_{CY}(D(Y)) → π^{orb}_1(M_0(Y)) → 1，其中ℤ由移位[2]生成。
• 通过Borcea-Voisin构造实现的K3曲面镜像对称与Dolgachev猜想一致，该猜想关联了Batyrev镜像与Dolgachev镜像，尤其在g > 0且(r, a, δ) ≠ (14, 6, 0)的2-初等K3曲面情况下。