[論文レビュー] Symmetries of K3 sigma models

Matthias R. Gaberdiel, Stefan Hohenegger+1 more|arXiv (Cornell University)|Jun 21, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用数 6

ひとこと要約

本稿では、K3表面上の非線形シグマ模型の時空 supersymmetry を保存する自己同型が、コンウェイ群 $Co_1$ の部分群をなすことを確立した。これは、シンプレクティック自己同型に関する古典的ムカイ＝コンドーの定理を、ストリング的 supersymmetry を保存する対象へ一般化したものである。この主張は、明示的な CFT 実現（$ mathbb{T}^4/\mathbb{Z}_2$ オルビフォールドおよび2つのゲプナー模型）により確認された。それらの対称性は $Co_1$ に属するが、$ mathbb{M}_{24}$ には属さない。これは、K3 の楕円的生成関数の背後にあるより深い $Co_1$-関連対称性を示唆している。

ABSTRACT

It is shown that the supersymmetry-preserving automorphisms of any non-linear sigma-model on K3 generate a subgroup of the Conway group Co_1. This is the stringy generalisation of the classical theorem, due to Mukai and Kondo, showing that the symplectic automorphisms of any K3 manifold form a subgroup of the Mathieu group M_{23}. The Conway group Co_1 contains the Mathieu group M_{24} (and therefore in particular M_{23}) as a subgroup. We confirm the predictions of the Theorem with three explicit CFT realisations of K3: the T^4/Z_2 orbifold at the self-dual point, and the two Gepner models (2)^4 and (1)^6. In each case we demonstrate that their symmetries do not form a subgroup of M_{24}, but lie inside Co_1 as predicted by our Theorem.

研究の動機と目的

• K3 表面のシンプレクティック自己同型に関するムカイ＝コンドーの定理を、非線形シグマ模型におけるストリング的 supersymmetry を保存する対称性へ一般化すること。
• モジュリ空間全体にわたる K3 シグマ模型の時空 supersymmetry を保存する自己同型の群構造を特定すること。
• K3 の楕円的生成関数に観察される $ mathbb{M}_{24}$ 対称性が、より大きな根本的対称性群由来であるかどうかを検証すること。
• K3 シグマ模型の完全な対称性群がコンウェイ群 $Co_1$ の部分群に含まれるという予想を検証すること。
• 明示的な CFT 実現（$ mathbb{T}^4/\mathbb{Z}_2$ オルビフォールドおよびゲプナー模型 $(2)^4$, $(1)^6$）を分析し、それらの対称性群が $Co_1$ の部分群であるが $ mathbb{M}_{24}$ の部分群でないことを確認すること。

提案手法

• 時空 supersymmetry を保存する自己同型を、$ mathcal{N}=(4,4)$ スーパーローカル代数とスペクトルフロー作用素の不変性を要請することで分類する。
• シグマ模型をパラメトライズするためのモジュリ空間構造 $\mathcal{M}_{\text{K3}} = O(\Gamma^{4,20})\backslash O(4,20)/(O(4)\times O(20))$ を用い、その対称性群を分析する。
• 有限部分群の $Co_1$ への分類を用いて、$p$-群および置換群の拡張としての可能性のある対称性群 $G$ を群論的技法により分類する。
• 楕円的生成関数の表現内容とその twining 生成関数を分析し、$ mathbb{M}_{24}$ および $Co_1$ 対称性をテストする。
• $(1)^6$ および $(2)^4$ ゲプナー模型における A 型および B 型 D-brane 間の重ね合わせを計算し、$Co_1$-対称な境界状態と整合することを確認する。
• 明示的なイシバシ状態の構成とスペクトルフローを用いて、RR セクター間の重ね合わせを計算し、モジュラー不変性および群作用の整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 K3 シグマ模型の時空 supersymmetry を保存する自己同型は、コンウェイ群 $Co_1$ の部分群をなすか？
• RQ2 K3 の楕円的生成関数に観察される $ mathbb{M}_{24}$ 対称性は、より大きなストリング的対称性群由来であると説明可能か？
• RQ3 $ mathbb{T}^4/\mathbb{Z}_2$ オルビフォールドおよびゲプナー模型などの明示的な K3 CFT 実現の対称性群は、$Co_1$ の部分群であるが $ mathbb{M}_{24}$ の部分群ではないか？
• RQ4 $ mathcal{N}=(4,4)$ シグマ模型の、スペクトルフローとスーパーローカル代数を保存する可能性のある対称性群 $G$ の完全な分類は何か？
• RQ5 モジュラー制約を用いて計算された楕円的生成関数の twining 生成関数は、$ mathbb{M}_{24}$ を超える $Co_1$-対称構造を示唆するか？

主な発見

• 任意の K3 シグマ模型の時空 supersymmetry を保存する自己同型の群は、コンウェイ群 $Co_1$ の部分群をなし、ムカイ＝コンドーの定理を一般化する。
• $\mathbb{T}^4/\mathbb{Z}_2$ オルビフォールド、$(2)^4$、および $(1)^6$ ゲプナー模型の対称性群は $Co_1$ の部分群であるが $ mathbb{M}_{24}$ の部分群ではない。この結果は、定理を確認するものである。
• 対称性群の分類には、$ mathbb{M}_{24}$ に含まれない例も含まれる。たとえば $5^{1+2}.\mathbb{Z}_4$ や $3^{1+4}.\mathbb{Z}_2.G^{\prime\prime}$ は、位数の制約によって $ mathbb{M}_{24}$ に含まれないが、$Co_1$ に含まれる。
• $(1)^6$ ゲプナー模型では、イシバシ状態とスペクトルフローを用いて A 型と B 型ブレーン間の重ね合わせを明示的に計算し、$Co_1$-整合性のある構造が得られた。
• $(2)^4$ モデルでは、B 型置換ブレーンと A 型ブレーンとの重ね合わせが $ mathbb{Z}_4$-ねじれ領域を通じて計算され、モジュラー不変性および $Co_1$--compatible な群作用が確認された。
• 結果として、K3 の楕円的生成関数における $ mathbb{M}_{24}$ 対称性は、幾何的対称性や $ mathbb{M}_{24}$-対称なストリング的対称性のみでは説明できない。これは、より深い $Co_1$-関連構造が存在することを示唆している。