[論文レビュー] Chiral Ring Generating Functions & Branches of Moduli Space

James McGrane, Sanjaye Ramgoolam+1 more|arXiv (Cornell University)|Jul 30, 2015

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

ひとこと要約

本稿は、特異的ケーリ・ヤウ錐におけるD3-braneから生じるN=1超対称ゲージ理論における鏡像環生成関数を調査し、横断的幾何構造に起因するものとは異なる余分なモジュライ空間の分岐が、演算子生成関数に追加の項をもたらすことを明らかにした。大N極限におけるプレチスティック技法とフォック空間構成を用いて、著者らは鏡像環がフォック空間の積に分解されることを示し、その中には横断空間上のボソンのためのものも含まれる。C³、コンパクト化、C³/ℤⁿ軌道のための明示的生成関数が得られ、R荷重とグローバル対称性による精錬された数え上げも含む。

ABSTRACT

We consider the worldvolume theory of N D3-branes transverse to various non-compact Calabi-Yau spaces, and describe subtleties in the counting of chiral primary operators in such theories due to the presence of multiple branches of moduli space. Extra branches, beyond those directly related to the transverse geometry, result in additional terms in the generating functions for single- and multi-trace operators. Ideals in the N=1 chiral ring correspond to various branches and, in the large N limit, the operator counting reveals a product of Fock spaces, including the Fock space of bosons on the space transverse to the branes.

研究の動機と目的

• 横断的幾何構造を超えたN=1ゲージ理論における複数のモジュライ空間分岐が、鏡像プライマリー演算子の数え上げにどのように寄与するかを理解すること。
• 特異的ケーリ・ヤウ錐上のD3-brane理論における単一および多重トレースの鏡像プライマリー演算子の正確な生成関数を導出すること。
• 鏡像環内のイデアルと明確に分離されたモジュライ空間分岐との間の対応関係を、特に大N極限において確立すること。
• プレチスティックプログラムを、軌道や錐的幾何構造におけるR荷重とグローバル対称性を含む精錬された数え上げに拡張すること。
• 大Nにおける鏡像環構造が、横断空間上のボソンのためのフォック空間を含むフォック空間の積として実現されることを示すこと。

提案手法

• R荷重とグローバル対称性の荷重を組み込んだ、鏡像プライマリー演算子の生成関数を計算するためにプレチスティックプログラムを用いる。
• Molien級数と群平均を用いて、C³/ℤⁿなどの軌道幾何構造のヒルベルト級数を計算し、公式 $ M(t; G) = \frac{1}{|G|} \sum_{g \in G} \frac{1}{\det(I - tg)} $ を適用する。
• F-term関係とゲージ不変性を用いて鏡像環構造を分析し、巡回置換および場の再定義の下での演算子の同値類を示す。
• クワイバー図の周りのループに従って演算子を分類することで、単一トレース生成関数を導出する。C³/ℤⁿ（nが奇数および偶数の場合）に対して明示的な表現を得る。
• プレチスティック指数を用いて単一トレースの結果を多重トレース生成関数に拡張し、すべてのゲージ不変な演算子を捉える。
• 鏡像環の大N極限を、横断空間上のボソン状態のフォック空間に写像し、生成演算子が正則単項式に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 横断的幾何構造を超えた追加のモジュライ空間分岐は、D3-brane理論における鏡像プライマリー演算子の生成関数にどのように影響を与えるか？
• RQ2 特異的ケーリ・ヤウ錐上のN=1ゲージ理論における鏡像環の正確な構造は何か？ そして、イデアルやモジュライ空間成分とどのように関係するか？
• RQ3 理論のW=0およびW≠0の相において、鏡像演算子の生成関数はどのように異なるのか？ 特に大N極限において。
• RQ4 大N極限におけるフォック空間構造は、横断空間の幾何構造および軌道群をどの程度反映しているか？
• RQ5 プレチスティックプログラムを、C³/ℤⁿおよび関連する幾何構造におけるグローバル対称性とR荷重を含む数え上げにどのように精錬できるか？

主な発見

• 横断的幾何構造を超えたD-termおよびF-term制約から生じる余分なモジュライ空間分岐が、鏡像環生成関数に追加の項をもたらす。
• C³/ℤ²について、Molien級数が $ M(t; Z_2) = \frac{1 + t^2}{(1 - t)^3(1 + t)^2} $ として導出され、鏡像環からの精錬ヒルベルト級数と一致する。
• 大N極限において、鏡像環はフォック空間の積に分解され、そのうちの1つが横断空間X上のボソンに対応する。
• nが奇数の場合のC³/ℤⁿについて、単一トレース生成関数は $ F_S^{(\infty)}(a, c) = \left( \sum_{m=0}^\infty c^{nm} \right) \left[ \sum_{j=0}^{(n-1)/2} \sum_{\ell=0}^\infty a^{n\ell + 2j} c^j + \cdots \right] $ と表され、R荷重のすべてのセクターに対して明示的な表現が得られる。
• nが偶数の場合、同じ数のC-演算子を持つ非同値な単一トレース演算子が存在し、それらの寄与は $ \sum_{m=1}^\infty \left( c^{n/2} \right)^m $ によって記述される。
• 多重トレース生成関数はプレチスティック指数を用いて得られ、$ F_M^{(\infty)}(a,b,c) = \prod_{m=0}^\infty \cdots $ と表され、nが奇数および偶数の場合の両方で明示的な因子分解が得られる。