[論文レビュー] The refined BPS index from stable pair invariants

Jinwon Choi, Sheldon Katz+1 more|arXiv (Cornell University)|Oct 16, 2012

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

ひとこと要約

本稿は、仮想的バイアリンツキ＝ビルウラ分解と等変指標を用いて、非コンパクトなカラビ＝ヤウ3次元多様体に対する安定ペア不変量の洗練された版を導入し、M理論のコン팩ティフィケーションにおける精錬されたBPS指数を計算する数学的枠組みを確立する。精錬された不変量の積分公式を提唱し、局所的 $\mathbb{P}^2$ および $\mathbb{P}^1 \times \u005cmathbb{P}^1$ に対して検証し、生成関数をネクラソフの分配関数およびレンズ空間上の精錬されたチェーン＝シモンズ理論と関連付ける。

ABSTRACT

A refinement of the stable pair invariants of Pandharipande and Thomas for non-compact Calabi-Yau spaces is introduced based on a virtual Bialynicki-Birula decomposition with respect to a C* action on the stable pair moduli space, or alternatively the equivariant index of Nekrasov and Okounkov. This effectively calculates the refined index for M-theory reduced on these Calabi-Yau geometries. Based on physical expectations we propose a product formula for the refined invariants extending the motivic product formula of Morrison, Mozgovoy, Nagao, and Szendroi for local P^1. We explicitly compute refined invariants in low degree for local P^2 and local P^1 x P^1 and check that they agree with the predictions of the direct integration of the generalized holomorphic anomaly and with the product formula. The modularity of the expressions obtained in the direct integration approach allows us to relate the generating function of refined PT invariants on appropriate geometries to Nekrasov's partition function and a refinement of Chern-Simons theory on a lens space. We also relate our product formula to wallcrossing.

研究の動機と目的

• 非コンパクトなカラビ＝ヤウ3次元多様体上のM理論コンパクト化における精錬されたBPS指数を計算する幾何的・代数的幾何学的手法を開発すること。
• パンダリパデ＝トーマスの安定ペア不変量を、BPS状態の $\mathrm{SU}(2)_L \times \mathrm{SU}(2)_R$ スピン縮約を捉える精錬版に拡張すること。
• 仮想的バイアリンツキ＝ビルウラ分解と等変指標理論を用いて、精錬されたBPS指数の数学的導出を提供すること。
• 局所的 $\mathbb{P}^2$ および $\mathbb{P}^1 \times \u005cmathbb{P}^1$ における低次の明示的計算を通じて、提案された積分公式の検証すること。
• 精錬された安定ペア不変量と物理的分配関数との間の関係を確立すること。これにはネクラソフの4次元分配関数および $L(2,1)$ 上の精錬されたチェーン＝シモンズ理論が含まれる。

提案手法

• 安定ペアのモジュライ空間における $\mathbb{C}^*$ 動作用を用いた仮想的バイアリンツキ＝ビルウラ分解を用いて、精錬された不変量を定義する。
• ネクラソフとオクウンコフの等変指標を適用し、M理論コンパクト化の文脈で精錬されたBPS指数を計算する。
• 一般化された正則異常方程式の直接統合法を用いて、局所的カラビ＝ヤウ幾何における精錬されたBPS不変量を計算する。
• 局所的 $\mathbb{P}^1$ に対してモチーフ的積分公式を一般化した、精錬された不変量の積分公式を導出する。
• Ext群の次元とペアのモジュライ空間上の $\mathbb{P}^n$ バンドルを用い、$\mathbf{L}$-表記を用いたモチーフ的測度を用いて、壁越えの寄与を計算する。
• モジュラー性を介して、精錬されたPT不変量の生成関数をネクラソフの分配関数およびレンズ空間 $L(2,1)$ 上の精錬されたチェーン＝シモンズ理論と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 精錬されたBPS指数（$j_L, j_R$ スピン縮約を符号化）は、安定ペア不変量からどのように数学的に定義できるか？
• RQ2 局所的 $\mathbb{P}^2$ および $\mathbb{P}^1 \times \u005cmathbb{P}^1$ における精錬された安定ペア不変量の構造は何か？そして、一般化された積分公式を満たすか？
• RQ3 仮想的バイアリンツキ＝ビルウラ分解を用いて計算された精錬された不変量と、精錬された正則異常方程式の直接統合によるものとの比較は？
• RQ4 精錬されたPT不変量の生成関数は、ネクラソフの分配関数および $L(2,1)$ 上の精錬されたチェーン＝シモンズ理論とどのように関係しているか？
• RQ5 壁越えは精錬された安定ペア不変量にどのように現れるか？また、モチーフ的測度とExt群を用いて明示的に計算可能か？

主な発見

• 局所的 $\mathbb{P}^2$ および $\mathbb{P}^1 \times \u005cmathbb{P}^1$ における低次の精錬された安定ペア不変量は、精錬された正則異常方程式の直接統合による予測と一致する。
• $M^\alpha(5,1)$ および $M^\alpha(5,-1)$ の壁越え寄与は、ペアのモジュライ空間上の $\mathbb{P}^n$ バンドルを用いて計算され、補正項は $-H^*(P_{-2}(X,4) \times P_3(X,1))$ および類似の式と一致する。
• $\alpha = 14$ における $M^\alpha(5,1)$ の計算では、壁越え項 $-\left[1\right]_\mathbf{L}\left[7\right]_\mathbf{L}\left[1\right]_\mathbf{L}$ が得られ、提案された補正公式と整合的である。
• 適切な幾何における精錬されたPT不変量の生成関数はモジュラーであり、4次元 $N=2$ 理論におけるネクラソフの分配関数の形と一致する。
• 局所的 $\mathbb{P}^1 \times \u005cmathbb{P}^1$ における精錬された不変量は、$L(2,1)$ 上の精錬されたチェーン＝シモンズ分配関数を再現し、物理的双対性の予想を確認する。
• 低次の不変量について精錬された積分公式が検証され、モチーフ的積分公式の一般化であると仮定される。