[論文レビュー] Nonrenormalization theorems for N=2 Super Yang-Mills

V. E. R. Lemes, Nicola Maggiore+4 more|ArXiv.org|Dec 20, 2000

Advanced Topics in Algebra参考文献 1被引用数 5

ひとこと要約

本稿は、ねじれ形式と代数的 BRST 手法を用いて、4次元 N=2 超ヤン・ミルズ理論における非再正則化定理の厳密な代数的証明を提供する。これは、合成演算子 Trϕ² の異常次元が消えることにより、β関数が1ループの寄与のみを受けることの証明である。この Trϕ² は、繰り返し適用されたねじれ BRST に類する作用素によって、完全な量子作用素を生成する種となる。

ABSTRACT

The BRST algebraic proofs of the the nonrenormalization theorems for the beta functions of N=2 and N=4 Super Yang-Mills theories are reviewed.

研究の動機と目的

• 摂動論的すべての位で N=2 超ヤン・ミルズ理論における β関数の非再正則化を確立すること。
• N=2 SYM の量子作用が、BRST に類する変換の系列によって演算子 Trϕ² から完全に生成されることを示すこと。
• N=4 SYM を、物質が随伴表現にある N=2 の特別な場合として、この証明を拡張すること。
• Trϕ² の異常次元がゼロであることが、β関数の1ループ構造の鍵であることを示すこと。
• Batalin-Vilkovisky 量子化とねじれ形式を用いた、量子対称性および再正則化性を導出する体系的枠組みを提供すること。

提案手法

• N=2 SYM を再定式化するためのねじれ手続きを用い、スピンル・インデックスをローレンツベクトル・インデックスに置き換えつつ、物理的内容を保持する。
• 代数的 BRST 手法を用いて、全微分項を除いて nilpotent 演算子 SΣ による Slavnov-Taylor 恒等式を満たす固定ゲージ作用 Σ を構成する。
• 演算子 Wμ = (1/ω)[∂/∂εμ, SΣ] を導入し、{Wμ, SΣ} = ∂μ および {Wμ, Wν} = 0 を満たすことで、作用の再帰的構成が可能になる。
• 結合定数依存性 ∂Σ/∂g が、Trϕ² に Wμ を4回作用させることで生成されること（自明なコサイクルを除く）を示す。
• Trϕ² に対する Callan-Symanzik 方程式を導出し、異常次元がゼロであることから、βg が g∂βg/∂g − 3βg = 0 を満たすことを示す。
• 1ループでの係数 k = −(1/(8π²))(C₁ − HC₂) の計算により、1ループ構造を確認し、N=4 SYM が H=1 かつ物質が随伴表現にある特別な場合として βg = 0 となることを回復する。

実験結果

リサーチクエスチョン

• RQ1 なぜ N=2 SYM の β関数は1ループの量子補正のみを受けるのか？
• RQ2 Trϕ² の異常次元がゼロであることが、N=2 および N=4 SYM における非再正則化定理にどのように寄与するのか？
• RQ3 ねじれ BRST 演算子 Wμ は、Trϕ² から完全な量子作用を生成するために果たす役割は何か？
• RQ4 物質が随伴表現にある N=2 SYM の極限として、どうして N=4 SYM が回復されるのか？
• RQ5 代数的 BRST およびねじれ量子化の枠組みは、N=2 および N=4 SYM の非再正則化構造を一貫して再現できるか？

主な発見

• N=2 SYM における β関数 βg は微分方程式 g∂βg/∂g − 3βg = 0 によって制約され、これは βg = kg³ と表されることを示唆する。ここで k は定数である。
• 係数 k は1ループで k = −(1/(8π²))(C₁ − HC₂) として計算され、ここで C₁ および C₂ はゲージおよび物質表現のカシミリ不変量であり、H はハイパーマトリクスの数である。
• N=2 SYM における βg の非再正則化は、演算子 Trϕ² の異常次元がゼロであることに直接起因する。
• 完全な量子作用 Σ は、Trϕ² に Wμ 演算子を繰り返し作用させることで生成され、自明なコサイクルを除いて成立する。これにより、Trϕ² が基本的構築ブロックであることが確立される。
• N=4 の場合、物質が随伴表現にあり H=1 であると、係数 k はゼロとなり、すべての摂動論的位で βg = 0 となる。
• ねじれ形式は物理的内容を保持しつつ、Batalin-Vilkovisky および BRST 形式を用いた体系的代数的導出によって、非再正則化定理を導出可能である。