[論文レビュー] Mirror symmetry and K3 surfaces

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

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

ひとこと要約

この論文は、K3表面における鏡映性を、トポロジカル、古典的、ホモロジカルな鏡映性の観点からレビューする。K3表面における鏡映性は、コホロロジー内での代数的格子と超越的格子の交換に記述され、Bridgeland安定性条件、導来圏、2-素性K3表面から得られるCalabi-Yau 3-foldのBorcea-Voisin鏡映構成とを結びつける主要な結果を確立する。

ABSTRACT

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

研究の動機と目的

• K3表面におけるトポロジカル鏡映性の定式化を明確化すること。これは、Hodge数が同一であるため、Calabi-Yau 3-foldとは異なる。
• K3表面における鏡映性が、コホロロジー内での代数的格子と超越的格子の交換を通じて実現されることを説明すること。
• ホモロジカル鏡映性におけるBridgeland安定性条件および導来圏の役割を調査すること。
• 2-素性K3表面から得られるCalabi-Yau 3-foldのBorcea-Voisin鏡映構成とその不変量を確立すること。
• K3の文脈内でのさまざまな鏡映性枠組み——奇妙双対性、双対的反射的多面体の極双対性、周期写像——を結びつけること。

提案手法

• K3表面のHodge構造を用い、H^2(Y; Z)における代数的格子N(Y)と超越的格子T(Y)の双対性により鏡映性を定義する。
• Nikulinが導入し、Dolgachevが発展させた格子極性K3表面の理論を用い、主不変量(r, a, δ)を介して鏡像対を分類する。
• Borcea-Voisin構成を用いる：2-素性K3表面(S, ι)と反シミレクティック自己同型を持つ楕円曲線に対して、S × Eの吹き上げの商はCalabi-Yau 3-foldをもたらす。
• 導来圏D^b(coh(Y))とその自己同型を用い、ホモロジカル鏡映性を定義し、それらを群Aut^+_{CY} H^*(Y; Z)に結びつける。
• K3表面の導来圏におけるBridgeland安定性条件を適用し、極性付きK3表面のモジュライ空間のオーロラフンドメンタル群が、シフトを除く自己同型群と同型であることを示す。
• 周期写像とHodge構造の変動(VHS)を用い、古典的鏡映性をカップ積およびYukawa結合子の鏡側での関係に結びつける。

実験結果

リサーチクエスチョン

• RQ1 Hodge数が同一であるため、K3表面におけるトポロジカル鏡映性はどのように意味的に定式化できるか？
• RQ2 代数的格子と超越的格子が、K3表面における鏡映性の定式化において果たす役割は何か？
• RQ3 K3表面の導来圏におけるBridgeland安定性条件は、その鏡像幾何とどのように関係するか？
• RQ4 Borcea-Voisin鏡映構成とBatyrevの極双対性のような他の鏡映性枠組みとの明確な関係は何か？
• RQ5 Borcea-VoisinによるCalabi-Yau 3-foldのHodge数は鏡映性をどのように反映し、この双対性を支配する不変量は何か？

主な発見

• K3表面におけるトポロジカル鏡映性は、Hodge数の交換ではなく、コホロロジー格子内での代数的格子と超越的格子の交換に由来する。
• Borcea-Voisin構成により得られるCalabi-Yau 3-fold Y について、h^{1,1}(Y) = 11 + 5n - g および h^{2,1}(Y) = 11 + 5g - n が成り立ち、ここで n はK3表面における自己同型の固定曲線の数である。
• 主不変量(r, a, δ)を持つ2-素性K3表面(S, ι)に対して、鏡像Calabi-Yau 3-fold ˇY は、不変量(20 - r, a, δ)を持つ双対K3表面(ˇS, ˇι)から構成され、h^{1,1}(Y) = h^{2,1}(ˇY) および h^{2,1}(Y) = h^{1,1}(ˇY) が成り立つ。
• 極的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表面の場合に顕著である。