[論文レビュー] Noether's variational theorem II and the BV formalism

Ron Fulp, Tom Lada+1 more|ArXiv.org|Apr 7, 2002

Black Holes and Theoretical Physics参考文献 5被引用数 21

ひとこと要約

本稿は、Cattaneo-Felderのポissonシグマ模型を具体的な例として用い、Batalin-Vilkovisky (BV)形式主義における反ゴーストがゲージ対称性に由来するノネールの恒等式を符号化することを示すことにより、ノネールの第二変分法則とBV形式主義の直接的な関係を確立する。BV作用素の全構造が、Koszul-Tate部とChevalley-Eilenberg部に分解され、高次の項が$L_\infty$-代数構造の成分に対応することを示し、反括弧を用いることで全作用が量子マスター方程式を満たすことを示す。

ABSTRACT

We review the basics of the Lagrangian approach to field theory and recast Noether's Second Theorem formulated in her language of dependencies using a slight modernization of terminology and notation. We then present the Cattaneo-Felder sigma model and work out the Noether identities or dependencies for this model. We review the description of the Batalin-Vilkovisky formalism and show explicitly how the anti-ghosts encode the Noether identities in this example.

研究の動機と目的

• Batalin-Vilkovisky (BV)形式主義の文脈において、ノネールの第二変分法則の重要性を再評価すること。
• BV複体における反ゴーストがゲージ対称性に由来するノネール恒等式に対応する仕組みを明確化すること。
• Cattaneo-Felderのポissonシグマ模型を具体的に用いて、BV作用素がKoszul-Tate部とChevalley-Eilenberg部に分解されることを明示的に示すこと。
• 高次のBV作用項が反括弧から生じ、全微分作用素の平方がゼロになるように寄与することを示すこと。
• モデルにおけるBV作用素の構造を$L_\infty$-代数的データに関連付けること。

提案手法

• ゲージ対称性とノネール恒等式を分析する具体的な物理系として、Cattaneo-Felderのポアソンシグマ模型を用いる。
• ノネールの第二定理を適用し、ゲージ対称性からオイラー＝ラグランジュ方程式間の微分的関係（ノネール恒等式）を導出する。
• 場と対称性に対応する反場と反ゴーストを導入することで、BV作用$S_{BV}$を構成する。
• BV微分$\delta$を、ゲージ対称性に対応する$d_{CE}$（Chevalley-Eilenberg）部とノネール恒等式に対応する$d_{KT}$（Koszul-Tate）部に分解する。
• 全微分作用素の平方がゼロになるように保証するため、高次の項$S^i$（例：$S^2 = -\frac{1}{4}\int \eta^{+i}\wedge\eta^{+j}\partial_i\partial_j\alpha^{kl}\gamma_k\gamma_l$）を導入する。
• Batalin-Vilkoviskyの反括弧を用いて微分複体を閉じ、量子マスター方程式$(S_{BV}, S_{BV}) = 0$を満たすようにする。

実験結果

リサーチクエスチョン

• RQ1 BV形式主義における反ゴーストは、ゲージ対称性に由来するノネール恒等式とどのように対応するか？
• RQ2 高次の項$S^i$はBV作用に果たす役割は何か？ また、それらは$L_\infty$-代数構造とどのように関係するか？
• RQ3 具体的なモデルにおいて、全BV微分はどのように$ d_{CE} $と$ d_{KT} $の成分に分解されるか？
• RQ4 反括弧構造は、全微分作用素が$\delta^2 = 0$を満たすようにどのように寄与するか？
• RQ5 BV微分$\delta$の個々の項は、$S^i$、$d_{CE}$、$d_{KT}$のいずれから起源をもつのか？

主な発見

• Koszul-Tate解体を用いて示されるように、BV形式主義における反ゴーストは、ゲージ対称性に由来するノネール恒等式を直接符号化している。
• 全BV微分の平方がゼロになるように保証するために、項$S^2 = -\frac{1}{4}\int \eta^{+i}\wedge\eta^{+j}\partial_i\partial_j\alpha^{kl}\gamma_k\gamma_l$が不可欠である。
• 反括弧構造と関連度数における$d_{KT}$ホモロジーの消滅により、全BV作用$S_{BV}$は量子マスター方程式$(S_{BV}, S_{BV}) = 0$を満たす。
• BV微分$\delta$は、$\delta X^i$が$S^1$から、$\delta \eta^{+i}$の最初の2項が$S^0$から、第3項が$S^1$から生じ、高次の項が$S^2$から生じる。
• $\delta \gamma^{+i}$の中間項は$S^2$から起源をもち、最初・第2・第4項は$d_{KT}$から、第5項は$d_{CE}$から生じる。
• $\delta X^{+}_i$の5つの項は、それぞれ$S^i$（$i = 0,1,1,0,2,1$）から生じ、その起源が$d_{KT}$、$d_{CE}$、またはそれ以外であるかを明示的に特定している。