[論文レビュー] Perturbative renormalization and BRST

Michael Duetsch, Klaus Fredenhagen|ArXiv.org|Nov 22, 2004

German Economic Analysis & Policies参考文献 9被引用数 3

ひとこと要約

この論文は、代数的量子場理論（AQFT）におけるBRST形式を用いて、ゲージ理論における摂動的正規化のきめ細やかな代数的アプローチを提示する。物理的観測可能量がBRST荷重のコホロロジーとして定義され、ゲージ不変性とユニタリティが保証され、マスター分配関係式と量子作用原理を用いて、ヤンミルズ理論およびQED理論において、すべての摂動的次数で摂動的ゲージ不変性と異常なしを維持できることを証明する。

ABSTRACT

The perturbative quantization of gauge theories is shortly reviewed with emphasis of the local operator BRST-formalism.

研究の動機と目的

• 代数的量子場理論（AQFT）におけるBRST形式を用いて、ゲージ理論における摂動的正規化の数学的にきつい定式化を提供すること。
• 摂動的ゲージ理論における3つの核心的問題を分離し、それらに取り組むこと：物理的でない自由度の除去、正定値性（ユニタリティ）、赤外発散。
• 正規化の過程でBRST対称性が保たれることを保証し、相互作用を含む量子場理論におけるゲージ不変性と異常なしを維持すること。
• BRST荷重をクレイン空間上の零ノルム作用素として実現することで、観測可能量の代数の非自明なヒルベルト空間表現を構成すること。
• マスター分配関係式と量子作用原理を用いて、摂動的ゲージ不変性と異常なしを体系的に強制できることを示すこと。

提案手法

• ゴースト数によるZ₂-グレーディングを備えた局所的場の代数を定義し、s² = 0を満たすBRST微分作用素sを導入する。
• BRST作用素のコホロロジーとして観測可能量の代数を構成する：A = A₀ / A₀₀、ここでA₀は核、A₀₀は像である。
• クレイン空間K上にQ² = 0かつQが対称であるような零ノルム作用素Qを用いてBRST対称性を実装し、物理的状態をH = K₀ / K₀₀として定義する。
• 相互作用的BRST変換を、BRSTカレントjμ_gLと滑らかなコーシー面関数bμを用いて定義する：Q̃ = ∫ d⁴x jμ_gL(x) bμ(x)。
• マスター分配関係式によりBRSTカレントjμ_gLの保存を強制する：T_{n+1}(A, F₁,…,Fₙ) = −∑ₖ Tₙ(F₁,…,δ_A Fₖ,…,Fₙ)、これにより摂動的ゲージ不変性が保証される。
• 量子作用原理を適用して異常を分類・除去し、すべての摂動的次数でBRST対称性が破れないようにする。

実験結果

リサーチクエスチョン

• RQ1 BRST対称性とゲージ不変性を保ちながら、ゲージ理論における摂動的正規化を一貫して定式化する方法は何か？
• RQ2 代数的量子場理論の枠組みにおいて、BRSTコホロロジーを用いて、ゲージ理論の観測可能量の代数的構造を数学的にきめ細かく定義できるか？
• RQ3 BRST荷重が零ノルムであり、物理的状態空間に正定値内積が存在するための条件は何か？
• RQ4 マスター分配関係式を用いて、相互作用理論における摂動的ゲージ不変性と異常なしを体系的に強制できるか？
• RQ5 質量ゼロのゲージ理論において、断熱的極限を回避できる範囲はどの程度か？また、コンパクトに台を持つ結合定数を用いて、局所的観測可能量をどのように構成できるか？

主な発見

• ゲージ理論における観測可能量の代数は、BRST作用素のコホロロジーとしてきめ細かく定義され、ゲージ不変性と物理的整合性が保証される。
• マスター分配関係式を強制することにより、SU(N)ヤンミルズ理論において、すべての摂動的次数で摂動的ゲージ不変性と異常なしを維持できる。
• BRST荷重Q̃は、相互作用的BRSTカレントjμ_gLと滑らかなコーシー面関数bμを用いて構成され、相互作用理論においても零ノルム性と保存性が保証される。
• 物理的状態空間はQのコホロロジーとして実現され、自由理論では内積の正定値性が確立され、BRST形式を用いて相互作用理論へと拡張される。
• 量子作用原理とコホロロジー的手法により、異常を完全に分類でき、その消滅が物理的に受け入れ可能なモデルの選択基準となる。
• QEDでは、ディラックカレントのウォード恒等式により、条件(N0)–(N4)および摂動的ゲージ不変性がすべての次数で満たされ、フレームワークの整合性が確認される。