[論文レビュー] D-branes, surface operators, and ADHM quiver representations

Ugo Bruzzo, Wu-yen Chuang+4 more|arXiv (Cornell University)|Dec 8, 2010

Black Holes and Theoretical Physics被引用数 4

ひとこと要約

本稿では、D-brane工学と$(0,2)$クオーバーゲージ線形スモールモデルの次元削減を用いて、5次元$SU(r)$ゲージ理論における表面オペレーターに束縛されたBPS状態の超対称量子力学的モデルを構築する。主な結果は、強化ADHMクオーバー表現のモジュライ空間のK理論的分配関数—これはパラボリック構造を持つフレームド層のモジュライ空間に同型であることが示された—と、コンパクト化および局所$\mathbb{P}^1\times\mathbb{P}^1$幾何における精錬されたオープンストリング不変量を結ぶ正確な予想である。

ABSTRACT

A supersymmetric quantum mechanical model is constructed for BPS states bound to surface operators in five dimensional SU(r) gauge theories using D-brane engineering. This model represents the effective action of a certain D2-brane configuration, and is naturally obtained by dimensional reduction of a quiver $(0,2)$ gauged linear sigma model. In a special stability chamber, the resulting moduli space of quiver representations is shown to be virtually smooth and isomorphic to a moduli space of framed quotients on the projective plane. A precise conjecture relating a K-theoretic partition function of this moduli space to refined open string invariants of toric lagrangian branes is formulated for conifold and local P^1 x P^1 geometries.

研究の動機と目的

• 5次元$SU(r)$ゲージ理論における表面オペレーターに束縛されたBPS状態の微視的量子力学的モデルを、弦理論的D-brane工学を用いて構築すること。
• 有効D2-brane系の平坦な自由度のモジュライ空間を、固定された超平面に沿ったパラボリック構造を持つ$\mathbb{P}^2$上のフレームド層のモジュライ空間と同定すること。
• このモジュライ空間のK理論的分配関数と、トーリックラグランジュ的Brane幾何における精錬されたオープンストリング不変量を結ぶ明確な予想を提示すること。
• 特別な安定性チャネルにおいて、安定クオーバー表現のモジュライ空間が仮想的に滑らかで、幾何的に同型であることを確立すること。

提案手法

• $(0,2)$クオーバーゲージ線形スモールモデルの次元削減により、D2-brane系の有効作用を構築し、BPS状態を基底状態として符号化する。
• 標準ADHMデータを一般化するフレームと商構造を組み込んだ強化ADHMクオーバーを導入する。
• 特別な安定性チャネルにおいて、安定クオーバー表現のモジュライ空間が仮想的に滑らかで、固定された超平面に台を持つスカイクラッパー商を持つフレームドねじれ自由層のモジュライ空間に同型であることを証明する。
• 等置換局所化を用いて、T固定点が入れ子のヤン図式によってラベル付けられるように、K理論的分配関数を計算する。
• $q_1, q_2, \rho_{12}$を用いた分配関数の明示的表現を導出し、特定の構成に対して恒等式を検証する。
• 分配関数がコンパクト化および局所$\mathbb{P}^1\times\mathbb{P}^1$幾何における精錬されたオープンストリング不変量に等しいと仮定する予想を提示し、8つの入れ子ヤン図式構成に対して明示的な検証を実施する。

実験結果

リサーチクエスチョン

• RQ1 5次元$SU(r)$ゲージ理論における表面オペレーターに束縛されたBPS状態は、D-brane配置とクオーバー量子力学を用いてどのように微視的にモデル化できるか？
• RQ2 有効D2-brane系の平坦自由度のモジュライ空間の幾何的構造は何か？ また、それは$\mathbb{P}^2$上のフレームド層とどのように関係するか？
• RQ3 強化ADHMクオーバーが、仮想的に滑らかでパラボリック構造を持つフレームド層のモジュライ空間に同型となる特別な安定性チャネルは何か？
• RQ4 安定クオーバー表現のモジュライ空間のK理論的分配関数は、トーリックラグランジュ的Brane幾何における精錬されたオープンストリング不変量とどのように関係するか？
• RQ5 小規模なランクおよび電荷構成に対して分配関数の明示的計算が、精錬されたオープンストリング不変量との間の提案された予想を確認できるか？

主な発見

• 特別な安定性チャネルにおける安定クオーバー表現のモジュライ空間は、$E$を$\mathbb{P}^2$上のねじれ自由層、$\xi$を固定された超平面$D_\infty$に沿ったフレーム、$g: E \twoheadrightarrow G$を固定された超平面$D$に台を持つスカイクラッパー商とするデータ$(E, \xi, G, g)$のモジュライ空間に同型である。
• 特別なチャネルにおいて、このモジュライ空間が仮想的に滑らかであることが示され、その仮想接空間の明示的表現が定理3.5で与えられている。
• K理論的分配関数は等置換局所化を用いて計算され、$q_1, q_2, \rho_{12}$の関数として得られ、8つの入れ子ヤン図式構成に対して恒等式(5.19)を満たすことが検証された。
• 各構成における分配関数は、$q_1, q_2, \rho_{12}$の有理関数として表現され、(A)から(H)までのケースについて、$\rho_{12}$、$\rho_{12}^2$、およびそれ以上の累乗を含む明示的な有理関数形が与えられている。
• 特定のケースにおいて予想が確認された：8つの$\mathcal{W}_{(\underline{\mu},\underline{\nu}),2}^{(i)}$の和は恒等式(5.19)と一致し、提案された精錬されたオープンストリング不変量への関係が妥当であることが裏付けられた。
• パラボリック構造を持つフレームド層による幾何的モデルは、アフィンラウモン空間とは異なる表面オペレーターの新たな実現を提供し、トーリックオープンストリング理論とのより深い関係の可能性を秘めている。