[論文レビュー] BPS jumping loci and special cycles

Shamit Kachru, Arnav Tripathy|arXiv (Cornell University)|Mar 1, 2017

Black Holes and Theoretical Physics参考文献 20被引用数 4

ひとこと要約

本稿では、BPS状態が対称性の増強やカイラル・カレントの存在によって急激に出現する、モジュライ空間内の部分的領域（BPSジャンピング・ロジ）を導入する。これはウォール・クロッシング現象とは区別される。ホッジ・楕円的生成関数とノイター＝レフシェッツ・ロジ、および特別なシムーラ部分多様体との関連を用いて、著者らは、このジャンピング・ロジが大体積極限においてコホロロジー・ジャンプ・ロジであることを示し、K3コンパクト化における精錬されたBPS状態数え上げおよびヘテロティック/F-理論双対性への応用が得られる。

ABSTRACT

We study BPS jumping loci, or the subloci in moduli spaces of supersymmetric string vacua where BPS states come into existence discontinuously. This phenomenon is distinct from wall-crossing. We argue that these loci should be thought of as special cycles in the sense of Noether-Lefschetz loci or special Shimura subvarieties, which are indeed examples of BPS jumping loci for certain string compactifications. We use the Hodge-elliptic genus as an informative tool, suggesting that our work can be extended to understand the jumping behavior of motivic Donaldson-Thomas invariants.

研究の動機と目的

• モジュライ空間内でのBPS状態の不連続的出現を示す部分的領域を同定し、ウォール・クロッシングとは区別する。
• タイプ1（未インデックス化された数え上げにおける一般のモジュライ依存性）とタイプ2（未インデックス化された数え上げにおける上半連続的ジャンプ）のジャンピング現象を区別する。
• BPSジャンピング・ロジが、特にK3およびトーラスコンパクト化において、大体積極限におけるコホロロジー・ジャンプ・ロジに対応することを確立する。
• これらのロジを、K3表面のモジュライ空間における古典的ノイター＝レフシェッツ理論および特別なシムーラ部分多様体と結びつける。
• ホッジ・楕円的生成関数を用いて、モチーフ的ドナルドソン＝トーマス不変量におけるジャンピング挙動を理解するフレームワークを提唱する。

提案手法

• タイプIIコンパクト化 $K3 \times T^2$ における1/4-BPS状態の生成関数として、左・右移動フェルミオン数演算子を持つラムド基底状態のトレースとして定義されるホッジ・楕円的生成関数を用いる。
• BPSジャンピング・ロジを、余分なカイラル・カレントが出現するモジュライ空間内の点として特定し、これによりBPSスペクトルに不連続なジャンプが生じることを示す。
• $O(2,18)$-二重コセットモジュライ空間における楕円的K3表面のノイター＝レフシェッツ理論を適用し、ジャンピング・ロジをホロモルフィックシンプレクティック形式に直交する代数的サイクルの集合として同定する。
• ヘテロティック双対性における $T^4 \times S^1$ 上の $O(4,20)$-二重コセットモジュライ空間へ分析を拡張し、D1-D5系全体に対して $O(4,21)$ 構造の予想を提示する。
• K3表面のツイスター族を分析することで、1/2-BPS状態のヤウ＝ザスロー数え上げが、$S^2$ 上での複素構造の完全な回転により、すべての曲線類がちょうど一点で代数的になるため、モジュライに依存しないことを示す。
• J、$\text{Re}\,\Omega$、$\text{Im}\,\Omega$ における $SU(2)$ 操作を用いて、クラス $\gamma$ が、$J$ に対してすでに代数的かつ直交する場合を除き、ツイスター球面上の唯一の点で代数的であることが保証されることを示す。

実験結果

リサーチクエスチョン

• RQ1 ウォール・クロッシングとは異なる、モジュライ空間内での不連続的BPS状態生成の幾何学的・物理的起源は何か？
• RQ2 タイプ1とタイプ2のジャンピング現象は、モジュライ依存性および未インデックス化BPS数え上げとの関係において、どのように異なるか？
• RQ3 $\mathcal{N}=4$ コンパクト化におけるBPSジャンピング・ロジが、古典的ノイター＝レフシェッツ・ロジまたは特別なシムーラ部分多様体に対応する範囲はどの程度か？
• RQ4 ホッジ・楕円的生成関数はジャンピング挙動をどのように検出できるか？また、モチーフ的ドナルドソン＝トーマス不変量の研究に用いることができるか？
• RQ5 K3面上の1/2-BPS状態のヤウ＝ザスロー数え上げがなぜモジュライに依存しないのか？ツイスター構成はこの独立性をどのように保証するのか？

主な発見

• BPSジャンピング・ロジは、余分なカイラル・カレントや対称性の増強により、ウォール・クロッシングとは異なる、モジュライ空間内の高次元部分多様体として特定される。
• タイプ2ジャンピング—未インデックス化されたBPS数え上げにおける上半連続的ジャンプ—は、大体積極限においてコホロロジー・ジャンプ・ロジと同型であることが示され、この極限ではBPS状態がDブレーンまたはシーブ・モジュライ空間のコホロロジーによって記述される。
• 楕円的K3表面の $O(2,18)$-モジュライ空間において、ジャンピング・ロジはホロモルフィックシンプレクティック形式 $\Omega$ が整数的クラスと直交するノイター＝レフシェッツ・ロジに対応する。
• K3面上の1/2-BPS状態のヤウ＝ザスロー数え上げは、ツイスター $S^2$ 上の各曲線類がちょうど一点で代数的になるため、$SU(2)$ による複素構造の回転のおかげでモジュライに依存しない。
• ホッジ・楕円的生成関数は、余分なカイラル・カレントを持つロジでジャンピング挙動を検出でき、その構造はモチーフ的ドナルドソン＝トーマス不変量への自然な拡張を示唆する。
• D1-D5系に対しては、モジュライ空間が $O(4,21)$-二重コセットであると予想され、これは $T^4 \times S^1$ 上のヘテロティック双対性における $O(4,20)$ 構造を一般化する。