[論文レビュー] BRST-antifield Quantization: a Short Review

A. Fuster, Marc Henneaux+1 more|ArXiv.org|Jun 13, 2005

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

ひとこと要約

この論文は、時空の共変性を保ちつつBRST不変性を確保するようにゲージ理論を量子化するための体系的な手法であるBRST＝反対称形式の明快なレビューを提供している。量子マスター方程式とBRSTコホロロジーが異常と物理的観測可能性を制御する仕組みを説明し、特にオンシェル閉じるか還元可能な対称性を有する理論を含む、複雑なゲージ構造を持つ理論に対しても、明示的に共変なフレームワークを提供している。

ABSTRACT

Most of the known models describing the fundamental interactions have a gauge freedom. In the standard path integral, it is necessary to "fix the gauge" in order to avoid integrating over unphysical degrees of freedom. Gauge independence might then become a tricky issue, especially when the structure of the gauge symmetries is intricate. In the modern approach to this question, it is BRST invariance that effectively implements gauge invariance. This set of lectures briefly reviews some key ideas underlying the BRST-antifield formalism, which yields a systematic procedure to path-integrate any type of gauge system, while (usually) manifestly preserving spacetime covariance. The quantized theory possesses a global invariance under the so-called BRST transformation, which is nilpotent of order two. The cohomology of the BRST differential is the central element that controls the physics. Its relationship with the observables is sketched and explained. How anomalies appear in the "quantum master equation" of the antifield formalism is also discussed. These notes are based on lectures given by MH at the 10th Saalburg Summer School on Modern Theoretical Methods from the 30th of August to the 10th of September, 2004 in Wolfersdorf, Germany and were prepared by AF and AM. The exercises which were discussed at the school are also included.

研究の動機と目的

• 一般のゲージ系を量子化するためのBRST＝反対称形式の教育的概説を提供すること。
• BRST不変性が経路積分量子化におけるゲージ不変性と時空共変性を保証する仕組みを明確にすること。
• 量子マスター方程式とBRSTコホロロジーが物理的観測可能性を特定し、異常を検出する役割を説明すること。
• オンシェル閉じるか還元可能な対称性を有するゲージ理論の課題に、反対称形式を統合的フレームワークとして用いて対処すること。

提案手法

• 任意のゲージ構造を持つゲージ理論を体系的に量子化するために、バタリン＝ヴィルコビツキー（BV）反対称形式を用いる。
• 反対称場と量子マスター方程式 $(S_{\text{tot}}, S_{\text{tot}}) = 0$ を導入し、経路積分測度のBRST不変性を保証する。
• nilpotent（$s^2 = 0$）であるBRST微分作用素 $s$ を用いて、物理的観測量を表すコホロロジー類を定義する。
• デュイットの圧縮表記法を用いて、ゲージ変換とノネール恒等式を簡潔に表現する。
• $\hbar$ の各次数における量子マスター方程式の解の存在を決定する $H^1(s)$ のコホロロジーを用いて、量子化の障害を分析する。
• ゴースト数のグレーディングを伴う反括弧 $(F,G)$ を用いて、古典的および量子マスター方程式を定義する。

実験結果

リサーチクエスチョン

• RQ1 複雑なあるいは還元可能な対称性を有するゲージ理論を、時空共変性を保ちつつ一貫して量子化する方法は何か？
• RQ2 BRSTコホロロジーは物理的観測量の特定とゲージ不変性の確保において、どのように機能するか？
• RQ3 異常は反対称形式においてどのように現れ、一貫した量子測度が存在するためにはどのような条件を満たす必要があるか？
• RQ4 量子マスター方程式が解をもつ条件は何か？ これはBRST作用素のコホロロジーとどのように関係するか？
• RQ5 なぜ量子マスター方程式の $\hbar$ 階数での解の存在に $(S, \Delta S) = 0$ の条件が必要となるのか？

主な発見

• ゴースト数ゼロにおけるBRSTコホロロジーは物理的観測量を特定するが、より高いゴースト数における非自明なクラスは、潜在的な異常を示唆する。
• $(S, \Delta S) = 0$ の条件は、$\hbar$ 階数での量子マスター方程式の解の存在に不可欠であり、BRST微分作用素の零冪性と反括弧の性質から導かれる。
• $\hbar$ の高次次数における量子マスター方程式の解法の障害は、ゴースト数1におけるコホロロジー群 $H^1(s)$ によって制御される。
• $H^1(s) = 0$ であれば、$\hbar$ のすべての次数において量子マスター方程式の解が存在し、一貫したBRST不変量子化が保証される。
• 反対称形式は、オンシェルまたは還元可能なゲージ対称性を有する理論を、明示的に共変なフレームワークで量子化するための有効な手段を提供する。
• この形式はゲージ固定の不変性を体系的に扱い、量子マスター方程式が満たされている限り、量子平均がゲージ固定フェルミオンの選択に依存しないことを保証する。