[论文解读] Lattice polarized toric K3 surfaces

Falk Rohsiepe|ArXiv.org|Sep 28, 2004

Algebraic Geometry and Number Theory参考文献 20被引用 21

一句话总结

该论文通过将晶格图象细化以包含Picard群秩超过其对应仿射toric流形的等变除子秩的情况，解决了toric K3曲面镜像对称性中的长期争议。利用显式的计算机计算，证明了对全部4,319个3维对偶多面体（包括具有非平凡toric修正项的情况），其对偶Picard晶格的判别形式在符号意义下同构，从而在晶格理论框架下确认了镜像对称性。

ABSTRACT

When studying mirror symmetry in the context of K3 surfaces, the hyperkaehler structure of K3 makes the notion of exchanging Kaehler and complex moduli ambiguous. On the other hand, the metric is not renormalized due to the higher amount of supersymmetry of the underlying superconformal field theory. Thus one can define a natural mapping from the classical K3 moduli space to the moduli space of conformal field theories. Apart from the generalization of mirror constructions for Calabi-Yau threefolds, there is a formulation of mirror symmetry in terms of orthogonal lattices and global moduli space arguments. In many cases both approaches agree perfectly - with a long outstanding exception: Batyrev's mirror construction for K3 hypersurfaces in toric varieties does not fit into the lattice picture whenever the Picard group of the K3 surface is not generated by the pullbacks of the equivariant divisors of the ambient toric variety. In this case, not even the ranks of the corresponding Picard lattices add up as expected. In this paper the connection is clarified by refining the lattice picture. We show (by explicit calculation with a computer) mirror symmetry for all families of toric K3 hypersurfaces corresponding to dual reflexive polyhedra, including the formerly problematic cases.

研究动机与目标

• 解决当Picard群不被等变除子生成时，Batyrev的镜像构造与K3曲面晶格理论镜像对称图象之间的不匹配问题。
• 阐明toric修正项在toric流形中K3超曲面Picard晶格秩不匹配中的作用。
• 证明在所有对偶3维多面体（包括具有非零修正项的疑难情况）中，晶格图象下的镜像对称性普遍成立。
• 提供对偶Picard晶格判别群同构性的算法化与计算验证。
• 建立对全部4,319个对偶3维多面体的判别形式的完整显式分类，通过晶格对偶性确认镜像对称性。

提出的方法

• 该论文使用算法计算与对偶多面体及其对偶相关的偶性、非退化晶格的判别群与判别形式。
• 通过在自同构群作用下将晶格分解为轨道，再将群按素数幂模分解为循环因子，来计算判别群。
• 通过映射具有相同轨道长度的循环子群生成元，并验证判别形式在符号意义下一致，来检查对偶晶格判别群之间的同构性。
• 构建同构的完整像，并通过比较乘法表来确认保持判别形式的群同构。
• 该方法依赖于在ℤ上通过矩阵求逆进行的整数算术运算，以计算基本域代表元，确保判别群计算的精确性。
• 该算法以C++实现，并应用于全部4,319个对偶3维多面体，在800 MHz PC上耗时约两小时完成。

实验结果

研究问题

• RQ1 在晶格理论框架下，镜像对称性是否对所有toric K3超曲面（包括具有非零toric修正项的情况）均成立？
• RQ2 是否能证明所有对偶3维多面体的对偶Picard晶格判别形式在符号意义下同构？
• RQ3 是否存在系统性方法来计算并比较对偶toric K3曲面的判别群与判别形式，以验证镜像对称性？
• RQ4 在Picard晶格层面，如何解决Batyrev构造与正交晶格图象之间的不匹配问题？
• RQ5 所有对偶3维多面体的判别形式的完整分类是什么？它们是否满足镜像对称条件？

主要发现

• 该算法成功计算了全部4,319个对偶3维多面体的判别群与判别形式，确认了对偶判别形式在符号意义下同构。
• 对于每个对偶多面体及其对偶，均发现判别群作为群同构，且判别形式在符号意义下一致，满足镜像对称条件。
• 该论文通过证明在非零toric修正项情况下，Picard晶格必须替换为适当的子晶格，从而解决了K3超曲面镜像对称性中的长期争议。
• 计算结果证实，在所有由对偶3维多面体定义的toric K3超曲面中，晶格理论图象下的镜像对称性普遍成立。
• 判别形式完全由其在模ℤ的一组生成元上的取值决定，该算法通过整数算术与模矩阵求逆正确重构了完整形式。
• 结果验证了Dolgachev（1996年，猜想8.6）的猜想：通过精细选择晶格可恢复晶格图象中的镜像对称性。