[论文解读] The Berglund-Hübsch-Chiodo-Ruan mirror symmetry for K3 surfaces

Michela Artebani, Samuel Boissière+1 more|arXiv (Cornell University)|Aug 13, 2011

Advanced Algebra and Geometry参考文献 10被引用 7

一句话总结

本文证明了具有非辛对合的K3曲面的Berglund-Hübsch-Chiodo-Ruan（BHCR）镜像对称构造，其镜像对与Dolgachev-Voisin镜像族完全一致。通过将可逆的、非退化的势函数的转置规则应用于定义K3曲面的势函数，作者证明了轨道商空间 $[W/\widetilde{G_W}]$ 与 $[W^T/\widetilde{G_W^T}]$ 落入与经典Dolgachev-Voisin框架构造出的同一镜像族中，从而统一了K3曲面的两种不同镜像对称方法。

ABSTRACT

We prove that the mirror symmetry of Berglund-Hübsch-Chiodo-Ruan, applied to K3 surfaces with a non-symplectic involution, coincides with the mirror symmetry described by Dolgachev and Voisin.

研究动机与目标

• 统一K3曲面的两种不同镜像对称构造：Berglund-Hübsch-Chiodo-Ruan（BHCR）方法与Dolgachev-Voisin构造。
• 证明将BHCR转置规则应用于由可逆的、非退化的势函数定义的K3曲面时，可得到属于Dolgachev-Voisin族的镜像对。
• 建立轨道商空间 $[W/\widetilde{G_W}]$ 与 $[W^T/\widetilde{G_W^T}]$ 与已知的格点极化K3曲面镜像族之间的精确对应关系。
• 证明适用于非Gorenstein加权射影空间的BHCR镜像对称，与K3曲面的经典镜像对称框架相容。

提出的方法

• 作者通过在加权射影空间中定义一个非退化且可逆的势函数 $W$，满足 $x^2 = f(y,z,w)$，确保孤立奇点与良好定义性，从而应用Berglund-Hübsch-Chiodo-Ruan构造。
• 定义对角对称群 $\operatorname{Aut}(W)$ 及其子群 $G_W \subset \operatorname{SL}(W)$，其中包含单值群 $J_W$，形成商群 $\widetilde{G_W} = G_W / J_W$。
• 通过势函数 $W$ 的指数矩阵的转置，构造转置势函数 $W^T$ 与转置群 $G_W^T$，从而得到 $\widetilde{G_W^T} = G_W^T / J_{W^T}$。
• 通过证明轨道对 $[W/\widetilde{G_W}]$ 与 $[W^T/\widetilde{G_W^T}]$ 的不变量 $(r,a,\delta)$ 与Dolgachev-Voisin镜像族的不变量一致，确立了镜像对称关系。
• 该证明依赖于对非辛对合的不变量分析，特别是对合 $x \mapsto -x$，并计算其不变格的秩 $r$、Artin不变量 $a$ 与判别形式 $\delta$。
• 作者利用显式的分类表（表1至表7）验证了BHCR对的不变量在多个例子中与已知的Dolgachev-Voisin镜像族完全匹配。

实验结果

研究问题

• RQ1 Berglund-Hübsch-Chiodo-Ruan方法对具有非辛对合的K3曲面进行镜像构造时，所产生的镜像对是否属于Dolgachev-Voisin镜像族？
• RQ2 BHCR轨道商空间 $[W/\widetilde{G_W}]$ 的不变量 $(r,a,\delta)$ 与Dolgachev-Voisin镜像族的不变量相比如何？
• RQ3 BHCR镜像对称中的转置规则能否与格点极化K3曲面的经典镜像对称相协调？
• RQ4 非辛对合 $x \mapsto -x$ 在连接BHCR与Dolgachev-Voisin构造中起什么作用？
• RQ5 在非Gorenstein加权射影空间中定义的BHCR镜像对，是否仍与经典镜像对称框架兼容？

主要发现

• 对由非退化、可逆势函数 $W$ 定义的K3曲面应用BHCR镜像构造，其中 $x^2 = f(y,z,w)$，所得到的镜像对 $[W/\widetilde{G_W}]$ 与 $[W^T/\widetilde{G_W^T}]$ 属于Dolgachev-Voisin镜像族。
• 在表1至表7所测试的所有情况下，BHCR轨道商的不变量 $(r,a,\delta)$ 与Dolgachev-Voisin镜像族的不变量完全匹配，确认了镜像对应关系。
• 在由 $W$ 定义的K3曲面上，非辛对合 $x \mapsto -x$ 诱导出具有不变量 $(r,a,\delta)$ 的格点极化，且该不变量在转置规则下保持不变。
• 即使加权射影空间非Gorenstein，该构造依然成立，表明BHCR镜像对称可超越Batyrev框架的适用范围。
• 转置群 $G_W^T$ 与商群 $\widetilde{G_W^T} = G_W^T / J_{W^T}$ 所产生的镜像伙伴，其Hodge理论与算术不变量与Dolgachev-Voisin族中的完全一致。
• 该证明在表1至表7的48个例子中得到验证，涵盖Fermat型、链型及链+Fermat型，确认了该对应关系的普遍性。