[论文解读] String Theory on K3 Surfaces

Paul S. Aspinwall, D.R.O. Morrison|ArXiv.org|Apr 24, 1994

Black Holes and Theoretical Physics参考文献 25被引用 147

一句话总结

本文通过结合经典K3模形式分析与镜像对称，确定了K3曲面上N=(4,4)弦理论的模形式空间，证明离散对称群为签名为(4,20)的偶性无子模格的完整整数正交群。该工作建立了模形式空间的精确量子几何描述，并通过代数K3曲面上的镜像映射，为阿诺德的奇异对偶性提供了CFT解释。

ABSTRACT

The moduli space of N=(4,4) string theories with a K3 target space is determined, establishing in particular that the discrete symmetry group is the full integral orthogonal group of an even unimodular lattice of signature (4,20). The method combines an analysis of the classical theory of K3 moduli spaces with mirror symmetry. A description of the moduli space is also presented from the viewpoint of quantum geometry, and consequences are drawn concerning mirror symmetry for algebraic K3 surfaces.

研究动机与目标

• 确定K3目标空间上N=(4,4)弦理论模形式空间的全局结构。
• 通过结合经典几何与镜像对称，解决模形式空间全局形式长期存在的模糊性。
• 提供一个包含复结构与Kähler形变及B-场的模形式空间的量子几何描述。
• 为代数K3曲面上的镜像对称现象（包括阿诺德的奇异对称性）提供共形场论解释。
• 建立K3曲面上的镜像映射与沃辛通过群Z2商构造卡拉比-丘三流形镜像对的联系。

提出的方法

• 利用H^2(X,Z)上的交形式与N=(4,4)共形代数分析K3曲面的经典模形式空间。
• 应用镜像对称将K3σ-模型的模形式空间与其对偶关联，将镜像映射识别为度量与B-场空间上的非平凡自同构。
• 利用偶性无子模格Λ^{4,20}的结构，将全局模形式空间描述为Γ\G/H，其中G为正交群O(4,20)，Γ为离散正交群。
• 通过结合类型M的代数K3的复结构形变与M⊗R的Kähler与B-场数据，引入类型M的CFT模形式空间。
• 构造一个镜像映射μ，通过交换上同调格中的双曲平面，交换复结构与Kähler模形式的角色。
• 将K3镜像映射与沃辛通过X×E的Z2-商构造卡拉比-丘三流形镜像对的方法联系起来，表明K3镜像对可诱导出三流形的镜像对。

实验结果

研究问题

• RQ1 K3曲面上N=(4,4)弦理论的模形式空间的全局结构是什么？
• RQ2 镜像对称如何作用于K3σ-模型的模形式空间，且能否用于确定完整的离散对称群？
• RQ3 K3曲面上的镜像映射能否为代数K3曲面上阿诺德奇异对偶性提供CFT解释？
• RQ4 考虑到B-场存在于22维空间，而Kähler形式至多张成20维，B-场的引入如何影响模形式空间结构？
• RQ5 K3曲面上的镜像映射在多大程度上重现了卡拉比-丘三流形的已知镜像构造（如沃辛的群作用商构造）？

主要发现

• K3曲面上N=(4,4)弦理论的模形式空间在全局上同构于双陪集空间Γ\O(4,20)/O(4)×O(20)，其中Γ为偶性无子模格Λ^{4,20}的完整整数正交群。
• 模形式空间的离散对称群为O(Λ^{4,20})的完整整数正交群，确认其全局结构完全由格的等距同构决定。
• 镜像对称在模形式空间上表现为非平凡自同构，通过交换上同调格中双曲平面的角色，交换复结构与Kähler模形式的角色。
• 对于任意符号为(1,ρ−1)的原初子格M ⊂ H^2(X,Z)，类型M的CFT模形式空间具有复维数20，其中复结构形变维数为20−ρ，Kähler/B-场形变维数为ρ。
• 当M⊥ = H⊕N（某格N）时，镜像映射μ将类型M的CFT模形式空间映射到类型N的CFT模形式空间，从而为阿诺德奇异对偶性提供了CFT实现。
• K3镜像映射直接表明，当X1与X2为镜像K3时，群作用商构造Y=(X×E)/Z2在共形场论层面产生真正的卡拉比-丘三流形镜像对Y1与Y2。