[論文レビュー] Lattice polarized toric K3 surfaces

Falk Rohsiepe|ArXiv.org|Sep 28, 2004

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

ひとこと要約

この論文は、Picard群がアンビエントなトーリック多様体の等化除数のランクを超過する場合を含む、トーリックK3表面における鏡像対称性の長年の不一致を解消した。明示的なコンピュータ計算を用いて、非自明なトーリック補正項を伴うすべての4,319個の反射的3次元多面体について、双対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超曲面のPicard格子ランクの不一致におけるトーリック補正項の役割を明確にすること。
• 非自明な補正項を伴う問題のあるケースを含め、すべての反射的3次元多面体について、格子論的枠組みにおける鏡像対称性が普遍的に成り立つことを証明すること。
• 双対Picard格子の判別群同型をアルゴリズム的かつ計算的に検証すること。
• すべての4,319個の反射的3次元多面体について、判別形式の完全かつ明示的な分類を確立し、格子双対性による鏡像対称性を確認すること。

提案手法

• 論文は、反射的多面体とその双対に関連する偶数かつ非退化な格子の判別群および判別形式を計算するアルゴリズムを用いる。
• 自動同型群の作用による軌道への格子の分解により判別群を計算し、素数のべき乗を法とする巡回因子に分割する。
• 同型性を確認するため、同一の軌道長を持つ巡回部分群の生成元をマッピングし、判別形式が符号を除いて一致することを検証する。
• 同型写像の完全な像を構成し、乗法表を比較することで、判別形式を保存する群同型が成立することを確認する。
• 整数演算を用い、ℤ上での行列逆行列計算により基本領域の代表元を計算することで、判別群計算の正確性を保証する。
• アルゴリズムはC++で実装され、800 MHzのPCで約2時間で全4,319個の反射的3次元多面体に適用された。

実験結果

リサーチクエスチョン

• RQ1 非自明なトーリック補正項を伴うすべてのトーリックK3超曲面について、格子論的枠組みにおける鏡像対称性が成り立つか。
• RQ2 すべての反射的3次元多面体について、双対Picard格子の判別形式が符号を除いて同型であることを示せるか。
• RQ3 双対トーリックK3表面の判別群および判別形式を体系的に計算・比較し、鏡像対称性を検証する方法は存在するか。
• RQ4 Batyrevの構成と直交格子図式との間の不一致を、Picard格子のレベルでどのように解消できるか。
• RQ5 すべての反射的3次元多面体について、判別形式の完全な分類は何か。そして、それらは鏡像対称性の条件を満たすか。

主な発見

• アルゴリズムは、すべての4,319個の反射的3次元多面体について、判別群および判別形式を正常に計算し、双対判別形式が符号を除いて同型であることを確認した。
• すべての反射的多面体とその双対について、判別群は群として同型であり、判別形式は符号を除いて一致し、鏡像対称性の条件を満たした。
• 非自明なトーリック補正項を伴う場合に、Picard格子を適切な部分格子に置き換えることで、K3超曲面における長年の鏡像対称性の不一致が解消された。
• 計算により、反射的多面体によって定義されるすべてのトーリックK3超曲面について、格子論的図式における鏡像対称性が普遍的に成立することが確認された。
• 判別形式は、ℤを法とする生成元の集合における値によって完全に決定され、アルゴリズムは整数演算およびモジュラー行列逆行列を用いて、正しく全形式を再構成した。
• Dolgachev (1996, 猜測8.6) の予想、すなわち、格子の選択を精緻化することで格子図式における鏡像対称性が回復する、という予想が検証された。