[論文レビュー] Chiral Ring Of Sp(N) And SO(N) Supersymmetric Gauge Theory In Four Dimensions

Edward Witten|ArXiv.org|Feb 25, 2003

Quantum Mechanics and Non-Hermitian Physics参考文献 3被引用数 13

ひとこと要約

本稿は、4次元のスピン(N)およびSO(N)超対称ヤン・ミルズ理論の古典的キラル環が、グルーエーブルスーパーフィールド $ S = \mathrm{Tr}\, W_\alpha W^\alpha $ によって生成され、量子論的変形関係 $ S^h = 0 $ を満たすことを証明する。ここで $ h $ は双対コーディング数である。この結果は、SU(N)に関する先行研究を拡張し、群論的解析とインスタントン計算を用いて予想を確認し、古典的ゲージ群における古典的キラル環の普遍的構造を確立する。

ABSTRACT

The chiral ring of classical supersymmetric Yang-Mills theory with gauge group $Sp(N)$ or SO(N) is computed, extending previous work (of Cachazo, Douglas, Seiberg, and the author) for SU(N). The result is that, as has been conjectured, the ring is generated by the usual glueball superfield $S\sim \Tr W_αW^α$, with the relation $S^h=0$, $h$ being the dual Coxeter number. Though this proposition has important implications for the behavior of the quantum theory, the statement and (for the most part) the proofs amount to assertions about Lie groups with no direct reference to gauge theory.

研究の動機と目的

• 超対称ヤン・ミルズ理論におけるキラル環の構造に関する予想を、SU(N)からSp(N)およびSO(N)ゲージ群へ拡張すること。
• 古典的キラル環がグルーエーブルスーパーフィールド $ S = \mathrm{Tr}\, W_\alpha W^\alpha $ によって生成され、$ h $ を双対コーディング数として $ S^h = 0 $ という関係を満たすことを確立すること。
• リー代数の表現論と $ G $-不変多項式を用いた、$ I $（後続演算子のイデアル）を modulo としての厳密な数学的証明を提供すること。
• 特にSO(N)に対してインスタントン計算を用いて予想を確認すること。これにより $ S^{h-1} \notin I $ を示し、1インスタントン振幅が非ゼロであることを示す。
• 古典的関係 $ S^h = 0 $ の量子論的変形を明確にし、量子論的理論において $ S^h = c\Lambda^{3h} $ となることを示すこと。

提案手法

• キラル環 $ \mathcal{R}_{\text{cl}} = (R/I)^G $ を定義する。ここで $ R $ は $ W_\alpha $ のフェルミオン的成分によって生成される次数付き環であり、$ I $ は $ \{W_\alpha, W_\beta\} $ によって生成されるイデアル（後続演算子を表す）である。
• $ R/I $ の $ G $-不変部分を用いて、後続演算子を modulo とした物理的キラル演算子を特徴付ける。
• リー代数の構造定数 $ f_{ab}^c $ を用いて、イデアル $ I $ の生成子を表現する。これらは環内の偶数次元で、冪零な要素である。
• SO(N)に対して、$ \mathbb{R}^4 $ および $ \mathbb{R}^3 \times S^1 $ 上でインスタントン計算を適用し、1インスタントン振幅 $ \langle S(x)S^{h-1}(y)\rangle_{1\text{-inst}} = c_0\Lambda^{3h} $ を計算する。これにより $ S^{h-1} \notin I $ を示す。
• ポイントスプリット正則化を用いて $ S^h(y) = \lim_{x\to y} S(x)S^{h-1}(y) $ を定義し、非ゼロの1インスタントン振幅が量子論的変形 $ S^h = c\Lambda^{3h} $ を示唆することを示す。
• 理論の $ SL(2,\mathbb{C}) $ 対称性を活用して解析を簡略化するが、キラル環に対して自明に作用する。

実験結果

リサーチクエスチョン

• RQ1 Sp(N)およびSO(N)超対称ヤン・ミルズ理論の古典的キラル環は、グルーエーブルスーパーフィールド $ S = \mathrm{Tr}\, W_\alpha W^\alpha $ と関係 $ S^h = 0 $ によって生成されるか？
• RQ2 SU(N)で知られている結果を拡張して、Sp(N)およびSO(N)に対しても、$ S^h = 0 $ が古典的理論で成り立つという予想は正しいか？
• RQ3 インスタントン計算を用いて、キラル環における $ S^{h-1} $ の非ゼロ性を確立でき、それによって古典的に $ S^h \neq 0 $ であることを示せるか？
• RQ4 双対コーディング数 $ h $ は、古典的ゲージ群におけるキラル環の構造を決定づける役割を果たすか？
• RQ5 量子異常数は古典的関係 $ S^h = 0 $ をどのように変形するか？また、量子関係 $ S^h = c\Lambda^{3h} $ の正確な形は何か？

主な発見

• Sp(N)およびSO(N)ゲージ群における古典的キラル環 $ \mathcal{R}_{\text{cl}} $ は、グルーエーブルスーパーフィールド $ S = \mathrm{Tr}\, W_\alpha W^\alpha $ によって生成され、追加の生成子は存在しない。
• 古典的理論において関係 $ S^h = 0 $ が成り立つ。ここで $ h $ はゲージ群の双対コーディング数である。
• $ S^{h-1} $ は後続演算子のイデアル $ I $ に属さない。これは、1インスタントン振幅 $ \langle S(x)S^{h-1}(y)\rangle_{1\text{-inst}} = c_0\Lambda^{3h} $ が非ゼロであることで示される。
• 量子論的理論では古典的関係が $ S^h = c\Lambda^{3h} $ に変形され、$ c $ は非ゼロ定数である。これは非自明な量子異常数を示唆する。
• $ \mathbb{R}^3 \times S^1 $ 上での1インスタントン計算により、正しい異常数係数 $ c $ が得られ、弱い結合定数枠組みでの量子関係の確認がなされた。
• SO(N)の証明はインスタントン手法に依存するが、Sp(N)の場合はSU(N)で用いられた一般的な群論的議論と同様の議論により導かれる。