[論文レビュー] Superembedding Formalism and Supertwistors

Zuhair U. Khandker, Daliang Li|arXiv (Cornell University)|Dec 2, 2012

Graphene research and applications参考文献 2被引用数 6

ひとこと要約

本稿では、4次元 $\mathcal{N}=1$ 超共形場理論（SCFT）の相関関数を計算するためのスーパ埋め込み形式とスーパートイスター形式の間の直接的な対応関係を確立する。この対応関係は、両者の手法が等価であることを保証する単純なテンソル関係を導出することによって達成される。超場の変換性が異なるにもかかわらず、両手法は普遍的なテンソル写像を通じて同一の相関関数を生成し、四点関数の明示的計算により既知の結果と一致することが確認されている。

ABSTRACT

We establish a correspondence between superembedding and supertwistor methods for constructing 4D N = 1 SCFT correlation functions by deriving a simple relation between tensors used in the two methods. Our discussion applies equally to 4D CFTs by simply reducing all formulas to the N = 0 case.

研究の動機と目的

• 4次元 $\mathcal{N}=1$ SCFT相関関数を構成する際、超場の変換性が異なるにもかかわらず、スーパ埋め込み形式とスーパートイスター形式の間にある顕著な不一致を解消すること。
• 1つの形式からもう1つの形式への相関関数を写像する普遍的なテンソル関係を同定し、物理的等価性を保証すること。
• 具体的な四点関数に対して両手法が同一の結果をもたらすことを示し、両者の一貫性を確認すること。
• 両手法を統合することで、より複雑なSCFT相関関数を体系的に構成するためのフレームワークを提供すること。
• 高次相関関数における線形独立なテンソル不変量の今後の探求の基盤を築くこと。

提案手法

• 4次元 $\mathcal{N}=1$ のコンパクト化されたミンコフスキー超空間 $\bar{\text{M}}$ を、スーパートイスター空間 $\text{C}^{4|1}$ の零二次元部分空間の集合である多様体 $\text{G}$ と同一視することにより、双対的記述を可能にする。
• スーパ埋め込み形式を用い、$GL(2,\text{C})$-共変な対象 $V_A^{\tilde{c}}$ を超場の記述に用い、零制約 $\bar{V}^{\tilde{c}A}V_A^{\tilde{c}} = 0$ を課す。
• スーパートイスター形式を用い、同じ多様体 $\text{G}$ 上に超場 $T^{\tilde{c}\tilde{d}}$ と $\bar{\text{Φ}}$ を定義し、$GL(2,\text{C})$ 変換における同次性を満たす。
• スーパートイスター不変量とスーパ埋め込みテンソルを結ぶ関係 $Y_{\bar{1}2\bar{3}1}^{\tilde{c}\tilde{d}} \rightarrow (1\bar{3}2\bar{1})_A^B$ を用いて、両形式間の重要なテンソル写像を導出する。
• $GL(2,\text{C})$ スケーリングにおける相関関数の同次性を適用し、スピノル不変量 $\braket{1\bar{3}}$, $\braket{2\bar{1}}$, $\braket{2\bar{3}}$ における関数的依存性を固定する。
• 両形式における四点相関関数を比較し、スーパートイスターのテンソル $Y_{\bar{1}2\bar{3}1}^{\tilde{c}\tilde{d}}$ をスーパ埋め込みテンソル $(1\bar{3}2\bar{1})_A^B$ に還元することで、既知の結果と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 超場の変換性が異なるにもかかわらず、4次元 $\mathcal{N}=1$ SCFT相関関数の文脈において、スーパ埋め込み形式とスーパートイスター形式をどのように統合できるか。
• RQ2 相関関数を構成するためのスーパ埋め込み形式とスーパートイスター形式で用いられるテンソルの間の明確な数学的関係は何か。
• RQ3 非自明な四点関数の計算を通じて、両手法の等価性を明示的に示すことができるか。
• RQ4 $GL(2,\text{C})$ の冗長性は、両形式間の一貫性を保証するために果たす役割は何か。
• RQ5 両形式のテンソル構造を体系的に関連づけるには、どのようにすれば、高次相関関数やより複雑な相関関数の構成が可能になるか。

主な発見

• スーパ埋め込み形式とスーパートイスター形式は、テンソル写像 $Y_{\bar{1}2\bar{3}1}^{\tilde{c}\tilde{d}} \leftrightarrow (1\bar{3}2\bar{1})_A^B$ を通じて、4次元 $\mathcal{N}=1$ SCFT相関関数において物理的に等価である。この関係は式 (29) および (30) で示される。
• 四点相関関数の明示的計算により、両形式で同一の結果が得られる： $\braket{\text{T}_{c\bar{c}}(x_1,\theta_1,\bar{\theta}_1)\text{φ}(y_2,\theta_2)\bar{\text{φ}}(\bar{y}_3,\bar{\theta}_3)} = C'\frac{(y_{1\bar{3}}+4i\theta_1\bar{\theta}_3)_{c\bar{d}}(y_{\bar{3}2}+4i\bar{\theta}_3\theta_2)^{\bar{d}d}(y_{2\bar{1}}+4i\theta_2\bar{\theta}_1)_{d\bar{c}}}{[\text{invariants}]^{2,2,q_2-1}}\times\text{delta function}$ であり、Ref. Osborn:1998qu と一致する。
• スーパートイスター相関関数 $\braket{T^{\tilde{c}\tilde{d}}(V_1,\bar{V}_1)\text{Φ}(V_2)\bar{\text{Φ}}(\bar{V}_3)}$ は $C''\frac{Y_{\bar{1}2\bar{3}1}^{\tilde{c}\tilde{d}}}{\braket{1\bar{3}}^2\braket{2\bar{1}}^2\braket{2\bar{3}}^{q_2-1}}\times\text{delta}$ と表され、$Y$-テンソルは導出された写像によりスーパ埋め込みテンソルに関連づけられる。
• 両形式は $GL(2,\text{C})$ における共通の同次性と同一のインデックス構造を持つため、等価性が保証され、両者は同じ物理的相関関数を記述している。
• テンソル $Y_{\bar{1}2\bar{3}1}^{\tilde{c}\tilde{d}}$ は、正しいインデックス構造と同次性を持つ唯一のテンソルであるため、両手法は等価であるだけでなく、構成の観点から同型であることが証明される。
• 結果から、両形式は相互に交換可能に使用可能であり、特定のクラスの相関関数に対して一方がより効率的である可能性がある。また、高次相関関数のためには、独立なテンソルの体系的基底の構築が必要であると示唆される。